Trace number 4432330

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)26 3600.37 3597.27

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
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 benchmark21
Best CPU time to get the best result obtained on this benchmark90.3129
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
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 697
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

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.07	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.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.14/0.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432330-1721117390.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.35/0.29	c ... done. Wall clock time 0.17s.
0.35/0.29	c declared #vars     6076
0.35/0.29	c #constraints  21401
0.35/0.29	c constraints type 
0.35/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984
0.35/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.35/0.29	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.35/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411
0.35/0.29	c 21401 constraints processed.
0.35/0.30	c objective function length is 666 literals
0.54/0.36	c SATISFIABLE
0.54/0.36	c OPTIMIZING...
0.54/0.36	c Got one! Elapsed wall clock time (in seconds):0.227
0.54/0.36	o 26
3.04/1.82	c cleaning 2492 clauses out of 5003 with flag 29546/5003
4.89/3.20	c cleaning 4222 clauses out of 8511 with flag 69839/11003
6.59/4.75	c cleaning 5645 clauses out of 11289 with flag 139104/18003
8.09/6.28	c cleaning 6800 clauses out of 13644 with flag 209477/26003
9.79/7.96	c cleaning 7908 clauses out of 15844 with flag 285447/35003
11.49/9.64	c cleaning 8935 clauses out of 17936 with flag 364193/45003
13.38/11.50	c cleaning 9984 clauses out of 20002 with flag 478357/56004
15.48/13.62	c cleaning 11004 clauses out of 22017 with flag 614553/68003
17.78/15.98	c cleaning 11981 clauses out of 24014 with flag 735275/81004
20.69/18.85	c cleaning 12991 clauses out of 26032 with flag 874773/95003
24.08/22.20	c cleaning 14001 clauses out of 28041 with flag 1049963/110003
27.27/25.48	c cleaning 14999 clauses out of 30040 with flag 1198057/126003
30.35/28.45	c cleaning 15998 clauses out of 32041 with flag 1390149/143003
33.77/31.83	c cleaning 17012 clauses out of 34045 with flag 1610701/161005
37.51/35.52	c cleaning 18018 clauses out of 36035 with flag 1784005/180007
41.60/39.67	c cleaning 18997 clauses out of 38013 with flag 1995412/200003
46.05/44.08	c cleaning 19976 clauses out of 40016 with flag 2246129/221003
50.93/48.91	c cleaning 20980 clauses out of 42040 with flag 2502572/243003
55.46/53.48	c cleaning 21975 clauses out of 44060 with flag 2698546/266003
60.52/58.53	c cleaning 23009 clauses out of 46085 with flag 2974817/290003
65.87/63.98	c cleaning 23992 clauses out of 48076 with flag 3210813/315003
71.70/69.73	c cleaning 25018 clauses out of 50084 with flag 3499991/341003
78.16/76.11	c cleaning 25996 clauses out of 52066 with flag 3827806/368003
84.68/82.62	c cleaning 26993 clauses out of 54070 with flag 4183021/396003
90.79/88.78	c cleaning 28007 clauses out of 56078 with flag 4483884/425004
97.90/95.84	c cleaning 29003 clauses out of 58070 with flag 4813693/455003
105.20/103.16	c cleaning 29985 clauses out of 60067 with flag 5142623/486003
111.64/109.67	c cleaning 31018 clauses out of 62082 with flag 5441707/518003
118.83/116.87	c cleaning 32015 clauses out of 64064 with flag 5789481/551003
126.40/124.43	c cleaning 32999 clauses out of 66050 with flag 6238292/585004
134.93/133.05	c cleaning 33974 clauses out of 68050 with flag 6564094/620003
144.17/142.15	c cleaning 35030 clauses out of 70079 with flag 6990374/656006
151.99/149.92	c cleaning 35954 clauses out of 72046 with flag 7368344/693003
160.35/158.26	c cleaning 36982 clauses out of 74092 with flag 7730056/731003
168.74/166.68	c cleaning 38030 clauses out of 76110 with flag 8140215/770003
177.73/175.67	c cleaning 39013 clauses out of 78080 with flag 8566649/810003
187.22/185.19	c cleaning 39991 clauses out of 80067 with flag 8985860/851003
197.33/195.30	c cleaning 41009 clauses out of 82076 with flag 9482082/893003
207.75/205.76	c cleaning 42010 clauses out of 84067 with flag 9923079/936003
217.17/215.28	c cleaning 42964 clauses out of 86057 with flag 10413585/980003
227.33/225.46	c cleaning 44030 clauses out of 88093 with flag 10948008/1025003
238.01/236.18	c cleaning 45001 clauses out of 90064 with flag 11492698/1071004
249.50/247.76	c cleaning 45987 clauses out of 92062 with flag 11964917/1118003
261.32/259.55	c cleaning 47003 clauses out of 94076 with flag 12509068/1166004
273.48/271.74	c cleaning 48026 clauses out of 96072 with flag 13069505/1215003
285.76/284.01	c cleaning 48997 clauses out of 98047 with flag 13622945/1265004
298.27/296.22	c cleaning 49971 clauses out of 100049 with flag 14135198/1316003
310.14/308.11	c cleaning 51003 clauses out of 102078 with flag 14716035/1368003
322.40/320.31	c cleaning 51989 clauses out of 104075 with flag 15308495/1421003
334.77/332.76	c cleaning 53023 clauses out of 106086 with flag 15986852/1475003
348.63/346.65	c cleaning 53964 clauses out of 108063 with flag 16501104/1530003
362.11/360.04	c cleaning 54979 clauses out of 110099 with flag 17109443/1586003
374.01/372.08	c cleaning 56038 clauses out of 112120 with flag 17788381/1643003
387.58/385.71	c cleaning 56992 clauses out of 114082 with flag 18543873/1701003
401.90/400.09	c cleaning 57996 clauses out of 116090 with flag 19247782/1760003
416.36/414.62	c cleaning 59012 clauses out of 118094 with flag 20081060/1820003
430.47/428.61	c cleaning 60004 clauses out of 120082 with flag 20836527/1881003
445.43/443.65	c cleaning 60973 clauses out of 122078 with flag 21700579/1943003
461.33/459.53	c cleaning 62028 clauses out of 124105 with flag 22449214/2006003
478.03/475.96	c cleaning 63008 clauses out of 126077 with flag 23228389/2070003
491.50/489.58	c cleaning 63992 clauses out of 128069 with flag 23956662/2135003
506.23/504.22	c cleaning 64968 clauses out of 130077 with flag 24783267/2201003
520.00/518.05	c cleaning 65962 clauses out of 132109 with flag 25614770/2268003
533.91/531.83	c cleaning 66996 clauses out of 134147 with flag 26479239/2336003
549.07/547.05	c cleaning 67999 clauses out of 136153 with flag 27311691/2405005
565.65/563.54	c cleaning 69056 clauses out of 138152 with flag 28184234/2475003
581.72/579.63	c cleaning 69988 clauses out of 140096 with flag 28982736/2546003
597.33/595.14	c cleaning 71028 clauses out of 142109 with flag 29824040/2618004
613.29/611.11	c cleaning 72006 clauses out of 144081 with flag 30805020/2691004
629.40/627.12	c cleaning 72969 clauses out of 146074 with flag 31751347/2765003
645.26/643.03	c cleaning 73997 clauses out of 148105 with flag 32698450/2840003
661.45/659.17	c cleaning 74973 clauses out of 150108 with flag 33962675/2916003
679.86/677.40	c cleaning 76048 clauses out of 152135 with flag 34928560/2993003
697.64/694.87	c cleaning 76991 clauses out of 154089 with flag 35811555/3071005
715.07/712.35	c cleaning 78005 clauses out of 156096 with flag 36696479/3150003
732.81/730.26	c cleaning 79015 clauses out of 158091 with flag 37583979/3230003
751.64/749.25	c cleaning 80022 clauses out of 160076 with flag 38403569/3311003
772.54/770.12	c cleaning 80912 clauses out of 162054 with flag 39454277/3393003
790.79/788.42	c cleaning 82026 clauses out of 164143 with flag 40699118/3476004
810.60/808.15	c cleaning 83028 clauses out of 166118 with flag 41841999/3560005
834.62/832.13	c cleaning 83993 clauses out of 168088 with flag 42973659/3645003
855.31/852.93	c cleaning 85002 clauses out of 170095 with flag 44115732/3731003
873.92/871.53	c cleaning 86001 clauses out of 172093 with flag 45257516/3818003
896.27/893.84	c cleaning 86973 clauses out of 174092 with flag 46383016/3906003
918.35/915.86	c cleaning 87982 clauses out of 176119 with flag 47349756/3995003
939.43/936.97	c cleaning 89023 clauses out of 178139 with flag 48432160/4085005
961.43/959.12	c cleaning 90046 clauses out of 180114 with flag 49573680/4176003
983.50/980.94	c cleaning 91021 clauses out of 182069 with flag 50584840/4268004
1006.07/1003.52	c cleaning 91984 clauses out of 184047 with flag 51679541/4361003
1028.41/1025.70	c cleaning 93011 clauses out of 186063 with flag 52787124/4455003
1049.76/1047.13	c cleaning 93983 clauses out of 188054 with flag 53825195/4550005
1075.14/1072.40	c cleaning 95001 clauses out of 190072 with flag 54935593/4646006
1099.28/1096.64	c cleaning 96002 clauses out of 192068 with flag 56000157/4743003
1122.62/1119.99	c cleaning 96958 clauses out of 194067 with flag 57200436/4841004
1146.86/1144.29	c cleaning 98033 clauses out of 196109 with flag 58310614/4940004
1171.38/1168.63	c cleaning 99006 clauses out of 198075 with flag 59653842/5040003
1196.49/1193.66	c cleaning 99991 clauses out of 200070 with flag 60734860/5141004
1222.12/1219.30	c cleaning 101035 clauses out of 202079 with flag 61908057/5243004
1245.02/1242.45	c cleaning 101971 clauses out of 204043 with flag 63111060/5346003
1271.58/1268.93	c cleaning 102971 clauses out of 206072 with flag 64408809/5450003
1294.76/1292.13	c cleaning 104038 clauses out of 208101 with flag 65777340/5555003
1317.06/1314.35	c cleaning 104989 clauses out of 210064 with flag 67054293/5661004
1341.14/1338.02	c cleaning 105927 clauses out of 212074 with flag 68266272/5768003
1366.03/1362.94	c cleaning 107022 clauses out of 214148 with flag 69631823/5876004
1390.66/1387.62	c cleaning 108039 clauses out of 216125 with flag 70971580/5985003
1416.54/1413.43	c cleaning 109033 clauses out of 218086 with flag 72264491/6095003
1443.58/1440.39	c cleaning 109980 clauses out of 220053 with flag 73654185/6206003
1469.52/1466.37	c cleaning 111023 clauses out of 222073 with flag 75186964/6318003
1496.95/1493.77	c cleaning 111990 clauses out of 224050 with flag 76525343/6431003
1525.62/1522.37	c cleaning 112983 clauses out of 226060 with flag 77815664/6545003
1553.87/1550.86	c cleaning 113993 clauses out of 228077 with flag 79375651/6660003
1580.84/1577.95	c cleaning 114945 clauses out of 230084 with flag 80825168/6776003
1610.19/1607.30	c cleaning 115952 clauses out of 232139 with flag 82341084/6893003
1638.61/1635.89	c cleaning 117018 clauses out of 234187 with flag 83691109/7011003
1669.28/1666.44	c cleaning 118023 clauses out of 236169 with flag 85350119/7130003
1699.27/1696.33	c cleaning 119053 clauses out of 238146 with flag 86942682/7250003
1728.91/1726.04	c cleaning 120005 clauses out of 240093 with flag 88554615/7371003
1758.31/1755.51	c cleaning 120953 clauses out of 242088 with flag 90053804/7493003
1788.60/1785.81	c cleaning 122055 clauses out of 244137 with flag 91570023/7616005
1821.50/1817.83	c cleaning 122935 clauses out of 246080 with flag 93331407/7740003
1851.08/1847.41	c cleaning 124008 clauses out of 248145 with flag 94988843/7865003
1879.79/1876.15	c cleaning 125034 clauses out of 250138 with flag 96661780/7991004
1911.74/1908.07	c cleaning 126034 clauses out of 252103 with flag 98434743/8118003
1944.84/1941.19	c cleaning 127003 clauses out of 254069 with flag 100047520/8246003
1977.92/1974.28	c cleaning 127977 clauses out of 256066 with flag 101630214/8375003
2010.58/2006.87	c cleaning 129020 clauses out of 258089 with flag 103216712/8505003
2043.77/2039.97	c cleaning 130015 clauses out of 260069 with flag 104979606/8636003
2077.24/2073.30	c cleaning 130963 clauses out of 262054 with flag 106625066/8768003
2115.48/2111.36	c cleaning 132030 clauses out of 264093 with flag 108522365/8901005
2147.44/2143.36	c cleaning 133024 clauses out of 266063 with flag 110216266/9035005
2180.49/2176.34	c cleaning 133988 clauses out of 268037 with flag 111972502/9170003
2215.07/2210.82	c cleaning 134913 clauses out of 270049 with flag 113738209/9306003
2248.69/2244.49	c cleaning 136019 clauses out of 272138 with flag 115634673/9443005
2281.80/2277.86	c cleaning 137003 clauses out of 274117 with flag 117435031/9581003
2320.76/2317.01	c cleaning 138037 clauses out of 276114 with flag 119378830/9720003
2356.60/2353.03	c cleaning 139021 clauses out of 278077 with flag 121019712/9860003
2393.55/2389.63	c cleaning 139994 clauses out of 280057 with flag 122871698/10001004
2426.82/2423.02	c cleaning 141014 clauses out of 282064 with flag 124125953/10143005
2460.61/2456.76	c cleaning 141947 clauses out of 284048 with flag 125507462/10286003
2494.48/2490.51	c cleaning 142970 clauses out of 286101 with flag 127056696/10430003
2528.58/2524.97	c cleaning 144006 clauses out of 288131 with flag 128688879/10575003
2563.56/2560.15	c cleaning 145064 clauses out of 290127 with flag 130563490/10721005
2598.42/2595.18	c cleaning 145995 clauses out of 292061 with flag 132224178/10868003
2634.42/2631.27	c cleaning 147022 clauses out of 294066 with flag 134039233/11016003
2673.25/2670.24	c cleaning 148022 clauses out of 296045 with flag 135985527/11165004
2713.09/2710.28	c cleaning 148973 clauses out of 298022 with flag 137824607/11315003
2756.89/2754.21	c cleaning 149980 clauses out of 300049 with flag 139666166/11466003
2797.84/2794.81	c cleaning 150993 clauses out of 302069 with flag 141468401/11618003
2837.21/2834.19	c cleaning 152021 clauses out of 304080 with flag 143370360/11771007
2880.72/2877.69	c cleaning 153019 clauses out of 306055 with flag 145240027/11925003
2923.64/2920.37	c cleaning 153952 clauses out of 308036 with flag 147141774/12080003
2964.43/2961.12	c cleaning 154961 clauses out of 310084 with flag 148824289/12236003
3005.12/3002.08	c cleaning 156055 clauses out of 312123 with flag 150860136/12393003
3047.20/3044.28	c cleaning 156996 clauses out of 314068 with flag 152989994/12551003
3090.48/3087.77	c cleaning 158021 clauses out of 316072 with flag 155194026/12710003
3133.63/3130.61	c cleaning 158964 clauses out of 318051 with flag 157123825/12870003
3177.26/3174.28	c cleaning 160002 clauses out of 320087 with flag 159287657/13031003
3220.65/3217.53	c cleaning 161019 clauses out of 322086 with flag 161547093/13193004
3265.80/3262.64	c cleaning 161962 clauses out of 324066 with flag 163661951/13356003
3315.07/3311.76	c cleaning 162978 clauses out of 326104 with flag 165763947/13520003
3359.97/3356.55	c cleaning 163974 clauses out of 328126 with flag 167689238/13685003
3402.26/3398.99	c cleaning 165002 clauses out of 330153 with flag 169542042/13851004
3442.73/3439.40	c cleaning 166022 clauses out of 332150 with flag 171697731/14018003
3483.82/3480.53	c cleaning 167025 clauses out of 334128 with flag 174042740/14186003
3529.74/3526.50	c cleaning 168038 clauses out of 336103 with flag 175839520/14355003
3574.15/3571.10	c cleaning 169002 clauses out of 338065 with flag 177789940/14525003
3600.07/3597.13	c starts		: 1657
3600.07/3597.13	c conflicts		: 14638158
3600.07/3597.14	c decisions		: 230357707
3600.07/3597.14	c propagations		: 12517500403
3600.07/3597.14	c inspects		: 43756547215
3600.07/3597.14	c shortcuts		: 0
3600.07/3597.14	c learnt literals	: 0
3600.07/3597.14	c learnt binary clauses	: 14
3600.07/3597.14	c learnt ternary clauses	: 33
3600.07/3597.14	c learnt constraints	: 14638158
3600.07/3597.14	c ignored constraints	: 0
3600.07/3597.14	c root simplifications	: 0
3600.07/3597.14	c removed literals (reason simplification)	: 0
3600.07/3597.14	c reason swapping (by a shorter reason)	: 0
3600.07/3597.14	c Calls to reduceDB	: 166
3600.07/3597.14	c Number of update (reduction) of LBD	: 11320623
3600.07/3597.14	c Imported unit clauses	: 0
3600.07/3597.14	c No decision after first conflict	: false
3600.07/3597.14	c number of reductions to clauses (during analyze)	: 0
3600.07/3597.14	c number of learned constraints concerned by reduction	: 0
3600.07/3597.14	c number of learning phase by resolution	: 0
3600.07/3597.14	c number of learning phase by cutting planes	: 0
3600.07/3597.14	c number of rounding to 1 operations	: 0
3600.07/3597.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3597.14	c number of reductions of the coefficients by power 2 	: 0
3600.07/3597.14	c number of right shift for reduction by power 2 	: 0
3600.07/3597.15	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3597.15	c number of ending skipping 	: 0
3600.07/3597.15	c number of internal skipping 	: 0
3600.07/3597.15	c number of derivation steps 	: 0
3600.07/3597.15	c number of skipped derivation steps 	: 0
3600.07/3597.15	c number of remaining unassigned 	: 0
3600.07/3597.15	c number of remaining assigned 	: 0
3600.07/3597.15	c number of falsified literals weakened from reason	: 0
3600.07/3597.15	c number of falsified literals weakened from conflict	: 0
3600.07/3597.15	c time for arithmetic operations	: 0
3600.07/3597.15	c minimum degree of deleted constraints	: null
3600.07/3597.15	c maximum degree of deleted constraints	: null
3600.07/3597.15	c number of deleted constraints	: 0
3600.07/3597.15	c speed (assignments/second)	: 3480152.7466585115
3600.07/3597.15	c non guided choices	: 0
3600.27/3597.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 282204
3600.27/3597.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 14
3600.27/3597.21	s SATISFIABLE
3600.27/3597.21	c Found 1 solution(s)
3600.27/3597.21	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 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 x6036 -x6037 -x6038 x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 x6048 x6049 x6050 -x6051 -x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 
3600.27/3597.24	c objective function=26
3600.27/3597.24	c Total wall clock time (in seconds): 3597.122

Verifier Data 

OK	26

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432330-1721117390/watcher-4432330-1721117390 -o /tmp/evaluation-result-4432330-1721117390/solver-4432330-1721117390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840453 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432330-1721117390.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=842612, runsolver pid=842609

[startup+0.100563 s]*
/proc/loadavg: 4.21 4.15 4.14 8/328 842630
/proc/meminfo: memFree=126800136/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=18975048 memory=62624 CPUtime=0.14 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 7247 0 0 0 12 2 0 0 20 0 18 0 163906037 19430449152 15656 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4743762 15656 5541 1 0 549343 0
[pid=842612/tid=842614] ppid=842609 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) S 842609 842612 840443 0 -1 1077936192 5755 0 0 0 7 1 0 0 20 0 18 0 163906037 19430449152 15656 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163906039 19430449152 15656 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=18975048 memory=13573695205540511 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163906040 19430449152 15656 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62624 KiB

[startup+0.205796 s]*
/proc/loadavg: 4.21 4.15 4.14 7/328 842630
/proc/meminfo: memFree=126784908/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=18975048 memory=79168 CPUtime=0.35 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 8588 0 0 0 32 3 0 0 20 0 18 0 163906037 19430449152 19792 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4743762 19792 5810 1 0 550214 0
[pid=842612/tid=842614] ppid=842609 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 5903 0 0 0 16 1 0 0 20 0 18 0 163906037 19430449152 19792 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=18975048 memory=17993 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163906039 19430449152 19792 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163906040 19430449152 19792 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79168 KiB

[startup+0.312732 s]*
/proc/loadavg: 4.21 4.15 4.14 6/329 842631
/proc/meminfo: memFree=126751248/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=18976076 memory=110244 CPUtime=0.54 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 9126 0 0 0 51 3 0 0 20 0 19 0 163906037 19431501824 27561 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4744019 27561 5848 1 0 550878 0
[pid=842612/tid=842614] ppid=842609 vsize=18976076 memory=-8529083677522895548 CPUtime=0.26 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) S 842609 842612 840443 0 -1 1077936192 6013 0 0 0 24 2 0 0 20 0 19 0 163906037 19431501824 27561 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=18976076 memory=0 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906039 19431501824 27561 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=18976076 memory=0 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906040 19431501824 27561 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=18976076 memory=0 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (java) R 842609 842612 840443 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 163906068 19431501824 27561 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18976076 KiB
Current children cumulated memory: 110244 KiB

[startup+0.700583 s]
/proc/loadavg: 4.21 4.15 4.14 8/329 842631
/proc/meminfo: memFree=126734904/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19041612 memory=134904 CPUtime=1.3 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 18895 0 0 0 125 5 0 0 20 0 19 0 163906037 19498610688 33726 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4760403 33726 5848 1 0 556881 0
[pid=842612/tid=842614] ppid=842609 vsize=19041612 memory=12384 CPUtime=0.62 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 6110 0 0 0 60 2 0 0 20 0 19 0 163906037 19498610688 33726 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19041612 memory=12384 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906039 19498610688 33726 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906040 19498610688 33726 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19041612 memory=1968 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163906068 19498610688 33726 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134904 KiB

[startup+1.50024 s]
/proc/loadavg: 4.21 4.15 4.14 6/329 842631
/proc/meminfo: memFree=126718964/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19041612 memory=138240 CPUtime=2.62 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 20829 0 0 0 257 5 0 0 20 0 19 0 163906037 19498610688 34560 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4760403 34560 5880 1 0 556886 0
[pid=842612/tid=842614] ppid=842609 vsize=19041612 memory=12384 CPUtime=1.4 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 6239 0 0 0 138 2 0 0 20 0 19 0 163906037 19498610688 34560 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906039 19498610688 34560 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906040 19498610688 34560 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163906068 19498610688 34560 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138240 KiB

[startup+3.10557 s]
/proc/loadavg: 4.27 4.16 4.14 5/329 842631
/proc/meminfo: memFree=126689192/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19041612 memory=145016 CPUtime=4.79 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 27134 0 0 0 473 6 0 0 20 0 19 0 163906037 19498610688 36254 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4760403 36254 5880 1 0 557324 0
[pid=842612/tid=842614] ppid=842609 vsize=19041612 memory=0 CPUtime=2.99 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 7070 0 0 0 297 2 0 0 20 0 19 0 163906037 19498610688 36254 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906039 19498610688 36254 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19041612 memory=138440 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906040 19498610688 36254 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19041612 memory=12384 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163906068 19498610688 36254 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 145016 KiB

[startup+6.30024 s]
/proc/loadavg: 4.27 4.16 4.14 5/331 842633
/proc/meminfo: memFree=126631928/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19041612 memory=156528 CPUtime=8.19 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 27488 0 0 0 812 7 0 0 20 0 19 0 163906037 19498610688 39132 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4760403 39132 5880 1 0 557324 0
[pid=842612/tid=842614] ppid=842609 vsize=19041612 memory=12384 CPUtime=6.18 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 7287 0 0 0 615 3 0 0 20 0 19 0 163906037 19498610688 39132 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906039 19498610688 39132 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19041612 memory=5936987196785186905 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163906040 19498610688 39132 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19041612 memory=5616 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163906068 19498610688 39132 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156528 KiB

[startup+12.7003 s]
/proc/loadavg: 4.33 4.17 4.15 5/331 842702
/proc/meminfo: memFree=128605296/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=200332 CPUtime=14.58 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 30407 0 0 0 1449 9 0 0 20 0 20 0 163906037 19566772224 50083 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 50083 5935 1 0 557613 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=0 CPUtime=12.53 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 8191 0 0 0 1249 4 0 0 20 0 20 0 163906037 19566772224 50083 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=194180 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 50083 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=16184 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 50083 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 50083 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 14.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 200332 KiB

[startup+25.5011 s]
/proc/loadavg: 4.33 4.18 4.15 5/332 842705
/proc/meminfo: memFree=128297572/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=260012 CPUtime=27.4 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 34734 0 0 0 2729 11 0 0 20 0 20 0 163906037 19566772224 65003 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 65003 5939 1 0 557613 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=11608 CPUtime=25.21 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 9290 0 0 0 2517 4 0 0 20 0 20 0 163906037 19566772224 65003 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=259996 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 65003 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=158576 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 65003 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 65003 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 27.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 260012 KiB

[startup+51.1056 s]
/proc/loadavg: 4.22 4.17 4.14 5/332 842711
/proc/meminfo: memFree=127377592/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=459252 CPUtime=53.12 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 38962 0 0 0 5296 16 0 0 20 0 20 0 163906037 19566772224 114813 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 114813 5939 1 0 557613 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=459252 CPUtime=50.56 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 10977 0 0 0 5051 5 0 0 20 0 20 0 163906037 19566772224 114813 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0

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

[startup+3282.3 s]
/proc/loadavg: 4.25 4.22 4.17 5/332 844546
/proc/meminfo: memFree=103124596/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=6262532 CPUtime=3285.62 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 227681 0 0 0 328335 227 0 0 20 0 20 0 163906037 19566772224 1565633 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 1565633 5939 1 0 2018811 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=6262532 CPUtime=3245.83 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 79864 0 0 0 324518 65 0 0 20 0 20 0 163906037 19566772224 1565633 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=43368 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 1565633 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=6262532 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1245 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 1565633 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 1565633 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3285.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6262532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.21 4.17 5/330 844557
/proc/meminfo: memFree=102859600/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=6262540 CPUtime=3345.59 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 228640 0 0 0 334330 229 0 0 20 0 20 0 163906037 19566772224 1565635 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 1565635 5939 1 0 2018811 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=43368 CPUtime=3305.24 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 80398 0 0 0 330459 65 0 0 20 0 20 0 163906037 19566772224 1565635 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=43368 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 1565635 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=6262540 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1245 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 1565635 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=39104 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 1565635 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3345.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6262540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/330 844567
/proc/meminfo: memFree=102859288/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=6262584 CPUtime=3405.65 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 232866 0 0 0 340334 231 0 0 20 0 20 0 163906037 19566772224 1565646 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 1565646 5939 1 0 2018811 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=11608 CPUtime=3364.83 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 81592 0 0 0 336417 66 0 0 20 0 20 0 163906037 19566772224 1565646 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=6262584 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 1565646 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=6262584 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1291 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 1565646 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 1565646 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3405.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6262584 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.25 4.19 5/330 844578
/proc/meminfo: memFree=102850876/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=6262588 CPUtime=3465.52 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 234413 0 0 0 346319 233 0 0 20 0 20 0 163906037 19566772224 1565647 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 1565647 5939 1 0 2018812 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=11608 CPUtime=3424.36 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 82387 0 0 0 342370 66 0 0 20 0 20 0 163906037 19566772224 1565647 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=39104 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 1565647 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=6262588 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1291 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 1565647 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 1565647 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3465.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6262588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/330 844588
/proc/meminfo: memFree=102833964/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=6270784 CPUtime=3525.55 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 237982 0 0 0 352320 235 0 0 20 0 20 0 163906037 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 1567696 5939 1 0 2018812 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=6262588 CPUtime=3483.47 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 83340 0 0 0 348280 67 0 0 20 0 20 0 163906037 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=43368 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1331 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3525.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6270784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/330 844598
/proc/meminfo: memFree=102833140/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=6270784 CPUtime=3585.25 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 238335 0 0 0 358288 237 0 0 20 0 20 0 163906037 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 1567696 5939 1 0 2018812 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=6270784 CPUtime=3542.88 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 83534 0 0 0 354221 67 0 0 20 0 20 0 163906037 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=12384 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=6270784 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1332 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=6270784 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3585.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6270784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.11 s]
/proc/loadavg: 4.40 4.26 4.20 5/330 844736
/proc/meminfo: memFree=113930624/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19108176 memory=6270784 CPUtime=3600.07 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 240000 0 0 0 359770 237 0 0 20 0 20 0 163906037 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4777044 1567696 5939 1 0 2018812 0
[pid=842612/tid=842614] ppid=842609 vsize=19108176 memory=6270784 CPUtime=3557.36 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 83943 0 0 0 355669 67 0 0 20 0 20 0 163906037 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19108176 memory=6262584 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163906039 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1332 0 0 0 0 0 0 0 20 0 20 0 163906040 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842631] ppid=842609 vsize=19108176 memory=6270784 CPUtime=0 cores=0,2
/proc/842612/task/842631/stat : 842631 (Timer-0) S 842609 842612 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163906068 19566772224 1567696 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6270784 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.97 s, system=2.39949 s

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

[startup+3597.21 s]
/proc/loadavg: 4.40 4.26 4.20 5/330 844736
/proc/meminfo: memFree=113930624/131524600 swapFree=131071996/131071996
[pid=842612] ppid=842609 vsize=19307868 memory=6271620 CPUtime=3600.27 cores=0,2
/proc/842612/stat : 842612 (java) S 842609 842612 840443 0 -1 1077936128 243055 0 0 0 359790 237 0 0 20 0 21 0 163906037 19771256832 1567905 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
/proc/842612/statm: 4826967 1567905 5938 1 0 2019740 0
[pid=842612/tid=842614] ppid=842609 vsize=19307868 memory=-8529083677522895548 CPUtime=3557.45 cores=0,2
/proc/842612/task/842614/stat : 842614 (java) R 842609 842612 840443 0 -1 4194368 84188 0 0 0 355678 67 0 0 20 0 21 0 163906037 19771256832 1567905 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842623] ppid=842609 vsize=19307868 memory=1968 CPUtime=0 cores=0,2
/proc/842612/task/842623/stat : 842623 (Finalizer) S 842609 842612 840443 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 163906039 19771256832 1567905 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
[pid=842612/tid=842630] ppid=842609 vsize=19307868 memory=26084 CPUtime=0 cores=0,2
/proc/842612/task/842630/stat : 842630 (Common-Cleaner) S 842609 842612 840443 0 -1 1077936192 1332 0 0 0 0 0 0 0 20 0 21 0 163906040 19771256832 1567905 134679101440 94356423634944 94356423638640 140728853203808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94356423646456 94356423647248 94356438777856 140728853206023 140728853206113 140728853206113 140728853213128 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6271620 KiB

Child status: 143

Real time (s): 3597.27
CPU time (s): 3600.37
CPU user time (s): 3597.97
CPU system time (s): 2.39949
CPU usage (%): 100.086
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6271620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.39949
maximum resident set size= 6272492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111247
involuntary context switches= 34162


# summary of solver processes directly reported to runsolver:
#   pid: 842612
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3597.97
#   total CPU system time (s): 2.39949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66842 second user time and 18.6946 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-16 10:10:02
IDJOB=4432330
IDBENCH=148194
IDSOLVER=3058
FILE ID=nodeC028/4432330-1721117390
RUNJOBID= nodeC028-1721113794-840453
SLURM_JOB_ID= 7505648
Free space on /tmp= 890064 MiB

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

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=107718856

nodeC028.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		: 3653.516
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.56
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		: 3679.826
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.59
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		: 3644.369
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.56
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.087
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.59
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		: 3602.596
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.56
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		: 3679.850
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.59
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		: 3669.991
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.56
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		: 3599.987
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126842276 kB
MemAvailable:   127332868 kB
Buffers:          392840 kB
Cached:           937748 kB
SwapCached:            0 kB
Active:           692880 kB
Inactive:        3399776 kB
Active(anon):       1552 kB
Inactive(anon):  2798260 kB
Active(file):     691328 kB
Inactive(file):   601516 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4756 kB
Writeback:             0 kB
AnonPages:       2759292 kB
Mapped:           124492 kB
Shmem:             37720 kB
KReclaimable:      75144 kB
Slab:             178528 kB
SReclaimable:      75144 kB
SUnreclaim:       103384 kB
KernelStack:        4988 kB
PageTables:        15376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7320000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61056 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2557952 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:      193236 kB
DirectMap2M:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC028 at 2024-07-16 11:10:00