Trace number 4432526

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)2312 3600.61 3566.32

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-50.lin.opb
MD5SUM11852bf7a05815ba1c78428ce5d4534c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2312
Best CPU time to get the best result obtained on this benchmark2994.21
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3825
Total number of constraints7400
Number of constraints which are clauses3675
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints3675
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3675
Biggest coefficient in the objective function 49
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 62475
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 62475
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.12	c version CUSTOM.v20240707
0.11/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.14	c java.vm.version	22.0.1+8-16
0.11/0.14	c java.vm.vendor	Oracle Corporation
0.11/0.14	c sun.arch.data.model	64
0.11/0.14	c java.version		22.0.1
0.11/0.14	c os.name		Linux
0.11/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.14	c os.arch		amd64
0.11/0.14	c Free memory 		2113181440
0.11/0.14	c Max memory 		16282288128
0.11/0.14	c Total memory 		2122317824
0.11/0.14	c Number of processors 	2
0.11/0.18	--- Begin Solver configuration ---
0.11/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.11/0.18	Learn all clauses as in MiniSAT
0.11/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.18	No reason simplification
0.11/0.18	Glucose 2.1 dynamic restart strategy
0.11/0.18	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.11/0.18	timeout=2147483s
0.11/0.18	DB Simplification allowed=false
0.11/0.18	Listener: none
0.11/0.18	--- End Solver configuration ---
0.11/0.19	c Pseudo Boolean Optimization by upper bound
0.11/0.19	c --- Begin Solver configuration ---
0.11/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.11/0.19	c Learn all clauses as in MiniSAT
0.11/0.19	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.19	c No reason simplification
0.11/0.19	c Glucose 2.1 dynamic restart strategy
0.11/0.19	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.11/0.19	c timeout=2147483s
0.11/0.19	c DB Simplification allowed=false
0.11/0.19	c Listener: none
0.11/0.19	c --- End Solver configuration ---
0.11/0.19	c solving HOME/instance-4432526-1721172883.opb
0.11/0.19	c reading problem ... 
0.11/0.19	c  objective function found
0.50/0.39	c ... done. Wall clock time 0.205s.
0.50/0.39	c declared #vars     3825
0.50/0.39	c #constraints  7450
0.50/0.39	c constraints type 
0.50/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.50/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3675
0.50/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3725
0.50/0.39	c 7450 constraints processed.
0.50/0.41	c objective function length is 3675 literals
0.86/0.56	c SATISFIABLE
0.86/0.56	c OPTIMIZING...
0.86/0.56	c Got one! Elapsed wall clock time (in seconds):0.369
0.86/0.56	o 2312
2.38/1.38	c cleaning 2579 clauses out of 5163 with flag 11198/5163
3.34/1.88	c cleaning 4290 clauses out of 8585 with flag 24167/11164
3.96/2.40	c cleaning 5648 clauses out of 11295 with flag 39197/18164
4.60/2.94	c cleaning 6818 clauses out of 13646 with flag 56799/26163
5.20/3.54	c cleaning 7914 clauses out of 15828 with flag 76294/35163
6.14/4.33	c cleaning 8958 clauses out of 17915 with flag 97830/45164
6.87/5.08	c cleaning 9977 clauses out of 19956 with flag 121207/56163
7.66/5.86	c cleaning 10986 clauses out of 21980 with flag 146658/68164
8.78/6.90	c cleaning 11997 clauses out of 23994 with flag 174491/81164
9.68/7.81	c cleaning 12998 clauses out of 25999 with flag 204533/95166
10.74/8.87	c cleaning 13996 clauses out of 27998 with flag 236066/110163
11.89/10.00	c cleaning 14997 clauses out of 30003 with flag 269690/126164
13.21/11.13	c cleaning 16003 clauses out of 32007 with flag 305642/143165
14.69/12.55	c cleaning 17000 clauses out of 34002 with flag 345249/161163
15.99/13.85	c cleaning 18000 clauses out of 36002 with flag 386529/180163
17.47/15.27	c cleaning 18993 clauses out of 38002 with flag 429500/200163
18.87/16.67	c cleaning 20004 clauses out of 40010 with flag 475012/221164
20.28/18.09	c cleaning 21000 clauses out of 42006 with flag 523025/243164
22.03/19.78	c cleaning 22001 clauses out of 44005 with flag 573346/266163
23.83/21.49	c cleaning 22994 clauses out of 46006 with flag 624964/290165
25.63/23.21	c cleaning 24000 clauses out of 48011 with flag 677722/315164
27.64/25.12	c cleaning 25000 clauses out of 50011 with flag 733431/341164
29.42/27.01	c cleaning 26004 clauses out of 52010 with flag 790685/368163
31.63/29.07	c cleaning 27002 clauses out of 54006 with flag 849983/396163
33.62/31.04	c cleaning 27999 clauses out of 56004 with flag 910906/425163
35.85/33.11	c cleaning 29001 clauses out of 58005 with flag 975819/455163
37.86/35.15	c cleaning 29995 clauses out of 60004 with flag 1043082/486163
40.12/37.39	c cleaning 31001 clauses out of 62010 with flag 1111376/518164
42.63/39.75	c cleaning 31999 clauses out of 64009 with flag 1181188/551164
45.04/42.16	c cleaning 32998 clauses out of 66010 with flag 1253333/585164
47.51/44.59	c cleaning 34004 clauses out of 68011 with flag 1327240/620163
49.91/47.00	c cleaning 35002 clauses out of 70008 with flag 1402666/656164
52.60/49.56	c cleaning 35996 clauses out of 72006 with flag 1479980/693164
55.11/52.03	c cleaning 37003 clauses out of 74009 with flag 1558949/731163
57.74/54.65	c cleaning 37994 clauses out of 76006 with flag 1639775/770163
60.71/57.52	c cleaning 39002 clauses out of 78012 with flag 1724063/810163
63.40/60.22	c cleaning 40003 clauses out of 80011 with flag 1809602/851164
66.31/63.10	c cleaning 41000 clauses out of 82007 with flag 1898299/893163
69.31/66.05	c cleaning 41998 clauses out of 84008 with flag 1989201/936164
72.37/69.07	c cleaning 43003 clauses out of 86009 with flag 2082351/980163
75.66/72.24	c cleaning 44000 clauses out of 88006 with flag 2178742/1025163
78.76/75.36	c cleaning 45000 clauses out of 90006 with flag 2274783/1071163
82.18/78.62	c cleaning 45993 clauses out of 92007 with flag 2374297/1118164
85.38/81.84	c cleaning 47004 clauses out of 94013 with flag 2474816/1166163
88.76/85.16	c cleaning 48001 clauses out of 96009 with flag 2577478/1215163
92.14/88.57	c cleaning 49001 clauses out of 98009 with flag 2684084/1265164
95.82/92.14	c cleaning 50004 clauses out of 100007 with flag 2793178/1316163
100.92/96.26	c cleaning 50991 clauses out of 102003 with flag 2903087/1368163
105.48/100.46	c cleaning 52003 clauses out of 104012 with flag 3016273/1421163
110.28/105.17	c cleaning 53000 clauses out of 106009 with flag 3129138/1475163
114.29/109.05	c cleaning 54000 clauses out of 108009 with flag 3246999/1530163
118.27/112.93	c cleaning 55003 clauses out of 110010 with flag 3371261/1586164
122.17/116.83	c cleaning 55996 clauses out of 112006 with flag 3499616/1643163
126.23/120.87	c cleaning 57005 clauses out of 114011 with flag 3629465/1701164
130.53/125.02	c cleaning 57998 clauses out of 116006 with flag 3762337/1760164
134.71/129.29	c cleaning 59004 clauses out of 118007 with flag 3899190/1820163
139.31/133.72	c cleaning 59996 clauses out of 120004 with flag 4041854/1881164
143.81/138.20	c cleaning 60999 clauses out of 122009 with flag 4179931/1943165
148.41/142.71	c cleaning 61998 clauses out of 124008 with flag 4321196/2006163
153.11/147.34	c cleaning 63003 clauses out of 126010 with flag 4465321/2070163
157.95/152.03	c cleaning 64003 clauses out of 128009 with flag 4611421/2135165
162.53/156.69	c cleaning 65000 clauses out of 130005 with flag 4757021/2201164
167.59/161.67	c cleaning 65999 clauses out of 132005 with flag 4906912/2268164
172.48/166.53	c cleaning 67000 clauses out of 134005 with flag 5058364/2336163
177.55/171.58	c cleaning 67999 clauses out of 136005 with flag 5210708/2405163
182.54/176.53	c cleaning 68997 clauses out of 138006 with flag 5376992/2475163
187.88/181.70	c cleaning 70005 clauses out of 140009 with flag 5542635/2546163
193.07/186.96	c cleaning 71003 clauses out of 142007 with flag 5702349/2618166
200.34/193.71	c cleaning 71999 clauses out of 144001 with flag 5862171/2691163
206.08/199.46	c cleaning 72999 clauses out of 146002 with flag 6026289/2765163
211.27/204.68	c cleaning 74000 clauses out of 148004 with flag 6195137/2840164
216.88/210.20	c cleaning 74997 clauses out of 150004 with flag 6369901/2916164
222.07/215.36	c cleaning 75996 clauses out of 152006 with flag 6545989/2993163
227.76/220.90	c cleaning 77003 clauses out of 154010 with flag 6726686/3071163
233.05/226.24	c cleaning 77999 clauses out of 156007 with flag 6907861/3150163
238.63/231.75	c cleaning 78998 clauses out of 158009 with flag 7093420/3230164
244.12/237.26	c cleaning 80001 clauses out of 160010 with flag 7278138/3311163
250.15/243.14	c cleaning 80999 clauses out of 162010 with flag 7461711/3393164
256.03/249.08	c cleaning 82004 clauses out of 164012 with flag 7647149/3476165
261.81/254.78	c cleaning 82998 clauses out of 166006 with flag 7832589/3560163
267.93/260.78	c cleaning 84005 clauses out of 168009 with flag 8018897/3645164
273.82/266.69	c cleaning 84999 clauses out of 170005 with flag 8204830/3731165
280.16/272.98	c cleaning 85999 clauses out of 172004 with flag 8404315/3818163
286.67/279.30	c cleaning 86998 clauses out of 174006 with flag 8605907/3906164
293.08/285.65	c cleaning 88001 clauses out of 176008 with flag 8810460/3995164
299.42/291.89	c cleaning 89000 clauses out of 178007 with flag 9020130/4085164
305.41/297.89	c cleaning 89995 clauses out of 180006 with flag 9228121/4176163
311.84/304.25	c cleaning 91000 clauses out of 182011 with flag 9438888/4268163
319.30/310.98	c cleaning 91999 clauses out of 184013 with flag 9650020/4361165
326.06/317.63	c cleaning 93004 clauses out of 186013 with flag 9861958/4455164
333.15/324.60	c cleaning 93998 clauses out of 188008 with flag 10083237/4550163
339.94/331.33	c cleaning 95002 clauses out of 190011 with flag 10300616/4646164
346.88/338.17	c cleaning 95997 clauses out of 192008 with flag 10523963/4743163
353.69/344.87	c cleaning 96998 clauses out of 194012 with flag 10745058/4841164
360.95/351.90	c cleaning 98002 clauses out of 196014 with flag 10971118/4940164
368.09/358.94	c cleaning 99000 clauses out of 198012 with flag 11199187/5040164
375.37/366.21	c cleaning 100000 clauses out of 200011 with flag 11425889/5141163
382.49/373.22	c cleaning 101002 clauses out of 202011 with flag 11650071/5243163
389.63/380.32	c cleaning 101999 clauses out of 204009 with flag 11877120/5346163
396.83/387.47	c cleaning 102995 clauses out of 206010 with flag 12102313/5450163
404.13/394.66	c cleaning 104005 clauses out of 208015 with flag 12336172/5555163
411.54/401.92	c cleaning 105002 clauses out of 210010 with flag 12572452/5661163
419.17/409.42	c cleaning 105996 clauses out of 212008 with flag 12814085/5768163
426.56/416.81	c cleaning 107004 clauses out of 214013 with flag 13053944/5876164
434.11/424.30	c cleaning 107999 clauses out of 216009 with flag 13300981/5985164
441.49/431.71	c cleaning 109002 clauses out of 218009 with flag 13549028/6095163
449.14/439.35	c cleaning 109992 clauses out of 220008 with flag 13795010/6206164
456.73/446.91	c cleaning 111002 clauses out of 222016 with flag 14038694/6318164
464.73/454.88	c cleaning 112007 clauses out of 224014 with flag 14288283/6431164
473.21/463.10	c cleaning 113003 clauses out of 226006 with flag 14534131/6545163
481.58/471.30	c cleaning 114003 clauses out of 228005 with flag 14782425/6660165
489.27/479.05	c cleaning 114996 clauses out of 230001 with flag 15040886/6776164
497.43/487.15	c cleaning 115998 clauses out of 232006 with flag 15304637/6893165
506.02/495.68	c cleaning 117001 clauses out of 234006 with flag 15577433/7011163
515.02/504.51	c cleaning 117998 clauses out of 236007 with flag 15847830/7130165
523.69/513.03	c cleaning 118999 clauses out of 238007 with flag 16124105/7250163
532.21/521.45	c cleaning 119994 clauses out of 240009 with flag 16400257/7371164
541.34/530.43	c cleaning 121000 clauses out of 242015 with flag 16688070/7493164
551.46/539.33	c cleaning 122004 clauses out of 244015 with flag 16981743/7616164
560.42/548.20	c cleaning 122993 clauses out of 246010 with flag 17270722/7740163
569.40/557.15	c cleaning 124005 clauses out of 248017 with flag 17557802/7865163
578.68/566.39	c cleaning 124999 clauses out of 250012 with flag 17849517/7991163
587.89/575.40	c cleaning 125999 clauses out of 252013 with flag 18136213/8118163
597.35/584.72	c cleaning 126999 clauses out of 254015 with flag 18431896/8246164
607.88/595.17	c cleaning 128004 clauses out of 256015 with flag 18735252/8375163
619.39/606.60	c cleaning 129001 clauses out of 258012 with flag 19045829/8505164
629.41/616.61	c cleaning 130000 clauses out of 260011 with flag 19345706/8636164
641.03/628.13	c cleaning 130998 clauses out of 262011 with flag 19658605/8768164
651.50/638.47	c cleaning 132004 clauses out of 264012 with flag 19964626/8901163
661.73/648.53	c cleaning 132998 clauses out of 266009 with flag 20279952/9035164
672.72/659.45	c cleaning 134005 clauses out of 268010 with flag 20593912/9170163
683.59/670.28	c cleaning 134998 clauses out of 270006 with flag 20911871/9306164
693.99/680.58	c cleaning 136000 clauses out of 272008 with flag 21228974/9443164
704.66/691.17	c cleaning 136997 clauses out of 274007 with flag 21541277/9581163
715.06/701.47	c cleaning 138002 clauses out of 276011 with flag 21863848/9720164
725.65/711.97	c cleaning 139001 clauses out of 278008 with flag 22200320/9860163
736.66/722.82	c cleaning 139997 clauses out of 280007 with flag 22524448/10001163
747.40/733.56	c cleaning 141003 clauses out of 282010 with flag 22845741/10143163
758.34/744.48	c cleaning 141998 clauses out of 284007 with flag 23179740/10286163
768.76/754.90	c cleaning 143000 clauses out of 286010 with flag 23513512/10430164
779.87/766.07	c cleaning 143999 clauses out of 288009 with flag 23845073/10575163
790.73/776.82	c cleaning 144997 clauses out of 290011 with flag 24178930/10721164
802.42/788.46	c cleaning 146001 clauses out of 292013 with flag 24519541/10868163
815.41/800.70	c cleaning 146998 clauses out of 294013 with flag 24857246/11016164
827.01/812.15	c cleaning 148003 clauses out of 296016 with flag 25194809/11165165
838.37/823.39	c cleaning 148996 clauses out of 298011 with flag 25548801/11315163
849.71/834.58	c cleaning 150004 clauses out of 300017 with flag 25900946/11466165
861.39/846.24	c cleaning 151002 clauses out of 302011 with flag 26258326/11618163
873.38/858.13	c cleaning 152003 clauses out of 304009 with flag 26616442/11771163
885.33/869.99	c cleaning 152992 clauses out of 306006 with flag 26975776/11925163
898.19/882.44	c cleaning 154000 clauses out of 308014 with flag 27339938/12080163
913.07/897.18	c cleaning 155004 clauses out of 310017 with flag 27700981/12236166
924.91/908.83	c cleaning 155999 clauses out of 312010 with flag 28062952/12393163
936.86/920.77	c cleaning 156996 clauses out of 314011 with flag 28422232/12551163
949.06/932.99	c cleaning 158008 clauses out of 316016 with flag 28791352/12710164
961.50/945.23	c cleaning 158999 clauses out of 318007 with flag 29166359/12870163
973.11/956.73	c cleaning 160000 clauses out of 320008 with flag 29538707/13031163
984.92/968.41	c cleaning 160996 clauses out of 322009 with flag 29912982/13193164
997.39/980.85	c cleaning 161997 clauses out of 324013 with flag 30277666/13356164
1009.17/992.54	c cleaning 163002 clauses out of 326015 with flag 30643673/13520163
1020.86/1004.15	c cleaning 164002 clauses out of 328013 with flag 31015766/13685163
1033.42/1016.64	c cleaning 165000 clauses out of 330012 with flag 31381823/13851164
1046.08/1029.21	c cleaning 166001 clauses out of 332011 with flag 31751289/14018163
1058.45/1041.51	c cleaning 166994 clauses out of 334010 with flag 32125777/14186163
1071.30/1054.26	c cleaning 168007 clauses out of 336020 with flag 32505317/14355167
1084.68/1067.52	c cleaning 169000 clauses out of 338009 with flag 32885218/14525163
1098.77/1081.58	c cleaning 170000 clauses out of 340009 with flag 33260557/14696163
1111.50/1094.22	c cleaning 171001 clauses out of 342010 with flag 33643085/14868164
1124.24/1106.91	c cleaning 171992 clauses out of 344009 with flag 34019038/15041164
1138.65/1121.31	c cleaning 173006 clauses out of 346017 with flag 34402506/15215164
1152.87/1135.49	c cleaning 174002 clauses out of 348010 with flag 34795648/15390163
1166.22/1148.64	c cleaning 175000 clauses out of 350008 with flag 35186544/15566163
1179.77/1162.09	c cleaning 176003 clauses out of 352008 with flag 35584797/15743163
1193.75/1175.87	c cleaning 177001 clauses out of 354006 with flag 35977270/15921164
1208.21/1190.15	c cleaning 177993 clauses out of 356007 with flag 36377387/16100166
1224.45/1204.43	c cleaning 179002 clauses out of 358012 with flag 36777859/16280164
1238.62/1218.50	c cleaning 179997 clauses out of 360009 with flag 37176904/16461163
1253.09/1232.74	c cleaning 181001 clauses out of 362012 with flag 37575877/16643163
1267.26/1246.75	c cleaning 181999 clauses out of 364011 with flag 37986103/16826163
1281.59/1261.01	c cleaning 182997 clauses out of 366013 with flag 38405859/17010164
1295.68/1274.93	c cleaning 183998 clauses out of 368016 with flag 38819307/17195164
1311.01/1289.99	c cleaning 185001 clauses out of 370017 with flag 39241278/17381163
1326.44/1305.15	c cleaning 186001 clauses out of 372019 with flag 39673694/17568166
1342.19/1320.77	c cleaning 187004 clauses out of 374015 with flag 40112281/17756163
1357.58/1336.07	c cleaning 188001 clauses out of 376012 with flag 40547141/17945164
1373.25/1351.66	c cleaning 188997 clauses out of 378010 with flag 40983659/18135163
1388.48/1366.88	c cleaning 190004 clauses out of 380016 with flag 41416342/18326166
1403.21/1381.49	c cleaning 191003 clauses out of 382010 with flag 41851139/18518164
1418.07/1396.16	c cleaning 191999 clauses out of 384006 with flag 42288657/18711163
1433.90/1411.85	c cleaning 192989 clauses out of 386007 with flag 42726411/18905163
1450.55/1428.30	c cleaning 194004 clauses out of 388019 with flag 43172991/19100164
1466.21/1443.86	c cleaning 195000 clauses out of 390014 with flag 43604730/19296163
1481.91/1459.49	c cleaning 196003 clauses out of 392016 with flag 44047253/19493165
1498.69/1476.02	c cleaning 196996 clauses out of 394012 with flag 44501798/19691164
1516.51/1493.67	c cleaning 198005 clauses out of 396015 with flag 44949354/19890163
1534.19/1511.22	c cleaning 198996 clauses out of 398010 with flag 45405318/20090163
1551.34/1528.02	c cleaning 199999 clauses out of 400014 with flag 45863545/20291163
1568.89/1545.54	c cleaning 201004 clauses out of 402015 with flag 46323317/20493163
1585.37/1562.01	c cleaning 201997 clauses out of 404012 with flag 46787646/20696164
1603.57/1580.05	c cleaning 203003 clauses out of 406014 with flag 47262638/20900163
1620.53/1596.91	c cleaning 204003 clauses out of 408011 with flag 47738309/21105163
1637.32/1613.72	c cleaning 204991 clauses out of 410009 with flag 48214272/21311164
1654.17/1630.59	c cleaning 205996 clauses out of 412017 with flag 48681524/21518163
1670.94/1646.92	c cleaning 206999 clauses out of 414022 with flag 49136727/21726164
1687.48/1663.36	c cleaning 208003 clauses out of 416022 with flag 49595745/21935163
1707.19/1681.08	c cleaning 209002 clauses out of 418019 with flag 50074185/22145163
1723.66/1697.59	c cleaning 210002 clauses out of 420017 with flag 50550481/22356163
1743.35/1717.23	c cleaning 211001 clauses out of 422015 with flag 51031799/22568163
1761.53/1735.37	c cleaning 212006 clauses out of 424014 with flag 51507718/22781163
1779.37/1753.17	c cleaning 212994 clauses out of 426008 with flag 51987158/22995163
1799.45/1773.12	c cleaning 214004 clauses out of 428016 with flag 52473408/23210165
1818.17/1791.76	c cleaning 214999 clauses out of 430010 with flag 52948699/23426163
1837.08/1810.49	c cleaning 216004 clauses out of 432012 with flag 53432386/23643164
1855.29/1828.52	c cleaning 217004 clauses out of 434010 with flag 53907582/23861166
1877.62/1850.78	c cleaning 218000 clauses out of 436006 with flag 54392326/24080166
1895.66/1868.64	c cleaning 218992 clauses out of 438004 with flag 54887713/24300164
1912.66/1885.53	c cleaning 220000 clauses out of 440011 with flag 55384033/24521163
1929.33/1902.04	c cleaning 221004 clauses out of 442012 with flag 55872877/24743164
1946.09/1918.84	c cleaning 222000 clauses out of 444007 with flag 56357435/24966163
1962.28/1934.99	c cleaning 223005 clauses out of 446009 with flag 56848799/25190165
1978.82/1951.37	c cleaning 223999 clauses out of 448004 with flag 57339267/25415165
1995.20/1967.56	c cleaning 224998 clauses out of 450003 with flag 57827860/25641163
2011.48/1983.88	c cleaning 226003 clauses out of 452005 with flag 58325997/25868163
2028.46/2000.70	c cleaning 226996 clauses out of 454003 with flag 58815097/26096164
2046.01/2018.12	c cleaning 228005 clauses out of 456009 with flag 59302246/26325166
2062.98/2035.19	c cleaning 228993 clauses out of 458002 with flag 59790275/26555164
2079.83/2051.91	c cleaning 229996 clauses out of 460008 with flag 60276100/26786163
2097.95/2069.95	c cleaning 231002 clauses out of 462013 with flag 60758066/27018164
2116.42/2088.33	c cleaning 232002 clauses out of 464010 with flag 61248412/27251163
2133.47/2105.37	c cleaning 233003 clauses out of 466008 with flag 61733012/27485163
2150.62/2122.62	c cleaning 233999 clauses out of 468005 with flag 62228275/27720163
2167.88/2139.94	c cleaning 234997 clauses out of 470007 with flag 62735485/27956164
2185.07/2157.19	c cleaning 235997 clauses out of 472010 with flag 63236842/28193164
2203.40/2175.40	c cleaning 237007 clauses out of 474013 with flag 63742866/28431164
2221.33/2193.59	c cleaning 237999 clauses out of 476005 with flag 64256168/28670163
2239.34/2211.50	c cleaning 238998 clauses out of 478007 with flag 64772342/28910164
2256.61/2228.63	c cleaning 240001 clauses out of 480008 with flag 65305938/29151163
2274.67/2246.73	c cleaning 241003 clauses out of 482007 with flag 65815318/29393163
2292.82/2264.83	c cleaning 241994 clauses out of 484005 with flag 66325028/29636164
2310.64/2282.59	c cleaning 243002 clauses out of 486010 with flag 66830360/29880163
2329.61/2301.58	c cleaning 244000 clauses out of 488008 with flag 67338680/30125163
2347.71/2319.59	c cleaning 245003 clauses out of 490009 with flag 67867482/30371164
2366.60/2338.23	c cleaning 245993 clauses out of 492006 with flag 68401942/30618164
2385.17/2356.85	c cleaning 246999 clauses out of 494013 with flag 68930982/30866164
2404.31/2375.99	c cleaning 248004 clauses out of 496013 with flag 69464331/31115163
2422.82/2394.20	c cleaning 248997 clauses out of 498010 with flag 70006787/31365164
2443.29/2414.77	c cleaning 250001 clauses out of 500013 with flag 70544195/31616164
2462.38/2433.72	c cleaning 251001 clauses out of 502011 with flag 71101165/31868163
2481.62/2452.86	c cleaning 251999 clauses out of 504010 with flag 71651092/32121163
2500.81/2472.09	c cleaning 253000 clauses out of 506011 with flag 72188236/32375163
2519.49/2490.71	c cleaning 254004 clauses out of 508012 with flag 72719996/32630164
2538.27/2509.43	c cleaning 254999 clauses out of 510007 with flag 73249918/32886163
2558.28/2529.36	c cleaning 256004 clauses out of 512009 with flag 73794058/33143164
2577.65/2548.51	c cleaning 256995 clauses out of 514004 with flag 74344192/33401163
2597.93/2568.85	c cleaning 258000 clauses out of 516009 with flag 74904804/33660163
2617.89/2588.74	c cleaning 258999 clauses out of 518010 with flag 75465733/33920164
2636.87/2607.65	c cleaning 259995 clauses out of 520011 with flag 76021951/34181164
2655.58/2626.21	c cleaning 261005 clauses out of 522015 with flag 76581072/34443163
2676.18/2646.78	c cleaning 262000 clauses out of 524010 with flag 77130253/34706163
2695.25/2665.84	c cleaning 263005 clauses out of 526011 with flag 77698685/34970164
2714.63/2685.12	c cleaning 263995 clauses out of 528006 with flag 78251738/35235164
2734.79/2705.17	c cleaning 265000 clauses out of 530010 with flag 78800625/35501163
2757.45/2727.60	c cleaning 266003 clauses out of 532010 with flag 79374695/35768163
2776.83/2747.07	c cleaning 266996 clauses out of 534010 with flag 79946796/36036166
2797.05/2767.28	c cleaning 268004 clauses out of 536011 with flag 80507177/36305163
2817.42/2787.57	c cleaning 269004 clauses out of 538007 with flag 81095083/36575163
2837.42/2807.43	c cleaning 269996 clauses out of 540004 with flag 81681231/36846164
2857.48/2827.39	c cleaning 270998 clauses out of 542008 with flag 82268463/37118164
2877.76/2847.43	c cleaning 272005 clauses out of 544011 with flag 82864364/37391165
2898.48/2867.90	c cleaning 272998 clauses out of 546006 with flag 83448566/37665165
2920.12/2889.33	c cleaning 274000 clauses out of 548006 with flag 84029431/37940163
2939.49/2908.78	c cleaning 275000 clauses out of 550008 with flag 84603573/38216165
2961.23/2929.16	c cleaning 276000 clauses out of 552006 with flag 85179582/38493163
2980.77/2948.50	c cleaning 277002 clauses out of 554006 with flag 85755408/38771163
3001.16/2968.72	c cleaning 277997 clauses out of 556005 with flag 86327707/39050164
3020.83/2988.41	c cleaning 278994 clauses out of 558008 with flag 86901647/39330164
3040.93/3008.43	c cleaning 279997 clauses out of 560013 with flag 87472955/39611163
3060.39/3027.75	c cleaning 281007 clauses out of 562017 with flag 88049852/39893164
3079.26/3046.64	c cleaning 282001 clauses out of 564010 with flag 88632432/40176164
3098.92/3066.20	c cleaning 282998 clauses out of 566009 with flag 89216325/40460164
3119.64/3086.81	c cleaning 283998 clauses out of 568010 with flag 89800920/40745163
3138.62/3105.84	c cleaning 285004 clauses out of 570013 with flag 90385911/41031164
3159.12/3126.37	c cleaning 286001 clauses out of 572009 with flag 90973843/41318164
3180.33/3147.47	c cleaning 286997 clauses out of 574007 with flag 91565082/41606163
3202.08/3169.07	c cleaning 287999 clauses out of 576010 with flag 92170725/41895163
3223.24/3190.24	c cleaning 288999 clauses out of 578011 with flag 92804581/42185163
3245.55/3212.56	c cleaning 289992 clauses out of 580013 with flag 93402277/42476164
3267.87/3234.72	c cleaning 291005 clauses out of 582020 with flag 94018369/42768163
3290.08/3256.80	c cleaning 292000 clauses out of 584016 with flag 94631203/43061164
3311.26/3277.84	c cleaning 292998 clauses out of 586016 with flag 95242345/43355164
3331.83/3298.44	c cleaning 294000 clauses out of 588018 with flag 95860103/43650164
3353.47/3320.06	c cleaning 295002 clauses out of 590018 with flag 96480673/43946164
3375.94/3342.42	c cleaning 295999 clauses out of 592015 with flag 97100797/44243163
3396.59/3363.01	c cleaning 297001 clauses out of 594016 with flag 97715381/44541163
3416.35/3382.76	c cleaning 298007 clauses out of 596017 with flag 98337028/44840165
3435.89/3402.28	c cleaning 298996 clauses out of 598009 with flag 98953731/45140164
3456.02/3422.28	c cleaning 300005 clauses out of 600012 with flag 99580536/45441163
3477.37/3443.44	c cleaning 301003 clauses out of 602007 with flag 100205319/45743163
3498.05/3464.13	c cleaning 301998 clauses out of 604004 with flag 100823333/46046163
3518.48/3484.57	c cleaning 302999 clauses out of 606007 with flag 101458307/46350164
3543.17/3509.17	c cleaning 303998 clauses out of 608008 with flag 102092849/46655164
3563.62/3529.67	c cleaning 304998 clauses out of 610009 with flag 102730879/46961163
3585.18/3551.13	c cleaning 305999 clauses out of 612011 with flag 103365305/47268163
3600.06/3566.04	c starts		: 151
3600.06/3566.04	c conflicts		: 47499409
3600.06/3566.04	c decisions		: 55827767
3600.06/3566.04	c propagations		: 6546340588
3600.06/3566.05	c inspects		: 19773228342
3600.06/3566.05	c shortcuts		: 0
3600.06/3566.05	c learnt literals	: 0
3600.06/3566.05	c learnt binary clauses	: 0
3600.06/3566.05	c learnt ternary clauses	: 0
3600.06/3566.05	c learnt constraints	: 47499409
3600.06/3566.05	c ignored constraints	: 0
3600.06/3566.05	c root simplifications	: 0
3600.06/3566.05	c removed literals (reason simplification)	: 0
3600.06/3566.05	c reason swapping (by a shorter reason)	: 0
3600.06/3566.05	c Calls to reduceDB	: 303
3600.06/3566.05	c Number of update (reduction) of LBD	: 1144634
3600.06/3566.05	c Imported unit clauses	: 0
3600.06/3566.05	c No decision after first conflict	: false
3600.06/3566.05	c number of reductions to clauses (during analyze)	: 0
3600.06/3566.05	c number of learned constraints concerned by reduction	: 0
3600.06/3566.05	c number of learning phase by resolution	: 0
3600.06/3566.05	c number of learning phase by cutting planes	: 0
3600.06/3566.05	c number of rounding to 1 operations	: 0
3600.06/3566.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3566.05	c number of reductions of the coefficients by power 2 	: 0
3600.06/3566.05	c number of right shift for reduction by power 2 	: 0
3600.06/3566.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3566.05	c number of ending skipping 	: 0
3600.06/3566.05	c number of internal skipping 	: 0
3600.06/3566.05	c number of derivation steps 	: 0
3600.06/3566.05	c number of skipped derivation steps 	: 0
3600.06/3566.05	c number of remaining unassigned 	: 0
3600.06/3566.05	c number of remaining assigned 	: 0
3600.06/3566.05	c number of falsified literals weakened from reason	: 0
3600.06/3566.05	c number of falsified literals weakened from conflict	: 0
3600.06/3566.05	c time for arithmetic operations	: 0
3600.06/3566.06	c minimum degree of deleted constraints	: null
3600.06/3566.06	c maximum degree of deleted constraints	: null
3600.06/3566.06	c number of deleted constraints	: 0
3600.06/3566.06	c speed (assignments/second)	: 1835947.9847410538
3600.06/3566.06	c non guided choices	: 3165
3600.44/3566.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 537258
3600.44/3566.22	s SATISFIABLE
3600.44/3566.22	c Found 1 solution(s)
3600.44/3566.25	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 
3600.44/3566.25	c objective function=2312
3600.44/3566.25	c Total wall clock time (in seconds): 3566.069

Verifier Data 

OK	2312

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432526-1721172883/watcher-4432526-1721172883 -o /tmp/evaluation-result-4432526-1721172883/solver-4432526-1721172883 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870215 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432526-1721172883.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=875392, runsolver pid=875389

[startup+0.10072 s]*
/proc/loadavg: 4.15 4.28 4.26 5/318 875410
/proc/meminfo: memFree=120150944/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=18975048 memory=56884 CPUtime=0.11 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 6603 0 0 0 9 2 0 0 20 0 18 0 169447559 19430449152 14221 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4743762 14221 5710 1 0 550925 0
[pid=875392/tid=875394] ppid=875389 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 5518 0 0 0 6 1 0 0 20 0 18 0 169447559 19430449152 14221 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169447562 19430449152 14221 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=18975048 memory=15823283178361512 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169447562 19430449152 14221 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56884 KiB

[startup+0.21471 s]*
/proc/loadavg: 4.15 4.28 4.26 7/318 875410
/proc/meminfo: memFree=120141520/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=18975048 memory=68328 CPUtime=0.31 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 7419 0 0 0 28 3 0 0 20 0 18 0 169447559 19430449152 17082 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4743762 17082 5747 1 0 551609 0
[pid=875392/tid=875394] ppid=875389 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 5886 0 0 0 16 2 0 0 20 0 18 0 169447559 19430449152 17082 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=18975048 memory=1645 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169447562 19430449152 17082 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169447562 19430449152 17082 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68328 KiB

[startup+0.319713 s]*
/proc/loadavg: 4.15 4.28 4.26 7/318 875410
/proc/meminfo: memFree=120132236/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=18975048 memory=77328 CPUtime=0.5 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 7583 0 0 0 47 3 0 0 20 0 18 0 169447559 19430449152 19332 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4743762 19332 5801 1 0 551716 0
[pid=875392/tid=875394] ppid=875389 vsize=18975048 memory=-8526835163308860092 CPUtime=0.28 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 5950 0 0 0 26 2 0 0 20 0 18 0 169447559 19430449152 19332 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169447562 19430449152 19332 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169447562 19430449152 19332 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77328 KiB

[startup+0.700705 s]
/proc/loadavg: 4.15 4.28 4.26 7/319 875411
/proc/meminfo: memFree=120118408/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19041612 memory=96700 CPUtime=1.19 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 9668 0 0 0 115 4 0 0 20 0 19 0 169447559 19498610688 24175 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4760403 24175 5838 1 0 553023 0
[pid=875392/tid=875394] ppid=875389 vsize=19041612 memory=5424 CPUtime=0.64 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 6078 0 0 0 61 3 0 0 20 0 19 0 169447559 19498610688 24175 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19041612 memory=11948 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169447562 19498610688 24175 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169447562 19498610688 24175 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169447600 19498610688 24175 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96700 KiB

[startup+1.5097 s]
/proc/loadavg: 4.15 4.28 4.26 6/319 875411
/proc/meminfo: memFree=120101704/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19041612 memory=126000 CPUtime=2.78 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 15174 0 0 0 273 5 0 0 20 0 19 0 169447559 19498610688 31500 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4760403 31500 5870 1 0 554058 0
[pid=875392/tid=875394] ppid=875389 vsize=19041612 memory=11948 CPUtime=1.43 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 7053 0 0 0 140 3 0 0 20 0 19 0 169447559 19498610688 31500 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169447562 19498610688 31500 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169447562 19498610688 31500 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19041612 memory=22639 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169447600 19498610688 31500 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126000 KiB

[startup+3.11307 s]
/proc/loadavg: 4.15 4.28 4.26 5/320 875412
/proc/meminfo: memFree=120000548/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=206688 CPUtime=4.82 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 18100 0 0 0 474 8 0 0 20 0 20 0 169447559 19566772224 51672 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 51672 5870 1 0 554893 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=0 CPUtime=3 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 7350 0 0 0 296 4 0 0 20 0 20 0 169447559 19566772224 51672 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 51672 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 51672 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 51672 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 206688 KiB

[startup+6.30046 s]
/proc/loadavg: 4.14 4.27 4.26 6/320 875414
/proc/meminfo: memFree=119952828/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=287016 CPUtime=8.18 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 18296 0 0 0 807 11 0 0 20 0 20 0 169447559 19566772224 71754 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 71754 5870 1 0 554895 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=11948 CPUtime=5.88 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 7356 0 0 0 584 4 0 0 20 0 20 0 169447559 19566772224 71754 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 71754 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=1940 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 71754 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 71754 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 287016 KiB

[startup+12.7005 s]
/proc/loadavg: 4.37 4.32 4.27 7/320 875550
/proc/meminfo: memFree=120871996/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=498988 CPUtime=14.89 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 22811 0 0 0 1473 16 0 0 20 0 20 0 169447559 19566772224 124747 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 124747 5893 1 0 832694 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=11656 CPUtime=11.93 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 8217 0 0 0 1188 5 0 0 20 0 20 0 169447559 19566772224 124747 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=698884 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 124747 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 124747 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 124747 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 498988 KiB

[startup+25.5005 s]
/proc/loadavg: 4.43 4.34 4.28 5/320 875551
/proc/meminfo: memFree=118559264/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=935520 CPUtime=28.02 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 25083 0 0 0 2777 25 0 0 20 0 20 0 169447559 19566772224 233880 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 233880 5893 1 0 832705 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=935520 CPUtime=24.29 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 9110 0 0 0 2423 6 0 0 20 0 20 0 169447559 19566772224 233880 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=280503509285888 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 233880 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=2796 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 233880 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 233880 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 935520 KiB

[startup+51.1131 s]
/proc/loadavg: 4.28 4.31 4.27 5/320 875557
/proc/meminfo: memFree=114015516/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=1633144 CPUtime=54.21 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 30804 0 0 0 5381 40 0 0 20 0 20 0 169447559 19566772224 408286 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 408286 5893 1 0 964306 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=2208 CPUtime=49.16 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 10950 0 0 0 4907 9 0 0 20 0 20 0 169447559 19566772224 408286 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 408286 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0

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

/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 91661 0 0 0 317402 64 0 0 20 0 20 0 169447559 19566772224 2660135 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=10517640 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660135 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=10517660 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 780 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660135 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=10517660 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 2660135 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3255.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10640540 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/321 877271
/proc/meminfo: memFree=80190588/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=10640548 CPUtime=3315.75 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 253074 0 0 0 331169 406 0 0 20 0 20 0 169447559 19566772224 2660137 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 2660137 5893 1 0 3026559 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=10640548 CPUtime=3234.03 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 91716 0 0 0 323339 64 0 0 20 0 20 0 169447559 19566772224 2660137 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=10640544 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660137 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 780 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660137 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 2660137 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3315.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10640548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.20 4.19 5/321 877339
/proc/meminfo: memFree=80187460/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=10642596 CPUtime=3375.84 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 253287 0 0 0 337175 409 0 0 20 0 20 0 169447559 19566772224 2660649 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 2660649 5893 1 0 3026559 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=10640548 CPUtime=3293.68 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 91838 0 0 0 329304 64 0 0 20 0 20 0 169447559 19566772224 2660649 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=10642596 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660649 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=16068 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 780 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660649 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=10642596 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 2660649 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3375.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10642596 KiB

[startup+3402.3 s]
/proc/loadavg: 3.58 4.03 4.12 4/295 877382
/proc/meminfo: memFree=85145568/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=10642608 CPUtime=3435.99 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 253520 0 0 0 343187 412 0 0 20 0 20 0 169447559 19566772224 2660652 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 2660652 5893 1 0 3026559 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=10640548 CPUtime=3353.26 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 91926 0 0 0 335262 64 0 0 20 0 20 0 169447559 19566772224 2660652 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660652 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=10642608 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 780 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660652 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 2660652 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3435.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10642608 KiB

[startup+3462.3 s]
/proc/loadavg: 3.18 3.84 4.05 3/269 877427
/proc/meminfo: memFree=99857704/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=10642612 CPUtime=3496.24 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 256288 0 0 0 349210 414 0 0 20 0 20 0 169447559 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 2660653 5893 1 0 3026559 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=10640548 CPUtime=3412.71 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 92884 0 0 0 341206 65 0 0 20 0 20 0 169447559 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=41964 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=10642612 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 780 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=10642612 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3496.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10642612 KiB

[startup+3522.3 s]
/proc/loadavg: 2.34 3.48 3.91 2/244 877471
/proc/meminfo: memFree=114823436/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=10642612 CPUtime=3556.34 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 258014 0 0 0 355218 416 0 0 20 0 20 0 169447559 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 2660653 5893 1 0 3026559 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=10642612 CPUtime=3472.23 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 93715 0 0 0 347158 65 0 0 20 0 20 0 169447559 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=16068 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 830 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=10642612 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3556.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10642612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3566 s]*
/proc/loadavg: 1.69 3.15 3.78 2/242 877480
/proc/meminfo: memFree=114823272/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19108176 memory=10642612 CPUtime=3600.06 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 258446 0 0 0 359588 418 0 0 20 0 20 0 169447559 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4777044 2660653 5893 1 0 3026559 0
[pid=875392/tid=875394] ppid=875389 vsize=19108176 memory=-8526835163308860092 CPUtime=3515.77 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 94113 0 0 0 351512 65 0 0 20 0 20 0 169447559 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19108176 memory=7970140473035888032 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19108176 memory=1812 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 830 0 0 0 0 0 0 0 20 0 20 0 169447562 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875411] ppid=875389 vsize=19108176 memory=5652 CPUtime=0 cores=1,3
/proc/875392/task/875411/stat : 875411 (Timer-0) S 875389 875392 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169447600 19566772224 2660653 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10642612 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.39 s, system=4.22067 s

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

[startup+3566.21 s]
/proc/loadavg: 1.69 3.15 3.78 2/242 877480
/proc/meminfo: memFree=114823272/131655788 swapFree=131071996/131071996
[pid=875392] ppid=875389 vsize=19307868 memory=10643544 CPUtime=3600.44 cores=1,3
/proc/875392/stat : 875392 (java) S 875389 875392 870201 0 -1 1077936128 261185 0 0 0 359626 418 0 0 20 0 21 0 169447559 19771256832 2660886 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
/proc/875392/statm: 4826967 2660886 5908 1 0 3027498 0
[pid=875392/tid=875394] ppid=875389 vsize=19307868 memory=27356 CPUtime=3515.95 cores=1,3
/proc/875392/task/875394/stat : 875394 (java) R 875389 875392 870201 0 -1 4194368 94403 0 0 0 351530 65 0 0 20 0 21 0 169447559 19771256832 2660886 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875403] ppid=875389 vsize=19307868 memory=2248 CPUtime=0 cores=1,3
/proc/875392/task/875403/stat : 875403 (Finalizer) S 875389 875392 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 169447562 19771256832 2660886 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
[pid=875392/tid=875410] ppid=875389 vsize=19307868 memory=40524 CPUtime=0 cores=1,3
/proc/875392/task/875410/stat : 875410 (Common-Cleaner) S 875389 875392 870201 0 -1 1077936192 830 0 0 0 0 0 0 0 20 0 21 0 169447562 19771256832 2660886 134679101440 93906025185280 93906025188976 140725711823808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93906025196792 93906025197584 93906043420672 140725711832071 140725711832161 140725711832161 140725711839176 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10643544 KiB

[startup+3566.3 s]*
/proc/loadavg: 1.69 3.15 3.78 2/223 877483
/proc/meminfo: memFree=121576288/131655788 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): 3566.32
CPU time (s): 3600.61
CPU user time (s): 3596.39
CPU system time (s): 4.22067
CPU usage (%): 100.962
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10643544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.39
system time used= 4.22067
maximum resident set size= 10644568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116373
involuntary context switches= 9384


# summary of solver processes directly reported to runsolver:
#   pid: 875392
#   total CPU time (s): 3600.61
#   total CPU user time (s): 3596.39
#   total CPU system time (s): 4.22067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5115 second user time and 34.8511 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-17 01:34:55
IDJOB=4432526
IDBENCH=158576
IDSOLVER=3058
FILE ID=nodeC010/4432526-1721172883
RUNJOBID= nodeC010-1721165691-870215
SLURM_JOB_ID= 7505790
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432526-1721172883/watcher-4432526-1721172883 -o /tmp/evaluation-result-4432526-1721172883/solver-4432526-1721172883 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870215 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432526-1721172883.opb

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

MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=160996903

nodeC010.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	: 0xb00001f
cpu MHz		: 3612.588
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 3625.113
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.262
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1396.706
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3600.258
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 3655.573
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1197.266
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        120186592 kB
MemAvailable:   124582488 kB
Buffers:          438964 kB
Cached:          4743432 kB
SwapCached:            0 kB
Active:           807104 kB
Inactive:        9996212 kB
Active(anon):       1432 kB
Inactive(anon):  5657508 kB
Active(file):     805672 kB
Inactive(file):  4338704 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:       5621264 kB
Mapped:           125288 kB
Shmem:             37704 kB
KReclaimable:     183104 kB
Slab:             292464 kB
SReclaimable:     183104 kB
SUnreclaim:       109360 kB
KernelStack:        4876 kB
PageTables:        21052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9030848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5261312 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:      234312 kB
DirectMap2M:    29030400 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC010 at 2024-07-17 02:34:21