Trace number 4432333

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)27 3600.37 3590.59

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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432333-1721113855.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.33/0.30	c ... done. Wall clock time 0.166s.
0.33/0.30	c declared #vars     6027
0.33/0.30	c #constraints  21278
0.33/0.30	c constraints type 
0.33/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899
0.33/0.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.33/0.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.33/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373
0.33/0.30	c 21278 constraints processed.
0.33/0.30	c objective function length is 650 literals
0.54/0.35	c SATISFIABLE
0.54/0.35	c OPTIMIZING...
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.218
0.54/0.35	o 28
0.54/0.37	c Got one! Elapsed wall clock time (in seconds):0.242
0.54/0.37	o 27
3.08/1.87	c cleaning 2485 clauses out of 5007 with flag 40140/5007
4.65/3.19	c cleaning 4234 clauses out of 8522 with flag 97913/11007
6.37/4.72	c cleaning 5631 clauses out of 11288 with flag 159570/18007
7.97/6.34	c cleaning 6802 clauses out of 13657 with flag 214427/26007
10.06/8.22	c cleaning 7906 clauses out of 15855 with flag 299791/35007
12.16/10.30	c cleaning 8938 clauses out of 17949 with flag 416283/45007
14.36/12.50	c cleaning 9988 clauses out of 20011 with flag 518025/56007
16.96/15.17	c cleaning 10990 clauses out of 22023 with flag 651298/68007
19.54/17.77	c cleaning 12003 clauses out of 24033 with flag 793931/81007
22.64/20.87	c cleaning 12962 clauses out of 26030 with flag 946803/95007
25.64/23.88	c cleaning 14019 clauses out of 28069 with flag 1079801/110008
28.84/27.10	c cleaning 14953 clauses out of 30049 with flag 1258331/126007
32.88/31.07	c cleaning 16021 clauses out of 32096 with flag 1487308/143007
37.00/35.17	c cleaning 17037 clauses out of 34076 with flag 1690483/161008
41.08/39.28	c cleaning 18010 clauses out of 36038 with flag 1955268/180007
45.63/43.70	c cleaning 19007 clauses out of 38028 with flag 2286113/200007
50.31/48.50	c cleaning 19967 clauses out of 40021 with flag 2551570/221007
55.28/53.35	c cleaning 20999 clauses out of 42054 with flag 2738385/243007
60.14/58.27	c cleaning 22011 clauses out of 44055 with flag 3011339/266007
65.45/63.59	c cleaning 22928 clauses out of 46044 with flag 3288111/290007
70.87/68.97	c cleaning 24003 clauses out of 48116 with flag 3612901/315007
76.26/74.32	c cleaning 25027 clauses out of 50113 with flag 3963729/341007
82.85/80.84	c cleaning 26012 clauses out of 52086 with flag 4335378/368007
89.12/87.00	c cleaning 27024 clauses out of 54074 with flag 4682146/396007
95.39/93.22	c cleaning 27913 clauses out of 56050 with flag 5026307/425007
101.44/99.34	c cleaning 29020 clauses out of 58138 with flag 5350679/455008
108.43/106.35	c cleaning 30002 clauses out of 60117 with flag 5808751/486007
115.45/113.37	c cleaning 30988 clauses out of 62115 with flag 6126387/518007
122.69/120.54	c cleaning 32027 clauses out of 64128 with flag 6608585/551008
130.42/128.26	c cleaning 33001 clauses out of 66100 with flag 7047050/585007
138.02/135.61	c cleaning 34025 clauses out of 68100 with flag 7393467/620008
146.40/144.09	c cleaning 34930 clauses out of 70075 with flag 7785753/656008
154.29/151.92	c cleaning 36032 clauses out of 72144 with flag 8226939/693007
163.06/160.69	c cleaning 36966 clauses out of 74112 with flag 8707037/731007
171.90/169.48	c cleaning 38023 clauses out of 76146 with flag 9184874/770007
181.17/178.70	c cleaning 39040 clauses out of 78125 with flag 9751129/810009
190.52/188.02	c cleaning 40011 clauses out of 80083 with flag 10208980/851007
199.99/197.51	c cleaning 40931 clauses out of 82072 with flag 10820461/893007
210.34/207.81	c cleaning 42038 clauses out of 84141 with flag 11344753/936007
220.88/218.31	c cleaning 43011 clauses out of 86104 with flag 11913065/980008
231.63/229.08	c cleaning 43996 clauses out of 88094 with flag 12547704/1025009
241.97/239.32	c cleaning 44994 clauses out of 90097 with flag 13121096/1071008
252.64/249.95	c cleaning 46038 clauses out of 92102 with flag 13748407/1118007
263.55/260.99	c cleaning 46988 clauses out of 94064 with flag 14337299/1166007
274.96/272.40	c cleaning 47991 clauses out of 96076 with flag 14885518/1215007
286.68/283.95	c cleaning 49036 clauses out of 98086 with flag 15560484/1265008
299.50/296.70	c cleaning 49989 clauses out of 100049 with flag 16354727/1316007
312.39/309.74	c cleaning 51002 clauses out of 102061 with flag 16924623/1368008
324.77/322.03	c cleaning 51989 clauses out of 104058 with flag 17699423/1421007
337.74/335.02	c cleaning 53023 clauses out of 106069 with flag 18368099/1475007
350.96/348.15	c cleaning 53962 clauses out of 108046 with flag 19103955/1530007
363.92/361.12	c cleaning 54924 clauses out of 110084 with flag 19911654/1586007
377.59/374.86	c cleaning 56062 clauses out of 112161 with flag 20689472/1643008
392.04/389.21	c cleaning 57016 clauses out of 114098 with flag 21304808/1701007
406.22/403.51	c cleaning 58019 clauses out of 116083 with flag 21976839/1760008
420.12/417.30	c cleaning 59010 clauses out of 118064 with flag 22687657/1820008
435.62/432.51	c cleaning 59966 clauses out of 120053 with flag 23460120/1881007
451.12/447.91	c cleaning 60991 clauses out of 122087 with flag 24382650/1943007
466.38/463.21	c cleaning 62026 clauses out of 124097 with flag 25179297/2006008
481.78/478.50	c cleaning 62991 clauses out of 126070 with flag 25864441/2070007
496.74/493.52	c cleaning 63967 clauses out of 128079 with flag 26656425/2135007
512.37/509.01	c cleaning 65031 clauses out of 130112 with flag 27477413/2201007
527.73/524.47	c cleaning 66006 clauses out of 132081 with flag 28283255/2268007
543.48/540.22	c cleaning 67010 clauses out of 134075 with flag 29144644/2336007
560.55/557.24	c cleaning 68001 clauses out of 136069 with flag 30118457/2405011
578.00/574.73	c cleaning 68992 clauses out of 138066 with flag 31066644/2475009
595.81/592.56	c cleaning 70024 clauses out of 140072 with flag 31912302/2546007
613.01/609.73	c cleaning 70968 clauses out of 142048 with flag 32797057/2618007
631.24/627.91	c cleaning 71983 clauses out of 144081 with flag 33759093/2691008
649.49/645.93	c cleaning 72955 clauses out of 146097 with flag 34574643/2765007
668.81/665.38	c cleaning 74065 clauses out of 148142 with flag 35447320/2840007
687.65/684.22	c cleaning 75011 clauses out of 150078 with flag 36383907/2916008
707.49/703.97	c cleaning 75996 clauses out of 152066 with flag 37311273/2993007
726.64/723.12	c cleaning 76960 clauses out of 154070 with flag 38316455/3071007
745.93/742.31	c cleaning 78041 clauses out of 156112 with flag 39371601/3150009
765.71/762.02	c cleaning 79012 clauses out of 158070 with flag 40484104/3230008
784.85/781.34	c cleaning 79984 clauses out of 160058 with flag 41428326/3311008
804.48/801.16	c cleaning 81001 clauses out of 162074 with flag 42520044/3393008
825.90/822.62	c cleaning 81959 clauses out of 164072 with flag 43548541/3476007
847.80/844.50	c cleaning 83013 clauses out of 166113 with flag 44754059/3560007
869.25/866.09	c cleaning 83984 clauses out of 168101 with flag 46020005/3645008
892.14/888.86	c cleaning 85026 clauses out of 170116 with flag 47135023/3731007
915.44/912.01	c cleaning 85982 clauses out of 172090 with flag 48382999/3818007
940.43/937.09	c cleaning 87033 clauses out of 174108 with flag 49632092/3906007
964.37/961.03	c cleaning 87991 clauses out of 176075 with flag 50809309/3995007
987.57/983.90	c cleaning 89029 clauses out of 178084 with flag 51826184/4085007
1014.09/1010.49	c cleaning 89915 clauses out of 180055 with flag 52996167/4176007
1040.97/1037.22	c cleaning 91034 clauses out of 182143 with flag 54347315/4268010
1066.16/1062.60	c cleaning 92041 clauses out of 184106 with flag 55594647/4361007
1090.84/1087.26	c cleaning 92987 clauses out of 186066 with flag 56762032/4455008
1117.03/1113.30	c cleaning 94004 clauses out of 188078 with flag 58043776/4550007
1141.14/1137.39	c cleaning 95009 clauses out of 190076 with flag 59204024/4646009
1165.89/1162.18	c cleaning 96004 clauses out of 192065 with flag 60541220/4743007
1192.20/1188.42	c cleaning 97005 clauses out of 194061 with flag 61847438/4841007
1218.41/1214.57	c cleaning 97969 clauses out of 196056 with flag 63086800/4940007
1244.75/1240.91	c cleaning 98966 clauses out of 198087 with flag 64260938/5040007
1269.99/1266.21	c cleaning 99945 clauses out of 200121 with flag 65501890/5141007
1297.58/1293.97	c cleaning 101015 clauses out of 202176 with flag 66852106/5243007
1325.77/1322.15	c cleaning 102019 clauses out of 204162 with flag 68055391/5346008
1354.63/1351.09	c cleaning 103033 clauses out of 206142 with flag 69393404/5450007
1381.51/1378.02	c cleaning 103998 clauses out of 208111 with flag 70713840/5555009
1412.44/1408.96	c cleaning 104965 clauses out of 210111 with flag 72343026/5661007
1441.37/1437.72	c cleaning 106028 clauses out of 212146 with flag 73572651/5768007
1468.57/1464.91	c cleaning 107013 clauses out of 214120 with flag 74894374/5876009
1501.12/1497.06	c cleaning 107974 clauses out of 216105 with flag 76636237/5985007
1529.64/1525.69	c cleaning 109040 clauses out of 218131 with flag 78269023/6095007
1559.13/1554.93	c cleaning 110000 clauses out of 220091 with flag 79949539/6206007
1590.58/1586.42	c cleaning 111039 clauses out of 222091 with flag 81420404/6318007
1623.75/1619.51	c cleaning 111986 clauses out of 224052 with flag 82906974/6431007
1655.72/1651.62	c cleaning 112990 clauses out of 226066 with flag 84458124/6545007
1685.11/1681.15	c cleaning 114000 clauses out of 228076 with flag 86000291/6660007
1715.09/1711.21	c cleaning 114981 clauses out of 230076 with flag 87445368/6776007
1744.18/1740.37	c cleaning 116001 clauses out of 232095 with flag 88847863/6893007
1776.45/1772.54	c cleaning 117016 clauses out of 234094 with flag 90275895/7011007
1812.71/1808.73	c cleaning 118020 clauses out of 236078 with flag 91604739/7130007
1851.67/1847.36	c cleaning 118913 clauses out of 238058 with flag 93257819/7250007
1894.44/1889.20	c cleaning 120045 clauses out of 240146 with flag 94761165/7371008
1941.12/1935.75	c cleaning 121014 clauses out of 242100 with flag 96486448/7493007
1978.00/1972.63	c cleaning 121982 clauses out of 244087 with flag 98184600/7616008
2021.96/2016.30	c cleaning 122962 clauses out of 246104 with flag 100037230/7740007
2057.32/2051.56	c cleaning 124034 clauses out of 248142 with flag 101749000/7865007
2092.16/2086.56	c cleaning 125012 clauses out of 250108 with flag 103315520/7991007
2138.88/2133.15	c cleaning 126006 clauses out of 252096 with flag 105085219/8118007
2175.99/2169.85	c cleaning 126987 clauses out of 254093 with flag 107165705/8246010
2216.97/2210.78	c cleaning 128015 clauses out of 256103 with flag 109175459/8375007
2269.98/2262.12	c cleaning 128998 clauses out of 258088 with flag 111180113/8505007
2306.75/2299.06	c cleaning 130008 clauses out of 260090 with flag 112887282/8636007
2343.04/2335.46	c cleaning 131004 clauses out of 262082 with flag 114956944/8768007
2381.50/2373.91	c cleaning 131969 clauses out of 264079 with flag 116667115/8901008
2417.91/2410.44	c cleaning 133002 clauses out of 266111 with flag 118276211/9035009
2456.72/2449.26	c cleaning 134012 clauses out of 268107 with flag 120070825/9170007
2496.63/2488.83	c cleaning 135007 clauses out of 270095 with flag 121930862/9306007
2534.54/2526.69	c cleaning 135969 clauses out of 272089 with flag 123610808/9443008
2570.54/2562.74	c cleaning 136990 clauses out of 274119 with flag 125520182/9581007
2614.28/2606.25	c cleaning 138040 clauses out of 276129 with flag 127246102/9720007
2651.28/2643.37	c cleaning 139026 clauses out of 278090 with flag 128857526/9860008
2690.03/2682.05	c cleaning 140003 clauses out of 280063 with flag 130402327/10001007
2727.99/2719.98	c cleaning 141022 clauses out of 282061 with flag 132212044/10143008
2766.30/2758.31	c cleaning 141971 clauses out of 284038 with flag 133977204/10286007
2808.54/2800.74	c cleaning 143007 clauses out of 286067 with flag 135891600/10430007
2852.35/2844.63	c cleaning 143974 clauses out of 288060 with flag 138038828/10575007
2893.71/2885.91	c cleaning 145005 clauses out of 290086 with flag 139885702/10721007
2937.63/2929.54	c cleaning 146008 clauses out of 292081 with flag 141771188/10868007
2987.28/2978.88	c cleaning 146981 clauses out of 294073 with flag 144023950/11016007
3031.50/3022.95	c cleaning 148020 clauses out of 296092 with flag 145937728/11165007
3082.94/3073.05	c cleaning 149009 clauses out of 298072 with flag 147791548/11315007
3126.58/3116.79	c cleaning 150001 clauses out of 300064 with flag 149807861/11466008
3169.72/3159.72	c cleaning 150933 clauses out of 302062 with flag 151874236/11618007
3210.70/3200.70	c cleaning 152018 clauses out of 304129 with flag 153780194/11771007
3253.65/3243.47	c cleaning 153031 clauses out of 306112 with flag 155676987/11925008
3296.63/3286.44	c cleaning 153988 clauses out of 308080 with flag 157662538/12080007
3341.52/3331.22	c cleaning 154956 clauses out of 310093 with flag 159599078/12236008
3382.91/3372.76	c cleaning 156041 clauses out of 312136 with flag 161518399/12393007
3425.87/3415.99	c cleaning 157023 clauses out of 314095 with flag 163544510/12551007
3471.88/3462.00	c cleaning 158023 clauses out of 316073 with flag 165337681/12710008
3517.62/3507.77	c cleaning 158929 clauses out of 318049 with flag 167558170/12870007
3562.13/3552.49	c cleaning 160037 clauses out of 320122 with flag 169531226/13031009
3600.03/3590.42	c starts		: 1308
3600.03/3590.42	c conflicts		: 13185121
3600.03/3590.42	c decisions		: 234423785
3600.03/3590.42	c propagations		: 11073276804
3600.03/3590.42	c inspects		: 38493531027
3600.03/3590.42	c shortcuts		: 0
3600.03/3590.42	c learnt literals	: 0
3600.03/3590.42	c learnt binary clauses	: 8
3600.03/3590.42	c learnt ternary clauses	: 37
3600.03/3590.42	c learnt constraints	: 13185121
3600.03/3590.42	c ignored constraints	: 0
3600.03/3590.42	c root simplifications	: 0
3600.03/3590.44	c removed literals (reason simplification)	: 0
3600.03/3590.44	c reason swapping (by a shorter reason)	: 0
3600.03/3590.44	c Calls to reduceDB	: 157
3600.03/3590.44	c Number of update (reduction) of LBD	: 10120751
3600.03/3590.44	c Imported unit clauses	: 0
3600.03/3590.44	c No decision after first conflict	: false
3600.03/3590.44	c number of reductions to clauses (during analyze)	: 0
3600.03/3590.44	c number of learned constraints concerned by reduction	: 0
3600.03/3590.44	c number of learning phase by resolution	: 0
3600.03/3590.44	c number of learning phase by cutting planes	: 0
3600.03/3590.44	c number of rounding to 1 operations	: 0
3600.03/3590.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3590.44	c number of reductions of the coefficients by power 2 	: 0
3600.03/3590.44	c number of right shift for reduction by power 2 	: 0
3600.03/3590.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3590.44	c number of ending skipping 	: 0
3600.03/3590.44	c number of internal skipping 	: 0
3600.03/3590.44	c number of derivation steps 	: 0
3600.03/3590.44	c number of skipped derivation steps 	: 0
3600.03/3590.44	c number of remaining unassigned 	: 0
3600.03/3590.44	c number of remaining assigned 	: 0
3600.03/3590.44	c number of falsified literals weakened from reason	: 0
3600.03/3590.44	c number of falsified literals weakened from conflict	: 0
3600.03/3590.44	c time for arithmetic operations	: 0
3600.03/3590.45	c minimum degree of deleted constraints	: null
3600.03/3590.45	c maximum degree of deleted constraints	: null
3600.03/3590.45	c number of deleted constraints	: 0
3600.03/3590.45	c speed (assignments/second)	: 3084363.9508619877
3600.03/3590.45	c non guided choices	: 0
3600.23/3590.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 314189
3600.23/3590.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 8
3600.23/3590.53	s SATISFIABLE
3600.23/3590.53	c Found 2 solution(s)
3600.23/3590.53	v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 x834 x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 x2138 x2139 -x2140 x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 x2361 x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 x3937 x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -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.23/3590.55	c objective function=27
3600.23/3590.56	c Total wall clock time (in seconds): 3590.433

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432333-1721113855/watcher-4432333-1721113855 -o /tmp/evaluation-result-4432333-1721113855/solver-4432333-1721113855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842435 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432333-1721113855.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10132 s]*
/proc/loadavg: 4.14 4.17 4.17 6/330 847261
/proc/meminfo: memFree=124580180/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=18975048 memory=64324 CPUtime=0.13 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 7083 0 0 0 12 1 0 0 20 0 18 0 163551639 19430449152 16081 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4743762 16081 5595 1 0 549340 0
[pid=847243/tid=847245] ppid=847240 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) S 847240 847243 842425 0 -1 1077936192 5643 0 0 0 7 1 0 0 20 0 18 0 163551639 19430449152 16081 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163551641 19430449152 16081 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=18975048 memory=13845278872568824 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163551642 19430449152 16081 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64324 KiB

[startup+0.206063 s]*
/proc/loadavg: 4.14 4.17 4.17 6/330 847261
/proc/meminfo: memFree=124563020/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=18976112 memory=82004 CPUtime=0.33 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 8434 0 0 0 31 2 0 0 20 0 18 0 163551639 19431538688 20501 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4744028 20501 5791 1 0 550376 0
[pid=847243/tid=847245] ppid=847240 vsize=18976112 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 5797 0 0 0 16 1 0 0 20 0 18 0 163551639 19431538688 20501 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=18976112 memory=16952 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163551641 19431538688 20501 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=18976112 memory=15544020042516215 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163551642 19431538688 20501 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18976112 KiB
Current children cumulated memory: 82004 KiB

[startup+0.309452 s]*
/proc/loadavg: 4.14 4.17 4.17 7/330 847261
/proc/meminfo: memFree=124534660/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19041612 memory=110196 CPUtime=0.54 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 9110 0 0 0 51 3 0 0 20 0 19 0 163551639 19498610688 27549 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4760403 27549 5829 1 0 550944 0
[pid=847243/tid=847245] ppid=847240 vsize=19041612 memory=-9176480500529078972 CPUtime=0.27 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 5907 0 0 0 26 1 0 0 20 0 19 0 163551639 19498610688 27549 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163551641 19498610688 27549 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163551642 19498610688 27549 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (java) R 847240 847243 842425 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 163551670 19498610688 27549 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110196 KiB

[startup+0.700428 s]
/proc/loadavg: 4.14 4.17 4.17 6/331 847262
/proc/meminfo: memFree=124523616/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19041612 memory=135092 CPUtime=1.29 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 18955 0 0 0 125 4 0 0 20 0 19 0 163551639 19498610688 33773 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4760403 33773 5829 1 0 556970 0
[pid=847243/tid=847245] ppid=847240 vsize=19041612 memory=12420 CPUtime=0.64 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 6047 0 0 0 62 2 0 0 20 0 19 0 163551639 19498610688 33773 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163551641 19498610688 33773 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163551642 19498610688 33773 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19041612 memory=39476 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163551670 19498610688 33773 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 135092 KiB

[startup+1.50043 s]
/proc/loadavg: 4.29 4.20 4.18 7/331 847262
/proc/meminfo: memFree=124508108/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19041612 memory=139200 CPUtime=2.64 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 22449 0 0 0 259 5 0 0 20 0 19 0 163551639 19498610688 34800 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4760403 34800 5861 1 0 556996 0
[pid=847243/tid=847245] ppid=847240 vsize=19041612 memory=12420 CPUtime=1.43 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 6157 0 0 0 141 2 0 0 20 0 19 0 163551639 19498610688 34800 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163551641 19498610688 34800 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163551642 19498610688 34800 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163551670 19498610688 34800 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139200 KiB

[startup+3.1055 s]
/proc/loadavg: 4.29 4.20 4.18 9/332 847265
/proc/meminfo: memFree=124509132/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19041612 memory=146392 CPUtime=4.65 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 26634 0 0 0 460 5 0 0 20 0 19 0 163551639 19498610688 36598 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4760403 36598 5861 1 0 557096 0
[pid=847243/tid=847245] ppid=847240 vsize=19041612 memory=0 CPUtime=3.03 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 6614 0 0 0 301 2 0 0 20 0 19 0 163551639 19498610688 36598 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163551641 19498610688 36598 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19041612 memory=141276 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163551642 19498610688 36598 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163551670 19498610688 36598 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146392 KiB

[startup+6.30023 s]
/proc/loadavg: 4.35 4.21 4.18 5/331 847330
/proc/meminfo: memFree=125958436/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19041612 memory=156232 CPUtime=7.97 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 27123 0 0 0 791 6 0 0 20 0 19 0 163551639 19498610688 39058 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4760403 39058 5861 1 0 557098 0
[pid=847243/tid=847245] ppid=847240 vsize=19041612 memory=12420 CPUtime=6.21 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 6921 0 0 0 619 2 0 0 20 0 19 0 163551639 19498610688 39058 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163551641 19498610688 39058 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19041612 memory=8514726395715219830 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163551642 19498610688 39058 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19041612 memory=11664 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163551670 19498610688 39058 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156232 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.21 4.18 5/332 847332
/proc/meminfo: memFree=125926000/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=188952 CPUtime=14.56 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 35546 0 0 0 1449 7 0 0 20 0 20 0 163551639 19566772224 47238 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 47238 5893 1 0 557387 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=188952 CPUtime=12.59 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 7750 0 0 0 1256 3 0 0 20 0 20 0 163551639 19566772224 47238 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 47238 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=41552 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 47238 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 47238 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 14.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188952 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.20 4.18 5/332 847334
/proc/meminfo: memFree=125894344/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=219896 CPUtime=27.34 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 39520 0 0 0 2725 9 0 0 20 0 20 0 163551639 19566772224 54974 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 54974 5899 1 0 557387 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=16156 CPUtime=25.3 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 9270 0 0 0 2527 3 0 0 20 0 20 0 163551639 19566772224 54974 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=188952 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 54974 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=219892 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 54974 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=219888 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 54974 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 27.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 219896 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.20 4.18 5/332 847339
/proc/meminfo: memFree=125718568/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=334880 CPUtime=53.01 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 46521 0 0 0 5290 11 0 0 20 0 20 0 163551639 19566772224 83720 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 83720 5899 1 0 557387 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=-9176480500529078972 CPUtime=50.69 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 10661 0 0 0 5066 3 0 0 20 0 20 0 163551639 19566772224 83720 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0

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

[startup+3282.3 s]
/proc/loadavg: 4.24 4.17 4.16 5/331 849188
/proc/meminfo: memFree=112576336/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=8099484 CPUtime=3292.54 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 238338 0 0 0 328989 265 0 0 20 0 20 0 163551639 19566772224 2024871 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 2024871 5914 1 0 2526719 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=8099484 CPUtime=3244.23 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 72934 0 0 0 324362 61 0 0 20 0 20 0 163551639 19566772224 2024871 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=8099484 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 2024871 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=8099484 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1347 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 2024871 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=8099480 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 2024871 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3292.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8099484 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.16 5/331 849198
/proc/meminfo: memFree=112575444/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=8099500 CPUtime=3352.52 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 242971 0 0 0 334986 266 0 0 20 0 20 0 163551639 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 2024875 5914 1 0 2526722 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=8099500 CPUtime=3303.64 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 74188 0 0 0 330303 61 0 0 20 0 20 0 163551639 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=8099500 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=32192 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1435 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=8099500 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3352.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8099500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.17 5/331 849210
/proc/meminfo: memFree=112570652/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=8099500 CPUtime=3412.31 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 243961 0 0 0 340963 268 0 0 20 0 20 0 163551639 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 2024875 5914 1 0 2526722 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=8099500 CPUtime=3362.9 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 74656 0 0 0 336229 61 0 0 20 0 20 0 163551639 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=8099500 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1442 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=8099500 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 2024875 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3412.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8099500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/331 849220
/proc/meminfo: memFree=112570004/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=8099512 CPUtime=3472.28 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 245366 0 0 0 346958 270 0 0 20 0 20 0 163551639 19566772224 2024878 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 2024878 5914 1 0 2526725 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=8099500 CPUtime=3422.57 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 75724 0 0 0 342196 61 0 0 20 0 20 0 163551639 19566772224 2024878 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=8099500 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 2024878 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1442 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 2024878 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=8099500 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 2024878 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3472.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8099512 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.17 5/331 849230
/proc/meminfo: memFree=112503544/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=8099544 CPUtime=3532.29 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 248833 0 0 0 352956 273 0 0 20 0 20 0 163551639 19566772224 2024886 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 2024886 5914 1 0 2526725 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=8099512 CPUtime=3481.69 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 76345 0 0 0 348108 61 0 0 20 0 20 0 163551639 19566772224 2024886 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=39476 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 2024886 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=41552 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 2024886 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=8099544 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 2024886 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3532.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8099544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/333 849246
/proc/meminfo: memFree=112426080/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=8099548 CPUtime=3592 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 249915 0 0 0 358925 275 0 0 20 0 20 0 163551639 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 2024887 5914 1 0 2526725 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=8099548 CPUtime=3540.96 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 76918 0 0 0 354034 62 0 0 20 0 20 0 163551639 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=41552 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=8099548 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3592 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8099548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590.4 s]
/proc/loadavg: 4.16 4.17 4.17 5/333 849247
/proc/meminfo: memFree=112425996/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19108176 memory=8099548 CPUtime=3600.03 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 250161 0 0 0 359728 275 0 0 20 0 20 0 163551639 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4777044 2024887 5914 1 0 2526725 0
[pid=847243/tid=847245] ppid=847240 vsize=19108176 memory=8099548 CPUtime=3548.99 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 77162 0 0 0 354837 62 0 0 20 0 20 0 163551639 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19108176 memory=41552 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163551641 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19108176 memory=8099548 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 20 0 163551642 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847262] ppid=847240 vsize=19108176 memory=545 CPUtime=0 cores=0,2
/proc/847243/task/847262/stat : 847262 (Timer-0) S 847240 847243 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163551670 19566772224 2024887 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8099548 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.58 s, system=2.78699 s

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

[startup+3590.51 s]
/proc/loadavg: 4.16 4.17 4.17 5/333 849247
/proc/meminfo: memFree=112425996/131524600 swapFree=131071996/131071996
[pid=847243] ppid=847240 vsize=19307868 memory=8100256 CPUtime=3600.23 cores=0,2
/proc/847243/stat : 847243 (java) S 847240 847243 842425 0 -1 1077936128 253261 0 0 0 359748 275 0 0 20 0 21 0 163551639 19771256832 2025064 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
/proc/847243/statm: 4826967 2025064 5913 1 0 2527641 0
[pid=847243/tid=847245] ppid=847240 vsize=19307868 memory=7667212813489956694 CPUtime=3549.1 cores=0,2
/proc/847243/task/847245/stat : 847245 (java) R 847240 847243 842425 0 -1 4194368 77325 0 0 0 354848 62 0 0 20 0 21 0 163551639 19771256832 2025064 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847254] ppid=847240 vsize=19307868 memory=12420 CPUtime=0 cores=0,2
/proc/847243/task/847254/stat : 847254 (Finalizer) S 847240 847243 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163551641 19771256832 2025064 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
[pid=847243/tid=847261] ppid=847240 vsize=19307868 memory=8099548 CPUtime=0 cores=0,2
/proc/847243/task/847261/stat : 847261 (Common-Cleaner) S 847240 847243 842425 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 21 0 163551642 19771256832 2025064 134679101440 94356251357184 94356251360880 140725227926608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356251368696 94356251369488 94356266057728 140725227930631 140725227930721 140725227930721 140725227937736 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 8100256 KiB

Child status: 143

Real time (s): 3590.59
CPU time (s): 3600.37
CPU user time (s): 3597.58
CPU system time (s): 2.78699
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 8100256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.58
system time used= 2.78699
maximum resident set size= 8101252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112130
involuntary context switches= 33627


# summary of solver processes directly reported to runsolver:
#   pid: 847243
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3597.58
#   total CPU system time (s): 2.78699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27184 second user time and 17.5147 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 09:11:07
IDJOB=4432333
IDBENCH=148185
IDSOLVER=3058
FILE ID=nodeC026/4432333-1721113855
RUNJOBID= nodeC026-1721106653-842435
SLURM_JOB_ID= 7505637
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432333-1721113855/watcher-4432333-1721113855 -o /tmp/evaluation-result-4432333-1721113855/solver-4432333-1721113855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842435 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432333-1721113855.opb

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1917082098

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124623484 kB
MemAvailable:   125552052 kB
Buffers:          407648 kB
Cached:          1354860 kB
SwapCached:            0 kB
Active:           718152 kB
Inactive:        5572916 kB
Active(anon):       1548 kB
Inactive(anon):  4564404 kB
Active(file):     716604 kB
Inactive(file):  1008512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20044 kB
Writeback:            44 kB
AnonPages:       4525316 kB
Mapped:           124508 kB
Shmem:             37720 kB
KReclaimable:      86552 kB
Slab:             192880 kB
SReclaimable:      86552 kB
SUnreclaim:       106328 kB
KernelStack:        5048 kB
PageTables:        18832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9338780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62464 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4319232 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC026 at 2024-07-16 10:10:58