Trace number 4440223

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version CUSTOM.v20240707
0.06/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.12	c java.vm.version	22.0.1+8-16
0.06/0.12	c java.vm.vendor	Oracle Corporation
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		22.0.1
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.13	c Free memory 		2106806208
0.06/0.13	c Max memory 		16282288128
0.06/0.13	c Total memory 		2113929216
0.06/0.13	c Number of processors 	2
0.06/0.16	--- Begin Solver configuration ---
0.06/0.16	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.16	Learn all clauses as in MiniSAT
0.06/0.16	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.16	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.16	Expensive reason simplification
0.06/0.16	Glucose 2.1 dynamic restart strategy
0.06/0.16	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.06/0.16	timeout=2147483s
0.06/0.16	DB Simplification allowed=false
0.06/0.16	Listener: none
0.06/0.16	--- End Solver configuration ---
0.06/0.16	c Pseudo Boolean Optimization by upper bound
0.06/0.16	c --- Begin Solver configuration ---
0.06/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.16	c Learn all clauses as in MiniSAT
0.06/0.16	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.16	c Expensive reason simplification
0.06/0.16	c Glucose 2.1 dynamic restart strategy
0.06/0.16	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.06/0.16	c timeout=2147483s
0.06/0.16	c DB Simplification allowed=false
0.06/0.16	c Listener: none
0.06/0.16	c --- End Solver configuration ---
0.06/0.16	c solving HOME/instance-4440223-1721765643.opb
0.06/0.16	c reading problem ... 
0.06/0.17	c using VERIPB proof format
0.06/0.17	c  objective function found
0.44/0.32	c ... done. Wall clock time 0.15s.
0.44/0.32	c declared #vars     8060
0.44/0.32	c #constraints  332
0.44/0.32	c constraints type 
0.44/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 332
0.44/0.32	c 332 constraints processed.
0.44/0.32	c objective function length is 8060 literals
1.19/0.75	c SATISFIABLE
1.19/0.75	c OPTIMIZING...
1.19/0.75	c Got one! Elapsed wall clock time (in seconds):0.588
1.19/0.75	o 21579584
2.17/1.26	c Got one! Elapsed wall clock time (in seconds):1.093
2.17/1.26	o 6558202
5.73/3.39	c cleaning 3114 clauses out of 6228 with flag 15505/6228
7.66/5.07	c cleaning 4556 clauses out of 9112 with flag 34278/12226
9.46/6.71	c cleaning 5776 clauses out of 11556 with flag 57425/19226
10.90/8.13	c cleaning 6886 clauses out of 13781 with flag 80361/27227
12.75/9.96	c cleaning 7948 clauses out of 15895 with flag 109894/36227
15.24/12.38	c cleaning 8974 clauses out of 17948 with flag 145906/46228
17.67/14.79	c cleaning 9986 clauses out of 19972 with flag 181522/57226
20.60/17.67	c cleaning 10993 clauses out of 21988 with flag 219514/69228
23.80/20.82	c cleaning 11995 clauses out of 23993 with flag 262655/82226
27.65/24.67	c cleaning 13000 clauses out of 25999 with flag 314258/96227
31.35/28.34	c cleaning 13999 clauses out of 27999 with flag 364765/111227
35.72/32.67	c cleaning 14993 clauses out of 30000 with flag 422103/127227
39.96/37.25	c cleaning 16001 clauses out of 32006 with flag 478899/144226
44.88/42.07	c cleaning 16986 clauses out of 34005 with flag 542796/162226
49.59/46.70	c cleaning 17987 clauses out of 36020 with flag 612349/181227
54.04/51.19	c cleaning 19010 clauses out of 38032 with flag 671791/201226
58.42/55.45	c cleaning 20004 clauses out of 40026 with flag 739588/222230
63.74/60.64	c cleaning 21001 clauses out of 42018 with flag 817253/244226
68.62/65.55	c cleaning 22006 clauses out of 44017 with flag 891041/267226
74.24/71.83	c cleaning 22992 clauses out of 46013 with flag 971532/291228
80.48/77.94	c cleaning 23993 clauses out of 48019 with flag 1056417/316226
86.58/83.93	c cleaning 25009 clauses out of 50026 with flag 1134480/342226
92.87/90.19	c cleaning 26003 clauses out of 52019 with flag 1218597/369228
100.35/97.59	c cleaning 26998 clauses out of 54014 with flag 1309878/397226
106.18/103.82	c cleaning 28000 clauses out of 56016 with flag 1395334/426226
114.28/111.71	c cleaning 29003 clauses out of 58018 with flag 1494663/456228
121.22/118.51	c cleaning 29993 clauses out of 60013 with flag 1606584/487226
129.43/126.60	c cleaning 30997 clauses out of 62020 with flag 1721888/519226
138.28/136.16	c cleaning 32002 clauses out of 64023 with flag 1826595/552226
147.34/145.15	c cleaning 32998 clauses out of 66021 with flag 1931051/586226
157.43/155.15	c cleaning 34003 clauses out of 68023 with flag 2044582/621226
166.74/164.98	c cleaning 35003 clauses out of 70021 with flag 2138670/657227
176.84/175.00	c cleaning 36007 clauses out of 72021 with flag 2254040/694230
185.48/183.43	c cleaning 36986 clauses out of 74011 with flag 2367637/732227
193.98/192.27	c cleaning 38010 clauses out of 76024 with flag 2481321/771226
202.47/200.68	c cleaning 39003 clauses out of 78014 with flag 2603330/811226
212.94/210.90	c cleaning 39999 clauses out of 80012 with flag 2727650/852227
222.21/220.05	c cleaning 40996 clauses out of 82012 with flag 2855892/894226
231.38/232.17	c cleaning 41990 clauses out of 84017 with flag 2980869/937227
241.99/242.66	c cleaning 43000 clauses out of 86028 with flag 3116718/981228
253.88/254.33	c cleaning 44001 clauses out of 88026 with flag 3258892/1026226
264.52/264.97	c cleaning 45005 clauses out of 90025 with flag 3415269/1072226
274.13/274.43	c cleaning 46004 clauses out of 92020 with flag 3554334/1119226
283.37/284.00	c cleaning 46996 clauses out of 94017 with flag 3692899/1167227
294.06/294.53	c cleaning 47991 clauses out of 96020 with flag 3842550/1216226
306.81/307.14	c cleaning 48986 clauses out of 98030 with flag 4027153/1266227
318.04/318.55	c cleaning 50015 clauses out of 100043 with flag 4186798/1317226
329.15/329.43	c cleaning 51009 clauses out of 102028 with flag 4351373/1369226
341.02/341.32	c cleaning 52010 clauses out of 104019 with flag 4515780/1422226
353.31/353.91	c cleaning 52982 clauses out of 106010 with flag 4690507/1476227
364.41/364.92	c cleaning 54009 clauses out of 108029 with flag 4857537/1531228
376.21/377.00	c cleaning 55002 clauses out of 110019 with flag 5027410/1587227
387.81/388.33	c cleaning 56002 clauses out of 112016 with flag 5198842/1644226
397.32/397.76	c cleaning 56999 clauses out of 114015 with flag 5363523/1702227
409.63/410.61	c cleaning 57998 clauses out of 116015 with flag 5543098/1761226
425.79/426.52	c cleaning 58991 clauses out of 118017 with flag 5752144/1821226
444.79/445.48	c cleaning 60003 clauses out of 120026 with flag 5968062/1882226
461.67/462.17	c cleaning 60980 clauses out of 122023 with flag 6179612/1944226
479.52/480.04	c cleaning 62006 clauses out of 124043 with flag 6387205/2007226
497.17/497.42	c cleaning 63002 clauses out of 126038 with flag 6597001/2071227
514.12/514.39	c cleaning 64003 clauses out of 128036 with flag 6808476/2136227
531.87/532.21	c cleaning 65002 clauses out of 130032 with flag 7005700/2202226
550.14/550.24	c cleaning 66007 clauses out of 132033 with flag 7227453/2269229
569.11/569.12	c cleaning 67006 clauses out of 134024 with flag 7462134/2337227
587.08/586.75	c cleaning 68001 clauses out of 136017 with flag 7663488/2406226
603.80/603.33	c cleaning 69001 clauses out of 138016 with flag 7865601/2476226
622.53/622.10	c cleaning 69998 clauses out of 140015 with flag 8091557/2547226
641.53/640.76	c cleaning 70990 clauses out of 142017 with flag 8309609/2619226
659.64/659.18	c cleaning 72000 clauses out of 144028 with flag 8524314/2692227
678.85/678.04	c cleaning 72982 clauses out of 146028 with flag 8764823/2766227
697.69/698.65	c cleaning 74012 clauses out of 148045 with flag 8991271/2841226
718.34/719.49	c cleaning 75003 clauses out of 150033 with flag 9241727/2917226
743.15/743.61	c cleaning 76002 clauses out of 152030 with flag 9499681/2994226
764.35/764.40	c cleaning 77004 clauses out of 154029 with flag 9750620/3072227
784.95/784.92	c cleaning 78002 clauses out of 156025 with flag 9984876/3151227
807.65/807.57	c cleaning 78996 clauses out of 158022 with flag 10220810/3231226
830.43/830.04	c cleaning 80003 clauses out of 160028 with flag 10473523/3312228
852.47/851.73	c cleaning 81006 clauses out of 162025 with flag 10698272/3394228
874.31/873.40	c cleaning 81996 clauses out of 164017 with flag 10936878/3477226
901.00/900.95	c cleaning 82983 clauses out of 166022 with flag 11199600/3561227
926.00/925.60	c cleaning 83998 clauses out of 168038 with flag 11468730/3646226
947.34/949.20	c cleaning 84988 clauses out of 170040 with flag 11747949/3732226
972.81/974.07	c cleaning 86006 clauses out of 172054 with flag 11971678/3819228
997.47/998.70	c cleaning 87002 clauses out of 174046 with flag 12235224/3907226
1022.24/1023.45	c cleaning 88004 clauses out of 176044 with flag 12494717/3996226
1051.62/1052.81	c cleaning 89013 clauses out of 178047 with flag 12807597/4086233
1078.59/1078.97	c cleaning 89990 clauses out of 180028 with flag 13097677/4177227
1104.19/1104.62	c cleaning 91003 clauses out of 182037 with flag 13374438/4269226
1131.43/1131.85	c cleaning 92005 clauses out of 184035 with flag 13666311/4362227
1156.00/1156.46	c cleaning 92999 clauses out of 186030 with flag 13936468/4456227
1181.31/1182.04	c cleaning 93995 clauses out of 188030 with flag 14266758/4551226
1208.70/1209.39	c cleaning 95008 clauses out of 190036 with flag 14591717/4647227
1235.52/1236.17	c cleaning 95999 clauses out of 192027 with flag 14876373/4744226
1265.75/1266.49	c cleaning 97001 clauses out of 194028 with flag 15200158/4842226
1290.89/1291.11	c cleaning 98002 clauses out of 196027 with flag 15511668/4941226
1316.64/1316.50	c cleaning 99005 clauses out of 198026 with flag 15816991/5041227
1343.91/1343.98	c cleaning 99980 clauses out of 200020 with flag 16134318/5142226
1369.86/1369.82	c cleaning 100991 clauses out of 202042 with flag 16431177/5244228
1399.61/1398.57	c cleaning 102019 clauses out of 204049 with flag 16765057/5347226
1428.69/1427.62	c cleaning 102997 clauses out of 206031 with flag 17107692/5451227
1458.13/1456.65	c cleaning 103997 clauses out of 208033 with flag 17434766/5556226
1486.69/1485.33	c cleaning 105006 clauses out of 210036 with flag 17755523/5662226
1519.60/1518.28	c cleaning 105999 clauses out of 212034 with flag 18103806/5769230
1556.38/1554.48	c cleaning 107007 clauses out of 214031 with flag 18462845/5877226
1586.17/1584.16	c cleaning 108002 clauses out of 216024 with flag 18792922/5986226
1620.29/1618.14	c cleaning 109010 clauses out of 218024 with flag 19173060/6096228
1658.74/1656.12	c cleaning 109981 clauses out of 220012 with flag 19580662/6207226
1696.37/1693.42	c cleaning 111004 clauses out of 222031 with flag 19991060/6319226
1733.64/1730.52	c cleaning 111985 clauses out of 224028 with flag 20377273/6432227
1767.96/1764.68	c cleaning 113013 clauses out of 226044 with flag 20750501/6546228
1799.66/1796.36	c cleaning 114001 clauses out of 228029 with flag 21107723/6661226
1837.08/1833.84	c cleaning 115001 clauses out of 230029 with flag 21495475/6777227
1877.27/1872.64	c cleaning 116009 clauses out of 232027 with flag 21898845/6894226
1914.37/1909.54	c cleaning 116987 clauses out of 234018 with flag 22312675/7012226
1944.93/1940.12	c cleaning 118007 clauses out of 236034 with flag 22661408/7131229
1978.04/1974.98	c cleaning 118995 clauses out of 238024 with flag 23002729/7251226
2011.96/2009.01	c cleaning 120009 clauses out of 240029 with flag 23353346/7372226
2046.68/2043.36	c cleaning 120999 clauses out of 242020 with flag 23710677/7494226
2083.63/2079.81	c cleaning 122006 clauses out of 244024 with flag 24108300/7617229
2124.39/2119.65	c cleaning 122990 clauses out of 246015 with flag 24483509/7741226
2165.54/2160.35	c cleaning 124004 clauses out of 248025 with flag 24899060/7866226
2203.33/2197.28	c cleaning 124990 clauses out of 250022 with flag 25284959/7992227
2236.85/2230.38	c cleaning 125992 clauses out of 252032 with flag 25671561/8119227
2277.69/2270.43	c cleaning 126974 clauses out of 254039 with flag 26099805/8247226
2319.69/2311.61	c cleaning 128019 clauses out of 256066 with flag 26521627/8376227
2368.28/2358.95	c cleaning 129020 clauses out of 258047 with flag 27005153/8506227
2411.72/2401.04	c cleaning 130000 clauses out of 260027 with flag 27454188/8637227
2456.08/2443.80	c cleaning 131004 clauses out of 262026 with flag 27896480/8769226
2501.82/2488.28	c cleaning 131995 clauses out of 264023 with flag 28329973/8902227
2546.61/2532.40	c cleaning 132995 clauses out of 266027 with flag 28785027/9036226
2587.34/2572.22	c cleaning 133998 clauses out of 268032 with flag 29202607/9171226
2631.38/2615.49	c cleaning 135004 clauses out of 270034 with flag 29657723/9307226
2669.79/2653.15	c cleaning 135996 clauses out of 272030 with flag 30074656/9444226
2718.60/2700.85	c cleaning 137014 clauses out of 274036 with flag 30539472/9582228
2765.59/2746.19	c cleaning 138003 clauses out of 276020 with flag 31020965/9721226
2812.64/2792.92	c cleaning 138992 clauses out of 278017 with flag 31532947/9861226
2859.06/2837.84	c cleaning 140003 clauses out of 280025 with flag 31991325/10002226
2904.40/2881.62	c cleaning 141002 clauses out of 282022 with flag 32453454/10144226
2946.96/2923.58	c cleaning 141984 clauses out of 284020 with flag 32918871/10287226
2989.91/2964.83	c cleaning 142996 clauses out of 286037 with flag 33384693/10431227
3034.75/3008.31	c cleaning 144009 clauses out of 288040 with flag 33871830/10576226
3080.49/3054.05	c cleaning 145001 clauses out of 290031 with flag 34361244/10722226
3125.13/3098.07	c cleaning 146008 clauses out of 292031 with flag 34857740/10869227
3172.04/3143.34	c cleaning 147001 clauses out of 294027 with flag 35405492/11017231
3220.99/3191.78	c cleaning 148002 clauses out of 296022 with flag 35897490/11166227
3270.17/3239.88	c cleaning 148990 clauses out of 298020 with flag 36394607/11316227
3318.50/3286.03	c cleaning 149995 clauses out of 300029 with flag 36868476/11467226
3363.39/3330.65	c cleaning 150999 clauses out of 302034 with flag 37358462/11619226
3403.76/3370.50	c cleaning 152008 clauses out of 304035 with flag 37793063/11772226
3453.48/3419.70	c cleaning 153005 clauses out of 306028 with flag 38308205/11926227
3495.27/3460.71	c cleaning 153988 clauses out of 308022 with flag 38770050/12081226
3541.16/3506.11	c cleaning 155002 clauses out of 310035 with flag 39255921/12237227
3588.37/3552.38	c cleaning 155991 clauses out of 312033 with flag 39741276/12394227
3600.02/3564.03	c starts		: 26328
3600.02/3564.03	c conflicts		: 12441697
3600.02/3564.03	c decisions		: 48193313
3600.02/3564.03	c propagations		: 3075183570
3600.02/3564.03	c inspects		: 13379466477
3600.02/3564.03	c shortcuts		: 0
3600.02/3564.03	c learnt literals	: 0
3600.02/3564.03	c learnt binary clauses	: 0
3600.02/3564.03	c learnt ternary clauses	: 0
3600.02/3564.03	c learnt constraints	: 12441697
3600.02/3564.03	c ignored constraints	: 0
3600.02/3564.03	c root simplifications	: 0
3600.02/3564.03	c removed literals (reason simplification)	: 17906233
3600.02/3564.03	c reason swapping (by a shorter reason)	: 0
3600.02/3564.03	c Calls to reduceDB	: 153
3600.02/3564.03	c Number of update (reduction) of LBD	: 2687852
3600.02/3564.03	c Imported unit clauses	: 0
3600.02/3564.03	c No decision after first conflict	: false
3600.02/3564.03	c number of reductions to clauses (during analyze)	: 0
3600.02/3564.03	c number of learned constraints concerned by reduction	: 0
3600.02/3564.03	c number of learning phase by resolution	: 0
3600.02/3564.03	c number of learning phase by cutting planes	: 0
3600.02/3564.03	c number of rounding to 1 operations	: 0
3600.02/3564.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3564.03	c number of reductions of the coefficients by power 2 	: 0
3600.02/3564.03	c number of right shift for reduction by power 2 	: 0
3600.02/3564.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3564.03	c number of ending skipping 	: 0
3600.02/3564.03	c number of internal skipping 	: 0
3600.02/3564.03	c number of derivation steps 	: 0
3600.02/3564.03	c number of skipped derivation steps 	: 0
3600.02/3564.03	c number of remaining unassigned 	: 0
3600.02/3564.03	c number of remaining assigned 	: 0
3600.02/3564.03	c number of falsified literals weakened from reason	: 0
3600.02/3564.03	c number of falsified literals weakened from conflict	: 0
3600.02/3564.03	c time for arithmetic operations	: 0
3600.02/3564.03	c minimum degree of deleted constraints	: null
3600.02/3564.03	c maximum degree of deleted constraints	: null
3600.02/3564.03	c number of deleted constraints	: 0
3600.02/3564.03	c speed (assignments/second)	: 862926.7465226129
3600.02/3564.03	c non guided choices	: 30
3600.22/3564.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 203512
3600.22/3564.11	s SATISFIABLE
3600.22/3564.11	c Found 2 solution(s)
3600.22/3564.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 -x154 -x155 -x156 x157 x158 x159 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 x1750 x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 x2942 x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 x3133 x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 x3845 -x3846 x3847 x3848 x3849 x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 x4055 -x4056 x4057 -x4058 -x4059 -x4060 x4061 -x4062 x4063 x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 x4892 -x4893 x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 x5256 -x5257 x5258 x5259 x5260 x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 x5824 x5825 x5826 x5827 x5828 x5829 x5830 x5831 x5832 x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 x5983 x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391 -x6392 -x6393 -x6394 x6395 x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 x6542 x6543 x6544 x6545 x6546 -x6547 x6548 x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 x6701 x6702 -x6703 x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 x7021 -x7022 -x7023 x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 -x7442 -x7443 x7444 x7445 x7446 -x7447 x7448 x7449 x7450 -x7451 x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 x7477 x7478 x7479 x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 x7806 -x7807 -x7808 x7809 -x7810 -x7811 -x7812 -x7813 x7814 -x7815 -x7816 x7817 x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 x7844 -x7845 x7846 x7847 -x7848 -x7849 x7850 -x7851 -x7852 -x7853 -x7854 x7855 -x7856 -x7857 -x7858 x7859 -x7860 -x7861 -x7862 -x7863 x7864 -x7865 -x7866 -x7867 x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 x7911 x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 x7952 -x7953 -x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 x7995 -x7996 -x7997 -x7998 -x7999 x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 x8011 -x8012 -x8013 x8014 x8015 -x8016 -x8017 -x8018 x8019 -x8020 -x8021 -x8022 -x8023 x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 x8035 -x8036 -x8037 -x8038 -x8039 -x8040 x8041 -x8042 -x8043 -x8044 -x8045 -x8046 x8047 -x8048 x8049 x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 x8060 
3600.22/3564.14	c objective function=6558202
3600.22/3564.14	c Total wall clock time (in seconds): 3563.977

Verifier Data 

OK	6558202

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 2.21 2.16 2.23 12/335 121511
/proc/meminfo: memFree=124671612/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=18975048 memory=56868 CPUtime=0.06 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 6585 0 31 0 5 1 0 0 20 0 18 0 13094565 19430449152 14217 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4743762 14217 5733 1 0 548835 0
[pid=121417/tid=121420] ppid=121412 vsize=18975048 memory=4026531971 CPUtime=0.04 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 5500 0 30 0 3 1 0 0 20 0 18 0 13094566 19430449152 14217 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=18975048 memory=674462 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094572 19430449152 14217 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 13094573 19430449152 14217 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56868 KiB

[startup+0.208202 s]*
/proc/loadavg: 2.21 2.16 2.23 13/335 121511
/proc/meminfo: memFree=124615188/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=18975048 memory=71228 CPUtime=0.26 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 7541 0 31 0 24 2 0 0 20 0 18 0 13094565 19430449152 17807 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4743762 17807 5841 1 0 549556 0
[pid=121417/tid=121420] ppid=121412 vsize=18975048 memory=4782652875487838339 CPUtime=0.14 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 1077936192 5891 0 30 0 12 2 0 0 20 0 18 0 13094566 19430449152 17807 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=18975048 memory=674462 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094572 19430449152 17807 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 13094573 19430449152 17807 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71228 KiB

[startup+0.306812 s]*
/proc/loadavg: 2.21 2.16 2.23 13/335 121511
/proc/meminfo: memFree=124510904/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=18975048 memory=95388 CPUtime=0.44 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 9635 0 31 0 42 2 0 0 20 0 18 0 13094565 19430449152 23847 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4743762 23847 5841 1 0 550912 0
[pid=121417/tid=121420] ppid=121412 vsize=18975048 memory=-9104139258295001788 CPUtime=0.22 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 1077936192 5928 0 30 0 20 2 0 0 20 0 18 0 13094566 19430449152 23847 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094572 19430449152 23847 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 13094573 19430449152 23847 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 95388 KiB

[startup+0.705966 s]
/proc/loadavg: 2.21 2.16 2.23 11/339 121515
/proc/meminfo: memFree=124284916/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=19041612 memory=159300 CPUtime=1.19 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 13411 0 31 0 115 4 0 0 20 0 19 0 13094565 19498610688 39825 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4760403 39825 5894 1 0 553695 0
[pid=121417/tid=121420] ppid=121412 vsize=19041612 memory=16012 CPUtime=0.56 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 6093 0 30 0 54 2 0 0 20 0 19 0 13094566 19498610688 39825 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19041612 memory=12348 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13094572 19498610688 39825 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19041612 memory=25664 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 13094573 19498610688 39825 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19041612 memory=1800 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13094601 19498610688 39825 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159300 KiB

[startup+1.5012 s]
/proc/loadavg: 2.91 2.30 2.28 13/343 121519
/proc/meminfo: memFree=124131608/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=198168 CPUtime=2.76 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 15325 0 31 0 271 5 0 0 20 0 20 0 13094565 19566772224 49542 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 49542 5911 1 0 554701 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=12348 CPUtime=1.28 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 6119 0 30 0 125 3 0 0 20 0 20 0 13094566 19566772224 49542 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 49542 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=25664 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 49542 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=1800 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 49542 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 198168 KiB

[startup+3.10606 s]
/proc/loadavg: 2.91 2.30 2.28 8/343 121519
/proc/meminfo: memFree=122349928/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=415720 CPUtime=5.53 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 20140 0 31 0 542 11 0 0 20 0 20 0 13094565 19566772224 103930 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 103930 5927 1 0 707181 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=0 CPUtime=2.76 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 6521 0 30 0 268 8 0 0 20 0 20 0 13094566 19566772224 103930 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=21148 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 103930 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 103930 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=25664 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 103930 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 415720 KiB

[startup+6.30027 s]
/proc/loadavg: 3.00 2.33 2.29 5/345 121521
/proc/meminfo: memFree=119217892/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=561076 CPUtime=9.06 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 23834 0 31 0 889 17 0 0 20 0 20 0 13094565 19566772224 140269 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 140269 5927 1 0 707320 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=12348 CPUtime=5.84 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 8029 0 30 0 572 12 0 0 20 0 20 0 13094566 19566772224 140269 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=25664 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 140269 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 140269 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=16012 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 140269 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 9.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 561076 KiB

[startup+12.7003 s]
/proc/loadavg: 3.08 2.36 2.30 6/345 121523
/proc/meminfo: memFree=114570704/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=1571896 CPUtime=15.64 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 25350 0 31 0 1523 41 0 0 20 0 20 0 13094565 19566772224 392974 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 392974 5927 1 0 843101 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=0 CPUtime=12.04 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 9032 0 30 0 1172 32 0 0 20 0 20 0 13094566 19566772224 392974 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=1444920 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 392974 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 392974 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 392974 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1571896 KiB

[startup+25.5003 s]
/proc/loadavg: 3.30 2.43 2.32 6/345 121524
/proc/meminfo: memFree=105553548/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=2182900 CPUtime=28.55 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 29888 0 31 0 2796 59 0 0 20 0 20 0 13094565 19566772224 545725 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 545725 5959 1 0 843124 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=0 CPUtime=24.64 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 11338 0 30 0 2415 49 0 0 20 0 20 0 13094566 19566772224 545725 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=1444920 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 545725 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=661407783836233 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 545725 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 545725 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 28.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182900 KiB

[startup+51.1061 s]
/proc/loadavg: 3.70 2.61 2.39 5/345 121529
/proc/meminfo: memFree=96624264/131524600 swapFree=131071216/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=2328472 CPUtime=54.04 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 38994 0 31 0 5323 81 0 0 20 0 20 0 13094565 19566772224 582118 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 582118 5959 1 0 843124 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=2328472 CPUtime=49.1 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 14559 0 30 0 4843 67 0 0 20 0 20 0 13094566 19566772224 582118 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=2328472 CPUtime=0 cores=4,6

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

Current children cumulated memory: 3142400 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.53 4.60 5/338 123454
/proc/meminfo: memFree=48264532/131524600 swapFree=131064012/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=3117448 CPUtime=3251.72 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 445193 0 31 0 322966 2206 0 0 20 0 20 0 13094565 19566772224 779362 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 779362 5975 1 0 792323 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=3225508 CPUtime=3082.44 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 184149 0 30 0 306224 2020 0 0 20 0 20 0 13094566 19566772224 779362 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5554 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 779362 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=3117408 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 1706 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 779362 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=3117408 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 779362 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 3251.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3117448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.48 4.57 5/337 123465
/proc/meminfo: memFree=47147900/131524600 swapFree=131064012/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=3117468 CPUtime=3313.42 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 445709 0 31 0 329103 2239 0 0 20 0 20 0 13094565 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 779367 5975 1 0 792323 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=3117452 CPUtime=3139.44 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 184366 0 30 0 311894 2050 0 0 20 0 20 0 13094566 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5685 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=3117452 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 1706 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=3117452 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 3313.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3117468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.45 4.55 5/338 123476
/proc/meminfo: memFree=44832404/131524600 swapFree=131064012/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=3117468 CPUtime=3375.7 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 446124 0 31 0 335297 2273 0 0 20 0 20 0 13094565 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 779367 5975 1 0 792323 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=43496 CPUtime=3196.87 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 184734 0 30 0 317607 2080 0 0 20 0 20 0 13094566 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5795 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=2228 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=3117468 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 1706 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=3117468 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 779367 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 3375.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3117468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.39 4.53 5/339 123491
/proc/meminfo: memFree=43816220/131524600 swapFree=131064012/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=3117496 CPUtime=3435.41 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 447158 0 31 0 341241 2300 0 0 20 0 20 0 13094565 19566772224 779374 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 779374 5975 1 0 792323 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=2228 CPUtime=3254.75 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 185472 0 30 0 323370 2105 0 0 20 0 20 0 13094566 19566772224 779374 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5895 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=104 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 779374 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 1706 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 779374 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 779374 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 3435.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3117496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.36 4.51 5/339 123502
/proc/meminfo: memFree=42301792/131524600 swapFree=131064012/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=3117504 CPUtime=3496.85 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 461285 0 31 0 347354 2331 0 0 20 0 20 0 13094565 19566772224 779376 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 779376 5975 1 0 792324 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=2228 CPUtime=3312.01 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 188320 0 30 0 329069 2132 0 0 20 0 20 0 13094566 19566772224 779376 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 6017 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 779376 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=3117504 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 1734 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 779376 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=3117504 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 779376 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 3496.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3117504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.32 4.49 5/338 123512
/proc/meminfo: memFree=41385820/131524600 swapFree=131064012/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=3117520 CPUtime=3558.16 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 461801 0 31 0 353452 2364 0 0 20 0 20 0 13094565 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 779380 5975 1 0 792324 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=3117520 CPUtime=3369.53 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 188522 0 30 0 334791 2162 0 0 20 0 20 0 13094566 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6113 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=3117504 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=3117504 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 1734 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=3117504 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 3558.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3117520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3564 s]*
/proc/loadavg: 4.17 4.30 4.47 5/339 123587
/proc/meminfo: memFree=69464748/131524600 swapFree=131064012/131071996
[pid=121417] ppid=121412 vsize=19108176 memory=3117520 CPUtime=3600.02 cores=4,6
/proc/121417/stat : 121417 (java) S 121412 121417 121366 0 -1 1077936128 462204 0 31 0 357620 2382 0 0 20 0 20 0 13094565 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
/proc/121417/statm: 4777044 779380 5975 1 0 792324 0
[pid=121417/tid=121420] ppid=121412 vsize=19108176 memory=-8527677397890015932 CPUtime=3410.18 cores=4,6
/proc/121417/task/121420/stat : 121420 (java) R 121412 121417 121366 0 -1 4194368 188895 0 30 0 338838 2180 0 0 20 0 20 0 13094566 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 6131 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121475] ppid=121412 vsize=19108176 memory=-7522276532189486715 CPUtime=0 cores=4,6
/proc/121417/task/121475/stat : 121475 (Finalizer) S 121412 121417 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121489] ppid=121412 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/121417/task/121489/stat : 121489 (Common-Cleaner) S 121412 121417 121366 0 -1 1077936192 1734 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
[pid=121417/tid=121512] ppid=121412 vsize=19108176 memory=11164 CPUtime=0 cores=4,6
/proc/121417/task/121512/stat : 121512 (Timer-0) S 121412 121417 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094601 19566772224 779380 134679101440 94137779859456 94137779863152 140726217934240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94137779870968 94137779871760 94137809727488 140726217941931 140726217942113 140726217942113 140726217949128 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3117520 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.48 s, system=23.869 s

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

[startup+3564.2 s]*
/proc/loadavg: 4.17 4.30 4.47 4/321 123590
/proc/meminfo: memFree=72563436/131524600 swapFree=131064012/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3564.31 s]
/proc/loadavg: 4.17 4.30 4.47 4/321 123590
/proc/meminfo: memFree=72563436/131524600 swapFree=131064012/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3564.34
CPU time (s): 3600.35
CPU user time (s): 3576.48
CPU system time (s): 23.869
CPU usage (%): 101.01
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4333972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.48
system time used= 23.869
maximum resident set size= 4333972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464743
page faults= 31
swaps= 0
block input operations= 13816
block output operations= 46260840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136622
involuntary context switches= 20562


# summary of solver processes directly reported to runsolver:
#   pid: 121417
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3576.48
#   total CPU system time (s): 23.869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58915 second user time and 18.3098 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-23 22:14:03
IDJOB=4440223
IDBENCH=146743
IDSOLVER=3079
FILE ID=nodeC035/4440223-1721765643
RUNJOBID= nodeC035-1721765643-121377
SLURM_JOB_ID= 7770671
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440223-1721765643/watcher-4440223-1721765643 -o /tmp/evaluation-result-4440223-1721765643/solver-4440223-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121377 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440223-1721765643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440223-1721765643.opb

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=2138154298

nodeC035.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		: 2805.117
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.54
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		: 3326.856
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.93
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		: 3187.514
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.54
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		: 2370.179
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.93
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		: 3256.201
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.54
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		: 3525.822
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.93
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		: 3250.424
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.54
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		: 3345.878
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124835368 kB
MemAvailable:   129662324 kB
Buffers:          178828 kB
Cached:          5390724 kB
SwapCached:           64 kB
Active:          1105316 kB
Inactive:        4847936 kB
Active(anon):       1480 kB
Inactive(anon):   419712 kB
Active(file):    1103836 kB
Inactive(file):  4428224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:        383060 kB
Mapped:           102888 kB
Shmem:             37496 kB
KReclaimable:     269084 kB
Slab:             377816 kB
SReclaimable:     269084 kB
SUnreclaim:       108732 kB
KernelStack:        4000 kB
PageTables:         9804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     780312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20608 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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:      328404 kB
DirectMap2M:    34048000 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC035 at 2024-07-23 23:13:27