Trace number 4425070

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 Default 2024-07-07MSAT (TO) 3600.34 3575.1

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
MD5SUM30fc2a06a98f4774098732df7c3fc8c4
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.186248
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints141
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 7546
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7545
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4425070-1720879039.wbo
0.13/0.12	c reading problem ... 
0.13/0.18	c ... done. Wall clock time 0.056s.
0.13/0.18	c declared #vars     4970
0.13/0.18	c internal #vars     5111
0.13/0.18	c #constraints  142
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.13/0.18	c org.sat4j.specs.Constr$1 => 1
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 71
0.13/0.18	c 142 constraints processed.
0.13/0.19	c objective function length is 141 literals
1.08/0.67	c SATISFIABLE
1.08/0.67	c OPTIMIZING...
1.08/0.67	c Got one! Elapsed wall clock time (in seconds):0.552
1.08/0.68	o 60
1.82/1.14	c cleaning 2579 clauses out of 5171 with flag 13283/5171
2.10/1.33	c Got one! Elapsed wall clock time (in seconds):1.208
2.10/1.33	o 54
2.35/1.50	c Got one! Elapsed wall clock time (in seconds):1.379
2.35/1.50	o 7
3.41/2.51	c cleaning 4083 clauses out of 8194 with flag 17335/10773
3.72/2.89	c Got one! Elapsed wall clock time (in seconds):2.77
3.72/2.89	o 5
4.23/3.36	c cleaning 4647 clauses out of 9324 with flag 15010/15986
5.20/4.28	c cleaning 5312 clauses out of 10677 with flag 54707/21986
7.18/6.09	c cleaning 6157 clauses out of 12365 with flag 111278/28986
9.27/8.18	c cleaning 7076 clauses out of 14209 with flag 177241/36987
10.93/9.79	c Got one! Elapsed wall clock time (in seconds):9.67
10.93/9.79	o 2
11.35/10.16	c cleaning 9320 clauses out of 18669 with flag 31206/48523
12.29/11.05	c cleaning 7649 clauses out of 15348 with flag 70462/54522
13.18/11.96	c cleaning 7330 clauses out of 14700 with flag 114688/61523
14.54/13.27	c cleaning 7669 clauses out of 15371 with flag 172186/69524
16.03/14.62	c cleaning 8333 clauses out of 16701 with flag 236040/78523
18.37/16.93	c cleaning 9160 clauses out of 18368 with flag 298592/88523
21.56/20.01	c cleaning 10085 clauses out of 20210 with flag 366996/99525
25.06/23.44	c cleaning 11043 clauses out of 22128 with flag 441392/111528
29.55/27.85	c cleaning 12020 clauses out of 24079 with flag 531568/124522
35.07/33.20	c cleaning 13009 clauses out of 26060 with flag 646493/138523
40.53/38.61	c cleaning 14005 clauses out of 28052 with flag 749865/153524
47.38/45.39	c cleaning 15004 clauses out of 30045 with flag 856141/169522
50.78/48.77	c Got one! Elapsed wall clock time (in seconds):48.651
50.78/48.77	o 1
51.59/49.39	c cleaning 15048 clauses out of 30143 with flag 29984/184624
52.57/50.12	c cleaning 10520 clauses out of 21096 with flag 71612/190625
53.48/50.94	c cleaning 8756 clauses out of 17574 with flag 116587/197623
54.82/52.21	c cleaning 8380 clauses out of 16820 with flag 169324/205625
56.21/53.61	c cleaning 8695 clauses out of 17439 with flag 231666/214624
58.50/55.84	c cleaning 9350 clauses out of 18743 with flag 299742/224623
60.98/58.27	c cleaning 10173 clauses out of 20393 with flag 370671/235623
63.76/61.09	c cleaning 11090 clauses out of 22221 with flag 450328/247624
66.15/63.32	c cleaning 12043 clauses out of 24130 with flag 540414/260623
69.22/66.37	c cleaning 13023 clauses out of 26090 with flag 634345/274626
72.92/70.05	c cleaning 14011 clauses out of 28065 with flag 742102/289624
77.74/74.79	c cleaning 15007 clauses out of 30057 with flag 853970/305627
83.13/80.01	c cleaning 16004 clauses out of 32046 with flag 975873/322623
89.60/86.40	c cleaning 17000 clauses out of 34042 with flag 1108285/340623
95.90/92.62	c cleaning 17998 clauses out of 36042 with flag 1255694/359623
103.57/100.23	c cleaning 19004 clauses out of 38047 with flag 1420615/379626
113.28/109.38	c cleaning 19998 clauses out of 40042 with flag 1606445/400625
120.97/116.96	c cleaning 21000 clauses out of 42045 with flag 1749282/422626
131.75/127.71	c cleaning 21995 clauses out of 44042 with flag 1895492/445623
143.99/139.80	c cleaning 23003 clauses out of 46048 with flag 2066234/469624
156.65/152.36	c cleaning 23999 clauses out of 48044 with flag 2246623/494623
168.06/163.61	c cleaning 25006 clauses out of 50045 with flag 2429139/520623
180.78/176.06	c cleaning 25994 clauses out of 52040 with flag 2629093/547624
193.72/188.86	c cleaning 26991 clauses out of 54045 with flag 2807490/575623
199.28/193.83	c cleaning 27987 clauses out of 56055 with flag 2976776/604624
208.90/203.39	c cleaning 28989 clauses out of 58067 with flag 3182495/634623
218.80/213.10	c cleaning 29990 clauses out of 60079 with flag 3393009/665624
236.71/230.77	c cleaning 30994 clauses out of 62088 with flag 3592930/697623
258.39/252.30	c cleaning 31994 clauses out of 64094 with flag 3813422/730623
281.03/274.86	c cleaning 33010 clauses out of 66102 with flag 4059270/764625
307.13/300.64	c cleaning 33995 clauses out of 68090 with flag 4309168/799623
333.81/327.03	c cleaning 34997 clauses out of 70096 with flag 4560489/835624
346.15/339.26	c cleaning 36014 clauses out of 72100 with flag 4800431/872625
367.81/360.07	c cleaning 37023 clauses out of 74085 with flag 5088906/910624
390.01/381.99	c cleaning 38010 clauses out of 76061 with flag 5363458/949623
399.86/391.69	c cleaning 39001 clauses out of 78051 with flag 5612976/989623
425.48/416.99	c cleaning 39995 clauses out of 80050 with flag 5889700/1030623
448.83/440.22	c cleaning 40999 clauses out of 82057 with flag 6189254/1072625
463.13/454.20	c cleaning 42003 clauses out of 84056 with flag 6469319/1115623
475.57/466.52	c cleaning 42975 clauses out of 86053 with flag 6733283/1159623
501.65/492.38	c cleaning 44004 clauses out of 88081 with flag 7027095/1204626
535.25/525.84	c cleaning 45010 clauses out of 90074 with flag 7342652/1250623
551.90/542.48	c cleaning 45991 clauses out of 92064 with flag 7647978/1297623
583.41/573.67	c cleaning 47001 clauses out of 94077 with flag 7977745/1345627
608.90/598.26	c cleaning 48021 clauses out of 96072 with flag 8294553/1394623
664.79/653.84	c cleaning 49012 clauses out of 98052 with flag 8610950/1444624
725.68/714.55	c cleaning 50002 clauses out of 100041 with flag 8983592/1495625
802.59/791.26	c cleaning 51002 clauses out of 102039 with flag 9348131/1547625
874.05/862.35	c cleaning 52002 clauses out of 104035 with flag 9691303/1600623
944.97/933.00	c cleaning 53001 clauses out of 106034 with flag 10032886/1654624
1030.53/1018.47	c cleaning 54002 clauses out of 108032 with flag 10395355/1709623
1134.28/1121.90	c cleaning 54998 clauses out of 110030 with flag 10817311/1765623
1197.38/1183.62	c cleaning 55989 clauses out of 112032 with flag 11191579/1822623
1247.45/1233.34	c cleaning 56987 clauses out of 114043 with flag 11564946/1880623
1270.36/1256.10	c cleaning 58000 clauses out of 116056 with flag 11955776/1939623
1311.66/1297.35	c cleaning 58988 clauses out of 118056 with flag 12364055/1999623
1339.67/1325.15	c cleaning 60008 clauses out of 120069 with flag 12763022/2060624
1401.81/1387.09	c cleaning 61003 clauses out of 122060 with flag 13201077/2122623
1440.19/1425.32	c cleaning 61993 clauses out of 124058 with flag 13612734/2185624
1462.80/1447.56	c cleaning 62993 clauses out of 126064 with flag 14022498/2249623
1528.55/1512.94	c cleaning 64014 clauses out of 128073 with flag 14515424/2314625
1557.93/1541.85	c cleaning 65015 clauses out of 130058 with flag 14944636/2380624
1719.13/1702.87	c cleaning 66016 clauses out of 132044 with flag 15454322/2447625
1784.78/1766.67	c cleaning 66996 clauses out of 134029 with flag 15974338/2515626
1859.34/1840.82	c cleaning 67994 clauses out of 136031 with flag 16518025/2584624
1942.15/1923.14	c cleaning 68997 clauses out of 138037 with flag 17059666/2654624
2028.89/2009.74	c cleaning 69998 clauses out of 140039 with flag 17613928/2725623
2120.10/2100.97	c cleaning 71002 clauses out of 142046 with flag 18206924/2797628
2224.96/2205.40	c cleaning 71994 clauses out of 144040 with flag 18820069/2870624
2318.58/2298.93	c cleaning 72998 clauses out of 146048 with flag 19438108/2944626
2402.95/2382.98	c cleaning 73994 clauses out of 148047 with flag 20030364/3019623
2512.18/2491.77	c cleaning 75001 clauses out of 150053 with flag 20498946/3095623
2637.79/2617.23	c cleaning 75999 clauses out of 152054 with flag 21010579/3172625
2731.17/2710.00	c cleaning 76997 clauses out of 154053 with flag 21563695/3250623
2827.49/2804.09	c cleaning 78002 clauses out of 156057 with flag 22093073/3329624
2941.34/2917.35	c cleaning 78993 clauses out of 158055 with flag 22655542/3409624
3066.08/3041.96	c cleaning 79997 clauses out of 160061 with flag 23202613/3490623
3189.95/3165.39	c cleaning 81003 clauses out of 162064 with flag 23769274/3572623
3326.89/3302.19	c cleaning 81998 clauses out of 164062 with flag 24317020/3655624
3449.63/3425.00	c cleaning 83003 clauses out of 166063 with flag 24881752/3739623
3600.00/3574.91	c starts		: 2336
3600.00/3574.92	c conflicts		: 3822035
3600.00/3574.92	c decisions		: 8796219
3600.00/3574.92	c propagations		: 63097593
3600.00/3574.92	c inspects		: 13998069057
3600.00/3574.92	c shortcuts		: 0
3600.00/3574.92	c learnt literals	: 0
3600.00/3574.92	c learnt binary clauses	: 0
3600.00/3574.92	c learnt ternary clauses	: 0
3600.00/3574.92	c learnt constraints	: 3822035
3600.00/3574.92	c ignored constraints	: 0
3600.00/3574.92	c root simplifications	: 0
3600.00/3574.92	c removed literals (reason simplification)	: 0
3600.00/3574.92	c reason swapping (by a shorter reason)	: 0
3600.00/3574.92	c Calls to reduceDB	: 98
3600.00/3574.92	c Number of update (reduction) of LBD	: 2014690
3600.00/3574.92	c Imported unit clauses	: 0
3600.00/3574.92	c No decision after first conflict	: false
3600.00/3574.92	c number of reductions to clauses (during analyze)	: 0
3600.00/3574.92	c number of learned constraints concerned by reduction	: 0
3600.00/3574.92	c number of learning phase by resolution	: 0
3600.00/3574.92	c number of learning phase by cutting planes	: 0
3600.00/3574.92	c number of rounding to 1 operations	: 0
3600.00/3574.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3574.92	c number of reductions of the coefficients by power 2 	: 0
3600.00/3574.92	c number of right shift for reduction by power 2 	: 0
3600.00/3574.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3574.92	c number of ending skipping 	: 0
3600.00/3574.92	c number of internal skipping 	: 0
3600.00/3574.92	c number of derivation steps 	: 0
3600.00/3574.92	c number of skipped derivation steps 	: 0
3600.00/3574.92	c number of remaining unassigned 	: 0
3600.00/3574.92	c number of remaining assigned 	: 0
3600.00/3574.92	c number of falsified literals weakened from reason	: 0
3600.00/3574.92	c number of falsified literals weakened from conflict	: 0
3600.00/3574.92	c time for arithmetic operations	: 0
3600.00/3574.95	c minimum degree of deleted constraints	: null
3600.00/3574.95	c maximum degree of deleted constraints	: null
3600.00/3574.95	c number of deleted constraints	: 0
3600.00/3574.95	c speed (assignments/second)	: 17650.940319082987
3600.00/3574.95	c non guided choices	: 222465
3600.00/3575.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 165472
3600.22/3575.02	s SATISFIABLE
3600.22/3575.02	c Found 6 solution(s)
3600.22/3575.02	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 
3600.22/3575.05	c objective function=1
3600.22/3575.05	c Total wall clock time (in seconds): 3574.928

Verifier Data 

OK	1

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: 63931 MiB (62480 MiB free)
  memory of node 1: 64510 MiB (63771 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425070-1720879039/watcher-4425070-1720879039 -o /tmp/evaluation-result-4425070-1720879039/solver-4425070-1720879039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720879051-715602 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425070-1720879039.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100891 s]*
/proc/loadavg: 1.05 1.26 2.21 9/326 715733
/proc/meminfo: memFree=129133792/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=18975048 memory=65424 CPUtime=0.13 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 7246 0 0 0 11 2 0 0 20 0 18 0 140065756 19430449152 16356 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4743762 16356 5731 1 0 549335 0
[pid=715653/tid=715655] ppid=715650 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) S 715650 715653 712267 0 -1 1077936192 5777 0 0 0 7 1 0 0 20 0 18 0 140065756 19430449152 16356 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=18975048 memory=15975 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140065759 19430449152 16356 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140065760 19430449152 16356 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65424 KiB

[startup+0.210399 s]*
/proc/loadavg: 1.05 1.26 2.21 14/330 715737
/proc/meminfo: memFree=129090056/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19041612 memory=76096 CPUtime=0.34 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 7790 0 0 0 32 2 0 0 20 0 19 0 140065756 19498610688 19024 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4760403 19024 5879 1 0 549950 0
[pid=715653/tid=715655] ppid=715650 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 1077936192 6033 0 0 0 17 1 0 0 20 0 19 0 140065756 19498610688 19024 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19041612 memory=15975 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 19024 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19041612 memory=14698495600756458 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 19024 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065776 19498610688 19024 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76096 KiB

[startup+0.311055 s]*
/proc/loadavg: 1.05 1.26 2.21 11/330 715737
/proc/meminfo: memFree=129065880/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19041612 memory=83224 CPUtime=0.52 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 9194 0 0 0 50 2 0 0 20 0 19 0 140065756 19498610688 20806 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4760403 20806 5882 1 0 550672 0
[pid=715653/tid=715655] ppid=715650 vsize=19041612 memory=-9033204248465547964 CPUtime=0.27 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 6059 0 0 0 26 1 0 0 20 0 19 0 140065756 19498610688 20806 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 20806 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 20806 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065776 19498610688 20806 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83224 KiB

[startup+0.70023 s]
/proc/loadavg: 1.05 1.26 2.21 11/330 715737
/proc/meminfo: memFree=129026228/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19041612 memory=108488 CPUtime=1.24 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 10704 0 0 0 121 3 0 0 20 0 19 0 140065756 19498610688 27122 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4760403 27122 5898 1 0 551790 0
[pid=715653/tid=715655] ppid=715650 vsize=19041612 memory=37008 CPUtime=0.65 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 6108 0 0 0 63 2 0 0 20 0 19 0 140065756 19498610688 27122 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19041612 memory=13196 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 27122 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19041612 memory=2320 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 27122 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19041612 memory=2028 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065776 19498610688 27122 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108488 KiB

[startup+1.50025 s]
/proc/loadavg: 1.05 1.26 2.21 6/330 715739
/proc/meminfo: memFree=128946336/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19041612 memory=154768 CPUtime=2.35 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 15480 0 0 0 231 4 0 0 20 0 19 0 140065756 19498610688 38692 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4760403 38692 5898 1 0 552427 0
[pid=715653/tid=715655] ppid=715650 vsize=19041612 memory=13196 CPUtime=1.44 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 7335 0 0 0 141 3 0 0 20 0 19 0 140065756 19498610688 38692 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140065759 19498610688 38692 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19041612 memory=2320 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140065760 19498610688 38692 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19041612 memory=2028 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140065776 19498610688 38692 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 154768 KiB

[startup+3.10569 s]
/proc/loadavg: 1.29 1.31 2.22 5/333 715742
/proc/meminfo: memFree=128608132/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=220892 CPUtime=4.03 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 16595 0 0 0 397 6 0 0 20 0 20 0 140065756 19566772224 55223 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 55223 5930 1 0 552735 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=0 CPUtime=3 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 7731 0 0 0 297 3 0 0 20 0 20 0 140065756 19566772224 55223 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=-9176194636146188988 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 55223 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=13196 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 55223 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=2320 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 55223 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 220892 KiB

[startup+6.30028 s]
/proc/loadavg: 1.29 1.31 2.22 6/334 715743
/proc/meminfo: memFree=128235224/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=363248 CPUtime=7.47 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 17764 0 0 0 738 9 0 0 20 0 20 0 140065756 19566772224 90812 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 90812 5930 1 0 552738 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=2320 CPUtime=6.05 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 7799 0 0 0 602 3 0 0 20 0 20 0 140065756 19566772224 90812 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 90812 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=13196 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 90812 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 90812 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 363248 KiB

[startup+12.7003 s]
/proc/loadavg: 1.50 1.35 2.23 6/334 715744
/proc/meminfo: memFree=127550340/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=679668 CPUtime=14.05 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 20537 0 0 0 1389 16 0 0 20 0 20 0 140065756 19566772224 169917 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 169917 5962 1 0 659256 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=-9176194636146188988 CPUtime=12.25 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 8939 0 0 0 1220 5 0 0 20 0 20 0 140065756 19566772224 169917 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 169917 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 169917 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=37008 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 169917 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 14.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 679668 KiB

[startup+25.5003 s]
/proc/loadavg: 2.13 1.50 2.26 5/334 715746
/proc/meminfo: memFree=125957000/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=1260672 CPUtime=27.16 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 23565 0 0 0 2688 28 0 0 20 0 20 0 140065756 19566772224 315168 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 315168 5962 1 0 786679 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=1260672 CPUtime=24.59 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 9815 0 0 0 2451 8 0 0 20 0 20 0 140065756 19566772224 315168 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=37008 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 315168 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=13196 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 315168 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=1800 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 315168 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 27.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1260672 KiB

[startup+51.106 s]
/proc/loadavg: 2.77 1.70 2.31 5/336 715920
/proc/meminfo: memFree=123721260/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=2030192 CPUtime=53.69 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 41606 0 0 0 5323 46 0 0 20 0 20 0 140065756 19566772224 507548 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 507548 5962 1 0 787326 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=13196 CPUtime=49.33 cores=4,6

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

/proc/meminfo: memFree=100920912/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=11164580 CPUtime=3247.1 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 221670 0 0 0 324361 349 0 0 20 0 20 0 140065756 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 2791145 5962 1 0 3065916 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=11164576 CPUtime=3183.31 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 58265 0 0 0 318275 56 0 0 20 0 20 0 140065756 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1301 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3247.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11164580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.18 4.17 5/335 717138
/proc/meminfo: memFree=100916068/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=11164580 CPUtime=3307.27 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 225976 0 0 0 330376 351 0 0 20 0 20 0 140065756 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 2791145 5962 1 0 3065916 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=11164580 CPUtime=3242.62 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 59213 0 0 0 324206 56 0 0 20 0 20 0 140065756 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1451 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 2791145 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3307.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11164580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.19 4.17 5/335 717148
/proc/meminfo: memFree=100913776/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=11164584 CPUtime=3367.19 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 227751 0 0 0 336366 353 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 2791146 5962 1 0 3065916 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=11536 CPUtime=3301.74 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 60226 0 0 0 330118 56 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=11164584 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1451 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3367.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11164584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.20 4.18 6/335 717160
/proc/meminfo: memFree=100913476/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=11164584 CPUtime=3427.08 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 228914 0 0 0 342353 355 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 2791146 5962 1 0 3065916 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=11536 CPUtime=3361.59 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 61176 0 0 0 336103 56 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=11164584 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1451 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=13196 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3427.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11164584 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/335 717554
/proc/meminfo: memFree=100906132/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=11164584 CPUtime=3487.21 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 233318 0 0 0 348364 357 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 2791146 5962 1 0 3065916 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=11536 CPUtime=3421.17 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 62592 0 0 0 342060 57 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=11164580 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=13196 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1598 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3487.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11164584 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.17 6/332 717564
/proc/meminfo: memFree=100904112/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=11164584 CPUtime=3547.5 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 233811 0 0 0 354392 358 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 2791146 5962 1 0 3065916 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=11164584 CPUtime=3480.62 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 62742 0 0 0 348005 57 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=5472 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=37008 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1599 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=31596 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3547.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11164584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3574.9 s]
/proc/loadavg: 4.11 4.16 4.17 5/332 717572
/proc/meminfo: memFree=100885028/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19108176 memory=11164584 CPUtime=3600 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 234711 0 0 0 359640 360 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4777044 2791146 5962 1 0 3065916 0
[pid=715653/tid=715655] ppid=715650 vsize=19108176 memory=13196 CPUtime=3533.1 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 63511 0 0 0 353253 57 0 0 20 0 20 0 140065756 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19108176 memory=26116 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140065759 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1599 0 0 0 0 0 0 0 20 0 20 0 140065760 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715735] ppid=715650 vsize=19108176 memory=11164584 CPUtime=0 cores=4,6
/proc/715653/task/715735/stat : 715735 (Timer-0) S 715650 715653 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140065776 19566772224 2791146 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11164584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.7 s, system=3.64033 s

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

[startup+3575.01 s]*
/proc/loadavg: 4.11 4.16 4.17 8/333 717575
/proc/meminfo: memFree=100884704/131524600 swapFree=131071996/131071996
[pid=715653] ppid=715650 vsize=19307868 memory=11165312 CPUtime=3600.22 cores=4,6
/proc/715653/stat : 715653 (java) S 715650 715653 712267 0 -1 1077936128 238421 0 0 0 359662 360 0 0 20 0 21 0 140065756 19771256832 2791328 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
/proc/715653/statm: 4826967 2791328 5961 1 0 3066823 0
[pid=715653/tid=715655] ppid=715650 vsize=19307868 memory=-9033204248465547964 CPUtime=3533.21 cores=4,6
/proc/715653/task/715655/stat : 715655 (java) R 715650 715653 712267 0 -1 4194368 64027 0 0 0 353264 57 0 0 20 0 21 0 140065756 19771256832 2791328 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 140065758 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715687] ppid=715650 vsize=19307868 memory=2760 CPUtime=0 cores=4,6
/proc/715653/task/715687/stat : 715687 (Finalizer) S 715650 715653 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140065759 19771256832 2791328 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=715709] ppid=715650 vsize=19307868 memory=2764 CPUtime=0 cores=4,6
/proc/715653/task/715709/stat : 715709 (Common-Cleaner) S 715650 715653 712267 0 -1 1077936192 1599 0 0 0 0 0 0 0 20 0 21 0 140065760 19771256832 2791328 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
[pid=715653/tid=717574] ppid=715650 vsize=19307868 memory=5028 CPUtime=0.06 cores=4,6
/proc/715653/task/717574/stat : 717574 (Thread-0) R 715650 715653 712267 0 -1 4194368 625 0 0 0 6 0 0 0 20 0 21 0 140423247 19771256832 2791328 134679101440 94519422726144 94519422729840 140737434712480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94519422737656 94519422738448 94519430410240 140737434719213 140737434719303 140737434719303 140737434726344 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 11165312 KiB

Child status: 143

Real time (s): 3575.1
CPU time (s): 3600.34
CPU user time (s): 3596.7
CPU system time (s): 3.64033
CPU usage (%): 100.706
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11165312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.7
system time used= 3.64032
maximum resident set size= 11166172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111298
involuntary context switches= 9888


# summary of solver processes directly reported to runsolver:
#   pid: 715653
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3596.7
#   total CPU system time (s): 3.64033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2538 second user time and 17.2334 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-13 15:57:32
IDJOB=4425070
IDBENCH=143155
IDSOLVER=3037
FILE ID=nodeC017/4425070-1720879039
RUNJOBID= nodeC017-1720879051-715602
SLURM_JOB_ID= 7483748
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425070-1720879039/watcher-4425070-1720879039 -o /tmp/evaluation-result-4425070-1720879039/solver-4425070-1720879039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720879051-715602 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425070-1720879039.wbo

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

MD5SUM BENCH= 30fc2a06a98f4774098732df7c3fc8c4
RANDOM SEED=242549939

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129298248 kB
MemAvailable:   129796840 kB
Buffers:          326760 kB
Cached:          1016256 kB
SwapCached:            0 kB
Active:           572376 kB
Inactive:        1096364 kB
Active(anon):       1472 kB
Inactive(anon):   361640 kB
Active(file):     570904 kB
Inactive(file):   734724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2620 kB
Writeback:             0 kB
AnonPages:        325672 kB
Mapped:           101396 kB
Shmem:             37720 kB
KReclaimable:      65220 kB
Slab:             162808 kB
SReclaimable:      65220 kB
SUnreclaim:        97588 kB
KernelStack:        3956 kB
PageTables:         9148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     658804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53632 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      162516 kB
DirectMap2M:    11145216 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC017 at 2024-07-13 16:57:07