Trace number 4432224

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)221 3601.1 3560.33

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
MD5SUMb1303fc064b9de7d315268cbf770fb1d
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 benchmark181
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints470
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 constraints470
Minimum length of a constraint4
Maximum length of a constraint18
Number of terms in the objective function 470
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 470
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 470
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432224-1721089487.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c  objective function found
0.14/0.17	c ... done. Wall clock time 0.037s.
0.14/0.17	c declared #vars     470
0.14/0.17	c #constraints  470
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 470
0.14/0.17	c 470 constraints processed.
0.14/0.17	c objective function length is 470 literals
0.14/0.18	c SATISFIABLE
0.14/0.18	c OPTIMIZING...
0.14/0.18	c Got one! Elapsed wall clock time (in seconds):0.058
0.14/0.18	o 223
1.11/0.67	c cleaning 2494 clauses out of 5000 with flag 10647/5000
1.68/0.91	c cleaning 4250 clauses out of 8508 with flag 23264/11002
1.93/1.15	c cleaning 5621 clauses out of 11257 with flag 38009/18001
2.45/1.50	c cleaning 6812 clauses out of 13635 with flag 55417/26000
2.87/1.92	c cleaning 7904 clauses out of 15823 with flag 75338/35000
3.28/2.34	c cleaning 8955 clauses out of 17919 with flag 96341/45000
3.85/2.86	c cleaning 9976 clauses out of 19964 with flag 120268/56000
4.35/3.34	c cleaning 10988 clauses out of 21988 with flag 145233/68000
4.97/3.92	c cleaning 11996 clauses out of 24001 with flag 173556/81001
5.58/4.56	c cleaning 12996 clauses out of 26004 with flag 202891/95000
6.32/5.28	c cleaning 13999 clauses out of 28009 with flag 234422/110001
7.18/6.08	c cleaning 14997 clauses out of 30009 with flag 268063/126000
7.93/6.79	c cleaning 16000 clauses out of 32012 with flag 303742/143000
8.88/7.62	c cleaning 16994 clauses out of 34012 with flag 341426/161000
9.77/8.51	c cleaning 18000 clauses out of 36019 with flag 381187/180001
10.65/9.38	c cleaning 19000 clauses out of 38018 with flag 423459/200000
11.54/10.28	c cleaning 20002 clauses out of 40019 with flag 467771/221001
12.66/11.30	c cleaning 21001 clauses out of 42017 with flag 513909/243001
13.93/12.54	c cleaning 21997 clauses out of 44015 with flag 563033/266000
15.39/13.92	c cleaning 23001 clauses out of 46018 with flag 613838/290000
16.76/15.38	c cleaning 23999 clauses out of 48017 with flag 666405/315000
18.16/16.68	c cleaning 24999 clauses out of 50020 with flag 720848/341002
19.55/18.09	c cleaning 26001 clauses out of 52020 with flag 777375/368001
21.30/19.78	c cleaning 27002 clauses out of 54018 with flag 836397/396000
22.70/21.15	c cleaning 27997 clauses out of 56017 with flag 897128/425001
24.44/22.80	c cleaning 28998 clauses out of 58019 with flag 960110/455000
26.10/24.44	c cleaning 30004 clauses out of 60022 with flag 1025299/486001
27.88/26.28	c cleaning 30998 clauses out of 62017 with flag 1092269/518000
30.03/28.38	c cleaning 32003 clauses out of 64020 with flag 1162826/551001
32.31/30.50	c cleaning 33000 clauses out of 66016 with flag 1234708/585000
34.47/32.67	c cleaning 33998 clauses out of 68016 with flag 1308481/620000
36.45/34.65	c cleaning 35000 clauses out of 70018 with flag 1383897/656000
38.57/36.78	c cleaning 36000 clauses out of 72019 with flag 1460793/693001
41.14/39.20	c cleaning 36999 clauses out of 74019 with flag 1540227/731001
43.32/41.41	c cleaning 38001 clauses out of 76019 with flag 1622108/770000
45.88/43.91	c cleaning 39001 clauses out of 78018 with flag 1705882/810000
48.14/46.19	c cleaning 40000 clauses out of 80018 with flag 1790795/851001
50.62/48.62	c cleaning 41003 clauses out of 82019 with flag 1878692/893002
53.44/51.44	c cleaning 42001 clauses out of 84014 with flag 1968437/936000
56.03/54.04	c cleaning 42997 clauses out of 86014 with flag 2060077/980001
58.57/56.58	c cleaning 43996 clauses out of 88016 with flag 2154173/1025000
61.15/59.14	c cleaning 45005 clauses out of 90021 with flag 2250181/1071001
63.92/61.97	c cleaning 45994 clauses out of 92016 with flag 2348449/1118001
67.56/65.43	c cleaning 47005 clauses out of 94021 with flag 2448665/1166000
70.24/68.13	c cleaning 47996 clauses out of 96016 with flag 2551364/1215000
73.83/71.24	c cleaning 48998 clauses out of 98020 with flag 2656002/1265000
77.03/74.30	c cleaning 49998 clauses out of 100022 with flag 2762605/1316000
80.10/77.45	c cleaning 51001 clauses out of 102024 with flag 2871697/1368000
84.62/81.81	c cleaning 52002 clauses out of 104023 with flag 2985414/1421000
87.86/84.98	c cleaning 53001 clauses out of 106021 with flag 3098119/1475000
91.97/88.95	c cleaning 54000 clauses out of 108021 with flag 3213510/1530001
95.87/92.71	c cleaning 55002 clauses out of 110020 with flag 3330782/1586000
99.27/96.14	c cleaning 55999 clauses out of 112019 with flag 3450491/1643001
103.24/100.09	c cleaning 57002 clauses out of 114020 with flag 3571779/1701001
107.03/103.86	c cleaning 57998 clauses out of 116018 with flag 3695410/1760001
112.12/108.80	c cleaning 59000 clauses out of 118019 with flag 3821581/1820000
116.69/113.47	c cleaning 60001 clauses out of 120019 with flag 3949174/1881000
120.95/117.51	c cleaning 60999 clauses out of 122018 with flag 4079509/1943000
125.34/121.90	c cleaning 62000 clauses out of 124020 with flag 4210753/2006001
130.07/126.58	c cleaning 63004 clauses out of 126020 with flag 4344135/2070001
135.71/131.53	c cleaning 64000 clauses out of 128016 with flag 4479865/2135001
140.66/136.56	c cleaning 64999 clauses out of 130015 with flag 4617888/2201000
145.83/141.64	c cleaning 65998 clauses out of 132016 with flag 4758071/2268000
149.82/145.62	c cleaning 67004 clauses out of 134019 with flag 4899765/2336001
154.37/150.01	c cleaning 67994 clauses out of 136014 with flag 5043982/2405000
158.83/154.52	c cleaning 68998 clauses out of 138020 with flag 5190847/2475000
163.95/159.48	c cleaning 69996 clauses out of 140022 with flag 5339350/2546000
169.10/164.62	c cleaning 71007 clauses out of 142027 with flag 5490097/2618001
173.95/169.42	c cleaning 71997 clauses out of 144019 with flag 5642469/2691000
179.01/174.53	c cleaning 73005 clauses out of 146023 with flag 5797726/2765001
184.79/180.26	c cleaning 73999 clauses out of 148019 with flag 5956160/2840002
190.63/185.87	c cleaning 75001 clauses out of 150018 with flag 6115313/2916000
195.93/191.18	c cleaning 75995 clauses out of 152017 with flag 6276508/2993000
201.11/196.22	c cleaning 77000 clauses out of 154023 with flag 6439315/3071001
206.55/201.52	c cleaning 78002 clauses out of 156023 with flag 6604483/3150001
212.44/207.41	c cleaning 79001 clauses out of 158020 with flag 6772639/3230000
218.96/213.44	c cleaning 79995 clauses out of 160020 with flag 6943006/3311001
225.50/219.87	c cleaning 80999 clauses out of 162024 with flag 7114132/3393000
232.34/226.70	c cleaning 82002 clauses out of 164025 with flag 7287431/3476000
239.29/233.56	c cleaning 83006 clauses out of 166024 with flag 7462979/3560001
246.50/240.63	c cleaning 83995 clauses out of 168018 with flag 7641392/3645001
249.79/243.97	c Got one! Elapsed wall clock time (in seconds):243.849
249.79/243.97	o 222
251.20/245.36	c cleaning 73573 clauses out of 147162 with flag 10756/3708140
251.93/246.04	c cleaning 39784 clauses out of 79588 with flag 23203/3714139
252.33/246.42	c cleaning 23397 clauses out of 46805 with flag 37837/3721140
252.84/246.82	c cleaning 15700 clauses out of 31407 with flag 54495/3729139
253.27/247.20	c cleaning 12344 clauses out of 24708 with flag 73265/3738140
253.57/247.53	c cleaning 11169 clauses out of 22363 with flag 94204/3748139
253.87/247.89	c cleaning 11091 clauses out of 22195 with flag 117242/3759140
254.37/248.32	c cleaning 11542 clauses out of 23103 with flag 142189/3771139
254.87/248.85	c cleaning 12272 clauses out of 24561 with flag 170156/3784139
255.37/249.36	c cleaning 13132 clauses out of 26289 with flag 199520/3798139
255.97/249.93	c cleaning 14069 clauses out of 28157 with flag 230819/3813139
256.57/250.58	c cleaning 15037 clauses out of 30089 with flag 264216/3829140
257.37/251.30	c cleaning 16017 clauses out of 32051 with flag 300317/3846139
258.07/252.02	c cleaning 17010 clauses out of 34035 with flag 337967/3864140
258.76/252.77	c cleaning 18000 clauses out of 36024 with flag 377611/3883139
259.74/253.65	c cleaning 19001 clauses out of 38024 with flag 419598/3903139
260.53/254.49	c cleaning 19998 clauses out of 40024 with flag 463516/3924140
261.53/255.49	c cleaning 21003 clauses out of 42025 with flag 509514/3946139
262.73/256.62	c cleaning 22001 clauses out of 44022 with flag 557612/3969139
263.73/257.64	c cleaning 23003 clauses out of 46022 with flag 607807/3993140
264.83/258.70	c cleaning 24001 clauses out of 48018 with flag 660125/4018139
266.14/260.06	c cleaning 25003 clauses out of 50018 with flag 715576/4044140
267.53/261.40	c cleaning 26001 clauses out of 52015 with flag 772030/4071140
269.07/262.98	c cleaning 26995 clauses out of 54013 with flag 830697/4099139
270.56/264.42	c cleaning 27998 clauses out of 56018 with flag 891668/4128139
272.16/266.04	c cleaning 29003 clauses out of 58021 with flag 954538/4158140
273.85/267.74	c cleaning 29998 clauses out of 60018 with flag 1019321/4189140
275.55/269.45	c cleaning 30998 clauses out of 62020 with flag 1086246/4221140
277.16/271.04	c cleaning 32001 clauses out of 64022 with flag 1155287/4254140
278.85/272.74	c cleaning 33001 clauses out of 66021 with flag 1226502/4288140
280.55/274.47	c cleaning 34002 clauses out of 68020 with flag 1299585/4323140
282.34/276.28	c cleaning 34999 clauses out of 70017 with flag 1374345/4359139
284.43/278.20	c cleaning 35999 clauses out of 72018 with flag 1451659/4396139
286.82/280.62	c cleaning 37002 clauses out of 74019 with flag 1532596/4434139
289.02/282.89	c cleaning 37999 clauses out of 76017 with flag 1614254/4473139
291.32/285.12	c cleaning 38997 clauses out of 78018 with flag 1698243/4513139
293.71/287.53	c cleaning 40003 clauses out of 80021 with flag 1784118/4554139
296.10/289.93	c cleaning 40995 clauses out of 82019 with flag 1872376/4596140
298.70/292.56	c cleaning 42002 clauses out of 84025 with flag 1962664/4639141
301.59/295.41	c cleaning 43001 clauses out of 86021 with flag 2056782/4683139
304.81/298.59	c cleaning 44002 clauses out of 88021 with flag 2151171/4728140
307.60/301.30	c cleaning 45000 clauses out of 90019 with flag 2247480/4774140
310.41/304.11	c cleaning 45998 clauses out of 92018 with flag 2345545/4821139
313.70/307.44	c cleaning 47001 clauses out of 94020 with flag 2446209/4869139
316.40/310.14	c cleaning 48000 clauses out of 96020 with flag 2548072/4918140
319.95/313.57	c cleaning 48998 clauses out of 98020 with flag 2652583/4968140
322.85/316.42	c cleaning 50001 clauses out of 100022 with flag 2759296/5019140
325.74/319.35	c cleaning 51001 clauses out of 102021 with flag 2867540/5071140
328.83/322.41	c cleaning 52000 clauses out of 104020 with flag 2977732/5124140
332.48/326.00	c cleaning 52999 clauses out of 106020 with flag 3090702/5178140
335.58/329.17	c cleaning 54001 clauses out of 108020 with flag 3205466/5233139
338.97/332.53	c cleaning 54995 clauses out of 110019 with flag 3322421/5289139
342.47/336.04	c cleaning 56001 clauses out of 112024 with flag 3441393/5346139
345.25/338.85	c cleaning 56998 clauses out of 114023 with flag 3562278/5404139
349.24/342.88	c cleaning 58001 clauses out of 116026 with flag 3685280/5463140
352.83/346.43	c cleaning 58998 clauses out of 118025 with flag 3810456/5523140
356.23/349.87	c cleaning 60002 clauses out of 120027 with flag 3937578/5584140
360.32/353.93	c cleaning 61001 clauses out of 122025 with flag 4066547/5646140
364.91/358.52	c cleaning 61997 clauses out of 124024 with flag 4197487/5709140
369.89/363.49	c cleaning 63005 clauses out of 126027 with flag 4330337/5773140
374.59/368.18	c cleaning 63998 clauses out of 128022 with flag 4465845/5838140
378.78/372.30	c cleaning 65001 clauses out of 130024 with flag 4603469/5904140
383.17/376.77	c cleaning 66001 clauses out of 132022 with flag 4742957/5971139
387.85/381.42	c cleaning 66997 clauses out of 134022 with flag 4884721/6039140
392.64/386.25	c cleaning 68004 clauses out of 136025 with flag 5028662/6108140
397.23/390.84	c cleaning 69002 clauses out of 138021 with flag 5174611/6178140
402.94/396.05	c cleaning 69998 clauses out of 140018 with flag 5323095/6249139
407.90/401.07	c cleaning 71002 clauses out of 142021 with flag 5473622/6321140
413.74/406.91	c cleaning 72001 clauses out of 144019 with flag 5626619/6394140
419.09/412.39	c cleaning 73000 clauses out of 146017 with flag 5781655/6468139
425.15/418.28	c cleaning 73997 clauses out of 148017 with flag 5939057/6543139
431.33/424.48	c cleaning 75001 clauses out of 150020 with flag 6098151/6619139
436.93/430.05	c cleaning 76001 clauses out of 152020 with flag 6259315/6696140
443.00/436.05	c cleaning 77002 clauses out of 154018 with flag 6422573/6774139
448.49/441.58	c cleaning 78000 clauses out of 156016 with flag 6588337/6853139
454.67/447.78	c cleaning 78998 clauses out of 158016 with flag 6755835/6933139
460.26/453.34	c cleaning 80002 clauses out of 160019 with flag 6925907/7014140
465.64/458.76	c cleaning 80998 clauses out of 162017 with flag 7097981/7096140
471.64/464.77	c cleaning 81999 clauses out of 164019 with flag 7272039/7179140
478.30/471.19	c cleaning 82998 clauses out of 166019 with flag 7448151/7263139
484.74/477.35	c cleaning 84001 clauses out of 168021 with flag 7625892/7348139
490.99/483.61	c cleaning 84999 clauses out of 170020 with flag 7805861/7434139
497.90/490.49	c cleaning 86002 clauses out of 172022 with flag 7988406/7521140
504.05/496.67	c cleaning 87002 clauses out of 174020 with flag 8172982/7609140
510.99/503.48	c cleaning 87998 clauses out of 176017 with flag 8359840/7698139
518.42/510.78	c cleaning 88999 clauses out of 178019 with flag 8548714/7788139
525.88/518.07	c cleaning 90001 clauses out of 180021 with flag 8739460/7879140
533.51/525.55	c cleaning 91001 clauses out of 182019 with flag 8930793/7971139
540.45/532.31	c cleaning 91997 clauses out of 184018 with flag 9123916/8064139
548.34/540.15	c cleaning 92999 clauses out of 186022 with flag 9320612/8158140
556.08/547.71	c cleaning 94001 clauses out of 188023 with flag 9519316/8253140
564.75/555.31	c cleaning 95000 clauses out of 190021 with flag 9720719/8349139
572.16/562.64	c cleaning 96002 clauses out of 192022 with flag 9922813/8446140
579.64/570.04	c cleaning 96999 clauses out of 194019 with flag 10127441/8544139
586.78/577.03	c cleaning 98000 clauses out of 196021 with flag 10333142/8643140
594.67/584.80	c cleaning 99003 clauses out of 198021 with flag 10541703/8743140
601.79/591.70	c cleaning 99998 clauses out of 200017 with flag 10752006/8844139
608.82/598.78	c cleaning 100997 clauses out of 202019 with flag 10964918/8946139
616.83/606.74	c cleaning 102001 clauses out of 204023 with flag 11179140/9049140
625.59/615.43	c cleaning 103003 clauses out of 206022 with flag 11396110/9153140
633.96/623.73	c cleaning 104000 clauses out of 208018 with flag 11615869/9258139
642.38/632.09	c cleaning 105000 clauses out of 210019 with flag 11837275/9364140
650.32/639.80	c cleaning 105998 clauses out of 212018 with flag 12058388/9471139
660.41/649.83	c cleaning 107002 clauses out of 214021 with flag 12282087/9579140
669.54/658.83	c cleaning 107997 clauses out of 216018 with flag 12509588/9688139
679.57/668.00	c cleaning 108997 clauses out of 218021 with flag 12738395/9798139
688.14/676.47	c cleaning 110004 clauses out of 220026 with flag 12969136/9909141
696.67/684.84	c cleaning 111002 clauses out of 222020 with flag 13203428/10021139
707.21/695.22	c cleaning 111997 clauses out of 224018 with flag 13439265/10134139
717.61/705.51	c cleaning 112996 clauses out of 226021 with flag 13677501/10248139
728.56/716.41	c cleaning 114001 clauses out of 228026 with flag 13917618/10363140
739.79/727.66	c cleaning 115003 clauses out of 230025 with flag 14159994/10479140
749.93/737.79	c cleaning 115999 clauses out of 232022 with flag 14404624/10596140
760.90/748.61	c cleaning 117000 clauses out of 234023 with flag 14651780/10714140
771.32/758.97	c cleaning 117996 clauses out of 236022 with flag 14900479/10833139
783.34/770.89	c cleaning 119007 clauses out of 238026 with flag 15152115/10953139
794.88/782.28	c cleaning 119999 clauses out of 240019 with flag 15407882/11074139
808.04/795.21	c cleaning 121002 clauses out of 242021 with flag 15664077/11196140
818.86/805.82	c cleaning 121999 clauses out of 244018 with flag 15923622/11319139
830.63/817.53	c cleaning 123002 clauses out of 246019 with flag 16186480/11443139
841.59/828.44	c cleaning 123995 clauses out of 248017 with flag 16449137/11568139
851.98/838.74	c cleaning 125000 clauses out of 250022 with flag 16713680/11694139
864.72/850.22	c cleaning 126000 clauses out of 252022 with flag 16982241/11821139
876.92/862.33	c cleaning 127000 clauses out of 254022 with flag 17251451/11949139
888.37/873.51	c cleaning 127998 clauses out of 256022 with flag 17524124/12078139
898.65/883.61	c cleaning 128997 clauses out of 258025 with flag 17796868/12208140
910.35/895.23	c cleaning 130005 clauses out of 260028 with flag 18070981/12339140
921.71/906.52	c cleaning 131001 clauses out of 262023 with flag 18348292/12471140
933.94/918.71	c cleaning 131998 clauses out of 264021 with flag 18626810/12604139
947.26/931.92	c cleaning 133002 clauses out of 266024 with flag 18906938/12738140
958.53/943.12	c cleaning 133994 clauses out of 268022 with flag 19190286/12873140
971.64/956.01	c cleaning 135004 clauses out of 270027 with flag 19476511/13009139
984.78/969.03	c cleaning 135999 clauses out of 272024 with flag 19765381/13146140
997.04/981.10	c cleaning 136999 clauses out of 274024 with flag 20056845/13284139
1010.52/994.62	c cleaning 137998 clauses out of 276026 with flag 20348749/13423140
1026.44/1010.17	c cleaning 139002 clauses out of 278028 with flag 20642713/13563140
1041.67/1025.23	c cleaning 140003 clauses out of 280025 with flag 20938196/13704139
1056.85/1040.17	c cleaning 140998 clauses out of 282022 with flag 21234670/13846139
1073.27/1056.37	c cleaning 141999 clauses out of 284024 with flag 21533335/13989139
1089.72/1071.44	c cleaning 142999 clauses out of 286025 with flag 21834205/14133139
1104.71/1086.28	c cleaning 144002 clauses out of 288027 with flag 22139501/14278140
1121.00/1102.21	c cleaning 145004 clauses out of 290025 with flag 22446811/14424140
1137.41/1118.33	c cleaning 145999 clauses out of 292020 with flag 22756290/14571139
1152.36/1132.85	c cleaning 146999 clauses out of 294021 with flag 23065754/14719139
1167.07/1147.29	c cleaning 147999 clauses out of 296023 with flag 23377903/14868140
1181.38/1161.29	c cleaning 148997 clauses out of 298023 with flag 23692287/15018139
1194.11/1173.86	c cleaning 150001 clauses out of 300026 with flag 24010815/15169139
1210.48/1190.07	c cleaning 151002 clauses out of 302026 with flag 24329225/15321140
1224.92/1204.30	c cleaning 151996 clauses out of 304024 with flag 24648860/15474140
1239.53/1218.70	c cleaning 153001 clauses out of 306027 with flag 24973845/15628139
1254.42/1233.56	c cleaning 154001 clauses out of 308027 with flag 25299751/15783140
1270.44/1248.26	c cleaning 155002 clauses out of 310025 with flag 25628361/15939139
1285.55/1263.06	c cleaning 155998 clauses out of 312023 with flag 25958854/16096139
1301.08/1278.49	c cleaning 157003 clauses out of 314025 with flag 26290939/16254139
1321.45/1298.50	c cleaning 157998 clauses out of 316022 with flag 26625814/16413139
1336.81/1313.77	c cleaning 159000 clauses out of 318024 with flag 26961930/16573139
1353.37/1330.05	c cleaning 160001 clauses out of 320024 with flag 27301450/16734139
1371.26/1347.63	c cleaning 160995 clauses out of 322023 with flag 27642669/16896139
1388.52/1364.77	c cleaning 162003 clauses out of 324029 with flag 27985200/17059140
1405.59/1381.60	c cleaning 163003 clauses out of 326027 with flag 28328941/17223141
1426.65/1402.41	c cleaning 163999 clauses out of 328022 with flag 28673746/17388139
1446.08/1421.72	c cleaning 164999 clauses out of 330025 with flag 29022196/17554141
1464.58/1440.05	c cleaning 165995 clauses out of 332024 with flag 29371770/17721139
1482.17/1457.45	c cleaning 166999 clauses out of 334029 with flag 29723808/17889139
1500.48/1475.70	c cleaning 168006 clauses out of 336030 with flag 30079316/18058139
1520.29/1495.40	c cleaning 169005 clauses out of 338024 with flag 30438260/18228139
1539.60/1513.42	c cleaning 169999 clauses out of 340019 with flag 30796704/18399139
1557.89/1531.53	c cleaning 170999 clauses out of 342020 with flag 31156827/18571139
1575.55/1549.07	c cleaning 171997 clauses out of 344022 with flag 31520121/18744140
1594.70/1567.97	c cleaning 173001 clauses out of 346024 with flag 31885002/18918139
1613.37/1586.55	c cleaning 174005 clauses out of 348024 with flag 32252496/19093140
1630.12/1602.95	c cleaning 174996 clauses out of 350018 with flag 32621431/19269139
1650.78/1623.52	c cleaning 175999 clauses out of 352022 with flag 32993069/19446139
1670.13/1642.63	c cleaning 176997 clauses out of 354023 with flag 33365574/19624139
1687.49/1659.86	c cleaning 178002 clauses out of 356027 with flag 33741451/19803140
1711.22/1683.18	c cleaning 179005 clauses out of 358024 with flag 34119379/19983139
1732.79/1704.56	c cleaning 179999 clauses out of 360020 with flag 34502881/20164140
1754.90/1726.36	c cleaning 180999 clauses out of 362020 with flag 34887037/20346139
1772.37/1743.79	c cleaning 182002 clauses out of 364022 with flag 35273580/20529140
1791.59/1762.75	c cleaning 183001 clauses out of 366020 with flag 35659845/20713140
1812.12/1783.12	c cleaning 183996 clauses out of 368018 with flag 36048611/20898139
1832.00/1802.66	c cleaning 185002 clauses out of 370023 with flag 36437448/21084140
1844.67/1815.18	c Got one! Elapsed wall clock time (in seconds):1815.059
1844.67/1815.18	o 221
1852.46/1822.98	c cleaning 184272 clauses out of 368567 with flag 10894/21267686
1856.09/1826.32	c cleaning 95141 clauses out of 190295 with flag 23198/21273686
1857.09/1827.32	c cleaning 51069 clauses out of 102154 with flag 37620/21280686
1857.69/1827.91	c cleaning 29530 clauses out of 59084 with flag 54121/21288685
1858.09/1828.31	c cleaning 19272 clauses out of 38555 with flag 73606/21297686
1858.39/1828.64	c cleaning 14630 clauses out of 29282 with flag 94611/21307685
1858.79/1829.01	c cleaning 12818 clauses out of 25652 with flag 117643/21318685
1859.18/1829.41	c cleaning 12411 clauses out of 24835 with flag 142632/21330686
1859.58/1829.87	c cleaning 12703 clauses out of 25424 with flag 169606/21343686
1860.08/1830.33	c cleaning 13350 clauses out of 26721 with flag 198931/21357686
1860.58/1830.85	c cleaning 14176 clauses out of 28370 with flag 230284/21372685
1861.18/1831.43	c cleaning 15087 clauses out of 30194 with flag 263619/21388685
1862.23/1832.23	c cleaning 16044 clauses out of 32107 with flag 299648/21405685
1862.93/1832.92	c cleaning 17020 clauses out of 34064 with flag 337133/21423686
1863.63/1833.68	c cleaning 18014 clauses out of 36044 with flag 376472/21442686
1864.52/1834.57	c cleaning 19005 clauses out of 38030 with flag 419386/21462686
1865.42/1835.46	c cleaning 20002 clauses out of 40024 with flag 463345/21483685
1866.32/1836.39	c cleaning 21002 clauses out of 42023 with flag 509460/21505686
1867.46/1837.41	c cleaning 21995 clauses out of 44021 with flag 557532/21528686
1868.46/1838.46	c cleaning 23006 clauses out of 46026 with flag 608087/21552686
1869.56/1839.52	c cleaning 24001 clauses out of 48020 with flag 660238/21577686
1870.66/1840.60	c cleaning 24997 clauses out of 50018 with flag 714586/21603685
1871.76/1841.79	c cleaning 25996 clauses out of 52022 with flag 770983/21630686
1873.24/1843.14	c cleaning 27001 clauses out of 54025 with flag 829436/21658685
1874.43/1844.36	c cleaning 28001 clauses out of 56024 with flag 889915/21687685
1875.78/1845.72	c cleaning 28999 clauses out of 58023 with flag 952593/21717685
1877.18/1847.17	c cleaning 29999 clauses out of 60024 with flag 1017112/21748685
1878.57/1848.50	c cleaning 31002 clauses out of 62027 with flag 1083954/21780687
1880.16/1850.08	c cleaning 31997 clauses out of 64024 with flag 1152992/21813686
1881.75/1851.61	c cleaning 33000 clauses out of 66026 with flag 1223518/21847685
1883.25/1853.13	c cleaning 33998 clauses out of 68026 with flag 1296699/21882685
1884.74/1854.63	c cleaning 35001 clauses out of 70028 with flag 1371854/21918685
1886.44/1856.31	c cleaning 36004 clauses out of 72028 with flag 1448760/21955686
1888.29/1858.15	c cleaning 37002 clauses out of 74024 with flag 1528045/21993686
1889.99/1859.89	c cleaning 37998 clauses out of 76021 with flag 1609566/22032685
1891.78/1861.66	c cleaning 38997 clauses out of 78023 with flag 1693058/22072685
1893.98/1863.82	c cleaning 40006 clauses out of 80026 with flag 1779325/22113685
1896.40/1866.12	c cleaning 41002 clauses out of 82020 with flag 1867193/22155685
1898.89/1868.62	c cleaning 41997 clauses out of 84018 with flag 1956382/22198685
1900.98/1870.77	c cleaning 43001 clauses out of 86022 with flag 2048308/22242686
1903.39/1873.18	c cleaning 43994 clauses out of 88020 with flag 2142500/22287685
1906.31/1875.93	c cleaning 45005 clauses out of 90027 with flag 2238125/22333686
1908.71/1878.38	c cleaning 45997 clauses out of 92021 with flag 2336333/22380685
1911.20/1880.82	c cleaning 47004 clauses out of 94025 with flag 2436553/22428686
1913.60/1883.28	c cleaning 47995 clauses out of 96020 with flag 2539269/22477685
1916.48/1886.09	c cleaning 49004 clauses out of 98025 with flag 2644048/22527685
1919.27/1888.80	c cleaning 49996 clauses out of 100022 with flag 2750985/22578686
1922.06/1891.67	c cleaning 51001 clauses out of 102026 with flag 2859720/22630686
1925.25/1894.83	c cleaning 52000 clauses out of 104024 with flag 2971054/22683685
1928.54/1898.01	c cleaning 52998 clauses out of 106024 with flag 3084463/22737685
1932.03/1901.54	c cleaning 53996 clauses out of 108026 with flag 3199947/22792685
1935.02/1904.59	c cleaning 55004 clauses out of 110030 with flag 3316864/22848685
1938.41/1907.97	c cleaning 56001 clauses out of 112026 with flag 3435518/22905685
1941.71/1911.13	c cleaning 56999 clauses out of 114025 with flag 3556952/22963685
1944.90/1914.32	c cleaning 57999 clauses out of 116028 with flag 3680050/23022687
1948.39/1917.84	c cleaning 59001 clauses out of 118027 with flag 3805967/23082685
1952.18/1921.69	c cleaning 60004 clauses out of 120026 with flag 3933791/23143685
1956.51/1925.87	c cleaning 61002 clauses out of 122023 with flag 4063475/23205686
1960.60/1929.96	c cleaning 61995 clauses out of 124021 with flag 4195533/23268686
1964.59/1933.99	c cleaning 63001 clauses out of 126025 with flag 4328993/23332685
1968.88/1938.22	c cleaning 63998 clauses out of 128024 with flag 4464669/23397685
1973.60/1942.84	c cleaning 65003 clauses out of 130027 with flag 4603060/23463686
1978.35/1947.60	c cleaning 65997 clauses out of 132023 with flag 4743293/23530685
1982.12/1951.44	c cleaning 67000 clauses out of 134027 with flag 4885970/23598686
1986.19/1955.57	c cleaning 67999 clauses out of 136027 with flag 5031380/23667686
1991.23/1960.57	c cleaning 68996 clauses out of 138027 with flag 5178288/23737685
1996.00/1965.31	c cleaning 69999 clauses out of 140032 with flag 5327046/23808686
2000.76/1970.19	c cleaning 71005 clauses out of 142032 with flag 5478198/23880685
2005.62/1975.09	c cleaning 72002 clauses out of 144027 with flag 5631122/23953685
2011.23/1980.55	c cleaning 73000 clauses out of 146028 with flag 5785665/24027688
2016.98/1986.36	c cleaning 73998 clauses out of 148025 with flag 5942316/24102685
2022.92/1992.36	c cleaning 75001 clauses out of 150028 with flag 6100958/24178686
2027.50/1996.97	c cleaning 76003 clauses out of 152026 with flag 6261790/24255685
2033.23/2002.67	c cleaning 77001 clauses out of 154024 with flag 6424147/24333686
2037.79/2007.22	c cleaning 77999 clauses out of 156023 with flag 6589776/24412686
2043.14/2012.61	c cleaning 79003 clauses out of 158023 with flag 6757242/24492685
2048.30/2017.81	c cleaning 79995 clauses out of 160020 with flag 6927341/24573685
2053.84/2023.22	c cleaning 81000 clauses out of 162026 with flag 7099099/24655686
2059.80/2029.27	c cleaning 81997 clauses out of 164025 with flag 7273111/24738685
2066.04/2035.57	c cleaning 83000 clauses out of 166029 with flag 7448951/24822686
2072.97/2042.31	c cleaning 84002 clauses out of 168028 with flag 7626557/24907685
2078.56/2047.98	c cleaning 84998 clauses out of 170027 with flag 7807979/24993686
2084.15/2053.57	c cleaning 86000 clauses out of 172028 with flag 7990834/25080685
2090.53/2059.87	c cleaning 87004 clauses out of 174028 with flag 8175332/25168685
2096.12/2065.41	c cleaning 88000 clauses out of 176024 with flag 8362368/25257685
2102.52/2071.85	c cleaning 89005 clauses out of 178025 with flag 8551947/25347686
2109.71/2079.04	c cleaning 90002 clauses out of 180020 with flag 8743226/25438686
2117.20/2086.32	c cleaning 90999 clauses out of 182018 with flag 8934768/25530686
2124.50/2093.41	c cleaning 91999 clauses out of 184018 with flag 9128797/25623685
2132.50/2101.28	c cleaning 93001 clauses out of 186019 with flag 9324427/25717685
2142.08/2110.87	c cleaning 93999 clauses out of 188019 with flag 9522555/25812686
2150.08/2118.77	c cleaning 95002 clauses out of 190021 with flag 9721629/25908687
2157.75/2126.37	c cleaning 95997 clauses out of 192018 with flag 9924296/26005686
2166.15/2134.69	c cleaning 96998 clauses out of 194020 with flag 10127551/26103685
2173.91/2142.27	c cleaning 98000 clauses out of 196022 with flag 10333527/26202685
2182.20/2150.52	c cleaning 98999 clauses out of 198022 with flag 10542412/26302685
2190.70/2159.04	c cleaning 99999 clauses out of 200024 with flag 10753547/26403686
2199.98/2168.38	c cleaning 101000 clauses out of 202024 with flag 10966221/26505685
2208.50/2176.86	c cleaning 101998 clauses out of 204024 with flag 11181596/26608685
2216.83/2184.93	c cleaning 102997 clauses out of 206026 with flag 11397808/26712685
2225.02/2193.15	c cleaning 104002 clauses out of 208030 with flag 11616882/26817686
2234.02/2202.17	c cleaning 105002 clauses out of 210027 with flag 11837856/26923685
2242.20/2210.39	c cleaning 106001 clauses out of 212026 with flag 12060281/27030686
2249.48/2217.51	c cleaning 107000 clauses out of 214025 with flag 12285361/27138686
2258.89/2226.70	c cleaning 108005 clauses out of 216025 with flag 12511677/27247686
2270.69/2238.39	c cleaning 108997 clauses out of 218019 with flag 12743696/27357685
2281.90/2249.32	c cleaning 109998 clauses out of 220023 with flag 12974542/27468686
2290.78/2258.28	c cleaning 111002 clauses out of 222024 with flag 13207834/27580685
2301.99/2269.43	c cleaning 112001 clauses out of 224022 with flag 13443348/27693685
2311.97/2279.36	c cleaning 112999 clauses out of 226021 with flag 13680465/27807685
2320.46/2287.83	c cleaning 113999 clauses out of 228023 with flag 13919249/27922686
2330.08/2297.47	c cleaning 115003 clauses out of 230024 with flag 14165206/28038686
2338.67/2306.08	c cleaning 115994 clauses out of 232020 with flag 14411280/28155685
2348.34/2315.76	c cleaning 117000 clauses out of 234026 with flag 14657967/28273685
2357.73/2325.14	c cleaning 118001 clauses out of 236027 with flag 14907227/28392686
2368.32/2335.58	c cleaning 118999 clauses out of 238026 with flag 15157534/28512686
2381.41/2348.52	c cleaning 120001 clauses out of 240026 with flag 15409432/28633685
2393.99/2361.16	c cleaning 120996 clauses out of 242025 with flag 15663808/28755685
2404.46/2371.67	c cleaning 122005 clauses out of 244031 with flag 15919872/28878687
2412.86/2380.01	c cleaning 122996 clauses out of 246024 with flag 16178984/29002685
2423.96/2391.04	c cleaning 124002 clauses out of 248028 with flag 16441389/29127685
2434.82/2401.70	c cleaning 124998 clauses out of 250026 with flag 16704376/29253685
2446.07/2412.71	c cleaning 125998 clauses out of 252028 with flag 16970069/29380685
2456.85/2423.39	c cleaning 127004 clauses out of 254030 with flag 17237346/29508685
2468.11/2434.41	c cleaning 127998 clauses out of 256027 with flag 17507709/29637686
2480.30/2446.58	c cleaning 129003 clauses out of 258029 with flag 17780121/29767686
2493.04/2459.29	c cleaning 129999 clauses out of 260025 with flag 18054295/29898685
2504.90/2471.10	c cleaning 131001 clauses out of 262027 with flag 18331128/30030686
2518.70/2484.70	c cleaning 131997 clauses out of 264025 with flag 18609152/30163685
2530.94/2496.82	c cleaning 133002 clauses out of 266030 with flag 18890348/30297687
2543.32/2509.13	c cleaning 133999 clauses out of 268026 with flag 19174356/30432685
2558.03/2523.89	c cleaning 135000 clauses out of 270027 with flag 19459330/30568685
2572.00/2537.67	c cleaning 136002 clauses out of 272027 with flag 19745591/30705685
2588.83/2553.02	c cleaning 136996 clauses out of 274025 with flag 20031556/30843685
2603.57/2567.58	c cleaning 138004 clauses out of 276029 with flag 20319230/30982685
2616.54/2580.27	c cleaning 139006 clauses out of 278026 with flag 20607272/31122686
2629.71/2593.41	c cleaning 140004 clauses out of 280020 with flag 20899438/31263686
2643.31/2607.10	c cleaning 140998 clauses out of 282016 with flag 21195564/31405686
2657.54/2621.29	c cleaning 141996 clauses out of 284017 with flag 21494608/31548685
2671.71/2635.35	c cleaning 143002 clauses out of 286021 with flag 21795565/31692685
2685.03/2648.59	c cleaning 144000 clauses out of 288019 with flag 22097858/31837685
2696.97/2660.39	c cleaning 144999 clauses out of 290019 with flag 22400814/31983685
2710.11/2673.32	c cleaning 145998 clauses out of 292020 with flag 22704754/32130685
2725.58/2688.67	c cleaning 146998 clauses out of 294023 with flag 23009985/32278686
2743.74/2706.81	c cleaning 148000 clauses out of 296025 with flag 23319635/32427686
2760.24/2723.27	c cleaning 149004 clauses out of 298025 with flag 23630016/32577686
2777.41/2740.42	c cleaning 149998 clauses out of 300021 with flag 23942461/32728686
2792.15/2755.05	c cleaning 151004 clauses out of 302022 with flag 24258828/32880685
2809.00/2771.97	c cleaning 152002 clauses out of 304019 with flag 24575757/33033686
2825.45/2788.38	c cleaning 152995 clauses out of 306016 with flag 24894422/33187685
2841.31/2804.25	c cleaning 153999 clauses out of 308022 with flag 25215486/33342686
2858.00/2820.77	c cleaning 154997 clauses out of 310022 with flag 25541639/33498685
2875.41/2838.13	c cleaning 156002 clauses out of 312025 with flag 25869277/33655685
2893.90/2856.61	c cleaning 157000 clauses out of 314023 with flag 26198459/33813685
2910.91/2873.49	c cleaning 158003 clauses out of 316023 with flag 26528837/33972685
2935.13/2897.51	c cleaning 158999 clauses out of 318020 with flag 26861493/34132685
2953.03/2915.39	c cleaning 159996 clauses out of 320022 with flag 27195627/34293686
2970.31/2932.59	c cleaning 161002 clauses out of 322025 with flag 27533075/34455685
2989.07/2951.38	c cleaning 162000 clauses out of 324023 with flag 27870273/34618685
3007.58/2969.80	c cleaning 163000 clauses out of 326024 with flag 28209028/34782686
3027.08/2989.25	c cleaning 164002 clauses out of 328023 with flag 28549474/34947685
3046.10/3008.16	c cleaning 165001 clauses out of 330022 with flag 28892698/35113686
3064.35/3026.21	c cleaning 165994 clauses out of 332021 with flag 29238265/35280686
3085.54/3047.30	c cleaning 166998 clauses out of 334026 with flag 29587870/35448685
3108.95/3070.57	c cleaning 168008 clauses out of 336029 with flag 29938987/35617686
3126.56/3087.92	c cleaning 169000 clauses out of 338020 with flag 30294653/35787685
3143.55/3104.93	c cleaning 169999 clauses out of 340020 with flag 30651511/35958685
3162.47/3123.90	c cleaning 170998 clauses out of 342021 with flag 31009142/36130685
3181.07/3142.58	c cleaning 171999 clauses out of 344023 with flag 31368072/36303685
3202.84/3164.28	c cleaning 173003 clauses out of 346025 with flag 31729212/36477686
3221.53/3182.76	c cleaning 174000 clauses out of 348021 with flag 32094684/36652685
3241.54/3202.61	c cleaning 175000 clauses out of 350021 with flag 32460486/36828685
3261.07/3222.05	c cleaning 175998 clauses out of 352021 with flag 32828833/37005685
3284.30/3245.15	c cleaning 176998 clauses out of 354024 with flag 33199970/37183686
3309.59/3270.40	c cleaning 178002 clauses out of 356027 with flag 33572422/37362687
3330.69/3291.57	c cleaning 179001 clauses out of 358023 with flag 33947285/37542685
3348.63/3309.41	c cleaning 179997 clauses out of 360022 with flag 34326322/37723685
3372.36/3333.11	c cleaning 181002 clauses out of 362026 with flag 34706227/37905686
3396.44/3357.31	c cleaning 181998 clauses out of 364024 with flag 35087484/38088686
3420.96/3382.03	c cleaning 182995 clauses out of 366025 with flag 35469276/38272685
3444.76/3405.65	c cleaning 184004 clauses out of 368030 with flag 35853809/38457685
3469.47/3430.15	c cleaning 185000 clauses out of 370026 with flag 36241546/38643685
3491.24/3451.88	c cleaning 185998 clauses out of 372026 with flag 36629519/38830685
3513.05/3473.64	c cleaning 186997 clauses out of 374029 with flag 37019189/39018686
3536.94/3497.51	c cleaning 188003 clauses out of 376031 with flag 37413004/39207685
3559.05/3519.12	c cleaning 189001 clauses out of 378029 with flag 37809912/39397686
3580.53/3540.45	c cleaning 190004 clauses out of 380029 with flag 38207052/39588687
3600.69/3560.19	c starts		: 4
3600.69/3560.19	c conflicts		: 39780687
3600.69/3560.19	c decisions		: 51887226
3600.69/3560.19	c propagations		: 523568097
3600.69/3560.19	c inspects		: 24594544028
3600.69/3560.19	c shortcuts		: 0
3600.69/3560.19	c learnt literals	: 0
3600.69/3560.19	c learnt binary clauses	: 0
3600.69/3560.19	c learnt ternary clauses	: 0
3600.69/3560.19	c learnt constraints	: 39780687
3600.69/3560.19	c ignored constraints	: 0
3600.69/3560.19	c root simplifications	: 0
3600.69/3560.19	c removed literals (reason simplification)	: 0
3600.69/3560.19	c reason swapping (by a shorter reason)	: 0
3600.69/3560.19	c Calls to reduceDB	: 451
3600.69/3560.19	c Number of update (reduction) of LBD	: 808302
3600.69/3560.19	c Imported unit clauses	: 0
3600.69/3560.19	c No decision after first conflict	: false
3600.69/3560.19	c number of reductions to clauses (during analyze)	: 0
3600.69/3560.19	c number of learned constraints concerned by reduction	: 0
3600.69/3560.19	c number of learning phase by resolution	: 0
3600.69/3560.19	c number of learning phase by cutting planes	: 0
3600.69/3560.19	c number of rounding to 1 operations	: 0
3600.69/3560.19	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.69/3560.19	c number of reductions of the coefficients by power 2 	: 0
3600.69/3560.19	c number of right shift for reduction by power 2 	: 0
3600.69/3560.19	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.69/3560.19	c number of ending skipping 	: 0
3600.69/3560.19	c number of internal skipping 	: 0
3600.69/3560.19	c number of derivation steps 	: 0
3600.69/3560.19	c number of skipped derivation steps 	: 0
3600.69/3560.19	c number of remaining unassigned 	: 0
3600.69/3560.19	c number of remaining assigned 	: 0
3600.69/3560.19	c number of falsified literals weakened from reason	: 0
3600.69/3560.19	c number of falsified literals weakened from conflict	: 0
3600.69/3560.19	c time for arithmetic operations	: 0
3600.69/3560.19	c minimum degree of deleted constraints	: null
3600.69/3560.19	c maximum degree of deleted constraints	: null
3600.69/3560.19	c number of deleted constraints	: 0
3600.69/3560.19	c speed (assignments/second)	: 147069.1944296817
3600.69/3560.19	c non guided choices	: 0
3600.89/3560.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 382025
3600.89/3560.29	s SATISFIABLE
3600.89/3560.29	c Found 3 solution(s)
3600.89/3560.29	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 
3600.89/3560.29	c objective function=221
3600.89/3560.29	c Total wall clock time (in seconds): 3560.162

Verifier Data 

OK	221

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (52120 MiB free)
  memory of node 1: 64510 MiB (48897 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432224-1721089487/watcher-4432224-1721089487 -o /tmp/evaluation-result-4432224-1721089487/solver-4432224-1721089487 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826326 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432224-1721089487.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100079 s]*
/proc/loadavg: 4.21 4.36 4.55 6/330 828117
/proc/meminfo: memFree=103400852/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=18975048 memory=63460 CPUtime=0.14 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 7198 0 0 0 12 2 0 0 20 0 18 0 161118451 19430449152 15865 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4743762 15865 5740 1 0 549326 0
[pid=828099/tid=828101] ppid=828096 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) D 828096 828099 826314 0 -1 1078198336 5731 0 0 0 7 1 0 0 20 0 18 0 161118451 19430449152 15865 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161118454 19430449152 15865 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 161118454 19430449152 15865 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63460 KiB

[startup+0.210304 s]*
/proc/loadavg: 4.21 4.36 4.55 8/331 828118
/proc/meminfo: memFree=103394432/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19041612 memory=69940 CPUtime=0.34 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 7761 0 0 0 32 2 0 0 20 0 19 0 161118451 19498610688 17485 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4760403 17485 5879 1 0 549947 0
[pid=828099/tid=828101] ppid=828096 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 6023 0 0 0 18 1 0 0 20 0 19 0 161118451 19498610688 17485 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19041612 memory=17963 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161118454 19498610688 17485 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161118454 19498610688 17485 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161118469 19498610688 17485 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69940 KiB

[startup+0.305828 s]*
/proc/loadavg: 4.21 4.36 4.55 8/331 828118
/proc/meminfo: memFree=103386124/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19042060 memory=77952 CPUtime=0.52 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 10138 0 0 0 50 2 0 0 20 0 19 0 161118451 19499069440 19488 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4760515 19488 5894 1 0 550891 0
[pid=828099/tid=828101] ppid=828096 vsize=19042060 memory=-8742729756179800764 CPUtime=0.29 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 6038 0 0 0 27 2 0 0 20 0 19 0 161118451 19499069440 19488 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19042060 memory=0 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161118454 19499069440 19488 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19042060 memory=0 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161118454 19499069440 19488 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19042060 memory=0 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161118469 19499069440 19488 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19042060 KiB
Current children cumulated memory: 77952 KiB

[startup+0.700303 s]
/proc/loadavg: 4.21 4.36 4.55 7/331 828118
/proc/meminfo: memFree=103373480/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19041612 memory=101176 CPUtime=1.29 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 13059 0 0 0 125 4 0 0 20 0 19 0 161118451 19498610688 25294 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4760403 25294 5894 1 0 552512 0
[pid=828099/tid=828101] ppid=828096 vsize=19041612 memory=40864 CPUtime=0.68 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 6102 0 0 0 66 2 0 0 20 0 19 0 161118451 19498610688 25294 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19041612 memory=12312 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161118454 19498610688 25294 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161118454 19498610688 25294 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19041612 memory=5568 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161118469 19498610688 25294 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101176 KiB

[startup+1.50029 s]
/proc/loadavg: 4.21 4.36 4.55 6/331 828118
/proc/meminfo: memFree=103327960/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=215248 CPUtime=2.45 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 17519 0 0 0 239 6 0 0 20 0 20 0 161118451 19566772224 53812 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 53812 5910 1 0 553439 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=12312 CPUtime=1.44 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 6509 0 0 0 141 3 0 0 20 0 20 0 161118451 19566772224 53812 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 53812 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=2220 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 53812 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=5568 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 53812 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215248 KiB

[startup+3.10555 s]
/proc/loadavg: 4.20 4.35 4.54 5/332 828119
/proc/meminfo: memFree=103098596/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=266972 CPUtime=4.15 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 18984 0 0 0 408 7 0 0 20 0 20 0 161118451 19566772224 66743 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 66743 5926 1 0 553440 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=0 CPUtime=2.97 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 6822 0 0 0 294 3 0 0 20 0 20 0 161118451 19566772224 66743 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=-8742729756179800764 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 66743 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 66743 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=2220 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 66743 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 266972 KiB

[startup+6.30028 s]
/proc/loadavg: 4.20 4.35 4.54 5/332 828121
/proc/meminfo: memFree=102821388/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=473528 CPUtime=7.53 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 20135 0 0 0 741 12 0 0 20 0 20 0 161118451 19566772224 118382 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 118382 5926 1 0 714263 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=2220 CPUtime=6 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 6958 0 0 0 596 4 0 0 20 0 20 0 161118451 19566772224 118382 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 118382 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 118382 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 118382 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 473528 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.35 4.54 5/308 828142
/proc/meminfo: memFree=115941812/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=888292 CPUtime=14.13 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 22629 0 0 0 1392 21 0 0 20 0 20 0 161118451 19566772224 222073 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 222073 5926 1 0 714273 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=12312 CPUtime=12.07 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 7761 0 0 0 1201 6 0 0 20 0 20 0 161118451 19566772224 222073 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=762808 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 222073 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=40864 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 222073 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 222073 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 14.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 888292 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.36 4.54 5/332 828190
/proc/meminfo: memFree=114272712/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=1546888 CPUtime=27.19 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 26032 0 0 0 2685 34 0 0 20 0 20 0 161118451 19566772224 386722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 386722 5926 1 0 952409 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=1442108 CPUtime=24.36 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 8522 0 0 0 2426 10 0 0 20 0 20 0 161118451 19566772224 386722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=1816 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 386722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 386722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 386722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1546888 KiB

[startup+51.1063 s]
/proc/loadavg: 4.18 4.33 4.53 5/333 828578
/proc/meminfo: memFree=111804920/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=2490284 CPUtime=53.14 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 29149 0 0 0 5260 54 0 0 20 0 20 0 161118451 19566772224 622571 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 622571 5926 1 0 1077743 0

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

/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 2830577 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3321.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11322308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/332 830119
/proc/meminfo: memFree=91780304/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=11324356 CPUtime=3381.56 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 318442 0 0 0 337802 354 0 0 20 0 20 0 161118451 19566772224 2831089 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 2831089 5958 1 0 3078850 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=11324356 CPUtime=3281.16 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 88292 0 0 0 328002 114 0 0 20 0 20 0 161118451 19566772224 2831089 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=11324356 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2831089 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=11324356 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 1134 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2831089 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=11324356 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 2831089 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3381.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11324356 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.18 5/333 830134
/proc/meminfo: memFree=90104796/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=11326408 CPUtime=3441.47 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 319927 0 0 0 343790 357 0 0 20 0 20 0 161118451 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 2831602 5958 1 0 3078850 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=12316 CPUtime=3340.27 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 89373 0 0 0 333912 115 0 0 20 0 20 0 161118451 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=11324356 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=40972 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=-8742729756179800764 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3441.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11326408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/333 830145
/proc/meminfo: memFree=89032956/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=11326408 CPUtime=3501.77 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 321175 0 0 0 349819 358 0 0 20 0 20 0 161118451 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 2831602 5958 1 0 3078850 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=12316 CPUtime=3399.67 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 90223 0 0 0 339852 115 0 0 20 0 20 0 161118451 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=2000 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=11326408 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 2831602 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3501.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11326408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/333 830155
/proc/meminfo: memFree=87156276/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=11858888 CPUtime=3562.24 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 322366 0 0 0 355853 371 0 0 20 0 20 0 161118451 19566772224 2964722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 2964722 5958 1 0 3078850 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=164 CPUtime=3458.91 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 91069 0 0 0 345776 115 0 0 20 0 20 0 161118451 19566772224 2964722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=11858888 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2964722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=11858888 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 2964722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 2964722 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3562.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11858888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3559.8 s]
/proc/loadavg: 4.20 4.18 4.18 5/333 830162
/proc/meminfo: memFree=86745196/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19108176 memory=12258248 CPUtime=3600.09 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 323010 0 0 0 359629 380 0 0 20 0 20 0 161118451 19566772224 3064562 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4777044 3064562 5958 1 0 3078850 0
[pid=828099/tid=828101] ppid=828096 vsize=19108176 memory=5568 CPUtime=3495.87 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 91465 0 0 0 349472 115 0 0 20 0 20 0 161118451 19566772224 3064562 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19108176 memory=5492 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 3064562 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19108176 memory=15976 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 20 0 161118454 19566772224 3064562 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19108176 memory=32284 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161118469 19566772224 3064562 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12258248 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.27 s, system=3.8367 s

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

[startup+3560 s]*
/proc/loadavg: 4.20 4.18 4.18 6/336 830165
/proc/meminfo: memFree=86742692/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19307868 memory=12260684 CPUtime=3600.49 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 324786 0 0 0 359669 380 0 0 20 0 23 0 161118451 19771256832 3065171 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4826967 3065171 5957 1 0 3079721 0
[pid=828099/tid=828101] ppid=828096 vsize=19307868 memory=5000 CPUtime=3495.88 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) S 828096 828099 826314 0 -1 1077936192 91465 0 0 0 349473 115 0 0 20 0 23 0 161118451 19771256832 3065171 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19307868 memory=-8621784585094481309 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 23 0 161118454 19771256832 3065171 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19307868 memory=15384052 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 23 0 161118454 19771256832 3065171 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828118] ppid=828096 vsize=19307868 memory=1900 CPUtime=0 cores=1,3
/proc/828099/task/828118/stat : 828118 (Timer-0) S 828096 828099 826314 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 23 0 161118469 19771256832 3065171 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=830164] ppid=828096 vsize=19307868 memory=2720 CPUtime=0 cores=1,3
/proc/828099/task/830164/stat : 830164 (Thread-0) S 828096 828099 826314 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 23 0 161474432 19771256832 3065171 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=830165] ppid=828096 vsize=19307868 memory=4828 CPUtime=0 cores=1,3
/proc/828099/task/830165/stat : 830165 (Logging-Cleaner) S 828096 828099 826314 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 23 0 161474432 19771256832 3065171 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12260684 KiB

[startup+3560.21 s]
/proc/loadavg: 4.20 4.18 4.18 6/336 830165
/proc/meminfo: memFree=86742692/131524600 swapFree=131071996/131071996
[pid=828099] ppid=828096 vsize=19307868 memory=12260928 CPUtime=3600.89 cores=1,3
/proc/828099/stat : 828099 (java) S 828096 828099 826314 0 -1 1077936128 325710 0 0 0 359709 380 0 0 20 0 21 0 161118451 19771256832 3065232 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
/proc/828099/statm: 4826967 3065232 5957 1 0 3079737 0
[pid=828099/tid=828101] ppid=828096 vsize=19307868 memory=63311 CPUtime=3495.92 cores=1,3
/proc/828099/task/828101/stat : 828101 (java) R 828096 828099 826314 0 -1 4194368 91465 0 0 0 349477 115 0 0 20 0 21 0 161118451 19771256832 3065232 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828110] ppid=828096 vsize=19307868 memory=345662 CPUtime=0 cores=1,3
/proc/828099/task/828110/stat : 828110 (Finalizer) S 828096 828099 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161118454 19771256832 3065232 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=828117] ppid=828096 vsize=19307868 memory=0 CPUtime=0 cores=1,3
/proc/828099/task/828117/stat : 828117 (Common-Cleaner) S 828096 828099 826314 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 21 0 161118454 19771256832 3065232 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
[pid=828099/tid=830164] ppid=828096 vsize=19307868 memory=0 CPUtime=0.01 cores=1,3
/proc/828099/task/830164/stat : 830164 (Thread-0) R 828096 828099 826314 0 -1 4194368 450 0 0 0 1 0 0 0 20 0 21 0 161474432 19771256832 3065232 134679101440 93932457058304 93932457062000 140735989893696 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93932457069816 93932457070608 93932470906880 140735989896199 140735989896289 140735989896289 140735989903304 0
Current children cumulated CPU time: 3600.89 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12260928 KiB

[startup+3560.32 s]*
/proc/loadavg: 4.20 4.18 4.18 5/315 830166
/proc/meminfo: memFree=98720880/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3560.33
CPU time (s): 3601.1
CPU user time (s): 3597.27
CPU system time (s): 3.8367
CPU usage (%): 101.145
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12260928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 3.8367
maximum resident set size= 12261992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326229
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= 119458
involuntary context switches= 17942


# summary of solver processes directly reported to runsolver:
#   pid: 828099
#   total CPU time (s): 3601.1
#   total CPU user time (s): 3597.27
#   total CPU system time (s): 3.8367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.112 second user time and 15.5589 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 02:25:00
IDJOB=4432224
IDBENCH=147548
IDSOLVER=3058
FILE ID=nodeC033/4432224-1721089487
RUNJOBID= nodeC033-1721085950-826326
SLURM_JOB_ID= 7505580
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432224-1721089487/watcher-4432224-1721089487 -o /tmp/evaluation-result-4432224-1721089487/solver-4432224-1721089487 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826326 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432224-1721089487.opb

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

MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=784687295

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        103442948 kB
MemAvailable:   106315148 kB
Buffers:          405068 kB
Cached:          3272984 kB
SwapCached:            0 kB
Active:           655016 kB
Inactive:       26719784 kB
Active(anon):       1564 kB
Inactive(anon): 23732892 kB
Active(file):     653452 kB
Inactive(file):  2986892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:      23696100 kB
Mapped:           124300 kB
Shmem:             37716 kB
KReclaimable:     143008 kB
Slab:             254888 kB
SReclaimable:     143008 kB
SUnreclaim:       111880 kB
KernelStack:        5012 kB
PageTables:        56328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   26624020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60800 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23259136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC033 at 2024-07-16 03:24:20