Trace number 4440393

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)27 3600.35 3630.01

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 benchmark71.6563
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.22/0.35	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.22/0.35	c This is free software under the dual EPL/GNU LGPL licenses.
0.22/0.35	c See www.sat4j.org for details.
0.22/0.37	c version CUSTOM.v20240707
0.22/0.39	c java.runtime.name	OpenJDK Runtime Environment
0.22/0.39	c java.vm.name		OpenJDK 64-Bit Server VM
0.22/0.39	c java.vm.version	22.0.1+8-16
0.22/0.39	c java.vm.vendor	Oracle Corporation
0.22/0.39	c sun.arch.data.model	64
0.22/0.39	c java.version		22.0.1
0.22/0.39	c os.name		Linux
0.22/0.39	c os.version		4.18.0-301.1.el8.x86_64
0.22/0.39	c os.arch		amd64
0.22/0.41	c Free memory 		2113181440
0.22/0.41	c Max memory 		16282288128
0.22/0.41	c Total memory 		2122317824
0.22/0.42	c Number of processors 	2
0.36/0.52	--- Begin Solver configuration ---
0.36/0.52	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.36/0.52	Learn all clauses as in MiniSAT
0.36/0.52	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.36/0.52	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.36/0.52	Expensive reason simplification
0.36/0.52	Glucose 2.1 dynamic restart strategy
0.36/0.52	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.36/0.52	timeout=2147483s
0.36/0.52	DB Simplification allowed=false
0.36/0.52	Listener: none
0.36/0.52	--- End Solver configuration ---
0.36/0.53	c Pseudo Boolean Optimization by upper bound
0.36/0.53	c --- Begin Solver configuration ---
0.36/0.53	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.36/0.53	c Learn all clauses as in MiniSAT
0.36/0.53	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.36/0.53	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.36/0.53	c Expensive reason simplification
0.36/0.53	c Glucose 2.1 dynamic restart strategy
0.36/0.53	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.36/0.53	c timeout=2147483s
0.36/0.53	c DB Simplification allowed=false
0.36/0.53	c Listener: none
0.36/0.53	c --- End Solver configuration ---
0.52/0.53	c solving HOME/instance-4440393-1721820325.opb
0.52/0.53	c reading problem ... 
0.52/0.53	c using VERIPB proof format
0.52/0.54	c  objective function found
1.24/0.94	c ... done. Wall clock time 0.406s.
1.24/0.94	c declared #vars     6027
1.24/0.94	c #constraints  21278
1.24/0.94	c constraints type 
1.24/0.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899
1.24/0.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.24/0.94	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.24/0.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373
1.24/0.94	c 21278 constraints processed.
1.24/0.97	c objective function length is 650 literals
1.45/1.04	c SATISFIABLE
1.45/1.04	c OPTIMIZING...
1.45/1.04	c Got one! Elapsed wall clock time (in seconds):0.517
1.45/1.04	o 28
1.45/1.07	c Got one! Elapsed wall clock time (in seconds):0.547
1.45/1.07	o 27
5.10/3.07	c cleaning 2504 clauses out of 5007 with flag 45023/5007
7.48/4.46	c cleaning 4239 clauses out of 8503 with flag 91608/11007
9.38/5.95	c cleaning 5631 clauses out of 11264 with flag 162335/18007
12.23/8.27	c cleaning 6795 clauses out of 13633 with flag 231348/26007
14.97/10.40	c cleaning 7878 clauses out of 15838 with flag 306842/35007
17.24/12.61	c cleaning 8953 clauses out of 17960 with flag 415990/45007
20.43/15.16	c cleaning 9983 clauses out of 20008 with flag 532412/56008
23.11/17.80	c cleaning 10990 clauses out of 22024 with flag 645975/68007
26.08/20.49	c cleaning 11993 clauses out of 24034 with flag 750573/81007
29.36/23.65	c cleaning 13010 clauses out of 26041 with flag 910327/95007
32.77/27.09	c cleaning 14003 clauses out of 28031 with flag 1057759/110007
36.27/30.58	c cleaning 15004 clauses out of 30028 with flag 1190614/126007
40.52/34.62	c cleaning 16004 clauses out of 32024 with flag 1359409/143007
44.87/39.05	c cleaning 16961 clauses out of 34020 with flag 1520355/161007
49.25/43.43	c cleaning 18020 clauses out of 36060 with flag 1691573/180008
53.64/47.81	c cleaning 19005 clauses out of 38039 with flag 1891576/200007
58.44/52.61	c cleaning 20005 clauses out of 40034 with flag 2097078/221007
62.63/56.82	c cleaning 20932 clauses out of 42029 with flag 2269596/243007
67.51/61.75	c cleaning 22023 clauses out of 44097 with flag 2555474/266007
73.47/67.44	c cleaning 23010 clauses out of 46077 with flag 2795375/290010
79.32/73.30	c cleaning 24008 clauses out of 48064 with flag 3078376/315007
85.21/79.24	c cleaning 25021 clauses out of 50056 with flag 3352107/341007
91.50/85.56	c cleaning 25999 clauses out of 52035 with flag 3646506/368007
98.09/92.12	c cleaning 26960 clauses out of 54036 with flag 3945737/396007
105.23/99.32	c cleaning 27981 clauses out of 56076 with flag 4261221/425007
112.03/106.15	c cleaning 29033 clauses out of 58095 with flag 4549784/455007
119.10/113.25	c cleaning 29979 clauses out of 60062 with flag 4900315/486007
126.49/120.67	c cleaning 30984 clauses out of 62083 with flag 5283201/518007
134.27/128.42	c cleaning 31982 clauses out of 64099 with flag 5676441/551007
142.23/136.47	c cleaning 33051 clauses out of 66117 with flag 6058069/585007
150.41/144.63	c cleaning 33988 clauses out of 68066 with flag 6458703/620007
159.70/153.90	c cleaning 35028 clauses out of 70081 with flag 6897401/656010
169.15/163.43	c cleaning 35998 clauses out of 72050 with flag 7294709/693007
179.63/173.98	c cleaning 36970 clauses out of 74052 with flag 7650116/731007
189.31/183.64	c cleaning 38000 clauses out of 76083 with flag 8071350/770008
199.44/193.80	c cleaning 39022 clauses out of 78082 with flag 8484531/810007
210.14/204.54	c cleaning 39983 clauses out of 80060 with flag 8854470/851007
221.42/215.60	c cleaning 41029 clauses out of 82077 with flag 9202221/893007
232.39/226.66	c cleaning 42011 clauses out of 84052 with flag 9641029/936011
242.77/237.02	c cleaning 42981 clauses out of 86038 with flag 10066403/980008
254.44/248.78	c cleaning 44003 clauses out of 88056 with flag 10612820/1025007
266.80/261.13	c cleaning 44986 clauses out of 90053 with flag 11082400/1071007
280.06/274.40	c cleaning 45987 clauses out of 92067 with flag 11530446/1118007
292.81/287.28	c cleaning 47028 clauses out of 94081 with flag 12050226/1166008
304.77/299.18	c cleaning 47972 clauses out of 96052 with flag 12558988/1215007
317.94/312.32	c cleaning 48985 clauses out of 98081 with flag 13128554/1265008
331.26/325.84	c cleaning 49956 clauses out of 100095 with flag 13693124/1316007
345.06/339.68	c cleaning 51056 clauses out of 102140 with flag 14280313/1368008
359.90/354.55	c cleaning 51923 clauses out of 104083 with flag 14868385/1421007
373.77/368.41	c cleaning 53022 clauses out of 106160 with flag 15514241/1475007
387.60/382.57	c cleaning 53992 clauses out of 108138 with flag 16126596/1530007
402.48/397.43	c cleaning 55021 clauses out of 110146 with flag 16724144/1586007
418.16/413.16	c cleaning 56033 clauses out of 112125 with flag 17323968/1643007
434.03/429.07	c cleaning 57027 clauses out of 114092 with flag 17928237/1701007
449.07/444.16	c cleaning 58013 clauses out of 116067 with flag 18556144/1760009
464.94/460.05	c cleaning 58987 clauses out of 118052 with flag 19189597/1820007
481.99/477.16	c cleaning 59991 clauses out of 120065 with flag 19763221/1881007
498.55/493.72	c cleaning 61005 clauses out of 122074 with flag 20371601/1943007
517.38/524.65	c cleaning 62023 clauses out of 124069 with flag 20979670/2006007
535.36/542.63	c cleaning 63019 clauses out of 126046 with flag 21633920/2070007
552.94/560.74	c cleaning 63917 clauses out of 128030 with flag 22239804/2135010
570.99/578.94	c cleaning 65033 clauses out of 130110 with flag 22897715/2201007
589.54/597.58	c cleaning 65980 clauses out of 132079 with flag 23598916/2268009
607.72/615.83	c cleaning 66982 clauses out of 134097 with flag 24248085/2336007
627.19/635.33	c cleaning 68042 clauses out of 136116 with flag 24957509/2405008
649.58/659.22	c cleaning 69026 clauses out of 138075 with flag 25556238/2475009
669.77/679.49	c cleaning 70011 clauses out of 140047 with flag 26174455/2546007
688.84/698.51	c cleaning 71001 clauses out of 142036 with flag 26853928/2618007
709.51/719.36	c cleaning 71962 clauses out of 144035 with flag 27674489/2691007
731.88/741.80	c cleaning 73000 clauses out of 146073 with flag 28385116/2765007
752.99/762.97	c cleaning 73939 clauses out of 148074 with flag 29094952/2840008
775.90/786.64	c cleaning 75034 clauses out of 150134 with flag 29813392/2916007
797.11/808.00	c cleaning 75991 clauses out of 152100 with flag 30563948/2993007
819.36/830.28	c cleaning 76987 clauses out of 154109 with flag 31371213/3071007
842.02/852.93	c cleaning 77992 clauses out of 156122 with flag 32236807/3150007
865.71/876.76	c cleaning 78992 clauses out of 158130 with flag 32968805/3230007
889.57/900.72	c cleaning 80048 clauses out of 160140 with flag 33725468/3311009
916.85/928.16	c cleaning 81037 clauses out of 162090 with flag 34472175/3393007
945.53/956.91	c cleaning 82006 clauses out of 164053 with flag 35272258/3476007
971.37/982.78	c cleaning 83005 clauses out of 166049 with flag 36176508/3560009
998.58/1009.95	c cleaning 83917 clauses out of 168044 with flag 37101036/3645009
1024.89/1036.22	c cleaning 85057 clauses out of 170126 with flag 37979587/3731008
1050.03/1061.40	c cleaning 86001 clauses out of 172070 with flag 38779238/3818009
1076.30/1087.70	c cleaning 86978 clauses out of 174067 with flag 39598355/3906007
1103.28/1114.70	c cleaning 88006 clauses out of 176089 with flag 40380539/3995007
1132.66/1144.14	c cleaning 88984 clauses out of 178083 with flag 41181675/4085007
1160.73/1177.58	c cleaning 89970 clauses out of 180099 with flag 42001573/4176007
1191.39/1208.92	c cleaning 91031 clauses out of 182129 with flag 42763262/4268007
1220.55/1238.78	c cleaning 92015 clauses out of 184098 with flag 43621677/4361007
1250.37/1269.11	c cleaning 92989 clauses out of 186083 with flag 44537961/4455007
1278.63/1298.00	c cleaning 94038 clauses out of 188097 with flag 45361053/4550010
1309.71/1330.09	c cleaning 95009 clauses out of 190058 with flag 46285751/4646009
1337.05/1357.35	c cleaning 96010 clauses out of 192048 with flag 47147292/4743008
1368.03/1388.51	c cleaning 96932 clauses out of 194038 with flag 48101820/4841008
1396.01/1416.59	c cleaning 97928 clauses out of 196107 with flag 49120650/4940009
1424.76/1445.52	c cleaning 99070 clauses out of 198178 with flag 50252212/5040008
1452.72/1473.76	c cleaning 99979 clauses out of 200107 with flag 51094879/5141007
1481.02/1502.26	c cleaning 100987 clauses out of 202128 with flag 52029563/5243007
1508.12/1529.49	c cleaning 101982 clauses out of 204141 with flag 52995983/5346007
1536.67/1558.90	c cleaning 103023 clauses out of 206159 with flag 54063310/5450007
1564.69/1587.19	c cleaning 103991 clauses out of 208136 with flag 55152606/5555007
1595.56/1618.18	c cleaning 105016 clauses out of 210145 with flag 56106117/5661007
1629.30/1652.09	c cleaning 106037 clauses out of 212133 with flag 57055026/5768011
1662.51/1685.46	c cleaning 107041 clauses out of 214092 with flag 58031905/5876007
1696.81/1719.88	c cleaning 107971 clauses out of 216051 with flag 58975450/5985007
1734.45/1758.47	c cleaning 109021 clauses out of 218085 with flag 59935391/6095012
1772.44/1796.51	c cleaning 110023 clauses out of 220060 with flag 61041932/6206008
1809.83/1833.95	c cleaning 111000 clauses out of 222036 with flag 61832182/6318007
1846.36/1870.56	c cleaning 112011 clauses out of 224036 with flag 62643345/6431007
1882.58/1906.85	c cleaning 112993 clauses out of 226026 with flag 63532190/6545008
1921.78/1946.21	c cleaning 114007 clauses out of 228032 with flag 64479820/6660007
1960.56/1984.86	c cleaning 115012 clauses out of 230025 with flag 65589357/6776007
1998.78/2023.14	c cleaning 115929 clauses out of 232013 with flag 66773450/6893007
2036.73/2061.29	c cleaning 117012 clauses out of 234088 with flag 67903100/7011011
2074.98/2099.69	c cleaning 117996 clauses out of 236072 with flag 69248733/7130007
2112.39/2137.10	c cleaning 119000 clauses out of 238076 with flag 70273411/7250007
2152.74/2178.60	c cleaning 120021 clauses out of 240077 with flag 71307554/7371008
2190.33/2216.45	c cleaning 121000 clauses out of 242056 with flag 72407651/7493008
2228.70/2255.04	c cleaning 121969 clauses out of 244055 with flag 73474390/7616007
2269.33/2295.82	c cleaning 122951 clauses out of 246086 with flag 74679725/7740007
2312.00/2338.64	c cleaning 124046 clauses out of 248135 with flag 75707825/7865007
2360.33/2387.11	c cleaning 125006 clauses out of 250089 with flag 76804919/7991007
2407.54/2434.44	c cleaning 126020 clauses out of 252083 with flag 77806261/8118007
2454.89/2482.12	c cleaning 127016 clauses out of 254063 with flag 78926822/8246007
2500.42/2527.75	c cleaning 128014 clauses out of 256049 with flag 80418335/8375009
2545.77/2573.24	c cleaning 129013 clauses out of 258033 with flag 81728340/8505007
2595.30/2622.85	c cleaning 129983 clauses out of 260020 with flag 82813276/8636007
2643.71/2671.36	c cleaning 130973 clauses out of 262037 with flag 84071091/8768007
2687.69/2715.32	c cleaning 131997 clauses out of 264065 with flag 85376852/8901008
2729.38/2757.03	c cleaning 133024 clauses out of 266067 with flag 86672761/9035007
2772.87/2800.60	c cleaning 133967 clauses out of 268043 with flag 88024215/9170007
2816.02/2844.55	c cleaning 134894 clauses out of 270076 with flag 89431412/9306007
2857.83/2886.45	c cleaning 136088 clauses out of 272183 with flag 90896807/9443008
2898.03/2926.79	c cleaning 137008 clauses out of 274094 with flag 92264303/9581007
2941.73/2970.58	c cleaning 138014 clauses out of 276086 with flag 93621815/9720007
2984.07/3012.96	c cleaning 139020 clauses out of 278073 with flag 94850060/9860008
3032.60/3061.74	c cleaning 139981 clauses out of 280052 with flag 95993935/10001007
3075.39/3104.69	c cleaning 140955 clauses out of 282071 with flag 97491448/10143007
3116.95/3146.29	c cleaning 142012 clauses out of 284117 with flag 99065926/10286008
3162.68/3192.04	c cleaning 143007 clauses out of 286104 with flag 100720756/10430007
3208.68/3238.03	c cleaning 144024 clauses out of 288097 with flag 102326347/10575007
3256.99/3286.48	c cleaning 145004 clauses out of 290074 with flag 104525665/10721008
3304.18/3333.75	c cleaning 145987 clauses out of 292069 with flag 106232421/10868007
3349.77/3379.38	c cleaning 146999 clauses out of 294082 with flag 108037449/11016007
3393.28/3422.92	c cleaning 148004 clauses out of 296085 with flag 109640094/11165009
3436.96/3466.72	c cleaning 148965 clauses out of 298079 with flag 111285840/11315007
3482.17/3512.09	c cleaning 150030 clauses out of 300114 with flag 113132221/11466007
3530.73/3560.72	c cleaning 151016 clauses out of 302084 with flag 114980143/11618007
3576.52/3606.51	c cleaning 152012 clauses out of 304068 with flag 116755369/11771007
3600.06/3629.82	c starts		: 2894
3600.06/3629.83	c conflicts		: 11859213
3600.06/3629.83	c decisions		: 187810253
3600.06/3629.83	c propagations		: 11540870737
3600.06/3629.83	c inspects		: 40556939084
3600.06/3629.83	c shortcuts		: 0
3600.06/3629.83	c learnt literals	: 0
3600.06/3629.83	c learnt binary clauses	: 16
3600.06/3629.83	c learnt ternary clauses	: 16
3600.06/3629.83	c learnt constraints	: 11859213
3600.06/3629.83	c ignored constraints	: 0
3600.06/3629.83	c root simplifications	: 0
3600.06/3629.83	c removed literals (reason simplification)	: 169275221
3600.06/3629.83	c reason swapping (by a shorter reason)	: 0
3600.06/3629.83	c Calls to reduceDB	: 149
3600.06/3629.83	c Number of update (reduction) of LBD	: 8910408
3600.06/3629.83	c Imported unit clauses	: 0
3600.06/3629.83	c No decision after first conflict	: false
3600.06/3629.83	c number of reductions to clauses (during analyze)	: 0
3600.06/3629.83	c number of learned constraints concerned by reduction	: 0
3600.06/3629.83	c number of learning phase by resolution	: 0
3600.06/3629.83	c number of learning phase by cutting planes	: 0
3600.06/3629.83	c number of rounding to 1 operations	: 0
3600.06/3629.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3629.83	c number of reductions of the coefficients by power 2 	: 0
3600.06/3629.83	c number of right shift for reduction by power 2 	: 0
3600.06/3629.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3629.83	c number of ending skipping 	: 0
3600.06/3629.83	c number of internal skipping 	: 0
3600.06/3629.83	c number of derivation steps 	: 0
3600.06/3629.83	c number of skipped derivation steps 	: 0
3600.06/3629.83	c number of remaining unassigned 	: 0
3600.06/3629.83	c number of remaining assigned 	: 0
3600.06/3629.83	c number of falsified literals weakened from reason	: 0
3600.06/3629.83	c number of falsified literals weakened from conflict	: 0
3600.06/3629.83	c time for arithmetic operations	: 0
3600.06/3629.83	c minimum degree of deleted constraints	: null
3600.06/3629.83	c maximum degree of deleted constraints	: null
3600.06/3629.83	c number of deleted constraints	: 0
3600.06/3629.83	c speed (assignments/second)	: 3180309.8934070314
3600.06/3629.83	c non guided choices	: 0
3600.06/3629.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 240246
3600.06/3629.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 16
3600.06/3629.91	s SATISFIABLE
3600.06/3629.91	c Found 2 solution(s)
3600.06/3629.91	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.27/3629.94	c objective function=27
3600.27/3629.94	c Total wall clock time (in seconds): 3629.411

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: 64059 MiB (39004 MiB free)
  memory of node 1: 64510 MiB (50418 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=182171, runsolver pid=182168

[startup+0.100069 s]*
/proc/loadavg: 0.11 0.12 0.09 4/244 182184
/proc/meminfo: memFree=91539048/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=16977064 memory=27376 CPUtime=0.03 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 2142 0 55 0 1 2 0 0 20 0 5 0 18021562 17384513536 6844 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4244266 6844 3538 1 0 540818 0
[pid=182171/tid=182174] ppid=182168 vsize=16977064 memory=4026531959 CPUtime=0.01 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 1680 0 55 0 0 1 0 0 20 0 5 0 18021563 17384513536 6976 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 7 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182189] ppid=182168 vsize=16977064 memory=219967398125 CPUtime=0 cores=5,7
/proc/182171/task/182189/stat : 182189 (java) R 182168 182171 182119 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 5 0 18021573 17384513536 6976 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 16977064 KiB
Current children cumulated memory: 27376 KiB

[startup+0.214085 s]*
/proc/loadavg: 0.11 0.12 0.09 3/269 182212
/proc/meminfo: memFree=91443792/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=18642240 memory=50204 CPUtime=0.07 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 5646 0 108 0 3 4 0 0 20 0 14 0 18021562 19089653760 12551 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4660560 12551 4346 1 0 549209 0
[pid=182171/tid=182174] ppid=182168 vsize=18642240 memory=664952120405917815 CPUtime=0.06 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) S 182168 182171 182119 0 -1 1077936192 5029 0 108 0 3 3 0 0 20 0 14 0 18021563 19089653760 12551 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=18642240 memory=219967398125 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 14 0 18021585 19089653760 12551 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182229] ppid=182168 vsize=18642240 memory=1056174 CPUtime=0 cores=5,7
/proc/182171/task/182229/stat : 182229 (java) R 182168 182171 182119 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 14 0 18021585 19089653760 12551 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18642240 KiB
Current children cumulated memory: 50204 KiB

[startup+0.321926 s]*
/proc/loadavg: 0.11 0.12 0.09 11/296 182239
/proc/meminfo: memFree=91416484/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=18975048 memory=59988 CPUtime=0.22 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 6568 0 126 0 17 5 0 0 20 0 18 0 18021562 19430449152 14997 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4743762 14997 5551 1 0 550966 0
[pid=182171/tid=182174] ppid=182168 vsize=18975048 memory=-8742728682337772220 CPUtime=0.14 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 5428 0 116 0 10 4 0 0 20 0 18 0 18021563 19430449152 14997 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021585 19430449152 14997 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18021586 19430449152 14997 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59988 KiB

[startup+0.705257 s]
/proc/loadavg: 0.98 0.30 0.15 13/306 182256
/proc/meminfo: memFree=91375452/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=18975048 memory=76932 CPUtime=0.85 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 7547 0 126 0 78 7 0 0 20 0 18 0 18021562 19430449152 19233 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4743762 19233 5760 1 0 551694 0
[pid=182171/tid=182174] ppid=182168 vsize=18975048 memory=12108 CPUtime=0.46 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 5833 0 116 0 41 5 0 0 20 0 18 0 18021563 19430449152 19233 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=18975048 memory=4977 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021585 19430449152 19233 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=18975048 memory=16096 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18021586 19430449152 19233 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76932 KiB

[startup+1.50092 s]
/proc/loadavg: 0.98 0.30 0.15 14/319 182269
/proc/meminfo: memFree=91191628/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19041612 memory=140328 CPUtime=2.42 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 10481 0 126 0 232 10 0 0 20 0 19 0 18021562 19498610688 35082 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4760403 35082 5837 1 0 553669 0
[pid=182171/tid=182174] ppid=182168 vsize=19041612 memory=16096 CPUtime=1.21 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 6000 0 116 0 114 7 0 0 20 0 19 0 18021563 19498610688 35082 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18021585 19498610688 35082 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19041612 memory=21400 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 18021586 19498610688 35082 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 18021660 19498610688 35082 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 140328 KiB

[startup+3.10691 s]
/proc/loadavg: 0.98 0.30 0.15 8/324 182274
/proc/meminfo: memFree=90533160/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=189336 CPUtime=5.3 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 20270 0 126 0 517 13 0 0 20 0 20 0 18021562 19566772224 47334 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 47334 5877 1 0 557665 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=11756 CPUtime=2.77 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 6910 0 116 0 269 8 0 0 20 0 20 0 18021563 19566772224 47334 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 47334 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=280884687456736 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 47334 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=16096 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 47334 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189336 KiB

[startup+6.30091 s]
/proc/loadavg: 1.22 0.36 0.17 7/325 182275
/proc/meminfo: memFree=90421592/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=193332 CPUtime=10.17 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 25981 0 126 0 1002 15 0 0 20 0 20 0 18021562 19566772224 48333 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 48333 5886 1 0 558536 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=0 CPUtime=5.92 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 7991 0 116 0 583 9 0 0 20 0 20 0 18021563 19566772224 48333 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=16096 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 48333 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=280884687456736 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 48333 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=143956 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 48333 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 10.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193332 KiB

[startup+12.7109 s]
/proc/loadavg: 1.60 0.45 0.20 5/325 182277
/proc/meminfo: memFree=89981616/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=239272 CPUtime=17.56 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 37856 0 126 0 1737 19 0 0 20 0 20 0 18021562 19566772224 59818 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 59818 5901 1 0 558777 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=143956 CPUtime=12.23 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 9140 0 116 0 1212 11 0 0 20 0 20 0 18021563 19566772224 59818 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 59818 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=195656 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 59818 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 59818 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 17.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 239272 KiB

[startup+25.5005 s]
/proc/loadavg: 1.97 0.57 0.24 5/325 182278
/proc/meminfo: memFree=88940920/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=520104 CPUtime=31.26 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 54002 0 126 0 3095 31 0 0 20 0 20 0 18021562 19566772224 130026 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 130026 5901 1 0 559541 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=520060 CPUtime=24.91 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 11231 0 116 0 2472 19 0 0 20 0 20 0 18021563 19566772224 130026 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 130026 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=15252649462210847 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 130026 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=-8599457919192048316 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 130026 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 31.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 520104 KiB

[startup+51.1141 s]
/proc/loadavg: 2.89 0.93 0.37 5/325 182283
/proc/meminfo: memFree=87918808/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=1335268 CPUtime=56.95 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 60974 0 126 0 5639 56 0 0 20 0 20 0 18021562 19566772224 333817 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 333817 5901 1 0 559541 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=894924 CPUtime=50.26 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 13298 0 116 0 4984 42 0 0 20 0 20 0 18021563 19566772224 333817 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=-8599457919192048316 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 333817 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=804812 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 333817 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 333817 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0

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

/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550635 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=2202528 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2423 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550635 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550635 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3193.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2202540 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.37 4.20 5/323 183670
/proc/meminfo: memFree=69333832/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=2202556 CPUtime=3252.89 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 158525 0 126 0 324436 853 0 0 20 0 20 0 18021562 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 550639 5902 1 0 563960 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=2202556 CPUtime=3223.73 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 59003 0 116 0 321705 668 0 0 20 0 20 0 18021563 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3635 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2480 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3252.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2202556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.33 4.19 5/323 183680
/proc/meminfo: memFree=69122632/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=2202556 CPUtime=3312.77 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 158818 0 126 0 330410 867 0 0 20 0 20 0 18021562 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 550639 5902 1 0 563960 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=5464 CPUtime=3283.27 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 59229 0 116 0 327648 679 0 0 20 0 20 0 18021563 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3651 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2480 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550639 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3312.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2202556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.33 4.20 5/323 183691
/proc/meminfo: memFree=68877044/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=2202568 CPUtime=3372.73 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 160339 0 126 0 336390 883 0 0 20 0 20 0 18021562 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 550642 5902 1 0 563960 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=2202556 CPUtime=3342.74 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 60054 0 116 0 333583 691 0 0 20 0 20 0 18021563 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3662 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2480 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=2202568 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3372.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2202568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.28 4.19 5/323 183702
/proc/meminfo: memFree=68949488/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=2202568 CPUtime=3432.57 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 160782 0 126 0 342358 899 0 0 20 0 20 0 18021562 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 550642 5902 1 0 563960 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=2202556 CPUtime=3402.17 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 60417 0 116 0 339513 704 0 0 20 0 20 0 18021563 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3671 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=2202556 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2537 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3432.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2202568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.28 4.19 5/323 183712
/proc/meminfo: memFree=68711160/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=2202568 CPUtime=3492.42 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 161395 0 126 0 348329 913 0 0 20 0 20 0 18021562 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 550642 5902 1 0 563960 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=2202568 CPUtime=3461.74 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 60925 0 116 0 345458 716 0 0 20 0 20 0 18021563 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3682 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=2202568 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=2202568 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=2202568 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550642 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3492.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2202568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/323 184104
/proc/meminfo: memFree=68498232/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=2202588 CPUtime=3552.31 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 162764 0 126 0 354304 927 0 0 20 0 20 0 18021562 19566772224 550647 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 550647 5902 1 0 563960 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=2202588 CPUtime=3521.24 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 61624 0 116 0 351397 727 0 0 20 0 20 0 18021563 19566772224 550647 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3692 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=2202588 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550647 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=2202588 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2603 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550647 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=2202588 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550647 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3552.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2202588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.8 s]
/proc/loadavg: 4.75 4.36 4.22 7/319 184246
/proc/meminfo: memFree=71470296/131655788 swapFree=131063676/131071996
[pid=182171] ppid=182168 vsize=19108176 memory=2203180 CPUtime=3600.06 cores=5,7
/proc/182171/stat : 182171 (java) S 182168 182171 182119 0 -1 1077936128 170478 0 126 0 359066 940 0 0 20 0 20 0 18021562 19566772224 550795 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
/proc/182171/statm: 4777044 550795 5902 1 0 564056 0
[pid=182171/tid=182174] ppid=182168 vsize=19108176 memory=2224 CPUtime=3568.27 cores=5,7
/proc/182171/task/182174/stat : 182174 (java) R 182168 182171 182119 0 -1 4194368 63208 0 116 0 356091 736 0 0 20 0 20 0 18021563 19566772224 550795 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3694 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182216] ppid=182168 vsize=19108176 memory=25560 CPUtime=0 cores=5,7
/proc/182171/task/182216/stat : 182216 (Finalizer) S 182168 182171 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021585 19566772224 550795 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182238] ppid=182168 vsize=19108176 memory=31948 CPUtime=0 cores=5,7
/proc/182171/task/182238/stat : 182238 (Common-Cleaner) S 182168 182171 182119 0 -1 1077936192 2603 0 0 0 0 0 0 0 20 0 20 0 18021586 19566772224 550795 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
[pid=182171/tid=182269] ppid=182168 vsize=19108176 memory=-8599457919192048316 CPUtime=0 cores=5,7
/proc/182171/task/182269/stat : 182269 (Timer-0) S 182168 182171 182119 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021660 19566772224 550795 134679101440 94276380553216 94276380556912 140725161037104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94276380564728 94276380565520 94276392214528 140725161038763 140725161038945 140725161038945 140725161045960 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2203180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.93 s, system=9.4237 s

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

[startup+3630 s]*
/proc/loadavg: 4.75 4.36 4.22 9/301 184251
/proc/meminfo: memFree=73169056/131655788 swapFree=131063676/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3630.01
CPU time (s): 3600.35
CPU user time (s): 3590.93
CPU system time (s): 9.4237
CPU usage (%): 99.183
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2203984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.93
system time used= 9.4237
maximum resident set size= 2204476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172049
page faults= 126
swaps= 0
block input operations= 25776
block output operations= 8651920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112598
involuntary context switches= 6946


# summary of solver processes directly reported to runsolver:
#   pid: 182171
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3590.93
#   total CPU system time (s): 9.4237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.074 second user time and 40.9486 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 13:25:25
IDJOB=4440393
IDBENCH=148185
IDSOLVER=3079
FILE ID=nodeC003/4440393-1721820325
RUNJOBID= nodeC003-1721820325-182132
SLURM_JOB_ID= 7891444
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440393-1721820325/watcher-4440393-1721820325 -o /tmp/evaluation-result-4440393-1721820325/solver-4440393-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182132 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440393-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440393-1721820325.opb

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1968991675

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        91586492 kB
MemAvailable:   129785288 kB
Buffers:          247388 kB
Cached:         38502624 kB
SwapCached:          800 kB
Active:          2503200 kB
Inactive:       36571984 kB
Active(anon):       1972 kB
Inactive(anon):   376736 kB
Active(file):    2501228 kB
Inactive(file): 36195248 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:              4152 kB
Writeback:             0 kB
AnonPages:        324904 kB
Mapped:           110476 kB
Shmem:             53532 kB
KReclaimable:     564064 kB
Slab:             678132 kB
SReclaimable:     564064 kB
SUnreclaim:       114068 kB
KernelStack:        3556 kB
PageTables:        10068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     644600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723344 MiB
End job on nodeC003 at 2024-07-24 14:25:55