Trace number 4489054

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 2025-06-06SAT (TO)228 3600.27 3553.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark182
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables478
Total number of constraints478
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 478
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 478
Number of bits of the biggest sum of numbers9
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4489054-1751338555.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  objective function found
0.10/0.20	c ... done. Wall clock time 0.053s.
0.10/0.20	c declared #vars     478
0.10/0.20	c #constraints  478
0.10/0.20	c constraints type 
0.10/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 478
0.10/0.20	c 478 constraints processed.
0.30/0.21	c objective function length is 478 literals
0.30/0.22	c SATISFIABLE
0.30/0.22	c OPTIMIZING...
0.30/0.22	c Got one! Elapsed wall clock time (in seconds):0.077
0.30/0.22	o 233
0.30/0.23	c Got one! Elapsed wall clock time (in seconds):0.091
0.30/0.23	o 232
0.30/0.29	c Got one! Elapsed wall clock time (in seconds):0.147
0.30/0.29	o 231
1.44/0.83	c cleaning 2578 clauses out of 5168 with flag 10474/5168
2.04/1.12	c cleaning 4288 clauses out of 8589 with flag 22956/11167
2.47/1.40	c cleaning 5643 clauses out of 11301 with flag 37622/18167
2.47/1.43	c Got one! Elapsed wall clock time (in seconds):1.287
2.47/1.43	o 230
2.68/1.68	c cleaning 5785 clauses out of 11590 with flag 10661/24099
3.02/1.91	c cleaning 5897 clauses out of 11805 with flag 23191/30099
3.22/2.18	c cleaning 6448 clauses out of 12909 with flag 37733/37100
3.67/2.51	c cleaning 7223 clauses out of 14460 with flag 54443/45099
4.10/2.91	c cleaning 8111 clauses out of 16238 with flag 73290/54100
4.50/3.30	c cleaning 9055 clauses out of 18126 with flag 94186/64099
5.02/3.81	c cleaning 10029 clauses out of 20072 with flag 117218/75100
5.42/4.27	c cleaning 11013 clauses out of 22043 with flag 142308/87100
6.06/4.85	c cleaning 12007 clauses out of 24030 with flag 169500/100100
6.67/5.49	c cleaning 13004 clauses out of 26023 with flag 199036/114100
7.54/6.23	c cleaning 13999 clauses out of 28018 with flag 230619/129099
8.42/7.06	c cleaning 15000 clauses out of 30020 with flag 264196/145100
9.12/7.79	c cleaning 15999 clauses out of 32020 with flag 299704/162100
9.99/8.58	c cleaning 16998 clauses out of 34020 with flag 336834/180099
10.99/9.51	c cleaning 17999 clauses out of 36022 with flag 376837/199099
12.04/10.53	c cleaning 18999 clauses out of 38024 with flag 418700/219100
13.23/11.60	c cleaning 20007 clauses out of 40025 with flag 462753/240100
14.22/12.61	c cleaning 20997 clauses out of 42017 with flag 508685/262099
15.36/13.77	c cleaning 22004 clauses out of 44021 with flag 556835/285100
16.56/14.97	c cleaning 22995 clauses out of 46016 with flag 607056/309099
18.00/16.33	c cleaning 23998 clauses out of 48022 with flag 659318/334100
19.48/17.78	c cleaning 25003 clauses out of 50023 with flag 713775/360099
20.98/19.25	c cleaning 26000 clauses out of 52020 with flag 770051/387099
22.64/20.80	c cleaning 27000 clauses out of 54021 with flag 828570/415100
24.31/22.42	c cleaning 28004 clauses out of 56021 with flag 889219/444100
26.12/24.19	c cleaning 29002 clauses out of 58017 with flag 952155/474100
27.90/25.93	c cleaning 29999 clauses out of 60014 with flag 1016969/505099
29.74/27.70	c cleaning 30996 clauses out of 62015 with flag 1084022/537099
31.82/29.76	c cleaning 32001 clauses out of 64020 with flag 1152845/570100
34.01/31.82	c cleaning 32998 clauses out of 66018 with flag 1223910/604099
36.10/33.98	c cleaning 34000 clauses out of 68021 with flag 1296601/639100
38.42/36.26	c cleaning 35001 clauses out of 70020 with flag 1371782/675099
40.73/38.43	c cleaning 36002 clauses out of 72019 with flag 1449078/712099
42.92/40.63	c cleaning 37000 clauses out of 74017 with flag 1527831/750099
45.35/42.93	c cleaning 37999 clauses out of 76018 with flag 1609080/789100
47.78/45.29	c cleaning 38999 clauses out of 78018 with flag 1692424/829099
50.38/47.87	c cleaning 39996 clauses out of 80020 with flag 1778214/870100
53.27/50.62	c cleaning 41001 clauses out of 82024 with flag 1866208/912100
56.67/53.40	c cleaning 42000 clauses out of 84022 with flag 1955921/955099
59.46/56.18	c cleaning 43005 clauses out of 86022 with flag 2047355/999099
59.75/56.45	c Got one! Elapsed wall clock time (in seconds):56.313
59.75/56.46	o 229
60.36/57.00	c cleaning 27742 clauses out of 55503 with flag 10561/1011585
60.66/57.36	c cleaning 16872 clauses out of 33762 with flag 23116/1017586
60.96/57.65	c cleaning 11936 clauses out of 23890 with flag 37697/1024586
61.35/57.96	c cleaning 9965 clauses out of 19953 with flag 54312/1032585
61.77/58.30	c cleaning 9484 clauses out of 18988 with flag 73088/1041585
62.07/58.67	c cleaning 9741 clauses out of 19504 with flag 93947/1051585
62.50/59.10	c cleaning 10374 clauses out of 20763 with flag 117022/1062585
63.00/59.59	c cleaning 11187 clauses out of 22390 with flag 142059/1074586
63.60/60.15	c cleaning 12093 clauses out of 24203 with flag 169146/1087586
64.19/60.74	c cleaning 13045 clauses out of 26110 with flag 198237/1101586
64.79/61.39	c cleaning 14020 clauses out of 28065 with flag 229454/1116586
65.65/62.16	c cleaning 15011 clauses out of 30044 with flag 262974/1132585
66.34/62.88	c cleaning 16009 clauses out of 32034 with flag 298412/1149586
67.24/63.72	c cleaning 17003 clauses out of 34025 with flag 335968/1167586
68.04/64.59	c cleaning 17999 clauses out of 36022 with flag 375630/1186586
69.04/65.51	c cleaning 18999 clauses out of 38023 with flag 417510/1206586
70.04/66.55	c cleaning 20001 clauses out of 40024 with flag 461566/1227586
71.14/67.67	c cleaning 20999 clauses out of 42022 with flag 507921/1249585
72.23/68.72	c cleaning 21998 clauses out of 44024 with flag 555668/1272586
73.23/69.78	c cleaning 23000 clauses out of 46025 with flag 606007/1296585
74.53/71.01	c cleaning 24001 clauses out of 48025 with flag 658272/1321585
75.87/72.38	c cleaning 24998 clauses out of 50025 with flag 712737/1347586
77.47/73.93	c cleaning 26002 clauses out of 52027 with flag 769022/1374586
78.97/75.45	c cleaning 27002 clauses out of 54024 with flag 827295/1402585
80.67/77.17	c cleaning 27999 clauses out of 56022 with flag 887877/1431585
82.47/78.93	c cleaning 29003 clauses out of 58024 with flag 950401/1461586
84.39/80.71	c cleaning 29998 clauses out of 60020 with flag 1015155/1492585
86.08/82.47	c cleaning 31000 clauses out of 62023 with flag 1082007/1524586
87.79/84.19	c cleaning 32000 clauses out of 64024 with flag 1150819/1557587
90.47/86.83	c cleaning 33005 clauses out of 66024 with flag 1223014/1591587
93.07/89.30	c cleaning 33999 clauses out of 68018 with flag 1296027/1626586
95.36/91.67	c cleaning 35001 clauses out of 70018 with flag 1371663/1662585
98.05/94.35	c cleaning 36000 clauses out of 72017 with flag 1449054/1699585
100.76/97.10	c cleaning 37000 clauses out of 74018 with flag 1528676/1737586
103.85/100.12	c cleaning 37997 clauses out of 76017 with flag 1610545/1776585
106.54/102.87	c cleaning 39000 clauses out of 78021 with flag 1694554/1816586
110.03/106.32	c cleaning 40002 clauses out of 80021 with flag 1780198/1857586
113.02/109.31	c cleaning 41000 clauses out of 82018 with flag 1867950/1899585
116.41/112.72	c cleaning 42002 clauses out of 84019 with flag 1957749/1942586
119.31/115.61	c cleaning 42997 clauses out of 86016 with flag 2049465/1986585
122.50/118.86	c cleaning 44002 clauses out of 88020 with flag 2143828/2031586
125.59/121.95	c cleaning 44997 clauses out of 90017 with flag 2239771/2077585
128.88/125.27	c cleaning 46001 clauses out of 92021 with flag 2337814/2124586
132.27/128.62	c cleaning 47000 clauses out of 94019 with flag 2438002/2172585
135.46/131.89	c cleaning 48001 clauses out of 96020 with flag 2540849/2221586
139.66/135.71	c cleaning 48997 clauses out of 98018 with flag 2645356/2271585
143.55/139.67	c cleaning 50001 clauses out of 100022 with flag 2751780/2322586
147.15/143.29	c cleaning 51001 clauses out of 102021 with flag 2860220/2374586
151.91/147.79	c cleaning 51996 clauses out of 104019 with flag 2970537/2427585
156.37/152.06	c cleaning 53000 clauses out of 106023 with flag 3083244/2481585
160.56/156.27	c cleaning 53995 clauses out of 108024 with flag 3197765/2536586
164.86/160.45	c cleaning 55005 clauses out of 110029 with flag 3314773/2592586
169.05/164.60	c cleaning 56001 clauses out of 112023 with flag 3434089/2649585
173.42/168.81	c cleaning 57001 clauses out of 114022 with flag 3555561/2707585
177.91/173.36	c cleaning 58003 clauses out of 116022 with flag 3678859/2766586
183.32/177.98	c cleaning 59000 clauses out of 118019 with flag 3804821/2826586
187.96/182.47	c cleaning 59995 clauses out of 120019 with flag 3932420/2887586
192.95/187.43	c cleaning 61003 clauses out of 122024 with flag 4061905/2949586
197.85/192.25	c cleaning 61999 clauses out of 124020 with flag 4193618/3012585
202.24/196.69	c cleaning 63000 clauses out of 126021 with flag 4328250/3076585
207.33/201.67	c cleaning 64000 clauses out of 128022 with flag 4464333/3141586
211.82/206.11	c cleaning 65000 clauses out of 130021 with flag 4602588/3207585
217.00/211.32	c cleaning 65997 clauses out of 132021 with flag 4742611/3274585
222.36/216.56	c cleaning 66999 clauses out of 134025 with flag 4884506/3342586
228.31/222.33	c cleaning 68002 clauses out of 136025 with flag 5027786/3411585
234.10/228.14	c cleaning 69002 clauses out of 138024 with flag 5173908/3481586
239.95/233.88	c cleaning 69999 clauses out of 140021 with flag 5321923/3552585
246.15/240.07	c cleaning 70999 clauses out of 142023 with flag 5471462/3624586
252.38/246.23	c cleaning 72003 clauses out of 144025 with flag 5623574/3697587
258.18/252.08	c cleaning 73000 clauses out of 146021 with flag 5777434/3771586
264.54/258.27	c cleaning 73994 clauses out of 148020 with flag 5933483/3846585
271.43/265.17	c cleaning 75001 clauses out of 150026 with flag 6091860/3922585
279.42/272.93	c cleaning 76000 clauses out of 152026 with flag 6252741/3999586
288.29/280.90	c cleaning 77001 clauses out of 154025 with flag 6415888/4077585
295.38/288.09	c cleaning 78004 clauses out of 156025 with flag 6580202/4156586
302.83/295.48	c cleaning 78996 clauses out of 158020 with flag 6747699/4236585
312.42/305.05	c cleaning 80007 clauses out of 160025 with flag 6924075/4317586
320.43/312.83	c cleaning 80999 clauses out of 162017 with flag 7095114/4399585
329.11/321.32	c cleaning 82000 clauses out of 164019 with flag 7268439/4482586
338.23/330.22	c cleaning 83000 clauses out of 166019 with flag 7444063/4566586
346.93/338.84	c cleaning 84002 clauses out of 168019 with flag 7621126/4651586
355.87/347.62	c cleaning 84994 clauses out of 170016 with flag 7799568/4737585
364.83/356.40	c cleaning 86002 clauses out of 172022 with flag 7981003/4824585
372.68/364.16	c cleaning 86999 clauses out of 174020 with flag 8164501/4912585
381.05/372.35	c cleaning 88002 clauses out of 176021 with flag 8349562/5001585
390.51/381.68	c cleaning 89004 clauses out of 178020 with flag 8537143/5091586
399.52/390.51	c cleaning 89999 clauses out of 180016 with flag 8727191/5182586
409.64/399.71	c cleaning 90997 clauses out of 182016 with flag 8919711/5274585
417.51/407.53	c cleaning 91998 clauses out of 184021 with flag 9113566/5367587
427.23/417.18	c cleaning 93002 clauses out of 186021 with flag 9309348/5461585
437.44/427.24	c cleaning 94001 clauses out of 188019 with flag 9507213/5556585
447.91/437.58	c cleaning 94999 clauses out of 190019 with flag 9707257/5652586
457.48/446.95	c cleaning 95993 clauses out of 192019 with flag 9909102/5749585
467.66/456.98	c cleaning 96999 clauses out of 194026 with flag 10112416/5847585
477.73/466.84	c cleaning 98003 clauses out of 196028 with flag 10318773/5946586
488.33/477.30	c cleaning 99002 clauses out of 198024 with flag 10527900/6046585
498.72/487.38	c cleaning 100004 clauses out of 200023 with flag 10738702/6147586
508.63/497.13	c cleaning 101001 clauses out of 202019 with flag 10952157/6249586
518.82/507.23	c cleaning 102000 clauses out of 204017 with flag 11167657/6352585
529.04/517.35	c cleaning 102994 clauses out of 206017 with flag 11384416/6456585
538.86/526.93	c cleaning 104002 clauses out of 208024 with flag 11603215/6561586
548.70/536.65	c cleaning 105005 clauses out of 210023 with flag 11825136/6667587
559.68/546.45	c cleaning 106000 clauses out of 212016 with flag 12048659/6774585
568.79/555.51	c cleaning 106997 clauses out of 214016 with flag 12273060/6882585
578.77/565.40	c cleaning 107997 clauses out of 216019 with flag 12500943/6991585
588.63/575.25	c cleaning 108998 clauses out of 218022 with flag 12729803/7101585
599.45/585.97	c cleaning 110003 clauses out of 220025 with flag 12960040/7212586
612.17/598.57	c cleaning 111002 clauses out of 222022 with flag 13191698/7324586
624.75/610.98	c cleaning 111998 clauses out of 224019 with flag 13425915/7437585
637.07/623.19	c cleaning 112995 clauses out of 226021 with flag 13662367/7551585
649.79/635.74	c cleaning 114007 clauses out of 228028 with flag 13901633/7666587
660.94/646.87	c cleaning 115000 clauses out of 230019 with flag 14142637/7782585
671.12/656.92	c cleaning 116001 clauses out of 232019 with flag 14385321/7899585
682.80/668.43	c cleaning 116999 clauses out of 234018 with flag 14630245/8017585
696.88/682.33	c cleaning 117997 clauses out of 236019 with flag 14877819/8136585
709.49/694.89	c cleaning 119000 clauses out of 238022 with flag 15127155/8256585
723.12/708.31	c cleaning 120003 clauses out of 240023 with flag 15379003/8377586
734.40/719.44	c cleaning 120997 clauses out of 242019 with flag 15632356/8499585
746.42/731.33	c cleaning 121995 clauses out of 244022 with flag 15888174/8622585
759.47/744.26	c cleaning 123001 clauses out of 246027 with flag 16145395/8746585
771.63/756.24	c cleaning 124005 clauses out of 248028 with flag 16405170/8871587
785.65/770.19	c cleaning 124997 clauses out of 250021 with flag 16666269/8997585
797.83/782.14	c cleaning 125999 clauses out of 252024 with flag 16930513/9124585
800.41/784.80	c Got one! Elapsed wall clock time (in seconds):784.652
800.41/784.80	o 228
803.31/787.64	c cleaning 89093 clauses out of 178203 with flag 11220/9176763
804.50/788.88	c cleaning 47545 clauses out of 95110 with flag 23739/9182763
805.10/789.44	c cleaning 27273 clauses out of 54565 with flag 38303/9189763
805.50/789.84	c cleaning 17635 clauses out of 35292 with flag 54988/9197763
805.90/790.20	c cleaning 13321 clauses out of 26658 with flag 73787/9206764
806.32/790.63	c cleaning 11658 clauses out of 23337 with flag 94574/9216764
806.73/791.07	c cleaning 11330 clauses out of 22679 with flag 117406/9227764
807.22/791.55	c cleaning 11664 clauses out of 23348 with flag 142307/9239763
807.83/792.11	c cleaning 12333 clauses out of 24685 with flag 169324/9252764
808.32/792.66	c cleaning 13163 clauses out of 26351 with flag 198574/9266763
808.92/793.27	c cleaning 14086 clauses out of 28189 with flag 229903/9281764
809.72/794.02	c cleaning 15041 clauses out of 30103 with flag 263324/9297764
810.51/794.82	c cleaning 16019 clauses out of 32062 with flag 298714/9314764
811.32/795.61	c cleaning 17010 clauses out of 34042 with flag 336149/9332763
812.12/796.48	c cleaning 18007 clauses out of 36033 with flag 375801/9351764
813.06/797.38	c cleaning 18999 clauses out of 38027 with flag 417567/9371765
814.16/798.41	c cleaning 20003 clauses out of 40026 with flag 461429/9392763
815.16/799.49	c cleaning 21002 clauses out of 42024 with flag 507511/9414764
816.36/800.64	c cleaning 22001 clauses out of 44021 with flag 555481/9437763
817.65/801.92	c cleaning 22996 clauses out of 46020 with flag 605853/9461763
818.86/803.15	c cleaning 24001 clauses out of 48025 with flag 658097/9486764
820.15/804.41	c cleaning 25000 clauses out of 50023 with flag 712385/9512763
821.71/805.96	c cleaning 25997 clauses out of 52023 with flag 768805/9539763
823.20/807.41	c cleaning 27001 clauses out of 54026 with flag 827315/9567763
824.80/809.10	c cleaning 28000 clauses out of 56025 with flag 887966/9596763
826.50/810.79	c cleaning 29001 clauses out of 58026 with flag 950445/9626764
828.29/812.56	c cleaning 30000 clauses out of 60024 with flag 1015392/9657763
830.19/814.44	c cleaning 31000 clauses out of 62025 with flag 1082456/9689764
832.50/816.42	c cleaning 31998 clauses out of 64024 with flag 1151451/9722763
834.50/818.49	c cleaning 33000 clauses out of 66027 with flag 1222494/9756764
836.70/820.62	c cleaning 34001 clauses out of 68026 with flag 1295497/9791763
838.79/822.71	c cleaning 34999 clauses out of 70026 with flag 1370611/9827764
841.32/825.11	c cleaning 35999 clauses out of 72028 with flag 1447761/9864765
843.71/827.55	c cleaning 37002 clauses out of 74027 with flag 1526848/9902763
846.32/830.13	c cleaning 37999 clauses out of 76026 with flag 1608558/9941764
848.80/832.65	c cleaning 38999 clauses out of 78026 with flag 1692521/9981763
851.40/835.20	c cleaning 40000 clauses out of 80027 with flag 1778106/10022763
853.99/837.81	c cleaning 40998 clauses out of 82027 with flag 1865808/10064763
856.78/840.68	c cleaning 42005 clauses out of 84029 with flag 1955554/10107763
859.98/843.88	c cleaning 42998 clauses out of 86024 with flag 2047172/10151763
863.27/847.16	c cleaning 43998 clauses out of 88026 with flag 2140883/10196763
866.17/850.01	c cleaning 45000 clauses out of 90029 with flag 2236540/10242764
869.07/852.93	c cleaning 46006 clauses out of 92029 with flag 2334526/10289764
872.56/856.40	c cleaning 47001 clauses out of 94023 with flag 2434933/10337764
876.29/860.09	c cleaning 47997 clauses out of 96021 with flag 2537256/10386763
879.68/863.45	c cleaning 49000 clauses out of 98024 with flag 2641548/10436763
883.17/866.93	c cleaning 50002 clauses out of 100024 with flag 2748396/10487763
886.56/870.38	c cleaning 51000 clauses out of 102023 with flag 2857004/10539764
890.17/873.87	c cleaning 51997 clauses out of 104022 with flag 2967321/10592763
893.47/877.15	c cleaning 53000 clauses out of 106025 with flag 3080299/10646763
897.27/880.94	c cleaning 54001 clauses out of 108026 with flag 3195334/10701764
901.16/884.81	c cleaning 55002 clauses out of 110024 with flag 3312385/10757763
904.75/888.41	c cleaning 55998 clauses out of 112022 with flag 3430655/10814763
908.54/892.27	c cleaning 56999 clauses out of 114024 with flag 3551708/10872763
912.44/896.12	c cleaning 58000 clauses out of 116026 with flag 3674624/10931764
916.42/900.12	c cleaning 58999 clauses out of 118026 with flag 3799556/10991764
921.30/904.81	c cleaning 60005 clauses out of 120027 with flag 3926949/11052764
926.52/909.83	c cleaning 60998 clauses out of 122021 with flag 4056536/11114763
930.61/913.91	c cleaning 62000 clauses out of 124023 with flag 4188023/11177763
935.31/918.65	c cleaning 63000 clauses out of 126024 with flag 4321795/11241764
939.90/923.25	c cleaning 64000 clauses out of 128024 with flag 4457542/11306764
945.78/928.91	c cleaning 65000 clauses out of 130023 with flag 4594944/11372763
950.77/933.97	c cleaning 65999 clauses out of 132023 with flag 4734100/11439763
955.96/939.06	c cleaning 67000 clauses out of 134025 with flag 4875824/11507764
961.94/945.08	c cleaning 68002 clauses out of 136025 with flag 5019605/11576764
968.07/951.08	c cleaning 68999 clauses out of 138022 with flag 5164990/11646763
973.45/956.40	c cleaning 69998 clauses out of 140023 with flag 5312900/11717763
980.10/962.97	c cleaning 71002 clauses out of 142025 with flag 5463565/11789763
985.79/968.60	c cleaning 72005 clauses out of 144024 with flag 5615298/11862764
991.48/974.26	c cleaning 73000 clauses out of 146019 with flag 5769242/11936764
998.06/980.89	c cleaning 73999 clauses out of 148019 with flag 5925045/12011764
1004.96/987.66	c cleaning 75000 clauses out of 150019 with flag 6083025/12087763
1010.94/993.65	c cleaning 75999 clauses out of 152020 with flag 6243331/12164764
1018.00/1000.55	c cleaning 77001 clauses out of 154020 with flag 6405381/12242763
1024.79/1007.38	c cleaning 78002 clauses out of 156020 with flag 6569611/12321764
1031.97/1014.31	c cleaning 79001 clauses out of 158017 with flag 6736231/12401763
1038.06/1020.41	c cleaning 80000 clauses out of 160017 with flag 6905078/12482764
1045.36/1027.61	c cleaning 80999 clauses out of 162017 with flag 7075503/12564764
1052.54/1034.87	c cleaning 82002 clauses out of 164017 with flag 7248358/12647763
1059.59/1041.72	c cleaning 82997 clauses out of 166016 with flag 7423154/12731764
1067.98/1050.19	c cleaning 84001 clauses out of 168020 with flag 7599831/12816765
1075.59/1057.61	c cleaning 84996 clauses out of 170017 with flag 7779274/12902763
1083.97/1066.06	c cleaning 86002 clauses out of 172021 with flag 7960387/12989763
1091.11/1073.00	c cleaning 86998 clauses out of 174020 with flag 8143787/13077764
1098.89/1080.77	c cleaning 87998 clauses out of 176021 with flag 8328853/13166763
1106.28/1088.04	c cleaning 89002 clauses out of 178023 with flag 8515984/13256763
1114.16/1095.95	c cleaning 90001 clauses out of 180022 with flag 8705697/13347764
1123.47/1105.22	c cleaning 90997 clauses out of 182021 with flag 8896775/13439764
1131.85/1113.69	c cleaning 92003 clauses out of 184023 with flag 9090710/13532763
1140.87/1122.40	c cleaning 93001 clauses out of 186020 with flag 9286430/13626763
1149.57/1130.96	c cleaning 93997 clauses out of 188019 with flag 9484936/13721763
1158.43/1139.66	c cleaning 95003 clauses out of 190024 with flag 9684962/13817765
1167.98/1149.05	c cleaning 95998 clauses out of 192019 with flag 9886696/13914763
1176.45/1157.32	c cleaning 96996 clauses out of 194022 with flag 10090981/14012764
1185.70/1166.42	c cleaning 98000 clauses out of 196025 with flag 10297605/14111763
1195.05/1174.79	c cleaning 98998 clauses out of 198025 with flag 10505670/14211763
1205.61/1185.28	c cleaning 100004 clauses out of 200028 with flag 10716067/14312764
1216.19/1195.81	c cleaning 101002 clauses out of 202023 with flag 10929180/14414763
1225.87/1205.55	c cleaning 101999 clauses out of 204021 with flag 11143807/14517763
1235.63/1215.29	c cleaning 103002 clauses out of 206024 with flag 11360969/14621765
1247.51/1227.14	c cleaning 103998 clauses out of 208021 with flag 11579835/14726764
1259.29/1238.71	c cleaning 105000 clauses out of 210022 with flag 11800703/14832763
1271.28/1250.57	c cleaning 106003 clauses out of 212022 with flag 12024682/14939763
1286.00/1265.14	c cleaning 107002 clauses out of 214020 with flag 12250726/15047764
1297.53/1276.41	c cleaning 107999 clauses out of 216017 with flag 12478289/15156763
1312.73/1291.50	c cleaning 109002 clauses out of 218019 with flag 12708151/15266764
1324.90/1303.53	c cleaning 109994 clauses out of 220016 with flag 12940587/15377763
1336.80/1315.42	c cleaning 111002 clauses out of 222024 with flag 13174485/15489765
1348.83/1327.46	c cleaning 112002 clauses out of 224021 with flag 13408799/15602764
1360.30/1338.95	c cleaning 113000 clauses out of 226019 with flag 13645264/15716764
1371.41/1349.99	c cleaning 113993 clauses out of 228018 with flag 13884618/15831763
1382.18/1360.77	c cleaning 115004 clauses out of 230025 with flag 14126006/15947763
1392.58/1371.05	c cleaning 115999 clauses out of 232021 with flag 14369463/16064763
1405.04/1383.59	c cleaning 116996 clauses out of 234022 with flag 14614734/16182763
1418.61/1397.16	c cleaning 118005 clauses out of 236027 with flag 14862263/16301764
1431.56/1409.99	c cleaning 118996 clauses out of 238021 with flag 15111535/16421763
1444.27/1422.48	c cleaning 120004 clauses out of 240026 with flag 15363006/16542764
1460.01/1438.03	c cleaning 120999 clauses out of 242022 with flag 15616823/16664764
1472.89/1450.73	c cleaning 122002 clauses out of 244023 with flag 15872616/16787764
1487.53/1465.35	c cleaning 123001 clauses out of 246021 with flag 16130125/16911764
1501.17/1478.97	c cleaning 124001 clauses out of 248019 with flag 16389385/17036763
1513.55/1491.20	c cleaning 125000 clauses out of 250019 with flag 16650415/17162764
1526.81/1504.37	c cleaning 126001 clauses out of 252018 with flag 16915392/17289763
1539.00/1516.33	c cleaning 126999 clauses out of 254017 with flag 17182614/17417763
1554.13/1531.38	c cleaning 127997 clauses out of 256018 with flag 17451517/17546763
1571.43/1548.52	c cleaning 129003 clauses out of 258022 with flag 17721896/17676764
1585.93/1562.75	c cleaning 130000 clauses out of 260018 with flag 17994184/17807763
1602.02/1578.70	c cleaning 130998 clauses out of 262018 with flag 18267597/17939763
1615.82/1592.10	c cleaning 131996 clauses out of 264021 with flag 18544329/18072764
1631.02/1607.26	c cleaning 133000 clauses out of 266024 with flag 18823196/18206763
1647.59/1623.55	c cleaning 134005 clauses out of 268025 with flag 19104396/18341764
1663.01/1637.67	c cleaning 135000 clauses out of 270021 with flag 19388259/18477765
1678.36/1652.94	c cleaning 136001 clauses out of 272020 with flag 19673578/18614764
1695.52/1669.62	c cleaning 137000 clauses out of 274019 with flag 19962112/18752764
1710.91/1684.88	c cleaning 137994 clauses out of 276019 with flag 20251603/18891764
1726.24/1700.09	c cleaning 139003 clauses out of 278025 with flag 20543047/19031764
1742.27/1715.73	c cleaning 140002 clauses out of 280021 with flag 20835237/19172763
1758.80/1732.09	c cleaning 141000 clauses out of 282021 with flag 21131312/19314765
1776.05/1749.17	c cleaning 141999 clauses out of 284020 with flag 21428610/19457764
1793.65/1766.61	c cleaning 143000 clauses out of 286021 with flag 21728477/19601764
1812.00/1784.74	c cleaning 143997 clauses out of 288021 with flag 22031017/19746764
1831.15/1803.73	c cleaning 145000 clauses out of 290024 with flag 22335310/19892764
1851.31/1823.86	c cleaning 146001 clauses out of 292023 with flag 22641333/20039763
1871.71/1843.80	c cleaning 147000 clauses out of 294022 with flag 22949945/20187763
1893.48/1865.48	c cleaning 147999 clauses out of 296022 with flag 23260271/20336763
1914.37/1886.26	c cleaning 149000 clauses out of 298024 with flag 23572630/20486764
1934.24/1905.81	c cleaning 150000 clauses out of 300024 with flag 23887299/20637764
1952.40/1923.80	c cleaning 151000 clauses out of 302023 with flag 24203309/20789763
1969.48/1940.80	c cleaning 152002 clauses out of 304023 with flag 24522057/20942763
1988.52/1959.58	c cleaning 152999 clauses out of 306022 with flag 24842275/21096764
2007.92/1978.82	c cleaning 154000 clauses out of 308022 with flag 25165405/21251763
2028.11/1998.78	c cleaning 155001 clauses out of 310022 with flag 25490333/21407763
2046.20/2016.68	c cleaning 156001 clauses out of 312022 with flag 25817808/21564764
2066.32/2035.45	c cleaning 156999 clauses out of 314021 with flag 26146403/21722764
2085.33/2054.08	c cleaning 158000 clauses out of 316022 with flag 26477217/21881764
2106.47/2074.97	c cleaning 158997 clauses out of 318022 with flag 26809750/22041764
2125.47/2093.72	c cleaning 160001 clauses out of 320025 with flag 27145081/22202764
2146.61/2114.77	c cleaning 160997 clauses out of 322024 with flag 27482001/22364764
2168.37/2136.43	c cleaning 161999 clauses out of 324026 with flag 27821334/22527763
2189.26/2156.99	c cleaning 163002 clauses out of 326027 with flag 28163324/22691763
2213.04/2180.45	c cleaning 164007 clauses out of 328027 with flag 28506572/22856765
2232.92/2200.18	c cleaning 165004 clauses out of 330020 with flag 28851381/23022765
2252.60/2219.77	c cleaning 166000 clauses out of 332015 with flag 29199344/23189764
2275.43/2242.58	c cleaning 166994 clauses out of 334014 with flag 29549284/23357763
2296.90/2264.06	c cleaning 167997 clauses out of 336020 with flag 29901104/23526763
2318.49/2285.69	c cleaning 169001 clauses out of 338024 with flag 30254342/23696764
2342.28/2309.31	c cleaning 170002 clauses out of 340022 with flag 30610306/23867763
2366.88/2333.79	c cleaning 171001 clauses out of 342022 with flag 30968707/24039765
2391.96/2358.85	c cleaning 171999 clauses out of 344019 with flag 31327968/24212763
2417.04/2383.99	c cleaning 172997 clauses out of 346020 with flag 31689102/24386763
2440.59/2407.29	c cleaning 174000 clauses out of 348023 with flag 32052645/24561763
2464.52/2431.16	c cleaning 174999 clauses out of 350024 with flag 32418535/24737764
2486.66/2453.20	c cleaning 176002 clauses out of 352024 with flag 32785944/24914763
2516.68/2483.00	c cleaning 177000 clauses out of 354022 with flag 33156239/25092763
2544.05/2510.34	c cleaning 177999 clauses out of 356022 with flag 33528603/25271763
2568.57/2534.89	c cleaning 179001 clauses out of 358023 with flag 33903362/25451763
2595.99/2562.23	c cleaning 180002 clauses out of 360023 with flag 34280281/25632764
2617.73/2583.94	c cleaning 180999 clauses out of 362020 with flag 34659108/25814763
2642.80/2608.92	c cleaning 181999 clauses out of 364021 with flag 35039196/25997763
2669.01/2635.05	c cleaning 183001 clauses out of 366022 with flag 35422054/26181763
2696.52/2662.40	c cleaning 183998 clauses out of 368021 with flag 35807370/26366763
2722.62/2688.41	c cleaning 185003 clauses out of 370024 with flag 36193540/26552764
2748.12/2713.84	c cleaning 186001 clauses out of 372020 with flag 36581519/26739763
2774.46/2740.09	c cleaning 186998 clauses out of 374020 with flag 36972620/26927764
2799.64/2765.15	c cleaning 187996 clauses out of 376022 with flag 37364809/27116764
2827.26/2792.68	c cleaning 189002 clauses out of 378026 with flag 37759866/27306764
2854.38/2819.64	c cleaning 189999 clauses out of 380023 with flag 38156527/27497763
2883.70/2848.81	c cleaning 190999 clauses out of 382024 with flag 38556118/27689763
2911.91/2876.94	c cleaning 192000 clauses out of 384025 with flag 38956099/27882763
2941.77/2906.61	c cleaning 193004 clauses out of 386025 with flag 39360411/28076763
2968.89/2933.77	c cleaning 194002 clauses out of 388022 with flag 39765639/28271764
3000.73/2965.60	c cleaning 195002 clauses out of 390020 with flag 40172029/28467764
3028.56/2993.50	c cleaning 195999 clauses out of 392017 with flag 40581086/28664763
3058.68/3023.29	c cleaning 196998 clauses out of 394018 with flag 40992433/28862763
3092.12/3054.53	c cleaning 198004 clauses out of 396022 with flag 41405706/29061765
3120.42/3082.42	c cleaning 198994 clauses out of 398016 with flag 41819846/29261763
3149.96/3111.71	c cleaning 200000 clauses out of 400022 with flag 42237160/29462763
3178.28/3139.94	c cleaning 200994 clauses out of 402022 with flag 42655958/29664763
3203.52/3164.60	c cleaning 202008 clauses out of 404029 with flag 43128078/29867764
3223.89/3184.74	c cleaning 203007 clauses out of 406020 with flag 43631229/30071763
3247.44/3208.08	c cleaning 204004 clauses out of 408014 with flag 44164914/30276764
3269.09/3229.03	c cleaning 204998 clauses out of 410009 with flag 44694526/30482763
3291.29/3250.93	c cleaning 206001 clauses out of 412011 with flag 45217780/30689763
3312.13/3271.56	c cleaning 207000 clauses out of 414010 with flag 45739384/30897763
3332.03/3291.21	c cleaning 208000 clauses out of 416010 with flag 46272352/31106763
3350.87/3309.60	c cleaning 208999 clauses out of 418011 with flag 46801214/31316764
3374.99/3333.56	c cleaning 210002 clauses out of 420011 with flag 47351332/31527763
3398.74/3357.08	c cleaning 211000 clauses out of 422009 with flag 47914438/31739763
3427.07/3384.85	c cleaning 211999 clauses out of 424009 with flag 48480512/31952763
3449.71/3407.29	c cleaning 212997 clauses out of 426011 with flag 49037000/32166764
3469.69/3427.01	c cleaning 214004 clauses out of 428013 with flag 49581577/32381763
3495.58/3452.58	c cleaning 214999 clauses out of 430009 with flag 50146777/32597763
3520.40/3477.19	c cleaning 215994 clauses out of 432011 with flag 50734183/32814764
3547.86/3504.07	c cleaning 217005 clauses out of 434016 with flag 51300264/33032763
3575.56/3529.20	c cleaning 218004 clauses out of 436011 with flag 51870391/33251763
3598.57/3552.07	c cleaning 219000 clauses out of 438007 with flag 52441153/33471763
3600.06/3553.51	c starts		: 73846
3600.06/3553.51	c conflicts		: 33490373
3600.06/3553.51	c decisions		: 63807630
3600.06/3553.51	c propagations		: 808316159
3600.06/3553.51	c inspects		: 24712070849
3600.06/3553.51	c shortcuts		: 0
3600.06/3553.51	c learnt literals	: 0
3600.06/3553.51	c learnt binary clauses	: 0
3600.06/3553.51	c learnt ternary clauses	: 0
3600.06/3553.51	c learnt constraints	: 33490373
3600.06/3553.51	c ignored constraints	: 0
3600.06/3553.51	c root simplifications	: 0
3600.06/3553.51	c removed literals (reason simplification)	: 6986722
3600.06/3553.51	c reason swapping (by a shorter reason)	: 0
3600.06/3553.51	c Calls to reduceDB	: 382
3600.06/3553.51	c Number of update (reduction) of LBD	: 1063658
3600.06/3553.51	c Imported unit clauses	: 0
3600.06/3553.51	c No decision after first conflict	: false
3600.06/3553.51	c number of reductions to clauses (during analyze)	: 0
3600.06/3553.51	c number of learned constraints concerned by reduction	: 0
3600.06/3553.51	c number of learning phase by resolution	: 0
3600.06/3553.51	c number of learning phase by cutting planes	: 0
3600.06/3553.51	c number of rounding to 1 operations	: 0
3600.06/3553.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3553.51	c number of reductions of the coefficients by power 2 	: 0
3600.06/3553.51	c number of right shift for reduction by power 2 	: 0
3600.06/3553.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3553.51	c number of ending skipping 	: 0
3600.06/3553.51	c number of internal skipping 	: 0
3600.06/3553.51	c number of derivation steps 	: 0
3600.06/3553.51	c number of skipped derivation steps 	: 0
3600.06/3553.51	c number of remaining unassigned 	: 0
3600.06/3553.51	c number of remaining assigned 	: 0
3600.06/3553.51	c number of falsified literals weakened from reason	: 0
3600.06/3553.51	c number of falsified literals weakened from conflict	: 0
3600.06/3553.51	c time for arithmetic operations	: 0
3600.06/3553.52	c minimum degree of deleted constraints	: null
3600.06/3553.52	c maximum degree of deleted constraints	: null
3600.06/3553.52	c number of deleted constraints	: 0
3600.06/3553.52	c speed (assignments/second)	: 227483.0373317446
3600.06/3553.52	c non guided choices	: 0
3600.06/3553.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 237617
3600.06/3553.57	s SATISFIABLE
3600.06/3553.57	c Found 6 solution(s)
3600.06/3553.57	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 
3600.06/3553.58	c objective function=228
3600.06/3553.58	c Total wall clock time (in seconds): 3553.434

Verifier Data 

OK	228

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: 63708 MiB (62827 MiB free)
  memory of node 1: 64465 MiB (63583 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489054-1751338555/watcher-4489054-1751338555 -o /tmp/evaluation-result-4489054-1751338555/solver-4489054-1751338555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751338555-47847 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489054-1751338555.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47908, runsolver pid=47896
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 0.53 1.09 2.13 10/333 47974
/proc/meminfo: memFree=129353092/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=18930384 memory=53160 CPUtime=0.1 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 6448 0 0 0 8 2 0 0 20 0 18 0 49533118 19384713216 13290 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4732596 13290 5354 1 0 547531 0
[pid=47908/tid=47941] ppid=47896 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 4974 0 0 0 5 1 0 0 20 0 18 0 49533121 19384713216 13290 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49533123 19384713216 13290 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49533123 19384713216 13290 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53160 KiB

[startup+0.205652 s]*
/proc/loadavg: 0.53 1.09 2.13 10/333 47974
/proc/meminfo: memFree=129330596/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=18930384 memory=64180 CPUtime=0.3 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 7051 0 0 0 27 3 0 0 20 0 18 0 49533118 19384713216 16045 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4732596 16045 5482 1 0 547945 0
[pid=47908/tid=47941] ppid=47896 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 5294 0 0 0 14 1 0 0 20 0 18 0 49533121 19384713216 16045 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49533123 19384713216 16045 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49533123 19384713216 16045 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64180 KiB

[startup+0.305598 s]*
/proc/loadavg: 0.53 1.09 2.13 9/337 47978
/proc/meminfo: memFree=129321712/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=18996948 memory=69280 CPUtime=0.48 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 8590 0 0 0 45 3 0 0 20 0 19 0 49533118 19452874752 17320 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4749237 17320 5482 1 0 548783 0
[pid=47908/tid=47941] ppid=47896 vsize=18996948 memory=-6000919468344239467 CPUtime=0.24 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 5384 0 0 0 22 2 0 0 20 0 19 0 49533121 19452874752 17320 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49533123 19452874752 17320 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49533123 19452874752 17320 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49533140 19452874752 17320 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69280 KiB

[startup+0.700241 s]
/proc/loadavg: 0.53 1.09 2.13 9/337 47978
/proc/meminfo: memFree=129288004/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=18996948 memory=90888 CPUtime=1.25 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 12348 0 0 0 121 4 0 0 20 0 19 0 49533118 19452874752 22722 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4749237 22722 5482 1 0 551071 0
[pid=47908/tid=47941] ppid=47896 vsize=18996948 memory=18176 CPUtime=0.62 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 5392 0 0 0 60 2 0 0 20 0 19 0 49533121 19452874752 22722 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49533123 19452874752 22722 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49533123 19452874752 22722 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49533140 19452874752 22722 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90888 KiB

[startup+1.50024 s]
/proc/loadavg: 0.53 1.09 2.13 7/337 47978
/proc/meminfo: memFree=129130184/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=18996948 memory=160648 CPUtime=2.58 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 19607 0 0 0 251 7 0 0 20 0 19 0 49533118 19452874752 40162 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4749237 40162 5482 1 0 552516 0
[pid=47908/tid=47941] ppid=47896 vsize=18996948 memory=0 CPUtime=1.4 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 6056 0 0 0 136 4 0 0 20 0 19 0 49533121 19452874752 40162 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49533123 19452874752 40162 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49533123 19452874752 40162 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49533140 19452874752 40162 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 160648 KiB

[startup+3.10543 s]
/proc/loadavg: 0.81 1.14 2.14 6/341 47982
/proc/meminfo: memFree=128468728/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=245492 CPUtime=4.31 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 21663 0 0 0 422 9 0 0 20 0 20 0 49533118 19521036288 61373 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 61373 5546 1 0 552806 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=10752 CPUtime=2.93 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 6396 0 0 0 289 4 0 0 20 0 20 0 49533121 19521036288 61373 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=-6000919481229141355 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 61373 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 61373 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 61373 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 245492 KiB

[startup+6.30026 s]
/proc/loadavg: 0.81 1.14 2.14 6/341 47982
/proc/meminfo: memFree=127668272/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=396496 CPUtime=7.66 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 22426 0 0 0 754 12 0 0 20 0 20 0 49533118 19521036288 99124 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 99124 5546 1 0 552824 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 6594 0 0 0 591 4 0 0 20 0 20 0 49533121 19521036288 99124 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 99124 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 99124 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=173556 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 99124 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 396496 KiB

[startup+12.7002 s]
/proc/loadavg: 1.15 1.21 2.15 5/341 47982
/proc/meminfo: memFree=125770668/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=867636 CPUtime=14.32 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 25049 0 0 0 1411 21 0 0 20 0 20 0 49533118 19521036288 216909 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 216909 5546 1 0 763789 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=173556 CPUtime=12.06 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 7277 0 0 0 1200 6 0 0 20 0 20 0 49533121 19521036288 216909 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=867636 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 216909 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 216909 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 216909 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 14.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 867636 KiB

[startup+25.5002 s]
/proc/loadavg: 1.93 1.38 2.19 5/342 47984
/proc/meminfo: memFree=122265220/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=1537132 CPUtime=27.51 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 27567 0 0 0 2717 34 0 0 20 0 20 0 49533118 19521036288 384283 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 384283 5578 1 0 937167 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=867636 CPUtime=24.4 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 8039 0 0 0 2430 10 0 0 20 0 20 0 49533121 19521036288 384283 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 384283 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=969528 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 384283 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=173556 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 384283 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 27.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1537132 KiB

[startup+51.1056 s]
/proc/loadavg: 2.76 1.62 2.25 5/342 47984
/proc/meminfo: memFree=117520872/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=2668960 CPUtime=53.77 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 29957 0 0 0 5320 57 0 0 20 0 20 0 49533118 19521036288 667240 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 667240 5578 1 0 1064591 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=173556 CPUtime=49.19 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 8825 0 0 0 4905 14 0 0 20 0 20 0 49533121 19521036288 667240 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0

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

/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1477 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=12061532 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3201.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12062576 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.19 4.11 5/338 48144
/proc/meminfo: memFree=78659276/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=12062576 CPUtime=3262.02 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 248791 0 0 0 325859 343 0 0 20 0 20 0 49533118 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 3015644 5578 1 0 3211070 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=14848 CPUtime=3176.4 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 125333 0 0 0 317491 149 0 0 20 0 20 0 49533121 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=12062576 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=12062576 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1516 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=-6000919481229141355 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3262.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12062576 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/339 48147
/proc/meminfo: memFree=78654860/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=12062576 CPUtime=3323.15 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 254900 0 0 0 331970 345 0 0 20 0 20 0 49533118 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 3015644 5578 1 0 3211070 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=12062576 CPUtime=3234.96 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 128674 0 0 0 323346 150 0 0 20 0 20 0 49533121 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=12062576 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1567 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3323.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12062576 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.10 5/339 48149
/proc/meminfo: memFree=77942460/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=12062576 CPUtime=3384.07 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 258287 0 0 0 338061 346 0 0 20 0 20 0 49533118 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 3015644 5578 1 0 3211070 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=14848 CPUtime=3293.71 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 131223 0 0 0 329221 150 0 0 20 0 20 0 49533121 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=-6000919481229141355 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=12062576 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1618 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3015644 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3384.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12062576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/339 48151
/proc/meminfo: memFree=77196076/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=12070808 CPUtime=3444.82 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 263465 0 0 0 344134 348 0 0 20 0 20 0 49533118 19521036288 3017702 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 3017702 5578 1 0 3211070 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=12070808 CPUtime=3352.63 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 134923 0 0 0 335113 150 0 0 20 0 20 0 49533121 19521036288 3017702 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3017702 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=12070808 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1668 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3017702 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=12070808 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3017702 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3444.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12070808 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/340 48156
/proc/meminfo: memFree=75248396/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=12072856 CPUtime=3505.36 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 267930 0 0 0 350186 350 0 0 20 0 20 0 49533118 19521036288 3018214 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 3018214 5578 1 0 3211070 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=12072856 CPUtime=3411.74 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 138072 0 0 0 341023 151 0 0 20 0 20 0 49533121 19521036288 3018214 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3018214 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=12072856 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3018214 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=12072856 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3018214 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3505.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12072856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/340 48225
/proc/meminfo: memFree=87985740/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=12868524 CPUtime=3568.67 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 288355 0 0 0 356497 370 0 0 20 0 20 0 49533118 19521036288 3217131 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 3217131 5578 1 0 4092027 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=12746156 CPUtime=3470.26 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 151232 0 0 0 346873 153 0 0 20 0 20 0 49533121 19521036288 3217131 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=12072856 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3217131 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1838 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3217131 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=12246952 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3217131 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3568.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12868524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3553.5 s]
/proc/loadavg: 4.14 4.15 4.10 5/341 48297
/proc/meminfo: memFree=101431388/131249988 swapFree=33010684/33010684
[pid=47908] ppid=47896 vsize=19063512 memory=13468600 CPUtime=3600.06 cores=0,2
/proc/47908/stat : 47908 (java) S 47896 47908 47837 0 -1 4194304 290745 0 0 0 359624 382 0 0 20 0 20 0 49533118 19521036288 3367150 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
/proc/47908/statm: 4765878 3367150 5578 1 0 4092027 0
[pid=47908/tid=47941] ppid=47896 vsize=19063512 memory=12746156 CPUtime=3501.12 cores=0,2
/proc/47908/task/47941/stat : 47941 (java) R 47896 47908 47837 0 -1 4194368 153368 0 0 0 349949 163 0 0 20 0 20 0 49533121 19521036288 3367150 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47950] ppid=47896 vsize=19063512 memory=12074920 CPUtime=0 cores=0,2
/proc/47908/task/47950/stat : 47950 (Finalizer) S 47896 47908 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3367150 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47961] ppid=47896 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/47908/task/47961/stat : 47961 (Common-Cleaner) S 47896 47908 47837 0 -1 4194368 1838 0 0 0 0 0 0 0 20 0 20 0 49533123 19521036288 3367150 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
[pid=47908/tid=47977] ppid=47896 vsize=19063512 memory=13468600 CPUtime=0 cores=0,2
/proc/47908/task/47977/stat : 47977 (Timer-0) S 47896 47908 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49533140 19521036288 3367150 18446744073709551615 94145311072256 94145311075952 140734490928400 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94145311083768 94145311084560 94145331367936 140734490937729 140734490937830 140734490937830 140734490943432 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13468600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.4 s, system=3.87075 s

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

[startup+3553.6 s]*
/proc/loadavg: 4.14 4.15 4.10 5/323 48300
/proc/meminfo: memFree=111893256/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3553.62
CPU time (s): 3600.27
CPU user time (s): 3596.4
CPU system time (s): 3.87075
CPU usage (%): 101.313
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 13468600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.4
system time used= 3.87075
maximum resident set size= 13469624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293416
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117496
involuntary context switches= 9444


# summary of solver processes directly reported to runsolver:
#   pid: 47908
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3596.4
#   total CPU system time (s): 3.87075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.8382 second user time and 15.1732 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 04:55:55
IDJOB=4489054
IDBENCH=147538
IDSOLVER=3363
FILE ID=nodeC020/4489054-1751338555
RUNJOBID= nodeC020-1751338555-47847
SLURM_JOB_ID= 9594397
Free space on /tmp= 432948 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489054-1751338555/watcher-4489054-1751338555 -o /tmp/evaluation-result-4489054-1751338555/solver-4489054-1751338555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751338555-47847 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489054-1751338555.opb

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=1433520872

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.896
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 1200.382
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.642
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 2107.653
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3594.112
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 2733.092
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3600.093
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 2443.073
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129430764 kB
MemAvailable:   129717236 kB
Buffers:            3280 kB
Cached:          1091064 kB
SwapCached:            0 kB
Active:           387644 kB
Inactive:         782680 kB
Active(anon):      94036 kB
Inactive(anon):        0 kB
Active(file):     293608 kB
Inactive(file):   782680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2268 kB
Writeback:             0 kB
AnonPages:         79080 kB
Mapped:           103252 kB
Shmem:             18056 kB
KReclaimable:      98844 kB
Slab:             186588 kB
SReclaimable:      98844 kB
SUnreclaim:        87744 kB
KernelStack:        4040 kB
PageTables:         2720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     342996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432912 MiB
End job on nodeC020 at 2025-07-01 05:55:09