Trace number 4497431

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)27 3600.42 3613.83

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUM9def910af6a1ee27abcf25feff61a445
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 benchmark20
Best CPU time to get the best result obtained on this benchmark67.9647
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.11/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.19	c See www.sat4j.org for details.
0.11/0.20	c version PB25.v20250606
0.11/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.23	c java.vm.version	22.0.1+8-16
0.11/0.23	c java.vm.vendor	Oracle Corporation
0.11/0.23	c sun.arch.data.model	64
0.11/0.23	c java.version		22.0.1
0.11/0.23	c os.name		Linux
0.11/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2106806208
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2113929216
0.28/0.25	c Number of processors 	2
0.46/0.35	c Pseudo Boolean Optimization by upper bound
0.46/0.35	c --- Begin Solver configuration ---
0.46/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.46/0.35	c Learn all clauses as in MiniSAT
0.46/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.35	c Expensive reason simplification
0.46/0.35	c Glucose 2.1 dynamic restart strategy
0.46/0.35	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.46/0.35	c timeout=2147483s
0.46/0.35	c DB Simplification allowed=false
0.46/0.35	c Listener: none
0.46/0.35	c --- End Solver configuration ---
0.46/0.35	c solving HOME/instance-4497431-1751407286.opb
0.46/0.35	c reading problem ... 
0.46/0.36	c using VERIPB proof format
0.46/0.36	c  objective function found
1.13/0.76	c ... done. Wall clock time 0.402s.
1.13/0.76	c declared #vars     6027
1.13/0.76	c #constraints  21278
1.13/0.76	c constraints type 
1.13/0.76	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899
1.13/0.76	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.13/0.76	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.13/0.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373
1.13/0.76	c 21278 constraints processed.
1.13/0.79	c objective function length is 650 literals
1.53/0.91	c SATISFIABLE
1.53/0.91	c OPTIMIZING...
1.53/0.91	c Got one! Elapsed wall clock time (in seconds):0.555
1.53/0.91	o 28
1.53/0.95	c Got one! Elapsed wall clock time (in seconds):0.595
1.53/0.95	o 27
5.04/2.90	c cleaning 2504 clauses out of 5007 with flag 45023/5007
7.21/4.32	c cleaning 4239 clauses out of 8503 with flag 91608/11007
9.15/5.80	c cleaning 5631 clauses out of 11264 with flag 162335/18007
11.73/7.89	c cleaning 6795 clauses out of 13633 with flag 231348/26007
13.95/9.99	c cleaning 7878 clauses out of 15838 with flag 306842/35007
16.17/12.15	c cleaning 8953 clauses out of 17960 with flag 415990/45007
19.14/14.69	c cleaning 9983 clauses out of 20008 with flag 532412/56008
21.86/17.31	c cleaning 10990 clauses out of 22024 with flag 645975/68007
24.46/20.00	c cleaning 11993 clauses out of 24034 with flag 750573/81007
27.79/23.17	c cleaning 13010 clauses out of 26041 with flag 910327/95007
31.37/26.70	c cleaning 14003 clauses out of 28031 with flag 1057759/110007
35.00/30.30	c cleaning 15004 clauses out of 30028 with flag 1190614/126007
39.12/34.48	c cleaning 16004 clauses out of 32024 with flag 1359409/143007
43.68/38.95	c cleaning 16961 clauses out of 34020 with flag 1520355/161007
48.17/43.43	c cleaning 18020 clauses out of 36060 with flag 1691573/180008
52.56/47.89	c cleaning 19005 clauses out of 38039 with flag 1891576/200007
57.55/52.86	c cleaning 20005 clauses out of 40034 with flag 2097078/221007
62.11/57.43	c cleaning 20932 clauses out of 42029 with flag 2269596/243007
67.20/62.58	c cleaning 22023 clauses out of 44097 with flag 2555474/266007
73.47/68.55	c cleaning 23010 clauses out of 46077 with flag 2795375/290010
79.56/74.63	c cleaning 24008 clauses out of 48064 with flag 3078376/315007
85.85/80.93	c cleaning 25021 clauses out of 50056 with flag 3352107/341007
92.39/87.56	c cleaning 25999 clauses out of 52035 with flag 3646506/368007
99.18/94.38	c cleaning 26960 clauses out of 54036 with flag 3945737/396007
106.49/101.66	c cleaning 27981 clauses out of 56076 with flag 4261221/425007
113.78/108.92	c cleaning 29033 clauses out of 58095 with flag 4549784/455007
122.15/117.96	c cleaning 29979 clauses out of 60062 with flag 4900315/486007
129.84/125.67	c cleaning 30984 clauses out of 62083 with flag 5283201/518007
138.02/133.86	c cleaning 31982 clauses out of 64099 with flag 5676441/551007
146.32/142.18	c cleaning 33051 clauses out of 66117 with flag 6058069/585007
155.01/150.92	c cleaning 33988 clauses out of 68066 with flag 6458703/620007
164.80/160.70	c cleaning 35028 clauses out of 70081 with flag 6897401/656010
174.65/170.67	c cleaning 35998 clauses out of 72050 with flag 7294709/693007
185.84/181.84	c cleaning 36970 clauses out of 74052 with flag 7650116/731007
196.03/192.09	c cleaning 38000 clauses out of 76083 with flag 8071350/770008
206.77/202.86	c cleaning 39022 clauses out of 78082 with flag 8484531/810007
218.21/214.26	c cleaning 39983 clauses out of 80060 with flag 8854470/851007
230.01/225.77	c cleaning 41029 clauses out of 82077 with flag 9202221/893007
241.66/237.42	c cleaning 42011 clauses out of 84052 with flag 9641029/936011
252.35/248.16	c cleaning 42981 clauses out of 86038 with flag 10066403/980008
265.58/261.40	c cleaning 44003 clauses out of 88056 with flag 10612820/1025007
278.06/273.93	c cleaning 44986 clauses out of 90053 with flag 11082400/1071007
291.71/287.63	c cleaning 45987 clauses out of 92067 with flag 11530446/1118007
304.69/300.68	c cleaning 47028 clauses out of 94081 with flag 12050226/1166008
317.91/318.41	c cleaning 47972 clauses out of 96052 with flag 12558988/1215007
331.29/331.84	c cleaning 48985 clauses out of 98081 with flag 13128554/1265008
345.02/345.61	c cleaning 49956 clauses out of 100095 with flag 13693124/1316007
359.30/359.96	c cleaning 51056 clauses out of 102140 with flag 14280313/1368008
373.20/374.09	c cleaning 51923 clauses out of 104083 with flag 14868385/1421007
387.47/388.35	c cleaning 53022 clauses out of 106160 with flag 15514241/1475007
401.64/402.69	c cleaning 53992 clauses out of 108138 with flag 16126596/1530007
416.91/417.98	c cleaning 55021 clauses out of 110146 with flag 16724144/1586007
433.11/434.15	c cleaning 56033 clauses out of 112125 with flag 17323968/1643007
449.46/450.53	c cleaning 57027 clauses out of 114092 with flag 17928237/1701007
464.80/465.95	c cleaning 58013 clauses out of 116067 with flag 18556144/1760009
480.98/482.18	c cleaning 58987 clauses out of 118052 with flag 19189597/1820007
498.42/499.66	c cleaning 59991 clauses out of 120065 with flag 19763221/1881007
515.49/516.70	c cleaning 61005 clauses out of 122074 with flag 20371601/1943007
533.86/535.12	c cleaning 62023 clauses out of 124069 with flag 20979670/2006007
552.19/553.58	c cleaning 63019 clauses out of 126046 with flag 21633920/2070007
571.86/573.21	c cleaning 63917 clauses out of 128030 with flag 22239804/2135010
591.81/593.25	c cleaning 65033 clauses out of 130110 with flag 22897715/2201007
611.01/612.49	c cleaning 65980 clauses out of 132079 with flag 23598916/2268009
629.48/630.98	c cleaning 66982 clauses out of 134097 with flag 24248085/2336007
649.26/650.77	c cleaning 68042 clauses out of 136116 with flag 24957509/2405008
672.30/673.89	c cleaning 69026 clauses out of 138075 with flag 25556238/2475009
694.54/696.48	c cleaning 70011 clauses out of 140047 with flag 26174455/2546007
714.00/715.97	c cleaning 71001 clauses out of 142036 with flag 26853928/2618007
736.11/739.22	c cleaning 71962 clauses out of 144035 with flag 27674489/2691007
758.90/762.05	c cleaning 73000 clauses out of 146073 with flag 28385116/2765007
780.58/783.78	c cleaning 73939 clauses out of 148074 with flag 29094952/2840008
802.88/806.06	c cleaning 75034 clauses out of 150134 with flag 29813392/2916007
825.34/828.50	c cleaning 75991 clauses out of 152100 with flag 30563948/2993007
848.68/851.91	c cleaning 76987 clauses out of 154109 with flag 31371213/3071007
871.96/875.21	c cleaning 77992 clauses out of 156122 with flag 32236807/3150007
896.10/899.47	c cleaning 78992 clauses out of 158130 with flag 32968805/3230007
921.76/925.16	c cleaning 80048 clauses out of 160140 with flag 33725468/3311009
949.67/953.09	c cleaning 81037 clauses out of 162090 with flag 34472175/3393007
980.33/983.67	c cleaning 82006 clauses out of 164053 with flag 35272258/3476007
1007.83/1011.15	c cleaning 83005 clauses out of 166049 with flag 36176508/3560009
1036.72/1040.06	c cleaning 83917 clauses out of 168044 with flag 37101036/3645009
1064.96/1068.38	c cleaning 85057 clauses out of 170126 with flag 37979587/3731008
1090.83/1094.20	c cleaning 86001 clauses out of 172070 with flag 38779238/3818009
1117.24/1120.64	c cleaning 86978 clauses out of 174067 with flag 39598355/3906007
1145.90/1149.49	c cleaning 88006 clauses out of 176089 with flag 40380539/3995007
1176.69/1180.23	c cleaning 88984 clauses out of 178083 with flag 41181675/4085007
1204.30/1207.88	c cleaning 89970 clauses out of 180099 with flag 42001573/4176007
1234.96/1238.59	c cleaning 91031 clauses out of 182129 with flag 42763262/4268007
1265.75/1269.40	c cleaning 92015 clauses out of 184098 with flag 43621677/4361007
1296.94/1300.67	c cleaning 92989 clauses out of 186083 with flag 44537961/4455007
1326.16/1330.02	c cleaning 94038 clauses out of 188097 with flag 45361053/4550010
1356.02/1359.94	c cleaning 95009 clauses out of 190058 with flag 46285751/4646009
1383.97/1387.93	c cleaning 96010 clauses out of 192048 with flag 47147292/4743008
1416.44/1420.52	c cleaning 96932 clauses out of 194038 with flag 48101820/4841008
1446.43/1450.69	c cleaning 97928 clauses out of 196107 with flag 49120650/4940009
1475.60/1479.84	c cleaning 99070 clauses out of 198178 with flag 50252212/5040008
1504.31/1508.58	c cleaning 99979 clauses out of 200107 with flag 51094879/5141007
1534.79/1538.90	c cleaning 100987 clauses out of 202128 with flag 52029563/5243007
1563.98/1568.16	c cleaning 101982 clauses out of 204141 with flag 52995983/5346007
1592.85/1597.10	c cleaning 103023 clauses out of 206159 with flag 54063310/5450007
1622.81/1627.01	c cleaning 103991 clauses out of 208136 with flag 55152606/5555007
1654.41/1658.75	c cleaning 105016 clauses out of 210145 with flag 56106117/5661007
1690.32/1694.77	c cleaning 106037 clauses out of 212133 with flag 57055026/5768011
1725.00/1729.59	c cleaning 107041 clauses out of 214092 with flag 58031905/5876007
1760.05/1764.67	c cleaning 107971 clauses out of 216051 with flag 58975450/5985007
1799.01/1806.76	c cleaning 109021 clauses out of 218085 with flag 59935391/6095012
1839.88/1847.73	c cleaning 110023 clauses out of 220060 with flag 61041932/6206008
1881.49/1890.31	c cleaning 111000 clauses out of 222036 with flag 61832182/6318007
1921.03/1930.12	c cleaning 112011 clauses out of 224036 with flag 62643345/6431007
1959.74/1968.92	c cleaning 112993 clauses out of 226026 with flag 63532190/6545008
2001.35/2010.65	c cleaning 114007 clauses out of 228032 with flag 64479820/6660007
2040.44/2049.80	c cleaning 115012 clauses out of 230025 with flag 65589357/6776007
2079.36/2088.81	c cleaning 115929 clauses out of 232013 with flag 66773450/6893007
2118.60/2128.16	c cleaning 117012 clauses out of 234088 with flag 67903100/7011011
2157.36/2166.97	c cleaning 117996 clauses out of 236072 with flag 69248733/7130007
2195.62/2205.31	c cleaning 119000 clauses out of 238076 with flag 70273411/7250007
2235.90/2245.79	c cleaning 120021 clauses out of 240077 with flag 71307554/7371008
2276.11/2286.14	c cleaning 121000 clauses out of 242056 with flag 72407651/7493008
2315.39/2325.51	c cleaning 121969 clauses out of 244055 with flag 73474390/7616007
2357.06/2367.31	c cleaning 122951 clauses out of 246086 with flag 74679725/7740007
2403.32/2413.93	c cleaning 124046 clauses out of 248135 with flag 75707825/7865007
2452.53/2463.27	c cleaning 125006 clauses out of 250089 with flag 76804919/7991007
2502.11/2512.92	c cleaning 126020 clauses out of 252083 with flag 77806261/8118007
2551.07/2561.93	c cleaning 127016 clauses out of 254063 with flag 78926822/8246007
2597.22/2608.26	c cleaning 128014 clauses out of 256049 with flag 80418335/8375009
2643.58/2654.71	c cleaning 129013 clauses out of 258033 with flag 81728340/8505007
2693.93/2705.23	c cleaning 129983 clauses out of 260020 with flag 82813276/8636007
2743.55/2754.90	c cleaning 130973 clauses out of 262037 with flag 84071091/8768007
2787.89/2799.43	c cleaning 131997 clauses out of 264065 with flag 85376852/8901008
2830.75/2842.47	c cleaning 133024 clauses out of 266067 with flag 86672761/9035007
2876.89/2889.69	c cleaning 133967 clauses out of 268043 with flag 88024215/9170007
2920.79/2933.67	c cleaning 134894 clauses out of 270076 with flag 89431412/9306007
2963.69/2976.60	c cleaning 136088 clauses out of 272183 with flag 90896807/9443008
3004.94/3017.91	c cleaning 137008 clauses out of 274094 with flag 92264303/9581007
3049.68/3062.72	c cleaning 138014 clauses out of 276086 with flag 93621815/9720007
3093.32/3106.41	c cleaning 139020 clauses out of 278073 with flag 94850060/9860008
3144.56/3157.80	c cleaning 139981 clauses out of 280052 with flag 95993935/10001007
3188.33/3201.61	c cleaning 140955 clauses out of 282071 with flag 97491448/10143007
3232.09/3244.96	c cleaning 142012 clauses out of 284117 with flag 99065926/10286008
3280.24/3293.22	c cleaning 143007 clauses out of 286104 with flag 100720756/10430007
3328.96/3341.99	c cleaning 144024 clauses out of 288097 with flag 102326347/10575007
3378.92/3392.02	c cleaning 145004 clauses out of 290074 with flag 104525665/10721008
3428.86/3442.04	c cleaning 145987 clauses out of 292069 with flag 106232421/10868007
3475.16/3488.40	c cleaning 146999 clauses out of 294082 with flag 108037449/11016007
3521.88/3535.38	c cleaning 148004 clauses out of 296085 with flag 109640094/11165009
3567.88/3581.42	c cleaning 148965 clauses out of 298079 with flag 111285840/11315007
3600.01/3613.68	c starts		: 2859
3600.01/3613.69	c conflicts		: 11424363
3600.01/3613.69	c decisions		: 178888780
3600.01/3613.70	c propagations		: 11175420206
3600.01/3613.70	c inspects		: 39177627826
3600.01/3613.70	c shortcuts		: 0
3600.01/3613.70	c learnt literals	: 0
3600.01/3613.70	c learnt binary clauses	: 16
3600.01/3613.70	c learnt ternary clauses	: 14
3600.01/3613.70	c learnt constraints	: 11424364
3600.01/3613.70	c ignored constraints	: 0
3600.01/3613.70	c root simplifications	: 0
3600.01/3613.70	c removed literals (reason simplification)	: 164887672
3600.01/3613.70	c reason swapping (by a shorter reason)	: 0
3600.01/3613.70	c Calls to reduceDB	: 146
3600.01/3613.70	c Number of update (reduction) of LBD	: 8567063
3600.01/3613.70	c Imported unit clauses	: 0
3600.01/3613.70	c No decision after first conflict	: false
3600.01/3613.70	c number of reductions to clauses (during analyze)	: 0
3600.01/3613.70	c number of learned constraints concerned by reduction	: 0
3600.01/3613.70	c number of learning phase by resolution	: 0
3600.21/3613.70	c number of learning phase by cutting planes	: 0
3600.21/3613.70	c number of rounding to 1 operations	: 0
3600.21/3613.70	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.21/3613.70	c number of reductions of the coefficients by power 2 	: 0
3600.21/3613.70	c number of right shift for reduction by power 2 	: 0
3600.21/3613.70	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.21/3613.70	c number of ending skipping 	: 0
3600.21/3613.70	c number of internal skipping 	: 0
3600.21/3613.70	c number of derivation steps 	: 0
3600.21/3613.70	c number of skipped derivation steps 	: 0
3600.21/3613.70	c number of remaining unassigned 	: 0
3600.21/3613.70	c number of remaining assigned 	: 0
3600.21/3613.70	c number of falsified literals weakened from reason	: 0
3600.21/3613.70	c number of falsified literals weakened from conflict	: 0
3600.21/3613.70	c time for arithmetic operations	: 0
3600.21/3613.71	c minimum degree of deleted constraints	: null
3600.21/3613.71	c maximum degree of deleted constraints	: null
3600.21/3613.71	c number of deleted constraints	: 0
3600.21/3613.71	c speed (assignments/second)	: 3093219.9737826595
3600.21/3613.71	c non guided choices	: 0
3600.21/3613.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 258455
3600.21/3613.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 16
3600.21/3613.77	s SATISFIABLE
3600.21/3613.77	c Found 2 solution(s)
3600.21/3613.79	v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 x834 x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 x2138 x2139 -x2140 x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 x2361 x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 x3937 x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158 -x5159 x5160 x5161 -x5162 -x5163 -x5164 x5165 -x5166 x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 x5176 -x5177 -x5178 x5179 -x5180 x5181 -x5182 x5183 -x5184 -x5185 x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 x5306 x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 x5334 -x5335 -x5336 -x5337 x5338 -x5339 x5340 x5341 -x5342 -x5343 x5344 x5345 x5346 x5347 x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 x5805 -x5806 -x5807 x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 x5830 -x5831 -x5832 -x5833 x5834 -x5835 x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 x5982 x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 x6021 x6022 x6023 x6024 x6025 -x6026 -x6027 
3600.21/3613.79	c objective function=27
3600.21/3613.79	c Total wall clock time (in seconds): 3613.443

Verifier Data 

OK	27

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: 63837 MiB (63230 MiB free)
  memory of node 1: 64465 MiB (63776 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=53598, runsolver pid=53594

[startup+0.100073 s]*
/proc/loadavg: 1.00 1.72 2.91 8/279 53640
/proc/meminfo: memFree=130045868/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=18930384 memory=46756 CPUtime=0.11 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 5540 0 0 0 8 3 0 0 20 0 18 0 56407738 19384713216 11689 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4732596 11689 5136 1 0 546762 0
[pid=53598/tid=53607] ppid=53594 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) D 53594 53598 53552 0 -1 4194368 4614 0 0 0 5 2 0 0 20 0 18 0 56407741 19384713216 11689 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=18930384 memory=15877 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407746 19384713216 11689 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 56407747 19384713216 11689 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 46756 KiB

[startup+0.223128 s]*
/proc/loadavg: 1.00 1.72 2.91 9/302 53663
/proc/meminfo: memFree=130024560/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=18930384 memory=50468 CPUtime=0.28 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 6261 0 0 0 24 4 0 0 20 0 18 0 56407738 19384713216 12617 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4732596 12617 5360 1 0 547372 0
[pid=53598/tid=53607] ppid=53594 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 4990 0 0 0 16 2 0 0 20 0 18 0 56407741 19384713216 12617 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=18930384 memory=15877 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407746 19384713216 12617 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 56407747 19384713216 12617 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50468 KiB

[startup+0.314767 s]*
/proc/loadavg: 1.00 1.72 2.91 8/300 53663
/proc/meminfo: memFree=130011580/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=18930384 memory=56460 CPUtime=0.46 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 6738 0 0 0 41 5 0 0 20 0 18 0 56407738 19384713216 14115 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4732596 14115 5360 1 0 547762 0
[pid=53598/tid=53607] ppid=53594 vsize=18930384 memory=-6000919498526583146 CPUtime=0.28 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 5202 0 0 0 25 3 0 0 20 0 18 0 56407741 19384713216 14115 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407746 19384713216 14115 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 56407747 19384713216 14115 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56460 KiB

[startup+0.700371 s]
/proc/loadavg: 1.80 1.88 2.96 11/311 53679
/proc/meminfo: memFree=129972084/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=18930384 memory=96784 CPUtime=1.13 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 8489 0 0 0 105 8 0 0 20 0 18 0 56407738 19384713216 24196 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4732596 24196 5424 1 0 548924 0
[pid=53598/tid=53607] ppid=53594 vsize=18930384 memory=18048 CPUtime=0.61 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 5326 0 0 0 56 5 0 0 20 0 18 0 56407741 19384713216 24196 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=18930384 memory=10496 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407746 19384713216 24196 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=18930384 memory=22008 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 56407747 19384713216 24196 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 96784 KiB

[startup+1.50033 s]
/proc/loadavg: 1.80 1.88 2.96 11/323 53691
/proc/meminfo: memFree=129772640/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=18996948 memory=138280 CPUtime=2.7 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 14771 0 0 0 260 10 0 0 20 0 19 0 56407738 19452874752 34570 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4749237 34570 5488 1 0 551031 0
[pid=53598/tid=53607] ppid=53594 vsize=18996948 memory=22008 CPUtime=1.25 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 5940 0 0 0 118 7 0 0 20 0 19 0 56407741 19452874752 34570 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56407746 19452874752 34570 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=18996948 memory=10496 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 56407747 19452874752 34570 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=18996948 memory=14288 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56407821 19452874752 34570 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138280 KiB

[startup+3.10714 s]
/proc/loadavg: 1.80 1.88 2.96 7/329 53697
/proc/meminfo: memFree=129174020/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=170420 CPUtime=5.44 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 18162 0 0 0 532 12 0 0 20 0 20 0 56407738 19521036288 42605 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 42605 5520 1 0 551886 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=10496 CPUtime=2.8 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 6924 0 0 0 272 8 0 0 20 0 20 0 56407741 19521036288 42605 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=14288 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 42605 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 42605 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=22008 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 42605 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170420 KiB

[startup+6.30024 s]
/proc/loadavg: 2.06 1.93 2.97 7/331 53699
/proc/meminfo: memFree=129126760/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=182416 CPUtime=10.12 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 29616 0 0 0 996 16 0 0 20 0 20 0 56407738 19521036288 45604 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 45604 5520 1 0 554226 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=0 CPUtime=5.93 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 7709 0 0 0 585 8 0 0 20 0 20 0 56407741 19521036288 45604 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=22008 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 45604 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 45604 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=142392 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 45604 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182416 KiB

[startup+12.7004 s]
/proc/loadavg: 2.37 2.00 2.99 5/331 53699
/proc/meminfo: memFree=129035412/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=215392 CPUtime=17.13 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 37300 0 0 0 1694 19 0 0 20 0 20 0 56407738 19521036288 53848 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 53848 5552 1 0 554226 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=142392 CPUtime=12.24 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 8535 0 0 0 1215 9 0 0 20 0 20 0 56407741 19521036288 53848 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=182544 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 53848 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 53848 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 53848 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 17.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 215392 KiB

[startup+25.5005 s]
/proc/loadavg: 2.86 2.11 3.01 5/331 53699
/proc/meminfo: memFree=128410856/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=645748 CPUtime=30.18 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 42538 0 0 0 2986 32 0 0 20 0 20 0 56407738 19521036288 161437 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 161437 5552 1 0 554226 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=0 CPUtime=24.94 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 9919 0 0 0 2474 20 0 0 20 0 20 0 56407741 19521036288 161437 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 161437 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=18048 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 161437 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 161437 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 30.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 645748 KiB

[startup+51.1139 s]
/proc/loadavg: 3.55 2.36 3.07 5/332 53701
/proc/meminfo: memFree=127838604/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=922292 CPUtime=55.87 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 43279 0 0 0 5543 44 0 0 20 0 20 0 56407738 19521036288 230573 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 230573 5552 1 0 554226 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=-6000919489819273578 CPUtime=50.42 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 10207 0 0 0 5012 30 0 0 20 0 20 0 56407741 19521036288 230573 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=22008 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 230573 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=645748 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 230573 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0

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

[startup+3282.3 s]
/proc/loadavg: 4.23 4.33 4.23 5/331 53867
/proc/meminfo: memFree=113506484/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3269.4 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 103210 0 0 0 326296 644 0 0 20 0 20 0 56407738 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 547102 5584 1 0 559258 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3241.93 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 40848 0 0 0 323727 466 0 0 20 0 20 0 56407741 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=2188408 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=2171384 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1558 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=2188408 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3269.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.30 4.22 5/331 53869
/proc/meminfo: memFree=113243716/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3329.35 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 103334 0 0 0 332279 656 0 0 20 0 20 0 56407738 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 547102 5584 1 0 559258 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=2171384 CPUtime=3301.18 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 40880 0 0 0 329643 475 0 0 20 0 20 0 56407741 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=2188408 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1559 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3329.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.27 4.22 5/331 53871
/proc/meminfo: memFree=112987744/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3389.19 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 104479 0 0 0 338254 665 0 0 20 0 20 0 56407738 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 547102 5584 1 0 559258 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3360.71 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 41751 0 0 0 335589 482 0 0 20 0 20 0 56407741 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=18048 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1559 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=16336 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3389.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.25 4.21 5/331 53873
/proc/meminfo: memFree=112838488/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3449.11 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 105277 0 0 0 344237 674 0 0 20 0 20 0 56407738 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 547102 5584 1 0 559258 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3420.19 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 42410 0 0 0 341531 488 0 0 20 0 20 0 56407741 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=2188408 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=16336 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1617 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=2188408 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3449.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.20 5/331 53875
/proc/meminfo: memFree=112722952/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3508.95 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 106042 0 0 0 350211 684 0 0 20 0 20 0 56407738 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 547102 5584 1 0 559258 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=6772 CPUtime=3479.83 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 42918 0 0 0 347487 496 0 0 20 0 20 0 56407741 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=2188408 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=16336 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1707 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=2188408 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3508.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/330 53892
/proc/meminfo: memFree=112595124/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3568.78 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 106088 0 0 0 356185 693 0 0 20 0 20 0 56407738 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 547102 5584 1 0 559258 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=16336 CPUtime=3539.31 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 42923 0 0 0 353429 502 0 0 20 0 20 0 56407741 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=16336 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1708 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=18048 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3568.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.6 s]
/proc/loadavg: 4.17 4.20 4.19 8/306 54064
/proc/meminfo: memFree=123207056/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19063512 memory=2188408 CPUtime=3600.01 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 106375 0 0 0 359302 699 0 0 20 0 20 0 56407738 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4765878 547102 5584 1 0 559258 0
[pid=53598/tid=53607] ppid=53594 vsize=19063512 memory=18048 CPUtime=3570.48 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) R 53594 53598 53552 0 -1 4194368 43205 0 0 0 356541 507 0 0 20 0 20 0 56407741 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407746 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19063512 memory=-6000919489819273578 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1708 0 0 0 0 0 0 0 20 0 20 0 56407747 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53691] ppid=53594 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/53598/task/53691/stat : 53691 (Timer-0) S 53594 53598 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407821 19521036288 547102 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.4 s, system=7.02036 s

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

[startup+3613.8 s]
/proc/loadavg: 4.17 4.20 4.19 8/306 54064
/proc/meminfo: memFree=123207056/131382120 swapFree=33010160/33010684
[pid=53598] ppid=53594 vsize=19263204 memory=2188916 CPUtime=3600.4 cores=4,6
/proc/53598/stat : 53598 (java) S 53594 53598 53552 0 -1 4194304 108725 0 0 0 359340 700 0 0 20 0 15 0 56407738 19725520896 547229 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
/proc/53598/statm: 4815801 547229 5584 1 0 560220 0
[pid=53598/tid=53607] ppid=53594 vsize=19263204 memory=4764 CPUtime=3570.62 cores=4,6
/proc/53598/task/53607/stat : 53607 (java) S 53594 53598 53552 0 -1 4194368 43291 0 0 0 356555 507 0 0 20 0 15 0 56407741 19725520896 547229 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53625] ppid=53594 vsize=19263204 memory=-6000919489819273578 CPUtime=0 cores=4,6
/proc/53598/task/53625/stat : 53625 (Finalizer) S 53594 53598 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 56407746 19725520896 547229 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
[pid=53598/tid=53633] ppid=53594 vsize=19263204 memory=5724 CPUtime=0 cores=4,6
/proc/53598/task/53633/stat : 53633 (Common-Cleaner) S 53594 53598 53552 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 15 0 56407747 19725520896 547229 18446744073709551615 94704749633536 94704749637232 140725536290992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94704749645048 94704749645840 94704768118784 140725536299312 140725536299494 140725536299494 140725536305096 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2188916 KiB

Child status: 143

Real time (s): 3613.83
CPU time (s): 3600.42
CPU user time (s): 3593.4
CPU system time (s): 7.02036
CPU usage (%): 99.629
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2189304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.4
system time used= 7.02036
maximum resident set size= 2189304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8368520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113392
involuntary context switches= 10839


# summary of solver processes directly reported to runsolver:
#   pid: 53598
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3593.4
#   total CPU system time (s): 7.02036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7026 second user time and 37.603 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-02 00:01:26
IDJOB=4497431
IDBENCH=148185
IDSOLVER=3364
FILE ID=nodeC008/4497431-1751407286
RUNJOBID= nodeC008-1751407286-53563
SLURM_JOB_ID= 9598302
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497431-1751407286/watcher-4497431-1751407286 -o /tmp/evaluation-result-4497431-1751407286/solver-4497431-1751407286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751407286-53563 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497431-1751407286 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497431-1751407286.opb

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1003940145

nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130050864 kB
MemAvailable:   129870048 kB
Buffers:            2144 kB
Cached:           628324 kB
SwapCached:           16 kB
Active:           303640 kB
Inactive:         409964 kB
Active(anon):      64428 kB
Inactive(anon):    36628 kB
Active(file):     239212 kB
Inactive(file):   373336 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8092 kB
Writeback:             4 kB
AnonPages:         84304 kB
Mapped:           103492 kB
Shmem:             17920 kB
KReclaimable:      92524 kB
Slab:             175448 kB
SReclaimable:      92524 kB
SUnreclaim:        82924 kB
KernelStack:        3920 kB
PageTables:         2772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     347536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432512 MiB
End job on nodeC008 at 2025-07-02 01:01:40