Trace number 4524596

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.29 3577.15

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM7739b4d9ca7025fb6750e4f7ea1afab1
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.763853
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints202
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 10037
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10036
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4524596-1751614174.wbo
0.10/0.14	c reading problem ... 
0.30/0.22	c ... done. Wall clock time 0.072s.
0.30/0.22	c declared #vars     5100
0.30/0.22	c internal #vars     5302
0.30/0.22	c #constraints  203
0.30/0.22	c constraints type 
0.30/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.30/0.22	c org.sat4j.specs.Constr$1 => 1
0.30/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 102
0.30/0.23	c 203 constraints processed.
0.30/0.24	c objective function length is 202 literals
1.24/0.73	c SATISFIABLE
1.24/0.73	c OPTIMIZING...
1.24/0.73	c Got one! Elapsed wall clock time (in seconds):0.587
1.24/0.73	o 125
1.24/0.76	c Got one! Elapsed wall clock time (in seconds):0.615
1.24/0.76	o 104
1.81/1.17	c cleaning 2898 clauses out of 5819 with flag 11961/5819
2.91/2.16	c Got one! Elapsed wall clock time (in seconds):2.019
2.91/2.16	o 68
4.38/3.48	c cleaning 6764 clauses out of 13542 with flag 34423/16440
5.25/4.17	c cleaning 6372 clauses out of 12776 with flag 70581/22438
6.65/5.42	c cleaning 6677 clauses out of 13405 with flag 114481/29439
8.36/7.13	c cleaning 7331 clauses out of 14727 with flag 173419/37438
10.62/9.33	c cleaning 8164 clauses out of 16399 with flag 242336/46441
13.02/11.70	c cleaning 9077 clauses out of 18232 with flag 314284/56438
15.67/14.36	c cleaning 10043 clauses out of 20157 with flag 398444/67440
19.13/17.73	c cleaning 11024 clauses out of 22114 with flag 495504/79440
22.89/21.41	c cleaning 12010 clauses out of 24089 with flag 587693/92439
27.05/25.51	c cleaning 13002 clauses out of 26078 with flag 707424/106438
27.55/26.01	c Got one! Elapsed wall clock time (in seconds):25.864
27.55/26.01	o 35
27.75/26.24	c cleaning 9311 clauses out of 18681 with flag 17358/112043
28.37/26.84	c cleaning 7660 clauses out of 15369 with flag 56631/118042
29.33/27.70	c cleaning 7330 clauses out of 14710 with flag 104032/125043
29.73/28.15	c Got one! Elapsed wall clock time (in seconds):28.008
29.73/28.15	o 12
29.83/28.24	c Got one! Elapsed wall clock time (in seconds):28.091
29.83/28.24	o 11
29.94/28.31	c cleaning 7106 clauses out of 14263 with flag 5544/131926
29.94/28.33	c Got one! Elapsed wall clock time (in seconds):28.183
29.94/28.33	o 10
30.24/28.64	c cleaning 6268 clauses out of 12583 with flag 28535/137352
30.34/28.71	c Got one! Elapsed wall clock time (in seconds):28.565
30.34/28.71	o 7
30.34/28.77	c Got one! Elapsed wall clock time (in seconds):28.629
30.34/28.77	o 6
30.70/29.00	c cleaning 5885 clauses out of 11894 with flag 15533/142931
31.09/29.43	c cleaning 5965 clauses out of 12008 with flag 52466/148930
31.89/30.21	c cleaning 6491 clauses out of 13042 with flag 95253/155929
32.93/31.24	c Got one! Elapsed wall clock time (in seconds):31.088
32.93/31.24	o 3
33.39/31.64	c cleaning 9520 clauses out of 19072 with flag 31653/168450
34.18/32.47	c cleaning 7755 clauses out of 15552 with flag 72775/174450
35.32/33.51	c cleaning 7376 clauses out of 14796 with flag 130951/181449
36.41/34.60	c cleaning 7688 clauses out of 15420 with flag 191300/189449
38.01/36.15	c cleaning 8346 clauses out of 16734 with flag 258307/198451
39.10/37.24	c cleaning 9178 clauses out of 18388 with flag 327222/208451
40.52/38.54	c cleaning 10083 clauses out of 20208 with flag 400494/219449
41.98/39.97	c cleaning 11043 clauses out of 22125 with flag 480768/231449
44.16/42.04	c cleaning 12010 clauses out of 24083 with flag 562967/244450
47.34/45.21	c cleaning 13010 clauses out of 26072 with flag 656676/258449
51.12/49.00	c cleaning 14002 clauses out of 28063 with flag 761352/273450
55.49/53.24	c cleaning 15012 clauses out of 30065 with flag 881170/289454
60.88/58.39	c cleaning 16002 clauses out of 32049 with flag 1001485/306450
66.83/64.28	c cleaning 17002 clauses out of 34048 with flag 1120256/324451
73.39/70.75	c cleaning 18001 clauses out of 36045 with flag 1253090/343450
82.16/79.49	c cleaning 18994 clauses out of 38043 with flag 1401345/363449
93.21/90.48	c cleaning 19997 clauses out of 40049 with flag 1548522/384449
104.31/101.43	c cleaning 20997 clauses out of 42052 with flag 1695924/406449
109.93/106.97	c cleaning 22015 clauses out of 44057 with flag 1839075/429451
114.31/111.22	c cleaning 22969 clauses out of 46040 with flag 2001392/453449
118.00/114.84	c cleaning 24026 clauses out of 48073 with flag 2157175/478451
126.52/122.92	c cleaning 24980 clauses out of 50045 with flag 2318774/504449
133.82/130.19	c cleaning 26013 clauses out of 52065 with flag 2499045/531449
142.01/138.30	c cleaning 27007 clauses out of 54052 with flag 2704177/559449
154.75/150.91	c cleaning 28008 clauses out of 56045 with flag 2917721/588449
162.63/158.83	c cleaning 28999 clauses out of 58037 with flag 3140422/618449
182.94/179.07	c cleaning 30003 clauses out of 60039 with flag 3384177/649450
211.06/207.00	c cleaning 31001 clauses out of 62037 with flag 3627580/681451
239.19/235.04	c cleaning 31996 clauses out of 64034 with flag 3875260/714449
267.30/263.08	c cleaning 33004 clauses out of 66039 with flag 4114684/748450
302.91/298.52	c cleaning 33999 clauses out of 68034 with flag 4344077/783449
318.84/314.00	c cleaning 34992 clauses out of 70036 with flag 4608844/819450
331.90/326.98	c cleaning 36004 clauses out of 72045 with flag 4869966/856451
348.94/343.80	c cleaning 37001 clauses out of 74039 with flag 5127127/894449
355.50/350.23	c cleaning 37972 clauses out of 76039 with flag 5375114/933450
366.25/360.86	c cleaning 38987 clauses out of 78066 with flag 5657922/973449
379.42/373.88	c cleaning 40014 clauses out of 80081 with flag 5912577/1014451
391.87/386.13	c cleaning 41009 clauses out of 82065 with flag 6182481/1056449
415.50/409.62	c cleaning 41985 clauses out of 84056 with flag 6446873/1099449
421.54/415.53	c cleaning 42982 clauses out of 86071 with flag 6721211/1143449
429.22/422.51	c cleaning 44030 clauses out of 88091 with flag 6996650/1188451
437.60/430.84	c cleaning 44986 clauses out of 90059 with flag 7282977/1234449
448.46/441.59	c cleaning 45979 clauses out of 92074 with flag 7587399/1281450
478.57/471.55	c cleaning 47007 clauses out of 94095 with flag 7924598/1329450
491.83/484.66	c cleaning 47962 clauses out of 96087 with flag 8242578/1378449
518.55/511.03	c cleaning 49035 clauses out of 98125 with flag 8546412/1428449
532.60/524.93	c cleaning 50003 clauses out of 100090 with flag 8871741/1479449
549.14/541.37	c cleaning 50997 clauses out of 102088 with flag 9209816/1531450
590.65/582.62	c cleaning 52011 clauses out of 104093 with flag 9603679/1584452
626.85/618.76	c cleaning 53004 clauses out of 106080 with flag 9972190/1638450
660.36/651.22	c cleaning 54001 clauses out of 108075 with flag 10375652/1693449
698.67/689.46	c cleaning 55002 clauses out of 110075 with flag 10792008/1749450
746.22/736.96	c cleaning 55997 clauses out of 112072 with flag 11198455/1806449
794.20/784.64	c cleaning 57005 clauses out of 114077 with flag 11628437/1864451
805.00/795.08	c cleaning 58012 clauses out of 116070 with flag 12014683/1923449
833.20/823.09	c cleaning 58994 clauses out of 118058 with flag 12407815/1983449
877.76/867.34	c cleaning 59996 clauses out of 120064 with flag 12808738/2044449
914.55/904.04	c cleaning 61018 clauses out of 122069 with flag 13227883/2106450
977.65/966.99	c cleaning 62011 clauses out of 124052 with flag 13628103/2169451
1043.87/1032.93	c cleaning 63001 clauses out of 126039 with flag 14077283/2233449
1119.33/1107.07	c cleaning 64000 clauses out of 128039 with flag 14541358/2298450
1199.49/1187.23	c cleaning 65000 clauses out of 130039 with flag 15009349/2364450
1289.62/1277.27	c cleaning 65998 clauses out of 132038 with flag 15477266/2431449
1375.43/1362.84	c cleaning 67008 clauses out of 134045 with flag 15986914/2499454
1467.61/1454.81	c cleaning 67998 clauses out of 136032 with flag 16483329/2568449
1530.89/1517.87	c cleaning 68963 clauses out of 138035 with flag 16985136/2638450
1557.23/1544.04	c cleaning 70000 clauses out of 140073 with flag 17467420/2709451
1629.46/1616.08	c cleaning 71000 clauses out of 142074 with flag 17926686/2781452
1698.19/1684.55	c cleaning 72001 clauses out of 144071 with flag 18432115/2854449
1766.56/1752.85	c cleaning 72992 clauses out of 146071 with flag 18957678/2928450
1849.06/1835.19	c cleaning 74002 clauses out of 148079 with flag 19516615/3003450
1873.60/1858.59	c cleaning 74970 clauses out of 150077 with flag 20001575/3079450
1890.41/1875.15	c cleaning 75991 clauses out of 152108 with flag 20477547/3156451
1931.77/1916.05	c cleaning 77032 clauses out of 154117 with flag 21006800/3234451
2005.69/1989.82	c cleaning 78015 clauses out of 156084 with flag 21641950/3313450
2089.16/2073.22	c cleaning 79011 clauses out of 158068 with flag 22368124/3393449
2171.05/2154.79	c cleaning 80010 clauses out of 160057 with flag 23067009/3474449
2252.54/2236.10	c cleaning 81011 clauses out of 162048 with flag 23744580/3556450
2326.85/2310.04	c cleaning 82004 clauses out of 164040 with flag 24427875/3639453
2419.20/2402.38	c cleaning 83001 clauses out of 166033 with flag 25089351/3723450
2465.85/2448.88	c cleaning 83996 clauses out of 168031 with flag 25702158/3808449
2490.23/2472.77	c cleaning 84953 clauses out of 170038 with flag 26246735/3894452
2530.62/2512.95	c cleaning 86015 clauses out of 172082 with flag 26825529/3981449
2627.58/2609.52	c cleaning 86966 clauses out of 174068 with flag 27478472/4069450
2649.14/2630.82	c cleaning 88001 clauses out of 176102 with flag 28067937/4158450
2673.60/2653.84	c cleaning 88993 clauses out of 178102 with flag 28663641/4248451
2798.82/2779.04	c cleaning 89989 clauses out of 180107 with flag 29242883/4339449
2857.92/2837.91	c cleaning 91045 clauses out of 182119 with flag 29903278/4431450
2893.51/2872.99	c cleaning 92003 clauses out of 184073 with flag 30518851/4524449
2929.70/2908.82	c cleaning 92994 clauses out of 186070 with flag 31153649/4618449
2967.13/2946.00	c cleaning 93992 clauses out of 188076 with flag 31742712/4713449
3061.08/3039.77	c cleaning 94985 clauses out of 190086 with flag 32329566/4809451
3168.20/3146.74	c cleaning 96026 clauses out of 192099 with flag 32949040/4906449
3291.85/3270.38	c cleaning 97020 clauses out of 194073 with flag 33586749/5004449
3320.93/3299.14	c cleaning 97973 clauses out of 196053 with flag 34196658/5103449
3352.77/3330.70	c cleaning 98994 clauses out of 198084 with flag 34829321/5203453
3407.40/3384.79	c cleaning 99993 clauses out of 200088 with flag 35509696/5304451
3565.83/3543.17	c cleaning 100999 clauses out of 202093 with flag 36176804/5406449
3600.05/3577.02	c starts		: 5270
3600.05/3577.02	c conflicts		: 5451305
3600.05/3577.02	c decisions		: 18824789
3600.05/3577.02	c propagations		: 102044944
3600.05/3577.02	c inspects		: 18569047618
3600.05/3577.03	c shortcuts		: 0
3600.05/3577.03	c learnt literals	: 0
3600.05/3577.03	c learnt binary clauses	: 0
3600.05/3577.03	c learnt ternary clauses	: 0
3600.05/3577.03	c learnt constraints	: 5451305
3600.05/3577.03	c ignored constraints	: 0
3600.05/3577.03	c root simplifications	: 0
3600.05/3577.03	c removed literals (reason simplification)	: 2838235
3600.05/3577.03	c reason swapping (by a shorter reason)	: 0
3600.05/3577.03	c Calls to reduceDB	: 117
3600.05/3577.03	c Number of update (reduction) of LBD	: 3090564
3600.05/3577.03	c Imported unit clauses	: 0
3600.05/3577.03	c No decision after first conflict	: false
3600.05/3577.03	c number of reductions to clauses (during analyze)	: 0
3600.05/3577.03	c number of learned constraints concerned by reduction	: 0
3600.05/3577.03	c number of learning phase by resolution	: 0
3600.05/3577.03	c number of learning phase by cutting planes	: 0
3600.05/3577.03	c number of rounding to 1 operations	: 0
3600.05/3577.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3577.03	c number of reductions of the coefficients by power 2 	: 0
3600.05/3577.03	c number of right shift for reduction by power 2 	: 0
3600.05/3577.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3577.03	c number of ending skipping 	: 0
3600.05/3577.03	c number of internal skipping 	: 0
3600.05/3577.03	c number of derivation steps 	: 0
3600.05/3577.03	c number of skipped derivation steps 	: 0
3600.05/3577.03	c number of remaining unassigned 	: 0
3600.05/3577.03	c number of remaining assigned 	: 0
3600.05/3577.03	c number of falsified literals weakened from reason	: 0
3600.05/3577.03	c number of falsified literals weakened from conflict	: 0
3600.05/3577.03	c time for arithmetic operations	: 0
3600.05/3577.03	c minimum degree of deleted constraints	: null
3600.05/3577.03	c maximum degree of deleted constraints	: null
3600.05/3577.03	c number of deleted constraints	: 0
3600.05/3577.03	c speed (assignments/second)	: 28529.77140384054
3600.05/3577.03	c non guided choices	: 1191718
3600.05/3577.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 145950
3600.05/3577.09	s SATISFIABLE
3600.05/3577.09	c Found 10 solution(s)
3600.05/3577.10	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 
3600.25/3577.11	c objective function=3
3600.25/3577.11	c Total wall clock time (in seconds): 3576.963

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62948 MiB free)
  memory of node 1: 64465 MiB (63901 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524596-1751614174/watcher-4524596-1751614174 -o /tmp/evaluation-result-4524596-1751614174/solver-4524596-1751614174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86868 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524596-1751614174.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100058 s]*
/proc/loadavg: 0.51 1.43 2.61 8/333 86994
/proc/meminfo: memFree=129795432/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=18930384 memory=53196 CPUtime=0.1 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 6457 0 0 0 8 2 0 0 20 0 18 0 77095253 19384713216 13299 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4732596 13299 5359 1 0 547534 0
[pid=86921/tid=86937] ppid=86908 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 4978 0 0 0 5 1 0 0 20 0 18 0 77095256 19384713216 13299 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=18930384 memory=16099 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 13299 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 13299 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53196 KiB

[startup+0.205666 s]*
/proc/loadavg: 0.51 1.43 2.61 11/333 86994
/proc/meminfo: memFree=129766648/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=18930384 memory=66268 CPUtime=0.3 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 7086 0 0 0 27 3 0 0 20 0 18 0 77095253 19384713216 16567 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4732596 16567 5423 1 0 548003 0
[pid=86921/tid=86937] ppid=86908 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 5260 0 0 0 15 2 0 0 20 0 18 0 77095256 19384713216 16567 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=18930384 memory=16099 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 16567 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77095258 19384713216 16567 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66268 KiB

[startup+0.305621 s]*
/proc/loadavg: 0.51 1.43 2.61 10/337 86998
/proc/meminfo: memFree=129750288/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=18996948 memory=73188 CPUtime=0.49 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 8303 0 0 0 46 3 0 0 20 0 19 0 77095253 19452874752 18297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4749237 18297 5487 1 0 548799 0
[pid=86921/tid=86937] ppid=86908 vsize=18996948 memory=-6000919468495169127 CPUtime=0.25 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 5359 0 0 0 23 2 0 0 20 0 19 0 77095256 19452874752 18297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 18297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 18297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095278 19452874752 18297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73188 KiB

[startup+0.700198 s]
/proc/loadavg: 0.51 1.43 2.61 10/337 86998
/proc/meminfo: memFree=129716076/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=18996948 memory=96720 CPUtime=1.24 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 10587 0 0 0 120 4 0 0 20 0 19 0 77095253 19452874752 24180 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4749237 24180 5519 1 0 550449 0
[pid=86921/tid=86937] ppid=86908 vsize=18996948 memory=14336 CPUtime=0.62 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 5378 0 0 0 60 2 0 0 20 0 19 0 77095256 19452874752 24180 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 24180 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 24180 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095278 19452874752 24180 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96720 KiB

[startup+1.5002 s]
/proc/loadavg: 0.51 1.43 2.61 9/337 86998
/proc/meminfo: memFree=129650164/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=18996948 memory=130112 CPUtime=2.3 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 14605 0 0 0 225 5 0 0 20 0 19 0 77095253 19452874752 32528 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4749237 32528 5519 1 0 550509 0
[pid=86921/tid=86937] ppid=86908 vsize=18996948 memory=10624 CPUtime=1.4 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 6423 0 0 0 137 3 0 0 20 0 19 0 77095256 19452874752 32528 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 32528 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77095258 19452874752 32528 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77095278 19452874752 32528 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130112 KiB

[startup+3.10558 s]
/proc/loadavg: 0.79 1.47 2.62 6/338 86999
/proc/meminfo: memFree=129419008/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=218896 CPUtime=4.08 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 16747 0 0 0 401 7 0 0 20 0 20 0 77095253 19521036288 54724 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 54724 5519 1 0 550809 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=10624 CPUtime=2.95 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 6969 0 0 0 291 4 0 0 20 0 20 0 77095256 19521036288 54724 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=-6000919472790136423 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 54724 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 54724 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 54724 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 218896 KiB

[startup+6.30023 s]
/proc/loadavg: 0.79 1.47 2.62 6/340 87001
/proc/meminfo: memFree=129230376/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=289984 CPUtime=7.55 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 17867 0 0 0 746 9 0 0 20 0 20 0 77095253 19521036288 72496 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 72496 5519 1 0 551114 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=0 CPUtime=6.07 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 7043 0 0 0 603 4 0 0 20 0 20 0 77095256 19521036288 72496 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 72496 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 72496 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 72496 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 289984 KiB

[startup+12.7002 s]
/proc/loadavg: 1.36 1.57 2.64 6/341 87002
/proc/meminfo: memFree=128947248/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=441700 CPUtime=14.08 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 19585 0 0 0 1394 14 0 0 20 0 20 0 77095253 19521036288 110425 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 110425 5551 1 0 551114 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=10624 CPUtime=12.32 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 7759 0 0 0 1228 4 0 0 20 0 20 0 77095256 19521036288 110425 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=370004 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 110425 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 110425 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=-6000919472790136423 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 110425 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 441700 KiB

[startup+25.5002 s]
/proc/loadavg: 1.77 1.65 2.65 6/341 87004
/proc/meminfo: memFree=128316480/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=673264 CPUtime=27.05 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 22204 0 0 0 2684 21 0 0 20 0 20 0 77095253 19521036288 168316 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 168316 5551 1 0 551114 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=370004 CPUtime=24.88 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 8582 0 0 0 2484 4 0 0 20 0 20 0 77095256 19521036288 168316 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 168316 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=-6000919472790136423 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 168316 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=289984 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 168316 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 27.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 673264 KiB

[startup+51.1057 s]
/proc/loadavg: 2.66 1.87 2.70 7/341 87004
/proc/meminfo: memFree=126484348/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=1478216 CPUtime=53.4 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 27522 0 0 0 5302 38 0 0 20 0 20 0 77095253 19521036288 369554 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 369554 5551 1 0 657858 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=1478216 CPUtime=49.83 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 9566 0 0 0 4977 6 0 0 20 0 20 0 77095256 19521036288 369554 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=1279544 CPUtime=0 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/339 87172
/proc/meminfo: memFree=105028996/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=8997084 CPUtime=3243.99 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 190161 0 0 0 324131 268 0 0 20 0 20 0 77095253 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 2249271 5583 1 0 2920537 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=8997084 CPUtime=3190.99 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 88228 0 0 0 319046 53 0 0 20 0 20 0 77095256 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=8997084 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2634 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3243.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8997084 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/339 87174
/proc/meminfo: memFree=103983152/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=8997084 CPUtime=3304.16 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 194737 0 0 0 330146 270 0 0 20 0 20 0 77095253 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 2249271 5583 1 0 2920537 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=8997084 CPUtime=3250.47 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 91755 0 0 0 324994 53 0 0 20 0 20 0 77095256 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2634 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=8997084 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 2249271 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3304.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8997084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 6/339 87176
/proc/meminfo: memFree=103450276/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=9001188 CPUtime=3364.73 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 198029 0 0 0 336201 272 0 0 20 0 20 0 77095253 19521036288 2250297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 2250297 5583 1 0 2920537 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=14336 CPUtime=3309.62 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 93759 0 0 0 330908 54 0 0 20 0 20 0 77095256 19521036288 2250297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=9001188 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2250297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=9001188 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2646 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2250297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=9001188 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 2250297 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3364.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9001188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.10 6/341 87182
/proc/meminfo: memFree=102762512/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=9005412 CPUtime=3424.96 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 200099 0 0 0 342222 274 0 0 20 0 20 0 77095253 19521036288 2251353 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 2251353 5583 1 0 2920537 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=5632 CPUtime=3369.07 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 95364 0 0 0 336853 54 0 0 20 0 20 0 77095256 19521036288 2251353 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=9005412 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2251353 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2683 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2251353 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=9005412 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 2251353 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3424.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9005412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/342 87189
/proc/meminfo: memFree=101802076/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=9113956 CPUtime=3485.2 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 203009 0 0 0 348242 278 0 0 20 0 20 0 77095253 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 2278489 5583 1 0 2920537 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=9005412 CPUtime=3428.54 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 96488 0 0 0 342800 54 0 0 20 0 20 0 77095256 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=9005412 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2823 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=9113956 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3485.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9113956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 6/342 87191
/proc/meminfo: memFree=101699480/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=9113956 CPUtime=3545.07 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 204025 0 0 0 354228 279 0 0 20 0 20 0 77095253 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 2278489 5583 1 0 2920537 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=3200 CPUtime=3488.38 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 97197 0 0 0 348784 54 0 0 20 0 20 0 77095256 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=9113956 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2948 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=9113956 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 2278489 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3545.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9113956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3577 s]*
/proc/loadavg: 4.18 4.15 4.10 6/342 87192
/proc/meminfo: memFree=101436496/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19063512 memory=9367908 CPUtime=3600.05 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 207790 0 0 0 359719 286 0 0 20 0 20 0 77095253 19521036288 2341977 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4765878 2341977 5583 1 0 2920537 0
[pid=86921/tid=86937] ppid=86908 vsize=19063512 memory=-6000919468495169127 CPUtime=3542.55 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 99853 0 0 0 354200 55 0 0 20 0 20 0 77095256 19521036288 2341977 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2341977 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2948 0 0 0 0 0 0 0 20 0 20 0 77095258 19521036288 2341977 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86998] ppid=86908 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/86921/task/86998/stat : 86998 (Timer-0) S 86908 86921 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77095278 19521036288 2341977 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9367908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.4 s, system=2.89165 s

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

[startup+3577.11 s]
/proc/loadavg: 4.18 4.15 4.10 6/342 87192
/proc/meminfo: memFree=101436496/131249996 swapFree=33000896/33010684
[pid=86921] ppid=86908 vsize=19263204 memory=9368548 CPUtime=3600.25 cores=1,3
/proc/86921/stat : 86921 (java) S 86908 86921 86856 0 -1 4194304 211075 0 0 0 359739 286 0 0 20 0 21 0 77095253 19725520896 2342137 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
/proc/86921/statm: 4815801 2342137 5583 1 0 2921488 0
[pid=86921/tid=86937] ppid=86908 vsize=19263204 memory=9367908 CPUtime=3542.62 cores=1,3
/proc/86921/task/86937/stat : 86937 (java) R 86908 86921 86856 0 -1 4194368 100261 0 0 0 354207 55 0 0 20 0 21 0 77095256 19725520896 2342137 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86976] ppid=86908 vsize=19263204 memory=9113956 CPUtime=0 cores=1,3
/proc/86921/task/86976/stat : 86976 (Finalizer) S 86908 86921 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77095258 19725520896 2342137 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
[pid=86921/tid=86984] ppid=86908 vsize=19263204 memory=14336 CPUtime=0 cores=1,3
/proc/86921/task/86984/stat : 86984 (Common-Cleaner) S 86908 86921 86856 0 -1 4194368 2948 0 0 0 0 0 0 0 20 0 21 0 77095258 19725520896 2342137 18446744073709551615 94184773447680 94184773451376 140727068744688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94184773459192 94184773459984 94184798609408 140727068748159 140727068748260 140727068748260 140727068753864 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 9368548 KiB

Child status: 143

Real time (s): 3577.15
CPU time (s): 3600.29
CPU user time (s): 3597.4
CPU system time (s): 2.89165
CPU usage (%): 100.647
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 9368548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.4
system time used= 2.89165
maximum resident set size= 9368676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111925
involuntary context switches= 7402


# summary of solver processes directly reported to runsolver:
#   pid: 86921
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3597.4
#   total CPU system time (s): 2.89165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25925 second user time and 17.184 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 09:29:34
IDJOB=4524596
IDBENCH=143138
IDSOLVER=3380
FILE ID=nodeC023/4524596-1751614174
RUNJOBID= nodeC023-1751614174-86868
SLURM_JOB_ID= 9598917
Free space on /tmp= 431872 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524596-1751614174/watcher-4524596-1751614174 -o /tmp/evaluation-result-4524596-1751614174/solver-4524596-1751614174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86868 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524596-1751614174.wbo

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

MD5SUM BENCH= 7739b4d9ca7025fb6750e4f7ea1afab1
RANDOM SEED=911934909

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129894540 kB
MemAvailable:   129639040 kB
Buffers:              16 kB
Cached:           487540 kB
SwapCached:         2900 kB
Active:           218992 kB
Inactive:         348092 kB
Active(anon):      38684 kB
Inactive(anon):    53368 kB
Active(file):     180308 kB
Inactive(file):   294724 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1944 kB
Writeback:             0 kB
AnonPages:         79668 kB
Mapped:            97420 kB
Shmem:             12524 kB
KReclaimable:     217416 kB
Slab:             308548 kB
SReclaimable:     217416 kB
SUnreclaim:        91132 kB
KernelStack:        4108 kB
PageTables:         2728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431868 MiB
End job on nodeC023 at 2025-07-04 10:29:11