Trace number 4432548

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)7844370064 3600.38 3602.05

General information on the benchmark

NamePB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb
MD5SUM8c0ed74782a094447a70d45ad70101ed
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 benchmark4208467707
Best CPU time to get the best result obtained on this benchmark1.14616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3867
Total number of constraints10849
Number of constraints which are clauses10729
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 373
Biggest coefficient in the objective function 143145755
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 31492066099
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 143145755
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 31492066099
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432548-1721175661.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c  objective function found
0.33/0.24	c ... done. Wall clock time 0.111s.
0.33/0.24	c declared #vars     3867
0.33/0.24	c #constraints  10849
0.33/0.24	c constraints type 
0.33/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6910
0.33/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30
0.33/0.24	c org.sat4j.specs.Constr$1 => 330
0.33/0.24	c org.sat4j.pb.constraints.pb.UnitClausePB => 331
0.33/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3248
0.33/0.24	c 10849 constraints processed.
0.33/0.25	c objective function length is 373 literals
0.33/0.28	c SATISFIABLE
0.33/0.28	c OPTIMIZING...
0.33/0.28	c Got one! Elapsed wall clock time (in seconds):0.161
0.33/0.30	o 7844374864
0.54/0.31	c Got one! Elapsed wall clock time (in seconds):0.186
0.54/0.31	o 7844374834
0.54/0.32	c Got one! Elapsed wall clock time (in seconds):0.199
0.54/0.32	o 7844374804
0.54/0.40	c Got one! Elapsed wall clock time (in seconds):0.266
0.54/0.40	o 7844374774
0.72/0.42	c Got one! Elapsed wall clock time (in seconds):0.3
0.72/0.42	o 7844373904
0.72/0.46	c Got one! Elapsed wall clock time (in seconds):0.334
0.72/0.46	o 7844373874
0.72/0.48	c Got one! Elapsed wall clock time (in seconds):0.361
0.72/0.48	o 7844372914
0.91/0.51	c Got one! Elapsed wall clock time (in seconds):0.375
0.91/0.51	o 7844372884
0.91/0.52	c Got one! Elapsed wall clock time (in seconds):0.386
0.91/0.52	o 7844371954
0.91/0.53	c Got one! Elapsed wall clock time (in seconds):0.402
0.91/0.53	o 7844371024
0.91/0.56	c Got one! Elapsed wall clock time (in seconds):0.435
0.91/0.56	o 7844370994
1.11/0.67	c Got one! Elapsed wall clock time (in seconds):0.547
1.11/0.67	o 7844370064
2.09/1.19	c cleaning 3277 clauses out of 6561 with flag 12624/6561
2.54/1.40	c cleaning 4640 clauses out of 9282 with flag 26098/12559
2.88/1.67	c cleaning 5820 clauses out of 11642 with flag 41896/19559
3.37/1.98	c cleaning 6908 clauses out of 13822 with flag 60219/27559
4.04/2.34	c cleaning 7955 clauses out of 15914 with flag 80471/36559
4.44/2.73	c cleaning 8980 clauses out of 17959 with flag 102964/46559
4.85/3.17	c cleaning 9990 clauses out of 19980 with flag 127679/57560
5.36/3.67	c cleaning 10989 clauses out of 21989 with flag 154644/69559
5.97/4.20	c cleaning 12001 clauses out of 24001 with flag 183846/82560
6.47/4.77	c cleaning 12998 clauses out of 25999 with flag 215300/96559
7.17/5.43	c cleaning 13998 clauses out of 28001 with flag 249374/111559
7.77/6.09	c cleaning 14997 clauses out of 30003 with flag 283100/127559
8.59/6.84	c cleaning 16005 clauses out of 32009 with flag 319465/144562
9.41/7.67	c cleaning 17002 clauses out of 34003 with flag 357967/162561
10.41/8.62	c cleaning 17999 clauses out of 35999 with flag 398596/181559
11.40/9.64	c cleaning 18998 clauses out of 38000 with flag 441331/201559
12.49/10.79	c cleaning 19999 clauses out of 40004 with flag 486207/222561
13.81/12.06	c cleaning 20999 clauses out of 42003 with flag 533204/244559
15.10/13.34	c cleaning 22002 clauses out of 44004 with flag 582377/267559
16.49/14.70	c cleaning 23000 clauses out of 46003 with flag 633694/291560
17.87/16.11	c cleaning 23994 clauses out of 48002 with flag 687145/316559
19.36/17.66	c cleaning 25003 clauses out of 50010 with flag 742701/342561
20.94/19.23	c cleaning 25999 clauses out of 52005 with flag 800387/369559
22.63/20.90	c cleaning 27004 clauses out of 54007 with flag 860236/397560
24.35/22.69	c cleaning 27993 clauses out of 56002 with flag 922237/426559
26.13/24.49	c cleaning 29005 clauses out of 58011 with flag 986383/456561
28.01/26.38	c cleaning 30002 clauses out of 60007 with flag 1052615/487562
29.99/28.35	c cleaning 30999 clauses out of 62003 with flag 1120985/519560
32.08/30.40	c cleaning 31999 clauses out of 64004 with flag 1191553/552560
34.08/32.46	c cleaning 32999 clauses out of 66004 with flag 1264237/586559
36.29/34.66	c cleaning 33998 clauses out of 68005 with flag 1339006/621559
38.58/36.90	c cleaning 35004 clauses out of 70007 with flag 1415950/657559
41.07/39.41	c cleaning 35999 clauses out of 72005 with flag 1495073/694561
43.47/41.88	c cleaning 37002 clauses out of 74004 with flag 1576280/732559
46.09/44.48	c cleaning 37999 clauses out of 76002 with flag 1659593/771559
48.79/47.15	c cleaning 39000 clauses out of 78004 with flag 1745124/811560
51.39/49.78	c cleaning 39999 clauses out of 80003 with flag 1832773/852559
54.28/52.63	c cleaning 40997 clauses out of 82004 with flag 1922501/894559
57.08/55.42	c cleaning 41996 clauses out of 84007 with flag 2014437/937559
59.99/58.34	c cleaning 43006 clauses out of 86013 with flag 2108501/981561
63.00/61.39	c cleaning 44002 clauses out of 88005 with flag 2204637/1026559
66.10/64.49	c cleaning 45000 clauses out of 90005 with flag 2302987/1072561
69.30/67.60	c cleaning 46001 clauses out of 92005 with flag 2403447/1119561
72.42/70.76	c cleaning 46997 clauses out of 94002 with flag 2505991/1167559
75.72/74.09	c cleaning 47997 clauses out of 96005 with flag 2610759/1216559
79.11/77.42	c cleaning 49003 clauses out of 98011 with flag 2717612/1266562
82.50/80.81	c cleaning 50000 clauses out of 100005 with flag 2826610/1317559
85.99/84.39	c cleaning 51003 clauses out of 102006 with flag 2937784/1369560
90.01/88.32	c cleaning 51999 clauses out of 104002 with flag 3051005/1422559
94.20/92.50	c cleaning 52999 clauses out of 106003 with flag 3166474/1476559
98.09/96.46	c cleaning 54000 clauses out of 108007 with flag 3284007/1531562
101.99/100.39	c cleaning 54997 clauses out of 110004 with flag 3403771/1587559
106.24/104.58	c cleaning 56001 clauses out of 112007 with flag 3525742/1644559
110.44/108.70	c cleaning 57000 clauses out of 114006 with flag 3649823/1702559
114.77/113.03	c cleaning 58001 clauses out of 116006 with flag 3776042/1761559
119.26/117.50	c cleaning 59001 clauses out of 118005 with flag 3904382/1821559
123.96/122.26	c cleaning 59998 clauses out of 120004 with flag 4034868/1882559
128.75/127.06	c cleaning 61004 clauses out of 122008 with flag 4168215/1944561
133.56/131.83	c cleaning 61996 clauses out of 124002 with flag 4304816/2007559
138.36/136.64	c cleaning 62999 clauses out of 126006 with flag 4443364/2071559
142.65/140.98	c cleaning 64001 clauses out of 128009 with flag 4584263/2136561
147.44/145.74	c cleaning 65001 clauses out of 130007 with flag 4727032/2202560
151.81/150.09	c cleaning 66002 clauses out of 132005 with flag 4871543/2269559
156.49/154.74	c cleaning 66996 clauses out of 134003 with flag 5017566/2337559
161.08/159.39	c cleaning 67997 clauses out of 136007 with flag 5165721/2406559
165.78/164.08	c cleaning 69001 clauses out of 138010 with flag 5316216/2476559
170.58/168.89	c cleaning 70002 clauses out of 140009 with flag 5468595/2547559
175.47/173.74	c cleaning 71003 clauses out of 142008 with flag 5623130/2619560
180.76/179.04	c cleaning 72000 clauses out of 144004 with flag 5779701/2692559
186.05/184.35	c cleaning 72996 clauses out of 146004 with flag 5938403/2766559
191.37/189.67	c cleaning 74001 clauses out of 148008 with flag 6099397/2841559
197.76/196.02	c cleaning 75001 clauses out of 150009 with flag 6262568/2917561
203.34/201.62	c cleaning 75995 clauses out of 152006 with flag 6427396/2994559
208.75/207.07	c cleaning 76999 clauses out of 154011 with flag 6595083/3072559
214.63/212.99	c cleaning 78003 clauses out of 156015 with flag 6764732/3151562
220.47/218.70	c cleaning 79002 clauses out of 158009 with flag 6936024/3231559
226.42/224.71	c cleaning 80001 clauses out of 160007 with flag 7110181/3312559
232.46/230.86	c cleaning 81000 clauses out of 162006 with flag 7286623/3394559
238.41/236.90	c cleaning 82001 clauses out of 164007 with flag 7465174/3477560
245.34/243.34	c cleaning 83003 clauses out of 166008 with flag 7645896/3561562
251.73/249.71	c cleaning 84000 clauses out of 168002 with flag 7828825/3646559
258.32/256.31	c cleaning 84999 clauses out of 170002 with flag 8013699/3732559
264.81/262.82	c cleaning 86000 clauses out of 172003 with flag 8200313/3819559
271.52/269.52	c cleaning 87002 clauses out of 174003 with flag 8389656/3907559
278.20/276.26	c cleaning 88002 clauses out of 176004 with flag 8580404/3996562
285.30/283.39	c cleaning 88998 clauses out of 178000 with flag 8772911/4086560
292.38/290.45	c cleaning 89998 clauses out of 180001 with flag 8968274/4177559
299.27/297.32	c cleaning 90999 clauses out of 182003 with flag 9166021/4269559
306.54/304.66	c cleaning 92000 clauses out of 184004 with flag 9365423/4362559
314.04/312.13	c cleaning 92999 clauses out of 186005 with flag 9567866/4456560
321.71/319.82	c cleaning 94001 clauses out of 188005 with flag 9772472/4551559
329.75/327.83	c cleaning 94999 clauses out of 190004 with flag 9979251/4647559
337.74/335.88	c cleaning 96004 clauses out of 192008 with flag 10188017/4744562
345.82/343.95	c cleaning 96999 clauses out of 194003 with flag 10398750/4842561
353.81/351.99	c cleaning 98000 clauses out of 196002 with flag 10611074/4941559
362.29/360.40	c cleaning 98995 clauses out of 198002 with flag 10826394/5041559
370.88/369.04	c cleaning 99996 clauses out of 200007 with flag 11042814/5142559
379.37/377.54	c cleaning 101004 clauses out of 202014 with flag 11260971/5244562
388.19/386.24	c cleaning 101999 clauses out of 204007 with flag 11481199/5347559
397.08/395.17	c cleaning 103000 clauses out of 206008 with flag 11703583/5451559
408.16/406.21	c cleaning 104001 clauses out of 208009 with flag 11929063/5556560
415.34/413.36	c cleaning 104998 clauses out of 210008 with flag 12162648/5662560
423.73/421.74	c cleaning 105999 clauses out of 212009 with flag 12401654/5769559
431.12/429.10	c cleaning 106998 clauses out of 214010 with flag 12642275/5877559
439.59/437.63	c cleaning 108000 clauses out of 216012 with flag 12885054/5986559
447.78/445.81	c cleaning 108999 clauses out of 218012 with flag 13130992/6096559
455.86/453.96	c cleaning 110001 clauses out of 220013 with flag 13378618/6207559
463.95/462.01	c cleaning 111005 clauses out of 222012 with flag 13628431/6319559
473.23/471.31	c cleaning 112001 clauses out of 224007 with flag 13880155/6432559
481.73/479.84	c cleaning 113000 clauses out of 226006 with flag 14134018/6546559
490.68/488.72	c cleaning 113995 clauses out of 228006 with flag 14390429/6661559
499.87/497.93	c cleaning 115003 clauses out of 230011 with flag 14649323/6777559
508.45/506.54	c cleaning 116000 clauses out of 232008 with flag 14909606/6894559
517.94/516.10	c cleaning 117001 clauses out of 234008 with flag 15172799/7012559
527.89/525.93	c cleaning 117998 clauses out of 236009 with flag 15438886/7131561
537.98/536.07	c cleaning 118999 clauses out of 238009 with flag 15707728/7251559
548.06/546.14	c cleaning 120001 clauses out of 240010 with flag 15978833/7372559
559.04/557.18	c cleaning 121006 clauses out of 242011 with flag 16251360/7494561
570.66/568.37	c cleaning 121994 clauses out of 244003 with flag 16526652/7617559
581.74/579.48	c cleaning 123001 clauses out of 246009 with flag 16809672/7741559
592.53/590.24	c cleaning 124000 clauses out of 248008 with flag 17095149/7866559
603.50/601.17	c cleaning 125000 clauses out of 250008 with flag 17375143/7992559
615.68/613.34	c cleaning 126000 clauses out of 252008 with flag 17662806/8119559
627.17/624.89	c cleaning 127001 clauses out of 254010 with flag 17954625/8247561
639.15/636.83	c cleaning 127998 clauses out of 256007 with flag 18242000/8376559
651.53/649.24	c cleaning 128998 clauses out of 258010 with flag 18535811/8506560
664.09/661.76	c cleaning 129997 clauses out of 260012 with flag 18830467/8637560
676.47/674.18	c cleaning 131008 clauses out of 262015 with flag 19129803/8769560
688.55/686.25	c cleaning 131999 clauses out of 264007 with flag 19431322/8902560
701.14/698.81	c cleaning 132999 clauses out of 266009 with flag 19734658/9036561
713.42/711.15	c cleaning 133997 clauses out of 268008 with flag 20042692/9171559
725.88/723.53	c cleaning 135003 clauses out of 270011 with flag 20352277/9307559
737.97/735.61	c cleaning 135999 clauses out of 272008 with flag 20659128/9444559
750.15/747.86	c cleaning 137000 clauses out of 274009 with flag 20970855/9582559
765.73/763.40	c cleaning 138001 clauses out of 276010 with flag 21280639/9721560
777.11/774.84	c cleaning 138998 clauses out of 278008 with flag 21589594/9861559
790.61/788.26	c cleaning 140000 clauses out of 280010 with flag 21902076/10002559
804.19/801.81	c cleaning 141005 clauses out of 282013 with flag 22216473/10144562
816.87/814.59	c cleaning 142001 clauses out of 284007 with flag 22532016/10287561
830.05/827.74	c cleaning 143002 clauses out of 286005 with flag 22850559/10431560
844.39/842.00	c cleaning 143996 clauses out of 288002 with flag 23167359/10576559
857.64/855.20	c cleaning 145002 clauses out of 290008 with flag 23487361/10722561
875.12/872.76	c cleaning 145996 clauses out of 292004 with flag 23808451/10869559
892.39/890.08	c cleaning 147004 clauses out of 294011 with flag 24132810/11017562
909.94/907.58	c cleaning 148001 clauses out of 296004 with flag 24458934/11166559
927.79/925.54	c cleaning 148998 clauses out of 298006 with flag 24786882/11316562
946.42/944.38	c cleaning 149998 clauses out of 300005 with flag 25113739/11467559
964.53/962.06	c cleaning 151000 clauses out of 302007 with flag 25446039/11619559
983.29/980.84	c cleaning 152000 clauses out of 304007 with flag 25779492/11772559
1001.07/998.61	c cleaning 153000 clauses out of 306007 with flag 26114628/11926559
1018.40/1015.95	c cleaning 154003 clauses out of 308008 with flag 26452186/12081560
1037.67/1035.24	c cleaning 155002 clauses out of 310007 with flag 26790299/12237562
1056.14/1053.79	c cleaning 155997 clauses out of 312002 with flag 27134564/12394559
1076.72/1074.33	c cleaning 157000 clauses out of 314005 with flag 27478152/12552559
1097.45/1095.06	c cleaning 158000 clauses out of 316005 with flag 27824496/12711559
1117.81/1115.45	c cleaning 158998 clauses out of 318005 with flag 28175129/12871559
1138.97/1136.64	c cleaning 160000 clauses out of 320007 with flag 28527738/13032559
1159.94/1157.67	c cleaning 161003 clauses out of 322007 with flag 28882957/13194559
1180.76/1178.63	c cleaning 161996 clauses out of 324004 with flag 29241518/13357559
1204.05/1202.16	c cleaning 162997 clauses out of 326008 with flag 29601358/13521559
1225.46/1223.75	c cleaning 164002 clauses out of 328011 with flag 29964288/13686559
1246.83/1245.27	c cleaning 165002 clauses out of 330009 with flag 30329417/13852559
1268.84/1267.47	c cleaning 166002 clauses out of 332010 with flag 30695964/14019562
1292.53/1291.37	c cleaning 167000 clauses out of 334005 with flag 31065374/14187559
1314.54/1313.60	c cleaning 167997 clauses out of 336006 with flag 31436880/14356560
1336.26/1335.37	c cleaning 169001 clauses out of 338008 with flag 31809389/14526559
1356.89/1356.18	c cleaning 170002 clauses out of 340010 with flag 32185195/14697562
1378.71/1378.14	c cleaning 170999 clauses out of 342008 with flag 32562651/14869562
1403.31/1402.19	c cleaning 172004 clauses out of 344007 with flag 32942119/15042560
1426.87/1425.71	c cleaning 172994 clauses out of 346002 with flag 33324334/15216559
1449.33/1448.22	c cleaning 174006 clauses out of 348011 with flag 33708841/15391562
1474.26/1473.22	c cleaning 175002 clauses out of 350004 with flag 34096041/15567561
1497.96/1497.18	c cleaning 175998 clauses out of 352000 with flag 34484397/15744559
1519.99/1519.36	c cleaning 176998 clauses out of 354005 with flag 34874784/15922562
1543.98/1543.55	c cleaning 177993 clauses out of 356004 with flag 35267778/16101559
1567.47/1567.19	c cleaning 179000 clauses out of 358011 with flag 35663769/16281559
1588.79/1588.63	c cleaning 180005 clauses out of 360012 with flag 36062166/16462560
1610.91/1610.98	c cleaning 181001 clauses out of 362007 with flag 36462065/16644560
1632.63/1632.69	c cleaning 181999 clauses out of 364005 with flag 36864733/16827559
1653.89/1653.93	c cleaning 182997 clauses out of 366006 with flag 37269481/17011559
1677.66/1677.73	c cleaning 183998 clauses out of 368009 with flag 37675129/17196559
1700.28/1699.61	c cleaning 185003 clauses out of 370014 with flag 38084358/17382562
1720.71/1720.23	c cleaning 186000 clauses out of 372008 with flag 38495798/17569559
1742.72/1742.43	c cleaning 187003 clauses out of 374011 with flag 38909526/17757562
1765.49/1765.36	c cleaning 187994 clauses out of 376005 with flag 39325202/17946559
1787.30/1787.38	c cleaning 189002 clauses out of 378011 with flag 39742528/18136559
1804.96/1805.18	c cleaning 189999 clauses out of 380010 with flag 40166109/18327560
1824.88/1825.16	c cleaning 191001 clauses out of 382010 with flag 40598531/18519559
1846.40/1846.83	c cleaning 192000 clauses out of 384011 with flag 41033367/18712561
1867.53/1868.19	c cleaning 192999 clauses out of 386009 with flag 41470415/18906559
1886.36/1887.17	c cleaning 194001 clauses out of 388010 with flag 41913238/19101559
1909.02/1909.77	c cleaning 194999 clauses out of 390011 with flag 42360822/19297561
1929.44/1930.34	c cleaning 195999 clauses out of 392010 with flag 42805782/19494559
1954.78/1955.14	c cleaning 197003 clauses out of 394013 with flag 43251776/19692561
1977.89/1978.44	c cleaning 198002 clauses out of 396010 with flag 43700125/19891561
1998.38/1999.10	c cleaning 198995 clauses out of 398006 with flag 44151171/20091559
2021.09/2021.92	c cleaning 199999 clauses out of 400011 with flag 44605004/20292559
2042.71/2043.66	c cleaning 201003 clauses out of 402012 with flag 45062064/20494559
2065.52/2066.66	c cleaning 202002 clauses out of 404009 with flag 45520406/20697559
2088.43/2089.73	c cleaning 202998 clauses out of 406007 with flag 45980964/20901559
2108.32/2109.64	c cleaning 203998 clauses out of 408009 with flag 46443698/21106559
2133.09/2134.44	c cleaning 205001 clauses out of 410011 with flag 46908548/21312559
2157.75/2159.15	c cleaning 206000 clauses out of 412010 with flag 47381266/21519559
2180.64/2182.09	c cleaning 206997 clauses out of 414010 with flag 47850137/21727559
2206.00/2207.43	c cleaning 208000 clauses out of 416013 with flag 48321018/21936559
2230.26/2231.75	c cleaning 209004 clauses out of 418014 with flag 48794154/22146560
2254.03/2255.50	c cleaning 209999 clauses out of 420010 with flag 49274407/22357560
2275.59/2277.17	c cleaning 211001 clauses out of 422010 with flag 49755961/22569559
2301.04/2302.69	c cleaning 212002 clauses out of 424010 with flag 50237295/22782560
2326.54/2328.19	c cleaning 213001 clauses out of 426009 with flag 50719378/22996561
2351.70/2353.34	c cleaning 213999 clauses out of 428006 with flag 51203775/23211559
2377.86/2379.52	c cleaning 214999 clauses out of 430007 with flag 51690427/23427559
2403.25/2404.90	c cleaning 215998 clauses out of 432008 with flag 52179333/23644559
2431.41/2433.17	c cleaning 217002 clauses out of 434010 with flag 52670463/23862559
2459.37/2461.11	c cleaning 217997 clauses out of 436009 with flag 53163788/24081560
2486.73/2487.71	c cleaning 218998 clauses out of 438011 with flag 53659453/24301559
2516.19/2517.21	c cleaning 220005 clauses out of 440013 with flag 54157369/24522559
2543.35/2544.30	c cleaning 221001 clauses out of 442009 with flag 54657545/24744560
2571.61/2572.69	c cleaning 221999 clauses out of 444007 with flag 55159968/24967559
2600.26/2601.33	c cleaning 223002 clauses out of 446010 with flag 55664652/25191561
2626.47/2627.53	c cleaning 223994 clauses out of 448006 with flag 56171578/25416559
2653.92/2655.07	c cleaning 225000 clauses out of 450012 with flag 56686608/25642559
2683.57/2684.63	c cleaning 226002 clauses out of 452013 with flag 57199446/25869560
2710.33/2711.44	c cleaning 227000 clauses out of 454010 with flag 57717585/26097559
2738.99/2740.15	c cleaning 228000 clauses out of 456010 with flag 58239379/26326559
2767.04/2768.20	c cleaning 228999 clauses out of 458010 with flag 58761363/26556559
2797.20/2798.46	c cleaning 230004 clauses out of 460011 with flag 59283870/26787559
2824.46/2825.60	c cleaning 231004 clauses out of 462007 with flag 59812425/27019559
2852.11/2853.36	c cleaning 231995 clauses out of 464004 with flag 60337380/27252560
2883.97/2885.26	c cleaning 232998 clauses out of 466008 with flag 60864583/27486559
2913.40/2914.46	c cleaning 234000 clauses out of 468010 with flag 61394047/27721559
2943.65/2944.95	c cleaning 234998 clauses out of 470010 with flag 61925762/27957559
2974.26/2975.77	c cleaning 236002 clauses out of 472013 with flag 62459735/28194560
3006.47/3008.19	c cleaning 237000 clauses out of 474010 with flag 62995947/28432559
3033.93/3035.65	c cleaning 238002 clauses out of 476011 with flag 63534402/28671560
3066.83/3068.46	c cleaning 239000 clauses out of 478008 with flag 64075121/28911559
3096.27/3097.96	c cleaning 239999 clauses out of 480008 with flag 64623949/29152559
3128.24/3129.90	c cleaning 241003 clauses out of 482011 with flag 65169187/29394561
3158.51/3160.24	c cleaning 241992 clauses out of 484006 with flag 65716042/29637559
3191.86/3193.61	c cleaning 243000 clauses out of 486014 with flag 66267991/29881559
3223.91/3225.73	c cleaning 244002 clauses out of 488014 with flag 66823825/30126559
3255.11/3256.92	c cleaning 244999 clauses out of 490014 with flag 67377996/30372561
3289.35/3291.20	c cleaning 246004 clauses out of 492013 with flag 67934844/30619559
3320.71/3322.62	c cleaning 247001 clauses out of 494009 with flag 68494035/30867559
3358.70/3360.66	c cleaning 247997 clauses out of 496008 with flag 69055481/31116559
3396.64/3398.63	c cleaning 249001 clauses out of 498011 with flag 69626534/31366559
3430.78/3432.83	c cleaning 250000 clauses out of 500012 with flag 70192775/31617561
3461.68/3463.60	c cleaning 251003 clauses out of 502011 with flag 70762665/31869560
3495.83/3497.83	c cleaning 252001 clauses out of 504008 with flag 71332680/32122560
3533.21/3534.75	c cleaning 253000 clauses out of 506006 with flag 71904610/32376559
3569.79/3571.70	c cleaning 253995 clauses out of 508006 with flag 72473866/32631559
3600.09/3601.92	c starts		: 60
3600.09/3601.92	c conflicts		: 32887561
3600.09/3601.92	c decisions		: 62083258
3600.09/3601.92	c propagations		: 3036981757
3600.09/3601.92	c inspects		: 17367712955
3600.09/3601.92	c shortcuts		: 0
3600.09/3601.92	c learnt literals	: 0
3600.09/3601.92	c learnt binary clauses	: 13
3600.09/3601.92	c learnt ternary clauses	: 9
3600.09/3601.92	c learnt constraints	: 32887561
3600.09/3601.92	c ignored constraints	: 0
3600.09/3601.92	c root simplifications	: 0
3600.09/3601.92	c removed literals (reason simplification)	: 0
3600.09/3601.92	c reason swapping (by a shorter reason)	: 0
3600.09/3601.92	c Calls to reduceDB	: 252
3600.09/3601.92	c Number of update (reduction) of LBD	: 5939394
3600.09/3601.92	c Imported unit clauses	: 0
3600.09/3601.92	c No decision after first conflict	: false
3600.09/3601.92	c number of reductions to clauses (during analyze)	: 0
3600.09/3601.92	c number of learned constraints concerned by reduction	: 0
3600.09/3601.92	c number of learning phase by resolution	: 0
3600.09/3601.92	c number of learning phase by cutting planes	: 0
3600.09/3601.92	c number of rounding to 1 operations	: 0
3600.09/3601.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3601.92	c number of reductions of the coefficients by power 2 	: 0
3600.09/3601.92	c number of right shift for reduction by power 2 	: 0
3600.09/3601.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3601.92	c number of ending skipping 	: 0
3600.09/3601.92	c number of internal skipping 	: 0
3600.09/3601.92	c number of derivation steps 	: 0
3600.09/3601.92	c number of skipped derivation steps 	: 0
3600.09/3601.92	c number of remaining unassigned 	: 0
3600.09/3601.92	c number of remaining assigned 	: 0
3600.09/3601.92	c number of falsified literals weakened from reason	: 0
3600.09/3601.92	c number of falsified literals weakened from conflict	: 0
3600.09/3601.92	c time for arithmetic operations	: 0
3600.09/3601.92	c minimum degree of deleted constraints	: null
3600.09/3601.92	c maximum degree of deleted constraints	: null
3600.09/3601.92	c number of deleted constraints	: 0
3600.09/3601.93	c speed (assignments/second)	: 843217.6950171283
3600.09/3601.93	c non guided choices	: 3154
3600.29/3602.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 510000
3600.29/3602.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 13
3600.29/3602.03	s SATISFIABLE
3600.29/3602.03	c Found 12 solution(s)
3600.29/3602.03	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 x15 x16 x17 x18 x19 x20 x21 x22 -x23 -x24 x25 x26 x27 -x28 -x29 x30 x31 x32 -x33 -x34 x35 x36 x37 x38 x39 x40 x41 x42 -x43 -x44 x45 x46 x47 -x48 -x49 x50 x51 x52 -x53 -x54 x55 x56 x57 x58 x59 x60 x61 x62 -x63 -x64 x65 x66 x67 x68 x69 x70 x71 x72 -x73 -x74 x75 x76 x77 -x78 -x79 x80 x81 x82 x83 x84 x85 x86 x87 -x88 -x89 x90 x91 x92 -x93 -x94 x95 x96 x97 -x98 -x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 -x118 -x119 x120 x121 x122 -x123 -x124 x125 x126 x127 -x128 -x129 x130 x131 x132 -x133 -x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 -x156 x157 x158 -x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 x185 x186 -x187 -x188 -x189 x190 -x191 -x192 x193 x194 x195 x196 x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 -x226 x227 x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 x254 x255 -x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 -x286 x287 x288 -x289 -x290 x291 -x292 -x293 x294 x295 x296 x297 x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 x328 -x329 -x330 x331 x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 x364 x365 -x366 -x367 -x368 -x369 -x370 x371 x372 -x373 x374 x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 x399 -x400 -x401 x402 x403 x404 -x405 x406 x407 x408 x409 x410 x411 x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 x446 x447 x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 x538 -x539 x540 x541 x542 x543 -x544 x545 x546 x547 x548 -x549 x550 x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 x579 x580 -x581 x582 x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 x595 x596 -x597 x598 x599 -x600 x601 x602 -x603 x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 x620 x621 x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 x646 x647 x648 x649 -x650 -x651 -x652 -x653 -x654 x655 x656 -x657 x658 x659 -x660 -x661 -x662 -x663 -x664 x665 x666 -x667 x668 x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 x708 x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 x734 x735 x736 x737 x738 x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 x757 x758 -x759 x760 x761 -x762 -x763 x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 x776 x777 x778 x779 x780 x781 x782 x783 -x784 x785 x786 x787 x788 x789 x790 -x791 x792 x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 x840 -x841 x842 x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 x988 x989 -x990 x991 x992 -x993 -x994 -x995 -x996 x997 x998 -x999 x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 x1030 x1031 -x1032 -x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 x1105 -x1106 x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 x1149 -x1150 -x1151 x1152 -x1153 x1154 -x1155 x1156 -x1157 x1158 x1159 -x1160 x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 x1175 -x1176 x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 x1184 x1185 -x1186 x1187 x1188 x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 x1211 -x1212 x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 x1222 x1223 x1224 x1225 x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 x1286 x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 x1327 x1328 -x1329 x1330 x1331 x1332 -x1333 x1334 -x1335 x1336 x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 -x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 x1377 x1378 x1379 -x1380 x1381 x1382 x1383 x1384 x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 x1408 -x1409 x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 x1443 x1444 x1445 x1446 -x1447 x1448 -x1449 x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 x1492 -x1493 x1494 x1495 x1496 x1497 x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 -x1535 -x1536 -x1537 x1538 x1539 x1540 -x1541 x1542 -x1543 -x1544 x1545 x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 x1603 -x1604 x1605 -x1606 x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 x1643 -x1644 -x1645 x1646 x1647 -x1648 x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 x1666 x1667 x1668 x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 x1682 x1683 -x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 x1721 -x1722 x1723 -x1724 -x1725 x1726 -x1727 -x1728 x1729 x1730 x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 x1750 x1751 x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 x1763 x1764 x1765 x1766 x1767 x1768 -x1769 -x1770 x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 x1796 x1797 -x1798 x1799 -x1800 -x1801 x1802 x1803 x1804 x1805 x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 x1821 -x1822 -x1823 x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 x1837 -x1838 x1839 -x1840 x1841 -x1842 -x1843 -x1844 x1845 x1846 -x1847 x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 x1858 -x1859 x1860 -x1861 x1862 -x1863 x1864 x1865 x1866 -x1867 x1868 -x1869 x1870 -x1871 x1872 -x1873 x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 x1912 x1913 x1914 x1915 x1916 -x1917 -x1918 x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 x1959 x1960 x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 x1996 x1997 x1998 -x1999 x2000 -x2001 x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 x2023 x2024 x2025 x2026 x2027 x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 x2041 -x2042 x2043 -x2044 x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 x2063 x2064 -x2065 x2066 -x2067 -x2068 x2069 -x2070 x2071 -x2072 x2073 -x2074 x2075 -x2076 x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 x2099 x2100 -x2101 x2102 -x2103 -x2104 x2105 x2106 x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 x2120 x2121 -x2122 x2123 -x2124 -x2125 x2126 -x2127 x2128 -x2129 x2130 -x2131 x2132 x2133 x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 x2142 x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 x2151 -x2152 x2153 -x2154 -x2155 x2156 -x2157 x2158 -x2159 x2160 -x2161 x2162 -x2163 x2164 -x2165 x2166 -x2167 x2168 x2169 x2170 x2171 x2172 x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 x2181 x2182 x2183 x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 x2207 x2208 x2209 -x2210 -x2211 x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 x2267 x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 x2285 x2286 x2287 -x2288 -x2289 x2290 x2291 x2292 -x2293 x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 x2311 x2312 x2313 -x2314 x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 x2356 -x2357 x2358 -x2359 x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 x2368 x2369 -x2370 x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 x2391 -x2392 x2393 -x2394 x2395 -x2396 x2397 -x2398 x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 x2421 x2422 x2423 x2424 x2425 -x2426 x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 x2465 x2466 x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473 x2474 x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 x2556 x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 x2605 -x2606 -x2607 -x2608 -x2609 x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 x3472 x3473 x3474 x3475 x3476 x3477 x3478 x3479 x3480 x3481 x3482 x3483 x3484 x3485 x3486 x3487 x3488 x3489 x3490 x3491 x3492 x3493 x3494 x3495 x3496 x3497 x3498 x3499 x3500 x3501 x3502 x3503 x3504 x3505 x3506 x3507 x3508 x3509 x3510 x3511 x3512 x3513 x3514 x3515 x3516 x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 x3525 x3526 x3527 x3528 x3529 x3530 x3531 x3532 x3533 x3534 x3535 x3536 x3537 x3538 x3539 x3540 x3541 x3542 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 x3551 x3552 x3553 x3554 x3555 x3556 x3557 x3558 x3559 x3560 x3561 x3562 x3563 x3564 x3565 x3566 x3567 x3568 x3569 x3570 x3571 x3572 x3573 x3574 x3575 x3576 x3577 x3578 x3579 x3580 x3581 x3582 x3583 x3584 x3585 x3586 x3587 x3588 x3589 x3590 x3591 x3592 x3593 x3594 x3595 x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 -x3634 -x3635 -x3636 -x3637 x3638 x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 -x3673 x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3683 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 x3705 -x3706 -x3707 -x3708 -x3709 x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 x3723 -x3724 -x3725 -x3726 -x3727 x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x3750 -x3751 -x3752 -x3753 -x3754 x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 -x3805 -x3806 -x3807 -x3808 x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 -x3862 x3863 x3864 -x3865 -x3866 -x3867 
3600.29/3602.04	c objective function=7844370064
3600.29/3602.04	c Total wall clock time (in seconds): 3601.912

Verifier Data 

OK	7844370064

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432548-1721175661/watcher-4432548-1721175661 -o /tmp/evaluation-result-4432548-1721175661/solver-4432548-1721175661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721175673-897734 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432548-1721175661.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=897987, runsolver pid=897984

[startup+0.101205 s]*
/proc/loadavg: 3.54 3.99 4.10 9/328 898065
/proc/meminfo: memFree=127448844/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=18975048 memory=65036 CPUtime=0.14 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 7224 0 0 0 12 2 0 0 20 0 18 0 169728548 19430449152 16259 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4743762 16259 5631 1 0 549342 0
[pid=897987/tid=897990] ppid=897984 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) S 897984 897987 897723 0 -1 1077936192 5755 0 0 0 7 1 0 0 20 0 18 0 169728548 19430449152 16259 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=18975048 memory=16956 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169728550 19430449152 16259 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169728551 19430449152 16259 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65036 KiB

[startup+0.205871 s]*
/proc/loadavg: 3.54 3.99 4.10 12/328 898065
/proc/meminfo: memFree=127407396/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=18975048 memory=82272 CPUtime=0.33 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 7944 0 0 0 31 2 0 0 20 0 18 0 169728548 19430449152 20568 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4743762 20568 5826 1 0 549822 0
[pid=897987/tid=897990] ppid=897984 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 5940 0 0 0 17 1 0 0 20 0 18 0 169728548 19430449152 20568 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=18975048 memory=16956 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169728550 19430449152 20568 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169728551 19430449152 20568 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82272 KiB

[startup+0.311084 s]*
/proc/loadavg: 3.54 3.99 4.10 6/291 898072
/proc/meminfo: memFree=127491224/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19041612 memory=96536 CPUtime=0.54 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 9341 0 0 0 51 3 0 0 20 0 19 0 169728548 19498610688 24134 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4760403 24134 5864 1 0 551092 0
[pid=897987/tid=897990] ppid=897984 vsize=19041612 memory=7680491646476186387 CPUtime=0.28 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 6082 0 0 0 26 2 0 0 20 0 19 0 169728548 19498610688 24134 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19041612 memory=-6170700496454514621 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169728550 19498610688 24134 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169728551 19498610688 24134 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169728574 19498610688 24134 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96536 KiB

[startup+0.709071 s]
/proc/loadavg: 3.54 3.99 4.10 8/286 898117
/proc/meminfo: memFree=127488504/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19041612 memory=107908 CPUtime=1.3 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 11148 0 0 0 127 3 0 0 20 0 19 0 169728548 19498610688 26977 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4760403 26977 5896 1 0 552283 0
[pid=897987/tid=897990] ppid=897984 vsize=19041612 memory=5628 CPUtime=0.67 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 6112 0 0 0 65 2 0 0 20 0 19 0 169728548 19498610688 26977 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19041612 memory=13124 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169728550 19498610688 26977 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169728551 19498610688 26977 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19041612 memory=20776 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169728574 19498610688 26977 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107908 KiB

[startup+1.50107 s]
/proc/loadavg: 3.54 3.99 4.10 8/291 898212
/proc/meminfo: memFree=127467280/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19041612 memory=128188 CPUtime=2.72 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 19318 0 0 0 268 4 0 0 20 0 19 0 169728548 19498610688 32047 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4760403 32047 5896 1 0 554174 0
[pid=897987/tid=897990] ppid=897984 vsize=19041612 memory=13124 CPUtime=1.46 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 7249 0 0 0 143 3 0 0 20 0 19 0 169728548 19498610688 32047 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169728550 19498610688 32047 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169728551 19498610688 32047 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19041612 memory=20776 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169728574 19498610688 32047 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128188 KiB

[startup+3.10557 s]
/proc/loadavg: 3.54 3.99 4.10 6/307 898300
/proc/meminfo: memFree=127024344/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19041612 memory=175780 CPUtime=4.85 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 22876 0 0 0 479 6 0 0 20 0 19 0 169728548 19498610688 43945 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4760403 43945 5896 1 0 555734 0
[pid=897987/tid=897990] ppid=897984 vsize=19041612 memory=-8887116527805244092 CPUtime=3.06 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 7525 0 0 0 302 4 0 0 20 0 19 0 169728548 19498610688 43945 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169728550 19498610688 43945 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19041612 memory=13124 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169728551 19498610688 43945 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169728574 19498610688 43945 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 175780 KiB

[startup+6.30024 s]
/proc/loadavg: 3.66 4.01 4.10 4/309 898304
/proc/meminfo: memFree=126962304/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=194748 CPUtime=8.1 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 24050 0 0 0 803 7 0 0 20 0 20 0 169728548 19566772224 48687 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 48687 5896 1 0 556024 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=13124 CPUtime=6.23 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 7548 0 0 0 619 4 0 0 20 0 20 0 169728548 19566772224 48687 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=380432 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 48687 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=2160 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 48687 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=2012 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 48687 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194748 KiB

[startup+12.7011 s]
/proc/loadavg: 3.60 3.99 4.10 4/309 898304
/proc/meminfo: memFree=126886616/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=252596 CPUtime=14.5 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 25897 0 0 0 1441 9 0 0 20 0 20 0 169728548 19566772224 63149 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 63149 5903 1 0 556024 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=759 CPUtime=12.5 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 8010 0 0 0 1246 4 0 0 20 0 20 0 169728548 19566772224 63149 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=-8887116527805244092 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 63149 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=194748 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 63149 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=388144 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 63149 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 14.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 252596 KiB

[startup+25.5011 s]
/proc/loadavg: 3.47 3.94 4.08 4/309 898307
/proc/meminfo: memFree=126732224/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=343088 CPUtime=27.22 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 29061 0 0 0 2712 10 0 0 20 0 20 0 169728548 19566772224 85772 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 85772 5919 1 0 556024 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=759 CPUtime=25.09 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 9110 0 0 0 2505 4 0 0 20 0 20 0 169728548 19566772224 85772 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=194748 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 85772 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 85772 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=295908 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 85772 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 343088 KiB

[startup+51.1057 s]
/proc/loadavg: 3.39 3.88 4.05 4/309 898310
/proc/meminfo: memFree=126353584/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=488876 CPUtime=52.79 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 33630 0 0 0 5265 14 0 0 20 0 20 0 169728548 19566772224 122219 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 122219 5919 1 0 556024 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=449880 CPUtime=50.42 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 10761 0 0 0 5038 4 0 0 20 0 20 0 169728548 19566772224 122219 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0

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

/proc/meminfo: memFree=120248136/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=2223192 CPUtime=3280.46 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 199064 0 0 0 327903 143 0 0 20 0 20 0 169728548 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 555798 5919 1 0 569069 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=26172 CPUtime=3263.19 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 90890 0 0 0 326295 24 0 0 20 0 20 0 169728548 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=2223192 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1666 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=2223192 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3280.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2223192 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.14 3.17 4/306 900098
/proc/meminfo: memFree=120245700/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=2223192 CPUtime=3340.43 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 199278 0 0 0 333899 144 0 0 20 0 20 0 169728548 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 555798 5919 1 0 569085 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=-8887116527805244092 CPUtime=3323.03 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 90946 0 0 0 332279 24 0 0 20 0 20 0 169728548 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=7379270453634289767 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=-8887116527805244092 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1666 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=3748 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3340.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2223192 KiB

[startup+3402.3 s]
/proc/loadavg: 3.08 3.13 3.16 4/306 900111
/proc/meminfo: memFree=120245344/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=2223192 CPUtime=3400.33 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 199415 0 0 0 339888 145 0 0 20 0 20 0 169728548 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 555798 5919 1 0 569085 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=2223192 CPUtime=3382.91 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 91078 0 0 0 338267 24 0 0 20 0 20 0 169728548 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=2223192 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=2223192 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1666 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=2223192 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 555798 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3400.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2223192 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.12 3.16 4/306 900122
/proc/meminfo: memFree=120245100/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=2223212 CPUtime=3460.38 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 200210 0 0 0 345891 147 0 0 20 0 20 0 169728548 19566772224 555803 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 555803 5919 1 0 569090 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=-9044459746194447340 CPUtime=3442.6 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 91459 0 0 0 344236 24 0 0 20 0 20 0 169728548 19566772224 555803 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=2223212 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 555803 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=2223212 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1666 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 555803 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 555803 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3460.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2223212 KiB

[startup+3522.3 s]
/proc/loadavg: 3.21 3.14 3.16 4/306 900132
/proc/meminfo: memFree=120244772/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=2223224 CPUtime=3520.91 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 203046 0 0 0 351942 149 0 0 20 0 20 0 169728548 19566772224 555806 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 555806 5919 1 0 569090 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=2223212 CPUtime=3502.29 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 91749 0 0 0 350205 24 0 0 20 0 20 0 169728548 19566772224 555806 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 555806 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1718 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 555806 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=2223224 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 555806 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3520.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2223224 KiB

[startup+3582.3 s]
/proc/loadavg: 3.19 3.14 3.16 4/307 900147
/proc/meminfo: memFree=120244300/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=2223232 CPUtime=3580.52 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 203332 0 0 0 357902 150 0 0 20 0 20 0 169728548 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 555808 5919 1 0 569090 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=2223224 CPUtime=3561.6 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 91920 0 0 0 356136 24 0 0 20 0 20 0 169728548 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=44292 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=44292 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1718 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=2223232 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3580.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2223232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.9 s]
/proc/loadavg: 3.14 3.13 3.16 4/307 900150
/proc/meminfo: memFree=120244268/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19108176 memory=2223232 CPUtime=3600.09 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 203463 0 0 0 359859 150 0 0 20 0 20 0 169728548 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4777044 555808 5919 1 0 569090 0
[pid=897987/tid=897990] ppid=897984 vsize=19108176 memory=2223232 CPUtime=3581.16 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 92051 0 0 0 358092 24 0 0 20 0 20 0 169728548 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19108176 memory=-8887116527805244092 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169728550 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1718 0 0 0 0 0 0 0 20 0 20 0 169728551 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898070] ppid=897984 vsize=19108176 memory=7652 CPUtime=0 cores=4,6
/proc/897987/task/898070/stat : 898070 (Timer-0) S 897984 897987 897723 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169728574 19566772224 555808 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2223232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.86 s, system=1.51752 s

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

[startup+3602 s]*
/proc/loadavg: 3.14 3.13 3.16 8/308 900153
/proc/meminfo: memFree=120243592/131524600 swapFree=131071996/131071996
[pid=897987] ppid=897984 vsize=19307868 memory=2223796 CPUtime=3600.29 cores=4,6
/proc/897987/stat : 897987 (java) S 897984 897987 897723 0 -1 1077936128 204686 0 0 0 359879 150 0 0 20 0 21 0 169728548 19771256832 555949 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
/proc/897987/statm: 4826967 555949 5918 1 0 569977 0
[pid=897987/tid=897990] ppid=897984 vsize=19307868 memory=-5155634780447454526 CPUtime=3581.27 cores=4,6
/proc/897987/task/897990/stat : 897990 (java) R 897984 897987 897723 0 -1 4194368 92051 0 0 0 358103 24 0 0 20 0 21 0 169728548 19771256832 555949 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898017] ppid=897984 vsize=19307868 memory=-7739003468163605119 CPUtime=0 cores=4,6
/proc/897987/task/898017/stat : 898017 (Finalizer) S 897984 897987 897723 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169728550 19771256832 555949 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=898028] ppid=897984 vsize=19307868 memory=-5155634780447454526 CPUtime=0 cores=4,6
/proc/897987/task/898028/stat : 898028 (Common-Cleaner) S 897984 897987 897723 0 -1 1077936192 1718 0 0 0 0 0 0 0 20 0 21 0 169728551 19771256832 555949 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
[pid=897987/tid=900152] ppid=897984 vsize=19307868 memory=-4421386509116271463 CPUtime=0.07 cores=4,6
/proc/897987/task/900152/stat : 900152 (Thread-0) R 897984 897987 897723 0 -1 4194368 273 0 0 0 7 0 0 0 20 0 21 0 170088738 19771256832 555949 134679101440 94516365946880 94516365950576 140730007612528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94516365958392 94516365959184 94516369993728 140730007618567 140730007618657 140730007618657 140730007625672 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2223796 KiB

Child status: 143

Real time (s): 3602.05
CPU time (s): 3600.38
CPU user time (s): 3598.86
CPU system time (s): 1.51752
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2223796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.51752
maximum resident set size= 2224060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107080
involuntary context switches= 15012


# summary of solver processes directly reported to runsolver:
#   pid: 897987
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3598.86
#   total CPU system time (s): 1.51752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98931 second user time and 17.5117 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-17 02:21:13
IDJOB=4432548
IDBENCH=161078
IDSOLVER=3058
FILE ID=nodeC018/4432548-1721175661
RUNJOBID= nodeC018-1721175673-897734
SLURM_JOB_ID= 7505817
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432548-1721175661/watcher-4432548-1721175661 -o /tmp/evaluation-result-4432548-1721175661/solver-4432548-1721175661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721175673-897734 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432548-1721175661.opb

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

MD5SUM BENCH= 8c0ed74782a094447a70d45ad70101ed
RANDOM SEED=1633053893

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127575632 kB
MemAvailable:   129630712 kB
Buffers:          418036 kB
Cached:          2453084 kB
SwapCached:            0 kB
Active:           800020 kB
Inactive:        2502752 kB
Active(anon):       1476 kB
Inactive(anon):   467240 kB
Active(file):     798544 kB
Inactive(file):  2035512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3100 kB
Writeback:             0 kB
AnonPages:        431228 kB
Mapped:           125800 kB
Shmem:             37720 kB
KReclaimable:     121692 kB
Slab:             235008 kB
SReclaimable:     121692 kB
SUnreclaim:       113316 kB
KernelStack:        4160 kB
PageTables:        10404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2934932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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:      234196 kB
DirectMap2M:    17364992 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC018 at 2024-07-17 03:21:16