Trace number 4497430

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 2025-06-06SAT (TO)27 3600.32 3603.67

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4497430-1751386943.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.51/0.32	c ... done. Wall clock time 0.182s.
0.51/0.32	c declared #vars     6027
0.51/0.32	c #constraints  21278
0.51/0.32	c constraints type 
0.51/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899
0.51/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.51/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.51/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373
0.51/0.32	c 21278 constraints processed.
0.51/0.33	c objective function length is 650 literals
0.51/0.37	c SATISFIABLE
0.51/0.37	c OPTIMIZING...
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.241
0.51/0.37	o 28
0.51/0.39	c Got one! Elapsed wall clock time (in seconds):0.259
0.51/0.39	o 27
3.28/2.03	c cleaning 2504 clauses out of 5007 with flag 45023/5007
4.93/3.48	c cleaning 4239 clauses out of 8503 with flag 91608/11007
6.89/5.05	c cleaning 5631 clauses out of 11264 with flag 162335/18007
8.79/6.75	c cleaning 6795 clauses out of 13633 with flag 231348/26007
10.69/8.69	c cleaning 7878 clauses out of 15838 with flag 306842/35007
12.89/10.89	c cleaning 8953 clauses out of 17960 with flag 415990/45007
15.62/13.44	c cleaning 9983 clauses out of 20008 with flag 532412/56008
18.36/16.07	c cleaning 10990 clauses out of 22024 with flag 645975/68007
20.96/18.66	c cleaning 11993 clauses out of 24034 with flag 750573/81007
23.97/21.65	c cleaning 13010 clauses out of 26041 with flag 910327/95007
27.07/24.70	c cleaning 14003 clauses out of 28031 with flag 1057759/110007
30.16/27.82	c cleaning 15004 clauses out of 30028 with flag 1190614/126007
33.80/31.40	c cleaning 16004 clauses out of 32024 with flag 1359409/143007
37.59/35.20	c cleaning 16961 clauses out of 34020 with flag 1520355/161007
41.48/39.12	c cleaning 18020 clauses out of 36060 with flag 1691573/180008
45.27/43.00	c cleaning 19005 clauses out of 38039 with flag 1891576/200007
49.67/47.32	c cleaning 20005 clauses out of 40034 with flag 2097078/221007
53.46/51.16	c cleaning 20932 clauses out of 42029 with flag 2269596/243007
57.95/55.67	c cleaning 22023 clauses out of 44097 with flag 2555474/266007
63.44/61.14	c cleaning 23010 clauses out of 46077 with flag 2795375/290010
68.92/66.69	c cleaning 24008 clauses out of 48064 with flag 3078376/315007
74.61/72.38	c cleaning 25021 clauses out of 50056 with flag 3352107/341007
80.69/78.45	c cleaning 25999 clauses out of 52035 with flag 3646506/368007
86.97/84.74	c cleaning 26960 clauses out of 54036 with flag 3945737/396007
93.66/91.42	c cleaning 27981 clauses out of 56076 with flag 4261221/425007
100.44/98.26	c cleaning 29033 clauses out of 58095 with flag 4549784/455007
107.53/105.36	c cleaning 29979 clauses out of 60062 with flag 4900315/486007
114.81/112.61	c cleaning 30984 clauses out of 62083 with flag 5283201/518007
122.39/120.26	c cleaning 31982 clauses out of 64099 with flag 5676441/551007
130.29/128.12	c cleaning 33051 clauses out of 66117 with flag 6058069/585007
138.27/136.15	c cleaning 33988 clauses out of 68066 with flag 6458703/620007
147.54/145.44	c cleaning 35028 clauses out of 70081 with flag 6897401/656010
157.02/154.97	c cleaning 35998 clauses out of 72050 with flag 7294709/693007
167.49/165.49	c cleaning 36970 clauses out of 74052 with flag 7650116/731007
177.17/175.19	c cleaning 38000 clauses out of 76083 with flag 8071350/770008
187.18/185.19	c cleaning 39022 clauses out of 78082 with flag 8484531/810007
197.98/195.95	c cleaning 39983 clauses out of 80060 with flag 8854470/851007
208.95/206.94	c cleaning 41029 clauses out of 82077 with flag 9202221/893007
219.83/217.87	c cleaning 42011 clauses out of 84052 with flag 9641029/936011
230.04/228.06	c cleaning 42981 clauses out of 86038 with flag 10066403/980008
241.51/239.52	c cleaning 44003 clauses out of 88056 with flag 10612820/1025007
253.48/251.51	c cleaning 44986 clauses out of 90053 with flag 11082400/1071007
266.44/264.56	c cleaning 45987 clauses out of 92067 with flag 11530446/1118007
278.94/277.09	c cleaning 47028 clauses out of 94081 with flag 12050226/1166008
290.60/288.72	c cleaning 47972 clauses out of 96052 with flag 12558988/1215007
303.27/301.46	c cleaning 48985 clauses out of 98081 with flag 13128554/1265008
316.38/314.59	c cleaning 49956 clauses out of 100095 with flag 13693124/1316007
330.14/328.35	c cleaning 51056 clauses out of 102140 with flag 14280313/1368008
343.50/341.79	c cleaning 51923 clauses out of 104083 with flag 14868385/1421007
357.20/355.49	c cleaning 53022 clauses out of 106160 with flag 15514241/1475007
370.77/369.00	c cleaning 53992 clauses out of 108138 with flag 16126596/1530007
385.44/383.76	c cleaning 55021 clauses out of 110146 with flag 16724144/1586007
400.94/399.28	c cleaning 56033 clauses out of 112125 with flag 17323968/1643007
416.50/414.83	c cleaning 57027 clauses out of 114092 with flag 17928237/1701007
431.06/429.46	c cleaning 58013 clauses out of 116067 with flag 18556144/1760009
446.36/444.78	c cleaning 58987 clauses out of 118052 with flag 19189597/1820007
462.83/461.28	c cleaning 59991 clauses out of 120065 with flag 19763221/1881007
479.10/477.56	c cleaning 61005 clauses out of 122074 with flag 20371601/1943007
496.36/494.81	c cleaning 62023 clauses out of 124069 with flag 20979670/2006007
513.52/512.02	c cleaning 63019 clauses out of 126046 with flag 21633920/2070007
530.40/528.90	c cleaning 63917 clauses out of 128030 with flag 22239804/2135010
547.56/546.14	c cleaning 65033 clauses out of 130110 with flag 22897715/2201007
565.22/563.88	c cleaning 65980 clauses out of 132079 with flag 23598916/2268009
582.42/581.06	c cleaning 66982 clauses out of 134097 with flag 24248085/2336007
600.68/599.30	c cleaning 68042 clauses out of 136116 with flag 24957509/2405008
620.72/619.40	c cleaning 69026 clauses out of 138075 with flag 25556238/2475009
639.69/638.47	c cleaning 70011 clauses out of 140047 with flag 26174455/2546007
657.88/656.62	c cleaning 71001 clauses out of 142036 with flag 26853928/2618007
677.24/676.07	c cleaning 71962 clauses out of 144035 with flag 27674489/2691007
698.39/697.29	c cleaning 73000 clauses out of 146073 with flag 28385116/2765007
718.70/717.55	c cleaning 73939 clauses out of 148074 with flag 29094952/2840008
739.22/738.19	c cleaning 75034 clauses out of 150134 with flag 29813392/2916007
759.18/758.15	c cleaning 75991 clauses out of 152100 with flag 30563948/2993007
779.93/778.91	c cleaning 76987 clauses out of 154109 with flag 31371213/3071007
801.44/800.46	c cleaning 77992 clauses out of 156122 with flag 32236807/3150007
823.88/822.99	c cleaning 78992 clauses out of 158130 with flag 32968805/3230007
846.43/845.50	c cleaning 80048 clauses out of 160140 with flag 33725468/3311009
871.97/871.19	c cleaning 81037 clauses out of 162090 with flag 34472175/3393007
899.06/898.24	c cleaning 82006 clauses out of 164053 with flag 35272258/3476007
923.11/922.37	c cleaning 83005 clauses out of 166049 with flag 36176508/3560009
948.76/948.03	c cleaning 83917 clauses out of 168044 with flag 37101036/3645009
973.40/972.76	c cleaning 85057 clauses out of 170126 with flag 37979587/3731008
997.32/996.65	c cleaning 86001 clauses out of 172070 with flag 38779238/3818009
1021.67/1021.05	c cleaning 86978 clauses out of 174067 with flag 39598355/3906007
1047.01/1046.43	c cleaning 88006 clauses out of 176089 with flag 40380539/3995007
1074.44/1073.94	c cleaning 88984 clauses out of 178083 with flag 41181675/4085007
1099.89/1099.49	c cleaning 89970 clauses out of 180099 with flag 42001573/4176007
1127.32/1126.89	c cleaning 91031 clauses out of 182129 with flag 42763262/4268007
1154.46/1154.08	c cleaning 92015 clauses out of 184098 with flag 43621677/4361007
1182.29/1181.97	c cleaning 92989 clauses out of 186083 with flag 44537961/4455007
1209.44/1209.17	c cleaning 94038 clauses out of 188097 with flag 45361053/4550010
1237.17/1236.95	c cleaning 95009 clauses out of 190058 with flag 46285751/4646009
1263.20/1262.76	c cleaning 96010 clauses out of 192048 with flag 47147292/4743008
1292.03/1291.69	c cleaning 96932 clauses out of 194038 with flag 48101820/4841008
1318.58/1318.24	c cleaning 97928 clauses out of 196107 with flag 49120650/4940009
1345.51/1345.27	c cleaning 99070 clauses out of 198178 with flag 50252212/5040008
1372.26/1372.01	c cleaning 99979 clauses out of 200107 with flag 51094879/5141007
1399.05/1398.89	c cleaning 100987 clauses out of 202128 with flag 52029563/5243007
1424.80/1424.68	c cleaning 101982 clauses out of 204141 with flag 52995983/5346007
1450.33/1450.21	c cleaning 103023 clauses out of 206159 with flag 54063310/5450007
1476.77/1476.75	c cleaning 103991 clauses out of 208136 with flag 55152606/5555007
1506.02/1506.07	c cleaning 105016 clauses out of 210145 with flag 56106117/5661007
1538.24/1538.37	c cleaning 106037 clauses out of 212133 with flag 57055026/5768011
1570.13/1570.27	c cleaning 107041 clauses out of 214092 with flag 58031905/5876007
1602.77/1602.97	c cleaning 107971 clauses out of 216051 with flag 58975450/5985007
1637.98/1638.22	c cleaning 109021 clauses out of 218085 with flag 59935391/6095012
1674.00/1674.35	c cleaning 110023 clauses out of 220060 with flag 61041932/6206008
1709.72/1710.11	c cleaning 111000 clauses out of 222036 with flag 61832182/6318007
1744.44/1744.95	c cleaning 112011 clauses out of 224036 with flag 62643345/6431007
1779.37/1779.89	c cleaning 112993 clauses out of 226026 with flag 63532190/6545008
1817.19/1817.73	c cleaning 114007 clauses out of 228032 with flag 64479820/6660007
1852.41/1853.03	c cleaning 115012 clauses out of 230025 with flag 65589357/6776007
1888.82/1889.55	c cleaning 115929 clauses out of 232013 with flag 66773450/6893007
1924.94/1925.78	c cleaning 117012 clauses out of 234088 with flag 67903100/7011011
1961.16/1962.04	c cleaning 117996 clauses out of 236072 with flag 69248733/7130007
1996.84/1997.70	c cleaning 119000 clauses out of 238076 with flag 70273411/7250007
2034.16/2035.15	c cleaning 120021 clauses out of 240077 with flag 71307554/7371008
2069.88/2070.90	c cleaning 121000 clauses out of 242056 with flag 72407651/7493008
2106.39/2107.54	c cleaning 121969 clauses out of 244055 with flag 73474390/7616007
2145.21/2146.41	c cleaning 122951 clauses out of 246086 with flag 74679725/7740007
2186.01/2187.38	c cleaning 124046 clauses out of 248135 with flag 75707825/7865007
2232.19/2233.59	c cleaning 125006 clauses out of 250089 with flag 76804919/7991007
2277.00/2278.40	c cleaning 126020 clauses out of 252083 with flag 77806261/8118007
2321.80/2323.38	c cleaning 127016 clauses out of 254063 with flag 78926822/8246007
2364.99/2366.66	c cleaning 128014 clauses out of 256049 with flag 80418335/8375009
2408.31/2410.04	c cleaning 129013 clauses out of 258033 with flag 81728340/8505007
2455.80/2457.60	c cleaning 129983 clauses out of 260020 with flag 82813276/8636007
2502.20/2504.19	c cleaning 130973 clauses out of 262037 with flag 84071091/8768007
2544.09/2546.05	c cleaning 131997 clauses out of 264065 with flag 85376852/8901008
2583.89/2585.96	c cleaning 133024 clauses out of 266067 with flag 86672761/9035007
2625.40/2627.53	c cleaning 133967 clauses out of 268043 with flag 88024215/9170007
2666.20/2668.48	c cleaning 134894 clauses out of 270076 with flag 89431412/9306007
2705.61/2707.95	c cleaning 136088 clauses out of 272183 with flag 90896807/9443008
2743.82/2746.28	c cleaning 137008 clauses out of 274094 with flag 92264303/9581007
2785.43/2787.81	c cleaning 138014 clauses out of 276086 with flag 93621815/9720007
2825.73/2828.25	c cleaning 139020 clauses out of 278073 with flag 94850060/9860008
2872.12/2874.71	c cleaning 139981 clauses out of 280052 with flag 95993935/10001007
2912.33/2915.07	c cleaning 140955 clauses out of 282071 with flag 97491448/10143007
2951.13/2953.94	c cleaning 142012 clauses out of 284117 with flag 99065926/10286008
2994.33/2997.25	c cleaning 143007 clauses out of 286104 with flag 100720756/10430007
3037.43/3040.42	c cleaning 144024 clauses out of 288097 with flag 102326347/10575007
3082.82/3085.96	c cleaning 145004 clauses out of 290074 with flag 104525665/10721008
3127.32/3130.52	c cleaning 145987 clauses out of 292069 with flag 106232421/10868007
3171.07/3173.67	c cleaning 146999 clauses out of 294082 with flag 108037449/11016007
3211.67/3214.38	c cleaning 148004 clauses out of 296085 with flag 109640094/11165009
3253.28/3256.04	c cleaning 148965 clauses out of 298079 with flag 111285840/11315007
3295.97/3298.83	c cleaning 150030 clauses out of 300114 with flag 113132221/11466007
3341.75/3344.77	c cleaning 151016 clauses out of 302084 with flag 114980143/11618007
3385.13/3388.24	c cleaning 152012 clauses out of 304068 with flag 116755369/11771007
3431.90/3435.09	c cleaning 152952 clauses out of 306056 with flag 119315541/11925007
3477.19/3480.41	c cleaning 154008 clauses out of 308104 with flag 120895295/12080007
3527.48/3530.81	c cleaning 155004 clauses out of 310096 with flag 122264329/12236007
3577.17/3580.62	c cleaning 156035 clauses out of 312092 with flag 123671481/12393007
3600.01/3603.52	c starts		: 2936
3600.01/3603.53	c conflicts		: 12480754
3600.01/3603.53	c decisions		: 196463980
3600.01/3603.53	c propagations		: 12099640443
3600.01/3603.53	c inspects		: 42680981461
3600.01/3603.53	c shortcuts		: 0
3600.01/3603.53	c learnt literals	: 0
3600.01/3603.53	c learnt binary clauses	: 16
3600.01/3603.53	c learnt ternary clauses	: 18
3600.01/3603.53	c learnt constraints	: 12480754
3600.01/3603.53	c ignored constraints	: 0
3600.01/3603.53	c root simplifications	: 0
3600.01/3603.53	c removed literals (reason simplification)	: 175652163
3600.01/3603.53	c reason swapping (by a shorter reason)	: 0
3600.01/3603.53	c Calls to reduceDB	: 153
3600.01/3603.53	c Number of update (reduction) of LBD	: 9394546
3600.01/3603.53	c Imported unit clauses	: 0
3600.01/3603.53	c No decision after first conflict	: false
3600.01/3603.53	c number of reductions to clauses (during analyze)	: 0
3600.01/3603.53	c number of learned constraints concerned by reduction	: 0
3600.01/3603.53	c number of learning phase by resolution	: 0
3600.01/3603.54	c number of learning phase by cutting planes	: 0
3600.01/3603.54	c number of rounding to 1 operations	: 0
3600.01/3603.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3603.54	c number of reductions of the coefficients by power 2 	: 0
3600.01/3603.54	c number of right shift for reduction by power 2 	: 0
3600.01/3603.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3603.54	c number of ending skipping 	: 0
3600.01/3603.54	c number of internal skipping 	: 0
3600.01/3603.54	c number of derivation steps 	: 0
3600.01/3603.54	c number of skipped derivation steps 	: 0
3600.01/3603.54	c number of remaining unassigned 	: 0
3600.01/3603.54	c number of remaining assigned 	: 0
3600.01/3603.54	c number of falsified literals weakened from reason	: 0
3600.01/3603.54	c number of falsified literals weakened from conflict	: 0
3600.01/3603.54	c time for arithmetic operations	: 0
3600.01/3603.54	c minimum degree of deleted constraints	: null
3600.01/3603.54	c maximum degree of deleted constraints	: null
3600.01/3603.54	c number of deleted constraints	: 0
3600.01/3603.55	c speed (assignments/second)	: 3358023.526012828
3600.01/3603.55	c non guided choices	: 0
3600.22/3603.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 243788
3600.22/3603.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 16
3600.22/3603.61	s SATISFIABLE
3600.22/3603.61	c Found 2 solution(s)
3600.22/3603.63	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.22/3603.64	c objective function=27
3600.22/3603.64	c Total wall clock time (in seconds): 3603.514

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: 63708 MiB (60648 MiB free)
  memory of node 1: 64465 MiB (61651 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497430-1751386943/watcher-4497430-1751386943 -o /tmp/evaluation-result-4497430-1751386943/solver-4497430-1751386943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497430-1751386943.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 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=55778, runsolver pid=55775

[startup+0.100064 s]*
/proc/loadavg: 4.04 4.08 4.07 5/314 55803
/proc/meminfo: memFree=125204788/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18930384 memory=57700 CPUtime=0.12 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 6584 0 0 0 10 2 0 0 20 0 18 0 54371912 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4732596 14425 5341 1 0 547622 0
[pid=55778/tid=55780] ppid=55775 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5078 0 0 0 6 1 0 0 20 0 18 0 54371914 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18930384 memory=215637836247 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54371916 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18930384 memory=29764 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54371917 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57700 KiB

[startup+0.206096 s]*
/proc/loadavg: 4.04 4.08 4.07 6/314 55813
/proc/meminfo: memFree=125192548/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18930384 memory=70128 CPUtime=0.32 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 7010 0 0 0 29 3 0 0 20 0 18 0 54371912 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4732596 17532 5437 1 0 547898 0
[pid=55778/tid=55780] ppid=55775 vsize=18930384 memory=4026663031 CPUtime=0.18 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5278 0 0 0 16 2 0 0 20 0 18 0 54371914 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18930384 memory=215637836247 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54371916 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18930384 memory=29764 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54371917 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70128 KiB

[startup+0.305925 s]*
/proc/loadavg: 4.04 4.08 4.07 8/315 55819
/proc/meminfo: memFree=125126900/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18930384 memory=107112 CPUtime=0.51 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 8527 0 0 0 47 4 0 0 20 0 18 0 54371912 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4732596 26778 5437 1 0 548894 0
[pid=55778/tid=55780] ppid=55775 vsize=18930384 memory=-7824251494390979176 CPUtime=0.27 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5306 0 0 0 25 2 0 0 20 0 18 0 54371914 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54371916 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54371917 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 107112 KiB

[startup+0.70023 s]
/proc/loadavg: 4.04 4.08 4.07 6/308 55848
/proc/meminfo: memFree=127080764/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18996948 memory=131840 CPUtime=1.26 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 15299 0 0 0 120 6 0 0 20 0 19 0 54371912 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4749237 32960 5469 1 0 554116 0
[pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=18304 CPUtime=0.59 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5436 0 0 0 56 3 0 0 20 0 19 0 54371914 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131840 KiB

[startup+1.50018 s]
/proc/loadavg: 4.04 4.08 4.07 6/316 55875
/proc/meminfo: memFree=126959544/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18996948 memory=132352 CPUtime=2.53 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 17033 0 0 0 245 8 0 0 20 0 19 0 54371912 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4749237 33088 5501 1 0 554118 0
[pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=10752 CPUtime=1.37 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5565 0 0 0 132 5 0 0 20 0 19 0 54371914 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132352 KiB

[startup+3.10502 s]
/proc/loadavg: 4.04 4.08 4.07 4/317 55934
/proc/meminfo: memFree=128895364/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18996948 memory=137008 CPUtime=4.63 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 23208 0 0 0 454 9 0 0 20 0 19 0 54371912 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4749237 34252 5501 1 0 554153 0
[pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=-6000919485557729130 CPUtime=2.96 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 7346 0 0 0 291 5 0 0 20 0 19 0 54371914 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 4.63 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137008 KiB

[startup+6.30023 s]
/proc/loadavg: 4.04 4.08 4.07 6/338 55981
/proc/meminfo: memFree=128724220/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18996948 memory=144704 CPUtime=8.39 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 25931 0 0 0 829 10 0 0 20 0 19 0 54371912 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4749237 36176 5501 1 0 554476 0
[pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=0 CPUtime=6.15 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 7444 0 0 0 610 5 0 0 20 0 19 0 54371914 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=132352 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.07 5/338 55981
/proc/meminfo: memFree=128707860/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=18996948 memory=159168 CPUtime=14.93 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 32628 0 0 0 1482 11 0 0 20 0 19 0 54371912 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4749237 39792 5533 1 0 554476 0
[pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=132352 CPUtime=12.53 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 8687 0 0 0 1248 5 0 0 20 0 19 0 54371914 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=150976 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=14848 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=155072 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159168 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.07 5/339 55982
/proc/meminfo: memFree=128670744/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=190452 CPUtime=27.86 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 35531 0 0 0 2774 12 0 0 20 0 20 0 54371912 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 47613 5533 1 0 554781 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=14848 CPUtime=25.29 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 9312 0 0 0 2523 6 0 0 20 0 20 0 54371914 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=190452 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=132352 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190452 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.07 5/339 55983
/proc/meminfo: memFree=128670500/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=190452 CPUtime=53.46 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 35776 0 0 0 5333 13 0 0 20 0 20 0 54371912 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 47613 5533 1 0 554781 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=132352 CPUtime=50.83 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 9351 0 0 0 5077 6 0 0 20 0 20 0 54371914 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=190452 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/338 56155
/proc/meminfo: memFree=122730212/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3279.51 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 83835 0 0 0 327842 109 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 522356 5533 1 0 561816 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3271.82 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 35308 0 0 0 327165 17 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1183 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=21872 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3279.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2089424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/338 56157
/proc/meminfo: memFree=122646948/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3339.36 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 84565 0 0 0 333826 110 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 522356 5533 1 0 561817 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=10752 CPUtime=3331.64 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 35884 0 0 0 333147 17 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3339.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2089424 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/338 56159
/proc/meminfo: memFree=122519336/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3399.19 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 85443 0 0 0 339808 111 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 522356 5533 1 0 561819 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=164 CPUtime=3391.46 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 36710 0 0 0 339129 17 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=1808832 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1289 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3399.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2089424 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/340 56167
/proc/meminfo: memFree=122445448/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3459.13 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 86229 0 0 0 345800 113 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 522356 5533 1 0 561821 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=1808832 CPUtime=3451.21 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 36944 0 0 0 345103 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3459.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2089424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.21 4.13 5/340 56169
/proc/meminfo: memFree=122445360/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3519 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 86439 0 0 0 351786 114 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 522356 5533 1 0 561821 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3511.06 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37065 0 0 0 351088 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3519 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2089424 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/340 56171
/proc/meminfo: memFree=122445512/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3578.86 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 87168 0 0 0 357771 115 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 522356 5533 1 0 561821 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=18304 CPUtime=3570.91 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37753 0 0 0 357073 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3578.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2089424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.5 s]
/proc/loadavg: 4.18 4.19 4.13 5/340 56171
/proc/meminfo: memFree=122445528/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3600.01 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 87238 0 0 0 359886 115 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4765878 522356 5533 1 0 561822 0
[pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3592.05 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37800 0 0 0 359187 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=-6000919485557729130 CPUtime=0 cores=4,6
/proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2089424 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.15 s, system=1.17054 s

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

[startup+3603.6 s]
/proc/loadavg: 4.18 4.19 4.13 5/340 56171
/proc/meminfo: memFree=122445528/131249988 swapFree=33010684/33010684
[pid=55778] ppid=55775 vsize=19263204 memory=2090448 CPUtime=3600.22 cores=4,6
/proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 89265 0 0 0 359906 116 0 0 20 0 21 0 54371912 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
/proc/55778/statm: 4815801 522612 5565 1 0 562801 0
[pid=55778/tid=55780] ppid=55775 vsize=19263204 memory=2089424 CPUtime=3592.15 cores=4,6
/proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37982 0 0 0 359197 18 0 0 20 0 21 0 54371914 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55792] ppid=55775 vsize=19263204 memory=4352 CPUtime=0 cores=4,6
/proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54371916 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
[pid=55778/tid=55799] ppid=55775 vsize=19263204 memory=2089424 CPUtime=0 cores=4,6
/proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 21 0 54371917 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2090448 KiB

Child status: 143

Real time (s): 3603.67
CPU time (s): 3600.32
CPU user time (s): 3599.15
CPU system time (s): 1.17054
CPU usage (%): 99.9071
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2098044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 1.17054
maximum resident set size= 2098044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104039
involuntary context switches= 20337


# summary of solver processes directly reported to runsolver:
#   pid: 55778
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 1.17054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08646 second user time and 15.8892 second system time

The end

Launcher Data

Begin job on nodeC020 at 2025-07-01 18:22:23
IDJOB=4497430
IDBENCH=148185
IDSOLVER=3363
FILE ID=nodeC020/4497430-1751386943
RUNJOBID= nodeC020-1751383337-55329
SLURM_JOB_ID= 9598231
Free space on /tmp= 432948 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497430-1751386943/watcher-4497430-1751386943 -o /tmp/evaluation-result-4497430-1751386943/solver-4497430-1751386943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4497430-1751386943.opb

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1804936921

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        125236032 kB
MemAvailable:   125688192 kB
Buffers:            3280 kB
Cached:          1256124 kB
SwapCached:            0 kB
Active:          4508080 kB
Inactive:         947052 kB
Active(anon):    4213784 kB
Inactive(anon):        0 kB
Active(file):     294296 kB
Inactive(file):   947052 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1376 kB
Writeback:             4 kB
AnonPages:       4198744 kB
Mapped:           123632 kB
Shmem:             18056 kB
KReclaimable:     100104 kB
Slab:             188824 kB
SReclaimable:     100104 kB
SUnreclaim:        88720 kB
KernelStack:        4832 kB
PageTables:        11536 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    4820512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151096 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4042752 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432936 MiB
End job on nodeC020 at 2025-07-01 19:22:27