Trace number 4425043

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.4 3571.22

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4425043-1720878855.wbo
0.14/0.12	c reading problem ... 
0.14/0.19	c ... done. Wall clock time 0.067s.
0.14/0.19	c declared #vars     6000
0.14/0.19	c internal #vars     6220
0.14/0.19	c #constraints  221
0.14/0.19	c constraints type 
0.14/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.14/0.19	c org.sat4j.specs.Constr$1 => 1
0.14/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 120
0.14/0.19	c 221 constraints processed.
0.34/0.21	c objective function length is 220 literals
1.68/1.03	c cleaning 2496 clauses out of 5002 with flag 33793/5002
2.65/1.97	c cleaning 4250 clauses out of 8505 with flag 74078/11001
3.24/2.50	c SATISFIABLE
3.24/2.50	c OPTIMIZING...
3.24/2.50	c Got one! Elapsed wall clock time (in seconds):2.378
3.39/2.50	o 218
3.71/2.88	c cleaning 4672 clauses out of 9353 with flag 12208/16099
4.82/3.90	c cleaning 5333 clauses out of 10681 with flag 52901/22099
6.35/5.42	c cleaning 6166 clauses out of 12350 with flag 99422/29101
8.06/7.16	c cleaning 7087 clauses out of 14183 with flag 154263/37100
10.45/9.45	c cleaning 8041 clauses out of 16096 with flag 213628/46100
13.30/12.29	c cleaning 9022 clauses out of 18054 with flag 284904/56099
14.99/13.97	c Got one! Elapsed wall clock time (in seconds):13.849
14.99/13.97	o 189
17.88/16.72	c cleaning 10247 clauses out of 20509 with flag 35467/67576
19.76/18.64	c cleaning 8119 clauses out of 16262 with flag 81771/73576
21.65/20.49	c cleaning 7563 clauses out of 15145 with flag 134785/80578
24.25/22.92	c cleaning 7781 clauses out of 15580 with flag 195785/88576
26.81/25.43	c cleaning 8391 clauses out of 16799 with flag 268084/97576
27.51/26.15	c Got one! Elapsed wall clock time (in seconds):26.037
27.51/26.15	o 182
27.60/26.20	c Got one! Elapsed wall clock time (in seconds):26.085
27.60/26.20	o 144
28.30/26.94	c cleaning 6884 clauses out of 13787 with flag 16226/102955
29.70/28.38	c cleaning 6443 clauses out of 12904 with flag 64739/108956
31.57/30.16	c cleaning 6718 clauses out of 13459 with flag 123399/115954
33.75/32.35	c cleaning 7363 clauses out of 14743 with flag 187089/123956
35.63/34.16	c Got one! Elapsed wall clock time (in seconds):34.043
35.63/34.16	o 128
35.83/34.35	c Got one! Elapsed wall clock time (in seconds):34.228
35.83/34.35	o 125
35.93/34.45	c Got one! Elapsed wall clock time (in seconds):34.332
35.93/34.45	o 114
35.93/34.50	c Got one! Elapsed wall clock time (in seconds):34.379
35.93/34.50	o 80
38.53/36.80	c cleaning 10193 clauses out of 20417 with flag 35028/136993
40.41/38.65	c Got one! Elapsed wall clock time (in seconds):38.529
40.41/38.65	o 79
40.56/38.72	c Got one! Elapsed wall clock time (in seconds):38.598
40.56/38.72	o 75
41.18/39.38	c Got one! Elapsed wall clock time (in seconds):39.267
41.18/39.38	o 73
41.79/39.97	c Got one! Elapsed wall clock time (in seconds):39.852
41.79/39.97	o 57
41.90/40.01	c Got one! Elapsed wall clock time (in seconds):39.893
41.90/40.01	o 54
43.80/41.93	c cleaning 10503 clauses out of 21023 with flag 22268/147792
45.00/43.15	c cleaning 8251 clauses out of 16524 with flag 72307/153796
46.45/44.51	c Got one! Elapsed wall clock time (in seconds):44.395
46.45/44.51	o 23
48.24/46.30	c cleaning 9724 clauses out of 19474 with flag 36418/164997
50.13/48.12	c Got one! Elapsed wall clock time (in seconds):48.006
50.13/48.12	o 21
50.13/48.16	c Got one! Elapsed wall clock time (in seconds):48.041
50.13/48.16	o 18
50.22/48.23	c Got one! Elapsed wall clock time (in seconds):48.109
50.22/48.23	o 17
52.92/50.93	c cleaning 10564 clauses out of 21162 with flag 37232/176409
54.92/52.94	c cleaning 8288 clauses out of 16598 with flag 78958/182409
56.84/54.82	c cleaning 7642 clauses out of 15313 with flag 129708/189412
59.18/57.19	c cleaning 7823 clauses out of 15671 with flag 190885/197412
61.97/59.94	c cleaning 8410 clauses out of 16846 with flag 253272/206410
65.61/63.54	c cleaning 9207 clauses out of 18435 with flag 328743/216409
69.80/67.77	c cleaning 10102 clauses out of 20230 with flag 411812/227411
71.60/69.54	c Got one! Elapsed wall clock time (in seconds):69.423
71.60/69.54	o 15
74.53/72.38	c cleaning 10352 clauses out of 20723 with flag 40146/238006
76.63/74.43	c cleaning 8174 clauses out of 16372 with flag 92698/244007
78.12/75.96	c cleaning 7599 clauses out of 15199 with flag 139692/251008
78.12/75.97	c Got one! Elapsed wall clock time (in seconds):75.856
78.12/75.98	o 14
79.80/77.45	c cleaning 6394 clauses out of 12791 with flag 49844/256199
80.30/77.93	c Got one! Elapsed wall clock time (in seconds):77.809
80.30/77.93	o 10
81.29/78.80	c cleaning 5910 clauses out of 11835 with flag 32057/261637
82.99/80.50	c cleaning 5957 clauses out of 11926 with flag 95741/267638
83.61/81.17	c Got one! Elapsed wall clock time (in seconds):81.053
83.61/81.17	o 9
84.44/81.90	c cleaning 5835 clauses out of 11690 with flag 22063/273359
86.33/83.80	c cleaning 5918 clauses out of 11854 with flag 89392/279358
88.54/86.04	c cleaning 6461 clauses out of 12939 with flag 164322/286361
89.33/86.80	c Got one! Elapsed wall clock time (in seconds):86.682
89.33/86.80	o 6
89.45/86.92	c cleaning 5906 clauses out of 11827 with flag 12316/291710
90.27/87.72	c cleaning 5945 clauses out of 11919 with flag 56252/297708
91.27/88.71	c cleaning 6474 clauses out of 12974 with flag 104665/304708
92.67/90.13	c cleaning 7231 clauses out of 14499 with flag 164549/312707
94.26/91.77	c cleaning 8123 clauses out of 16270 with flag 234506/321709
96.67/94.03	c cleaning 9061 clauses out of 18146 with flag 312645/331708
99.56/96.91	c cleaning 10031 clauses out of 20086 with flag 396511/342709
102.99/100.20	c cleaning 11012 clauses out of 22053 with flag 482598/354707
106.69/103.90	c cleaning 12008 clauses out of 24043 with flag 574915/367709
111.40/108.58	c cleaning 13004 clauses out of 26035 with flag 676971/381709
116.00/113.11	c cleaning 13997 clauses out of 28029 with flag 788172/396707
121.22/118.23	c cleaning 15002 clauses out of 30033 with flag 904420/412708
128.12/125.17	c cleaning 16000 clauses out of 32030 with flag 1039938/429707
136.55/133.43	c cleaning 16998 clauses out of 34032 with flag 1181968/447709
148.36/144.98	c cleaning 17996 clauses out of 36032 with flag 1336308/466707
159.54/156.07	c cleaning 19002 clauses out of 38037 with flag 1490578/486708
170.62/167.16	c cleaning 20002 clauses out of 40034 with flag 1648953/507707
181.77/178.10	c cleaning 21002 clauses out of 42032 with flag 1811238/529707
194.41/190.64	c cleaning 22005 clauses out of 44032 with flag 1980453/552709
208.22/204.34	c cleaning 23003 clauses out of 46027 with flag 2163341/576709
223.28/219.20	c cleaning 24001 clauses out of 48023 with flag 2354771/601708
241.45/237.44	c cleaning 24994 clauses out of 50021 with flag 2562668/627707
260.78/256.17	c cleaning 26002 clauses out of 52029 with flag 2779453/654709
277.94/273.37	c cleaning 26997 clauses out of 54025 with flag 3003201/682707
286.09/281.27	c cleaning 27990 clauses out of 56028 with flag 3270321/711707
301.26/296.36	c cleaning 28988 clauses out of 58039 with flag 3567998/741708
316.48/311.38	c cleaning 30003 clauses out of 60051 with flag 3881199/772708
334.41/329.21	c cleaning 30995 clauses out of 62048 with flag 4173528/804708
354.49/349.34	c cleaning 32001 clauses out of 64054 with flag 4479346/837709
376.50/370.60	c cleaning 32998 clauses out of 66052 with flag 4804199/871708
401.28/395.37	c cleaning 34001 clauses out of 68055 with flag 5143690/906709
413.47/407.56	c Got one! Elapsed wall clock time (in seconds):407.442
413.47/407.56	o 4
414.35/408.27	c cleaning 28927 clauses out of 57888 with flag 31678/930543
414.90/408.81	c cleaning 17459 clauses out of 34960 with flag 69015/936542
415.69/409.60	c cleaning 12230 clauses out of 24501 with flag 113120/943542
416.58/410.56	c cleaning 10115 clauses out of 20274 with flag 170797/951545
417.57/411.50	c cleaning 9557 clauses out of 19156 with flag 233008/960542
418.66/412.67	c cleaning 9784 clauses out of 19599 with flag 300296/970542
420.11/414.08	c cleaning 10389 clauses out of 20815 with flag 378496/981542
421.89/415.86	c cleaning 11199 clauses out of 22428 with flag 464336/993544
424.46/418.46	c cleaning 12102 clauses out of 24227 with flag 559104/1006542
427.24/421.21	c cleaning 13049 clauses out of 26125 with flag 657725/1020542
430.87/424.78	c cleaning 14023 clauses out of 28076 with flag 761927/1035542
434.54/428.49	c cleaning 15015 clauses out of 30053 with flag 870746/1051542
438.89/432.66	c cleaning 16004 clauses out of 32038 with flag 1002128/1068542
444.64/438.49	c cleaning 17004 clauses out of 34036 with flag 1135504/1086544
451.85/445.53	c cleaning 18004 clauses out of 36032 with flag 1277999/1105544
458.88/452.61	c cleaning 18998 clauses out of 38026 with flag 1427193/1125542
467.27/460.96	c cleaning 20001 clauses out of 40028 with flag 1598218/1146542
476.97/470.72	c cleaning 21004 clauses out of 42027 with flag 1780084/1168542
487.57/481.23	c cleaning 21997 clauses out of 44023 with flag 1955298/1191542
498.19/491.70	c cleaning 23001 clauses out of 46028 with flag 2115075/1215544
500.49/494.02	c Got one! Elapsed wall clock time (in seconds):493.9
500.49/494.02	o 3
500.98/494.54	c cleaning 19377 clauses out of 38772 with flag 29152/1231289
501.99/495.59	c cleaning 12678 clauses out of 25394 with flag 66503/1237288
503.40/496.83	c cleaning 9839 clauses out of 19717 with flag 113328/1244289
504.39/497.88	c cleaning 8919 clauses out of 17877 with flag 169870/1252288
505.70/499.16	c cleaning 8960 clauses out of 17958 with flag 228080/1261288
507.29/500.74	c cleaning 9480 clauses out of 18999 with flag 298516/1271289
510.04/503.30	c cleaning 10236 clauses out of 20518 with flag 379842/1282288
512.13/505.44	c cleaning 11129 clauses out of 22282 with flag 468952/1294288
514.83/508.17	c cleaning 12066 clauses out of 24153 with flag 559083/1307288
518.48/511.60	c cleaning 13031 clauses out of 26088 with flag 655429/1321289
522.47/515.61	c cleaning 14016 clauses out of 28058 with flag 761898/1336290
526.56/519.77	c cleaning 15007 clauses out of 30043 with flag 872636/1352291
532.83/525.53	c cleaning 16000 clauses out of 32033 with flag 1001440/1369288
539.74/532.38	c cleaning 17000 clauses out of 34033 with flag 1127499/1387288
546.53/539.15	c cleaning 17998 clauses out of 36033 with flag 1253131/1406288
555.76/548.20	c cleaning 19002 clauses out of 38037 with flag 1385376/1426290
563.49/556.07	c cleaning 19997 clauses out of 40034 with flag 1527181/1447289
573.17/565.65	c cleaning 21006 clauses out of 42037 with flag 1686465/1469289
582.69/575.29	c cleaning 21995 clauses out of 44030 with flag 1845671/1492288
593.10/585.53	c cleaning 22998 clauses out of 46035 with flag 2010569/1516288
599.45/591.97	c cleaning 24005 clauses out of 48038 with flag 2175273/1541289
607.49/599.99	c cleaning 25002 clauses out of 50033 with flag 2369054/1567289
616.88/609.23	c cleaning 26008 clauses out of 52033 with flag 2554753/1594291
622.23/614.65	c cleaning 26978 clauses out of 54022 with flag 2753290/1622288
631.96/624.26	c cleaning 27988 clauses out of 56044 with flag 2977894/1651288
642.81/635.00	c cleaning 28990 clauses out of 58057 with flag 3207706/1681289
657.36/649.36	c cleaning 30000 clauses out of 60066 with flag 3439909/1712288
665.21/657.04	c cleaning 30985 clauses out of 62066 with flag 3660124/1744288
679.26/670.90	c cleaning 31993 clauses out of 64082 with flag 3879182/1777289
692.73/684.44	c cleaning 32997 clauses out of 66088 with flag 4123684/1811288
708.22/699.03	c cleaning 33997 clauses out of 68092 with flag 4369803/1846289
724.75/715.50	c cleaning 34995 clauses out of 70094 with flag 4619078/1882288
743.43/734.17	c cleaning 36003 clauses out of 72099 with flag 4879894/1919288
761.18/751.72	c cleaning 37001 clauses out of 74097 with flag 5151084/1957289
781.81/772.24	c cleaning 38004 clauses out of 76096 with flag 5450137/1996289
800.24/790.56	c cleaning 39031 clauses out of 78091 with flag 5741842/2036288
825.59/815.74	c cleaning 40014 clauses out of 80062 with flag 6058126/2077290
850.81/840.95	c cleaning 41005 clauses out of 82049 with flag 6382480/2119291
869.82/859.95	c cleaning 41970 clauses out of 84041 with flag 6703931/2162288
894.46/884.40	c cleaning 42982 clauses out of 86071 with flag 7054511/2206288
916.06/906.01	c cleaning 43995 clauses out of 88091 with flag 7394564/2251290
941.54/931.55	c cleaning 45001 clauses out of 90097 with flag 7791719/2297291
966.05/955.72	c cleaning 45995 clauses out of 92094 with flag 8193718/2344289
994.80/983.71	c cleaning 47003 clauses out of 94099 with flag 8590715/2392289
1015.81/1004.74	c cleaning 48022 clauses out of 96096 with flag 9000682/2441289
1024.60/1013.25	c cleaning 49003 clauses out of 98073 with flag 9321906/2491288
1045.23/1033.86	c cleaning 50010 clauses out of 100071 with flag 9685375/2542289
1061.30/1049.89	c cleaning 51006 clauses out of 102061 with flag 10035508/2594289
1075.44/1063.82	c cleaning 51986 clauses out of 104054 with flag 10394694/2647288
1093.09/1081.33	c cleaning 52989 clauses out of 106068 with flag 10743339/2701288
1109.87/1097.87	c cleaning 54026 clauses out of 108079 with flag 11179243/2756288
1128.91/1116.75	c cleaning 54979 clauses out of 110055 with flag 11567565/2812290
1161.02/1148.50	c cleaning 56024 clauses out of 112074 with flag 11971013/2869288
1193.34/1180.70	c cleaning 57017 clauses out of 114054 with flag 12365356/2927292
1219.90/1207.04	c cleaning 57986 clauses out of 116034 with flag 12806056/2986289
1243.06/1230.04	c cleaning 59013 clauses out of 118048 with flag 13183597/3046289
1288.00/1274.60	c cleaning 60003 clauses out of 120034 with flag 13657371/3107288
1330.15/1316.62	c cleaning 61002 clauses out of 122032 with flag 14155510/3169289
1382.79/1368.69	c cleaning 62002 clauses out of 124030 with flag 14648904/3232289
1420.71/1406.66	c cleaning 62986 clauses out of 126028 with flag 15171883/3296289
1439.52/1425.04	c cleaning 64008 clauses out of 128041 with flag 15609583/3361288
1490.46/1475.82	c cleaning 65003 clauses out of 130036 with flag 16076951/3427291
1511.50/1496.70	c cleaning 65990 clauses out of 132031 with flag 16567637/3494289
1540.63/1525.51	c cleaning 66971 clauses out of 134041 with flag 17044731/3562289
1612.22/1596.91	c cleaning 67992 clauses out of 136069 with flag 17588516/3631288
1630.86/1615.01	c cleaning 69011 clauses out of 138077 with flag 18100820/3701288
1657.29/1641.23	c cleaning 70008 clauses out of 140067 with flag 18580464/3772289
1693.73/1677.57	c cleaning 70986 clauses out of 142058 with flag 19025401/3844288
1762.48/1746.04	c cleaning 71995 clauses out of 144074 with flag 19616179/3917290
1798.57/1782.18	c cleaning 73021 clauses out of 146077 with flag 20208895/3991288
1825.57/1808.75	c cleaning 73992 clauses out of 148056 with flag 20774422/4066288
1844.82/1827.80	c cleaning 75017 clauses out of 150065 with flag 21242117/4142289
1904.90/1886.74	c cleaning 75997 clauses out of 152047 with flag 21816161/4219288
1937.30/1918.82	c cleaning 76990 clauses out of 154050 with flag 22347812/4297288
1975.16/1956.52	c cleaning 78007 clauses out of 156061 with flag 22897423/4376289
1997.69/1978.85	c cleaning 78982 clauses out of 158056 with flag 23442058/4456291
2086.10/2067.11	c cleaning 79994 clauses out of 160071 with flag 24053226/4537288
2130.49/2111.58	c cleaning 81023 clauses out of 162080 with flag 24705692/4619291
2205.42/2186.81	c cleaning 82008 clauses out of 164055 with flag 25385622/4702289
2255.77/2236.80	c cleaning 83011 clauses out of 166047 with flag 26050882/4786289
2293.51/2274.54	c cleaning 83993 clauses out of 168035 with flag 26591157/4871288
2325.70/2306.69	c cleaning 84993 clauses out of 170042 with flag 27139336/4957288
2350.04/2330.88	c cleaning 85995 clauses out of 172049 with flag 27726000/5044288
2370.68/2351.34	c cleaning 86992 clauses out of 174054 with flag 28300315/5132288
2410.46/2391.15	c cleaning 88002 clauses out of 176064 with flag 28920315/5221290
2432.34/2412.76	c cleaning 88999 clauses out of 178060 with flag 29496579/5311288
2459.25/2439.11	c cleaning 90006 clauses out of 180063 with flag 30110559/5402290
2492.37/2472.16	c cleaning 91019 clauses out of 182055 with flag 30643213/5494288
2524.68/2504.35	c cleaning 91996 clauses out of 184037 with flag 31225813/5587289
2554.55/2532.62	c cleaning 92999 clauses out of 186041 with flag 31878805/5681289
2585.75/2563.69	c cleaning 93969 clauses out of 188041 with flag 32531723/5776288
2640.04/2617.94	c cleaning 95018 clauses out of 190072 with flag 33159896/5872288
2745.52/2723.16	c cleaning 96008 clauses out of 192057 with flag 33859492/5969291
2773.42/2750.64	c cleaning 97006 clauses out of 194046 with flag 34493983/6067288
2843.57/2820.54	c cleaning 97997 clauses out of 196040 with flag 35162339/6166288
2875.64/2852.38	c cleaning 99011 clauses out of 198044 with flag 35890154/6266289
2913.51/2890.08	c cleaning 99980 clauses out of 200033 with flag 36497276/6367289
2954.74/2931.25	c cleaning 101012 clauses out of 202052 with flag 37186755/6469288
2999.00/2974.71	c cleaning 102007 clauses out of 204042 with flag 37871054/6572290
3064.01/3039.58	c cleaning 102985 clauses out of 206033 with flag 38552942/6676288
3114.90/3090.47	c cleaning 104010 clauses out of 208050 with flag 39300799/6781290
3145.76/3121.11	c cleaning 104985 clauses out of 210038 with flag 39998538/6887288
3246.46/3221.38	c cleaning 105989 clauses out of 212053 with flag 40710047/6994288
3287.27/3261.77	c cleaning 107016 clauses out of 214064 with flag 41390651/7102288
3323.49/3297.51	c cleaning 108012 clauses out of 216048 with flag 42127431/7211288
3364.40/3338.16	c cleaning 109015 clauses out of 218036 with flag 42785800/7321288
3403.69/3377.17	c cleaning 109983 clauses out of 220021 with flag 43543859/7432288
3442.22/3415.52	c cleaning 111003 clauses out of 222038 with flag 44247068/7544288
3489.99/3461.89	c cleaning 111987 clauses out of 224035 with flag 44940873/7657288
3532.62/3504.32	c cleaning 113005 clauses out of 226050 with flag 45637628/7771290
3576.75/3547.76	c cleaning 114021 clauses out of 228043 with flag 46386827/7886288
3600.00/3571.02	c starts		: 12190
3600.00/3571.03	c conflicts		: 7956368
3600.00/3571.03	c decisions		: 39896076
3600.00/3571.03	c propagations		: 256012444
3600.00/3571.03	c inspects		: 23007630043
3600.00/3571.03	c shortcuts		: 0
3600.00/3571.03	c learnt literals	: 0
3600.00/3571.03	c learnt binary clauses	: 0
3600.00/3571.03	c learnt ternary clauses	: 0
3600.00/3571.03	c learnt constraints	: 7956368
3600.00/3571.03	c ignored constraints	: 0
3600.00/3571.03	c root simplifications	: 0
3600.00/3571.03	c removed literals (reason simplification)	: 0
3600.00/3571.03	c reason swapping (by a shorter reason)	: 0
3600.00/3571.03	c Calls to reduceDB	: 199
3600.00/3571.03	c Number of update (reduction) of LBD	: 3939941
3600.00/3571.03	c Imported unit clauses	: 0
3600.00/3571.03	c No decision after first conflict	: false
3600.00/3571.03	c number of reductions to clauses (during analyze)	: 0
3600.00/3571.03	c number of learned constraints concerned by reduction	: 0
3600.00/3571.03	c number of learning phase by resolution	: 0
3600.00/3571.03	c number of learning phase by cutting planes	: 0
3600.00/3571.03	c number of rounding to 1 operations	: 0
3600.00/3571.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3571.03	c number of reductions of the coefficients by power 2 	: 0
3600.00/3571.03	c number of right shift for reduction by power 2 	: 0
3600.00/3571.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3571.03	c number of ending skipping 	: 0
3600.00/3571.03	c number of internal skipping 	: 0
3600.00/3571.03	c number of derivation steps 	: 0
3600.00/3571.03	c number of skipped derivation steps 	: 0
3600.00/3571.03	c number of remaining unassigned 	: 0
3600.00/3571.03	c number of remaining assigned 	: 0
3600.00/3571.03	c number of falsified literals weakened from reason	: 0
3600.00/3571.03	c number of falsified literals weakened from conflict	: 0
3600.00/3571.03	c time for arithmetic operations	: 0
3600.00/3571.05	c minimum degree of deleted constraints	: null
3600.00/3571.05	c maximum degree of deleted constraints	: null
3600.00/3571.05	c number of deleted constraints	: 0
3600.00/3571.05	c speed (assignments/second)	: 71695.07884815132
3600.00/3571.05	c non guided choices	: 2074337
3600.21/3571.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 184102
3600.21/3571.14	s SATISFIABLE
3600.21/3571.14	c Found 24 solution(s)
3600.21/3571.14	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 
3600.21/3571.18	c objective function=3
3600.21/3571.18	c Total wall clock time (in seconds): 3571.048

Verifier Data 

OK	3

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62782 MiB free)
  memory of node 1: 64473 MiB (63677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425043-1720878855/watcher-4425043-1720878855 -o /tmp/evaluation-result-4425043-1720878855/solver-4425043-1720878855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720878868-715594 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425043-1720878855.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=715660, runsolver pid=715650

[startup+0.100757 s]*
/proc/loadavg: 1.10 1.17 1.98 14/328 715724
/proc/meminfo: memFree=129349980/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=18975048 memory=63176 CPUtime=0.14 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 7250 0 0 0 13 1 0 0 20 0 18 0 140053579 19430449152 15794 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4743762 15794 5663 1 0 549349 0
[pid=715660/tid=715669] ppid=715650 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 5766 0 0 0 8 1 0 0 20 0 18 0 140053579 19430449152 15794 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=18975048 memory=17016 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140053582 19430449152 15794 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=18975048 memory=14971170189477532 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140053582 19430449152 15794 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63176 KiB

[startup+0.206443 s]*
/proc/loadavg: 1.10 1.17 1.98 17/332 715728
/proc/meminfo: memFree=129313900/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19041612 memory=75976 CPUtime=0.34 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 7706 0 0 0 32 2 0 0 20 0 19 0 140053579 19498610688 18994 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4760403 18994 5863 1 0 549929 0
[pid=715660/tid=715669] ppid=715650 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 6005 0 0 0 18 1 0 0 20 0 19 0 140053579 19498610688 18994 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19041612 memory=17016 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 18994 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 18994 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (java) R 715650 715660 712764 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 140053600 19498610688 18994 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75976 KiB

[startup+0.306897 s]*
/proc/loadavg: 1.10 1.17 1.98 13/332 715728
/proc/meminfo: memFree=129287552/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19041612 memory=83488 CPUtime=0.53 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 10811 0 0 0 51 2 0 0 20 0 19 0 140053579 19498610688 20872 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4760403 20872 5863 1 0 551349 0
[pid=715660/tid=715669] ppid=715650 vsize=19041612 memory=-8527957764781548220 CPUtime=0.29 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 6034 0 0 0 28 1 0 0 20 0 19 0 140053579 19498610688 20872 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19041612 memory=-9044459746194447340 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 20872 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 20872 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140053600 19498610688 20872 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83488 KiB

[startup+0.700225 s]
/proc/loadavg: 1.10 1.17 1.98 12/332 715728
/proc/meminfo: memFree=129254996/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19041612 memory=98208 CPUtime=1.29 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 11356 0 0 0 127 2 0 0 20 0 19 0 140053579 19498610688 24552 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4760403 24552 5878 1 0 551727 0
[pid=715660/tid=715669] ppid=715650 vsize=19041612 memory=35372 CPUtime=0.67 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 6041 0 0 0 66 1 0 0 20 0 19 0 140053579 19498610688 24552 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19041612 memory=13116 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 24552 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 24552 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19041612 memory=1900 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140053600 19498610688 24552 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98208 KiB

[startup+1.50023 s]
/proc/loadavg: 1.10 1.17 1.98 8/332 715728
/proc/meminfo: memFree=129183404/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19041612 memory=133768 CPUtime=2.24 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 13297 0 0 0 221 3 0 0 20 0 19 0 140053579 19498610688 33442 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4760403 33442 5878 1 0 551816 0
[pid=715660/tid=715669] ppid=715650 vsize=19041612 memory=13116 CPUtime=1.46 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 6793 0 0 0 144 2 0 0 20 0 19 0 140053579 19498610688 33442 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 33442 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140053582 19498610688 33442 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19041612 memory=1900 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140053600 19498610688 33442 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133768 KiB

[startup+3.1065 s]
/proc/loadavg: 1.10 1.17 1.98 7/334 715730
/proc/meminfo: memFree=128946772/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=204492 CPUtime=4.03 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 18298 0 0 0 397 6 0 0 20 0 20 0 140053579 19566772224 51123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 51123 5910 1 0 552739 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=0 CPUtime=3.04 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 7700 0 0 0 301 3 0 0 20 0 20 0 140053579 19566772224 51123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=-9176194636146188988 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 51123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=13116 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 51123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=2212 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 51123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204492 KiB

[startup+6.30025 s]
/proc/loadavg: 1.33 1.21 2.00 7/335 715733
/proc/meminfo: memFree=128751432/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=278660 CPUtime=7.25 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 18436 0 0 0 718 7 0 0 20 0 20 0 140053579 19566772224 69665 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 69665 5910 1 0 552743 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=13116 CPUtime=6.13 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 7707 0 0 0 610 3 0 0 20 0 20 0 140053579 19566772224 69665 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=2212 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 69665 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 69665 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=137864 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 69665 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 278660 KiB

[startup+12.7008 s]
/proc/loadavg: 1.54 1.26 2.01 7/335 715733
/proc/meminfo: memFree=128317612/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=434820 CPUtime=13.8 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 20899 0 0 0 1370 10 0 0 20 0 20 0 140053579 19566772224 108705 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 108705 5942 1 0 552743 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=137864 CPUtime=12.33 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 8455 0 0 0 1230 3 0 0 20 0 20 0 140053579 19566772224 108705 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=434820 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 108705 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=13116 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 108705 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 108705 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 434820 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 1.43 2.05 7/335 715734
/proc/meminfo: memFree=127586316/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=713304 CPUtime=26.91 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 29963 0 0 0 2675 16 0 0 20 0 20 0 140053579 19566772224 178326 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 178326 5942 1 0 659252 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=434820 CPUtime=24.77 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 10429 0 0 0 2474 3 0 0 20 0 20 0 140053579 19566772224 178326 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053579 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=566164 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 178326 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=35372 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 178326 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=-7378436222020509818 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 178326 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 713304 KiB

[startup+51.1066 s]
/proc/loadavg: 2.84 1.64 2.10 7/338 716127
/proc/meminfo: memFree=125756908/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=1233788 CPUtime=53.13 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 38248 0 0 0 5285 28 0 0 20 0 20 0 140053579 19566772224 308447 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 308447 5942 1 0 659687 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=1067848 CPUtime=49.91 cores=1,3

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

/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 2996782 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=11987128 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1541 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 2996782 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=35372 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 2996782 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3187.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11987128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.09 6/331 717581
/proc/meminfo: memFree=89159724/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=11989180 CPUtime=3247.45 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 279278 0 0 0 324383 362 0 0 20 0 20 0 140053579 19566772224 2997295 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 2997295 5942 1 0 3622852 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=-9176194636146188988 CPUtime=3166.87 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 80386 0 0 0 316623 64 0 0 20 0 20 0 140053579 19566772224 2997295 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053585 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=11987128 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 2997295 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=11987128 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1541 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 2997295 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=11376 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 2997295 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3247.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11989180 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.10 6/331 717592
/proc/meminfo: memFree=88286992/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=12026048 CPUtime=3307.82 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 281790 0 0 0 330418 364 0 0 20 0 20 0 140053579 19566772224 3006512 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 3006512 5942 1 0 3622852 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=11980960 CPUtime=3226.22 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 82212 0 0 0 322558 64 0 0 20 0 20 0 140053579 19566772224 3006512 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053585 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3006512 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=12026048 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1541 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3006512 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=12026048 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 3006512 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3307.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12026048 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.10 6/332 717603
/proc/meminfo: memFree=87428292/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=12556492 CPUtime=3368.58 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 286171 0 0 0 336481 377 0 0 20 0 20 0 140053579 19566772224 3139123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 3139123 5942 1 0 3622854 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=12556492 CPUtime=3285.19 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 83414 0 0 0 328455 64 0 0 20 0 20 0 140053579 19566772224 3139123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053585 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=5464 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3139123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=12556492 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1592 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3139123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=12556492 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 3139123 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3368.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12556492 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.10 6/334 717619
/proc/meminfo: memFree=86038104/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=13240524 CPUtime=3429.13 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 287465 0 0 0 342521 392 0 0 20 0 20 0 140053579 19566772224 3310131 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 3310131 5942 1 0 3622854 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=12556492 CPUtime=3344.15 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 84215 0 0 0 334351 64 0 0 20 0 20 0 140053579 19566772224 3310131 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 140053585 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=8076 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3310131 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=13240524 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1592 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3310131 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=11376 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 3310131 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3429.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13240524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.10 6/334 717629
/proc/meminfo: memFree=84700824/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=14183064 CPUtime=3490.49 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 308338 0 0 0 348634 415 0 0 20 0 20 0 140053579 19566772224 3545766 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 3545766 5958 1 0 4086247 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=12556492 CPUtime=3403.17 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 90862 0 0 0 340243 74 0 0 20 0 20 0 140053579 19566772224 3545766 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 140053592 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=11376 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3545766 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=35372 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1593 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3545766 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=14076556 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 3545766 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3490.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14183064 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 6/334 717639
/proc/meminfo: memFree=83768176/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=14547848 CPUtime=3550.84 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 315601 0 0 0 354659 425 0 0 20 0 20 0 140053579 19566772224 3636962 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 3636962 5958 1 0 4086249 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=14185112 CPUtime=3462.5 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 93635 0 0 0 346172 78 0 0 20 0 20 0 140053579 19566772224 3636962 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053592 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=14047884 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3636962 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=14441352 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1724 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3636962 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=14547848 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 3636962 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3550.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14547848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3571 s]*
/proc/loadavg: 4.21 4.17 4.10 6/334 717649
/proc/meminfo: memFree=83309360/131524600 swapFree=131071996/131071996
[pid=715660] ppid=715650 vsize=19108176 memory=14547864 CPUtime=3600 cores=1,3
/proc/715660/stat : 715660 (java) S 715650 715660 712764 0 -1 1077936128 317723 0 0 0 359574 426 0 0 20 0 20 0 140053579 19566772224 3636966 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
/proc/715660/statm: 4777044 3636966 5958 1 0 4086249 0
[pid=715660/tid=715669] ppid=715650 vsize=19108176 memory=-8743010140251660988 CPUtime=3510.53 cores=1,3
/proc/715660/task/715669/stat : 715669 (java) R 715650 715660 712764 0 -1 4194368 94636 0 0 0 350975 78 0 0 20 0 20 0 140053579 19566772224 3636966 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 140053592 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715707] ppid=715650 vsize=19108176 memory=8160 CPUtime=0 cores=1,3
/proc/715660/task/715707/stat : 715707 (Finalizer) S 715650 715660 712764 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3636966 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715723] ppid=715650 vsize=19108176 memory=20544 CPUtime=0 cores=1,3
/proc/715660/task/715723/stat : 715723 (Common-Cleaner) S 715650 715660 712764 0 -1 1077936192 1724 0 0 0 0 0 0 0 20 0 20 0 140053582 19566772224 3636966 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
[pid=715660/tid=715728] ppid=715650 vsize=19108176 memory=6964 CPUtime=0 cores=1,3
/proc/715660/task/715728/stat : 715728 (Timer-0) S 715650 715660 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140053600 19566772224 3636966 134679101440 94088577105920 94088577109616 140732497150672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94088577117432 94088577118224 94088578977792 140732497155053 140732497155143 140732497155143 140732497162184 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14547864 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.09 s, system=4.30908 s

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

[startup+3571.22 s]*
/proc/loadavg: 4.21 4.17 4.10 5/316 717652
/proc/meminfo: memFree=97496956/131524600 swapFree=131071996/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): 3571.22
CPU time (s): 3600.4
CPU user time (s): 3596.09
CPU system time (s): 4.30908
CPU usage (%): 100.817
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14548476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.09
system time used= 4.30908
maximum resident set size= 14549544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113675
involuntary context switches= 24047


# summary of solver processes directly reported to runsolver:
#   pid: 715660
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3596.09
#   total CPU system time (s): 4.30908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84734 second user time and 18.2933 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-13 15:54:28
IDJOB=4425043
IDBENCH=143146
IDSOLVER=3037
FILE ID=nodeC030/4425043-1720878855
RUNJOBID= nodeC030-1720878868-715594
SLURM_JOB_ID= 7483771
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425043-1720878855/watcher-4425043-1720878855 -o /tmp/evaluation-result-4425043-1720878855/solver-4425043-1720878855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720878868-715594 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425043-1720878855.wbo

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

MD5SUM BENCH= 0f3f13f284911f7b441b5c43a99c56d2
RANDOM SEED=1433701939

nodeC030.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		: 3486.265
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.28
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		: 3446.995
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3598.435
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.28
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		: 3568.039
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3607.861
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.28
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		: 3572.371
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3640.412
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.28
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		: 3466.206
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129524524 kB
MemAvailable:   129749388 kB
Buffers:          316776 kB
Cached:           752160 kB
SwapCached:            0 kB
Active:           472356 kB
Inactive:         964120 kB
Active(anon):       1444 kB
Inactive(anon):   403832 kB
Active(file):     470912 kB
Inactive(file):   560288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2964 kB
Writeback:             0 kB
AnonPages:        367248 kB
Mapped:           108096 kB
Shmem:             37720 kB
KReclaimable:      66972 kB
Slab:             165800 kB
SReclaimable:      66972 kB
SUnreclaim:        98828 kB
KernelStack:        3920 kB
PageTables:         9500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     805516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      201428 kB
DirectMap2M:     7960576 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC030 at 2024-07-13 16:53:59