Trace number 4447592

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.38 3641.48

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n188-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM1c14f117e67441c2f256fb4d1e22e789
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables282
Total number of constraints752
Number of constraints which are clauses752
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.15	c See www.sat4j.org for details.
0.11/0.16	c version CUSTOM.v20240707
0.11/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.18	c java.vm.version	22.0.1+8-16
0.11/0.18	c java.vm.vendor	Oracle Corporation
0.11/0.18	c sun.arch.data.model	64
0.11/0.18	c java.version		22.0.1
0.11/0.18	c os.name		Linux
0.11/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.18	c os.arch		amd64
0.11/0.19	c Free memory 		2113181440
0.11/0.19	c Max memory 		16282288128
0.11/0.19	c Total memory 		2122317824
0.11/0.19	c Number of processors 	2
0.29/0.29	--- Begin Solver configuration ---
0.29/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.29	Learn all clauses as in MiniSAT
0.29/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.29	Expensive reason simplification
0.29/0.29	Glucose 2.1 dynamic restart strategy
0.29/0.29	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.29/0.29	timeout=2147483s
0.29/0.29	DB Simplification allowed=false
0.29/0.29	Listener: none
0.29/0.29	--- End Solver configuration ---
0.29/0.29	c Pseudo Boolean Optimization by upper bound
0.29/0.29	c --- Begin Solver configuration ---
0.29/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.29	c Learn all clauses as in MiniSAT
0.29/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.29	c Expensive reason simplification
0.29/0.29	c Glucose 2.1 dynamic restart strategy
0.29/0.29	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.29/0.29	c timeout=2147483s
0.29/0.29	c DB Simplification allowed=false
0.29/0.29	c Listener: none
0.29/0.29	c --- End Solver configuration ---
0.29/0.29	c solving HOME/instance-4447592-1721827552.opb
0.29/0.29	c reading problem ... 
0.29/0.30	c using VERIPB proof format
0.29/0.30	c  no objective function found
0.46/0.39	c ... done. Wall clock time 0.098s.
0.46/0.39	c declared #vars     282
0.46/0.39	c #constraints  752
0.46/0.39	c constraints type 
0.46/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 752
0.46/0.39	c 752 constraints processed.
2.14/1.29	c cleaning 2495 clauses out of 5001 with flag 15059/5001
2.93/1.60	c cleaning 4246 clauses out of 8506 with flag 36543/11001
3.34/1.83	c cleaning 5624 clauses out of 11259 with flag 62951/18000
3.73/2.03	c cleaning 6814 clauses out of 13635 with flag 94651/26000
4.10/2.22	c cleaning 7908 clauses out of 15821 with flag 133454/35000
4.49/2.41	c cleaning 8951 clauses out of 17914 with flag 169070/45001
4.89/2.62	c cleaning 9981 clauses out of 19962 with flag 213397/56000
5.28/2.87	c cleaning 10983 clauses out of 21982 with flag 263125/68001
5.79/3.13	c cleaning 11994 clauses out of 23998 with flag 320355/81000
6.12/3.41	c cleaning 12994 clauses out of 26005 with flag 381396/95001
6.42/3.73	c cleaning 13999 clauses out of 28010 with flag 442144/110000
6.88/4.11	c cleaning 14998 clauses out of 30011 with flag 518861/126000
7.65/4.54	c cleaning 16000 clauses out of 32013 with flag 593748/143000
8.27/4.95	c cleaning 17004 clauses out of 34014 with flag 678778/161001
8.89/5.40	c cleaning 17999 clauses out of 36010 with flag 775251/180001
9.29/5.89	c cleaning 19002 clauses out of 38012 with flag 873573/200002
10.60/7.17	c cleaning 19996 clauses out of 40008 with flag 980070/221000
11.38/7.99	c cleaning 21003 clauses out of 42012 with flag 1091796/243000
12.09/8.65	c cleaning 21999 clauses out of 44009 with flag 1209234/266000
12.69/9.29	c cleaning 22997 clauses out of 46011 with flag 1323264/290001
13.29/9.89	c cleaning 24002 clauses out of 48013 with flag 1448413/315000
13.99/10.53	c cleaning 24999 clauses out of 50013 with flag 1578164/341002
14.69/11.20	c cleaning 25999 clauses out of 52012 with flag 1710260/368000
15.38/11.97	c cleaning 27003 clauses out of 54013 with flag 1850143/396000
16.27/12.86	c cleaning 28000 clauses out of 56011 with flag 1991270/425001
17.17/13.72	c cleaning 28994 clauses out of 58010 with flag 2144977/455000
18.17/14.76	c cleaning 30003 clauses out of 60017 with flag 2316930/486001
19.16/15.78	c cleaning 31001 clauses out of 62013 with flag 2476960/518000
20.17/16.74	c cleaning 31999 clauses out of 64012 with flag 2635615/551000
21.16/17.71	c cleaning 33000 clauses out of 66014 with flag 2804987/585001
22.16/18.72	c cleaning 34000 clauses out of 68013 with flag 2976227/620000
23.17/19.78	c cleaning 34999 clauses out of 70015 with flag 3141221/656002
24.27/20.80	c cleaning 36000 clauses out of 72015 with flag 3315299/693001
25.27/21.84	c cleaning 37000 clauses out of 74014 with flag 3490413/731000
26.59/23.14	c cleaning 37999 clauses out of 76015 with flag 3673921/770001
27.88/24.47	c cleaning 39005 clauses out of 78015 with flag 3869889/810000
29.18/25.73	c cleaning 39999 clauses out of 80011 with flag 4071143/851001
30.87/27.44	c cleaning 40998 clauses out of 82011 with flag 4280101/893000
32.18/28.77	c cleaning 41997 clauses out of 84014 with flag 4514964/936001
33.87/30.42	c cleaning 43003 clauses out of 86016 with flag 4757009/980000
35.76/32.37	c cleaning 43996 clauses out of 88013 with flag 5001511/1025000
37.66/34.25	c cleaning 44999 clauses out of 90017 with flag 5242356/1071000
39.47/36.20	c cleaning 46000 clauses out of 92019 with flag 5487590/1118001
41.38/38.18	c cleaning 46999 clauses out of 94018 with flag 5751556/1166000
42.95/39.73	c cleaning 48004 clauses out of 96019 with flag 6006992/1215000
44.62/41.43	c cleaning 48999 clauses out of 98016 with flag 6251485/1265001
46.42/43.23	c cleaning 49999 clauses out of 100016 with flag 6517526/1316000
48.23/45.05	c cleaning 51004 clauses out of 102017 with flag 6774109/1368000
50.41/47.20	c cleaning 52000 clauses out of 104013 with flag 7037868/1421000
52.11/48.91	c cleaning 53000 clauses out of 106013 with flag 7302250/1475000
54.01/50.83	c cleaning 53999 clauses out of 108014 with flag 7575437/1530001
56.10/52.91	c cleaning 54998 clauses out of 110014 with flag 7868115/1586000
58.01/54.85	c cleaning 56004 clauses out of 112018 with flag 8171837/1643002
60.23/57.02	c cleaning 57002 clauses out of 114012 with flag 8479907/1701000
62.13/58.95	c cleaning 57999 clauses out of 116011 with flag 8785895/1760001
64.42/61.26	c cleaning 58996 clauses out of 118012 with flag 9104611/1820001
66.71/63.54	c cleaning 60000 clauses out of 120016 with flag 9457391/1881001
68.90/65.76	c cleaning 61001 clauses out of 122015 with flag 9781674/1943000
71.00/67.88	c cleaning 62002 clauses out of 124015 with flag 10092293/2006001
73.08/69.98	c cleaning 62998 clauses out of 126012 with flag 10397541/2070000
75.27/72.34	c cleaning 63999 clauses out of 128015 with flag 10730614/2135001
77.55/74.61	c cleaning 64998 clauses out of 130016 with flag 11069921/2201001
79.74/76.87	c cleaning 66003 clauses out of 132017 with flag 11414213/2268000
81.96/79.03	c cleaning 67005 clauses out of 134015 with flag 11739260/2336001
84.34/81.43	c cleaning 67995 clauses out of 136009 with flag 12066545/2405000
86.94/84.10	c cleaning 69000 clauses out of 138015 with flag 12411491/2475001
89.46/86.59	c cleaning 70003 clauses out of 140014 with flag 12772002/2546000
91.96/89.09	c cleaning 70998 clauses out of 142012 with flag 13142114/2618001
94.78/91.84	c cleaning 71999 clauses out of 144014 with flag 13520511/2691001
97.87/94.95	c cleaning 72998 clauses out of 146016 with flag 13871379/2765002
100.77/97.83	c cleaning 74001 clauses out of 148016 with flag 14221066/2840000
103.46/100.56	c cleaning 74997 clauses out of 150016 with flag 14596056/2916001
106.24/103.54	c cleaning 76004 clauses out of 152018 with flag 14987687/2993000
108.92/106.21	c cleaning 76999 clauses out of 154014 with flag 15374376/3071000
111.92/109.24	c cleaning 78001 clauses out of 156015 with flag 15750640/3150000
115.35/112.63	c cleaning 79003 clauses out of 158015 with flag 16134240/3230001
118.54/115.82	c cleaning 80001 clauses out of 160012 with flag 16560979/3311001
121.64/118.94	c cleaning 81002 clauses out of 162011 with flag 16986285/3393001
126.47/123.71	c cleaning 81998 clauses out of 164009 with flag 17420072/3476001
129.65/126.90	c cleaning 82997 clauses out of 166010 with flag 17844400/3560000
133.60/130.82	c cleaning 83999 clauses out of 168013 with flag 18272486/3645000
136.75/134.14	c cleaning 85003 clauses out of 170017 with flag 18677290/3731003
140.38/137.79	c cleaning 86001 clauses out of 172011 with flag 19120807/3818000
143.79/141.14	c cleaning 86996 clauses out of 174010 with flag 19544358/3906000
146.97/144.35	c cleaning 88001 clauses out of 176016 with flag 19977915/3995002
151.17/148.57	c cleaning 88999 clauses out of 178013 with flag 20426254/4085000
155.56/153.00	c cleaning 90000 clauses out of 180014 with flag 20880588/4176000
160.14/157.48	c cleaning 91002 clauses out of 182015 with flag 21337353/4268001
164.44/161.71	c cleaning 91997 clauses out of 184012 with flag 21794244/4361000
168.90/166.38	c cleaning 93001 clauses out of 186015 with flag 22255288/4455000
173.30/170.78	c cleaning 94003 clauses out of 188014 with flag 22731314/4550000
179.84/177.25	c cleaning 94999 clauses out of 190012 with flag 23217190/4646001
186.03/183.49	c cleaning 96000 clauses out of 192014 with flag 23724134/4743002
191.11/188.45	c cleaning 96999 clauses out of 194013 with flag 24231545/4841001
195.51/192.88	c cleaning 98000 clauses out of 196013 with flag 24743554/4940000
202.24/199.65	c cleaning 99000 clauses out of 198013 with flag 25255493/5040000
207.65/205.06	c cleaning 100003 clauses out of 200014 with flag 25812529/5141001
212.35/209.69	c cleaning 101002 clauses out of 202011 with flag 26350697/5243001
217.17/214.34	c cleaning 101999 clauses out of 204008 with flag 26860838/5346000
221.16/218.39	c cleaning 102999 clauses out of 206009 with flag 27351413/5450000
227.18/223.47	c cleaning 103996 clauses out of 208010 with flag 27860109/5555000
232.15/228.54	c cleaning 105001 clauses out of 210014 with flag 28407700/5661000
238.24/234.55	c cleaning 105998 clauses out of 212014 with flag 28929663/5768001
244.23/240.47	c cleaning 107003 clauses out of 214015 with flag 29419410/5876000
250.63/246.85	c cleaning 107994 clauses out of 216012 with flag 29915166/5985000
257.13/253.26	c cleaning 108999 clauses out of 218018 with flag 30412182/6095000
263.29/259.69	c cleaning 110001 clauses out of 220019 with flag 30915738/6206000
271.08/267.48	c cleaning 111003 clauses out of 222019 with flag 31421189/6318001
277.65/273.94	c cleaning 111998 clauses out of 224016 with flag 31927350/6431001
284.72/280.98	c cleaning 113000 clauses out of 226018 with flag 32445312/6545001
292.42/288.91	c cleaning 114005 clauses out of 228017 with flag 32961122/6660000
299.61/296.07	c cleaning 114994 clauses out of 230013 with flag 33483554/6776001
306.89/303.28	c cleaning 116002 clauses out of 232019 with flag 34018002/6893001
314.47/310.88	c cleaning 116999 clauses out of 234017 with flag 34552650/7011001
322.33/318.87	c cleaning 117996 clauses out of 236017 with flag 35081484/7130000
330.21/326.65	c cleaning 119000 clauses out of 238021 with flag 35608773/7250000
338.10/334.52	c cleaning 120002 clauses out of 240021 with flag 36157905/7371000
345.96/342.37	c cleaning 120998 clauses out of 242019 with flag 36708084/7493000
354.21/350.65	c cleaning 121996 clauses out of 244022 with flag 37273878/7616001
362.72/359.08	c cleaning 123002 clauses out of 246025 with flag 37839094/7740000
370.99/367.32	c cleaning 124000 clauses out of 248023 with flag 38396799/7865000
379.04/375.38	c cleaning 125005 clauses out of 250024 with flag 38967754/7991001
387.85/384.31	c cleaning 126000 clauses out of 252018 with flag 39543773/8118000
396.93/393.31	c cleaning 127000 clauses out of 254019 with flag 40135325/8246001
404.52/400.93	c cleaning 128003 clauses out of 256019 with flag 40725484/8375001
413.72/410.53	c cleaning 128998 clauses out of 258016 with flag 41323077/8505001
422.74/419.58	c cleaning 129997 clauses out of 260018 with flag 41920080/8636001
432.02/428.73	c cleaning 131000 clauses out of 262021 with flag 42518429/8768001
440.71/437.49	c cleaning 131999 clauses out of 264020 with flag 43134240/8901000
449.96/447.13	c cleaning 133000 clauses out of 266021 with flag 43750196/9035000
459.40/456.51	c cleaning 133999 clauses out of 268021 with flag 44366114/9170000
469.03/466.15	c cleaning 134999 clauses out of 270022 with flag 44987899/9306000
479.77/477.53	c cleaning 136004 clauses out of 272024 with flag 45617277/9443001
491.19/488.90	c cleaning 137003 clauses out of 274020 with flag 46242070/9581001
504.12/502.23	c cleaning 138001 clauses out of 276016 with flag 46868912/9720000
513.00/511.08	c cleaning 138995 clauses out of 278015 with flag 47493081/9860000
521.93/519.96	c cleaning 139996 clauses out of 280020 with flag 48119538/10001000
536.05/534.49	c cleaning 141003 clauses out of 282025 with flag 48746387/10143001
550.58/548.96	c cleaning 142001 clauses out of 284022 with flag 49441691/10286001
560.83/559.11	c cleaning 143004 clauses out of 286021 with flag 50301595/10430001
570.16/568.77	c cleaning 144003 clauses out of 288017 with flag 51169728/10575001
579.97/578.52	c cleaning 145002 clauses out of 290013 with flag 51893864/10721000
588.94/587.44	c cleaning 145997 clauses out of 292012 with flag 52689133/10868001
598.59/598.07	c cleaning 146999 clauses out of 294014 with flag 53464484/11016000
607.98/607.36	c cleaning 147999 clauses out of 296015 with flag 54182862/11165000
619.66/619.00	c cleaning 149000 clauses out of 298016 with flag 54905077/11315000
628.14/627.53	c cleaning 150002 clauses out of 300017 with flag 55609975/11466001
637.82/637.20	c cleaning 150995 clauses out of 302014 with flag 56557736/11618000
647.29/646.67	c cleaning 152001 clauses out of 304020 with flag 57408025/11771001
655.48/654.71	c cleaning 153004 clauses out of 306019 with flag 58154635/11925001
665.44/664.92	c cleaning 154001 clauses out of 308014 with flag 58918398/12080000
673.64/673.09	c cleaning 154998 clauses out of 310013 with flag 59683600/12236000
684.83/684.20	c cleaning 155998 clauses out of 312015 with flag 60439479/12393000
696.64/696.52	c cleaning 157002 clauses out of 314018 with flag 61185344/12551001
709.24/709.14	c cleaning 158002 clauses out of 316015 with flag 61947950/12710000
719.07/719.10	c cleaning 159000 clauses out of 318014 with flag 62703295/12870001
728.66/728.55	c cleaning 160001 clauses out of 320015 with flag 63485042/13031002
740.64/740.42	c cleaning 160997 clauses out of 322013 with flag 64387769/13193001
751.04/750.95	c cleaning 161999 clauses out of 324015 with flag 65247375/13356000
761.99/761.71	c cleaning 163000 clauses out of 326016 with flag 66113608/13520000
771.30/770.94	c cleaning 164003 clauses out of 328017 with flag 66911807/13685001
785.66/785.36	c cleaning 165002 clauses out of 330013 with flag 67750938/13851000
795.26/794.84	c cleaning 166000 clauses out of 332012 with flag 68545813/14018001
808.53/808.08	c cleaning 167000 clauses out of 334012 with flag 69384851/14186001
822.33/821.92	c cleaning 168000 clauses out of 336012 with flag 70225436/14355001
832.32/831.82	c cleaning 168998 clauses out of 338012 with flag 71066305/14525001
842.51/843.20	c cleaning 170000 clauses out of 340014 with flag 71917018/14696001
851.96/852.50	c cleaning 170999 clauses out of 342014 with flag 72759819/14868001
864.31/864.89	c cleaning 172002 clauses out of 344015 with flag 73581770/15041001
875.33/877.08	c cleaning 172997 clauses out of 346012 with flag 74427354/15215000
885.81/887.59	c cleaning 174002 clauses out of 348015 with flag 75267606/15390000
895.95/897.71	c cleaning 175003 clauses out of 350013 with flag 76141290/15566000
907.30/910.76	c cleaning 175998 clauses out of 352010 with flag 77010552/15743000
917.84/921.21	c cleaning 177000 clauses out of 354012 with flag 77905424/15921000
931.67/935.11	c cleaning 177996 clauses out of 356012 with flag 78761497/16100000
941.97/945.82	c cleaning 179002 clauses out of 358017 with flag 79625982/16280001
952.41/956.28	c cleaning 179999 clauses out of 360014 with flag 80501933/16461000
962.65/966.43	c cleaning 180999 clauses out of 362016 with flag 81398804/16643001
976.20/980.05	c cleaning 181998 clauses out of 364016 with flag 82325392/16826000
987.87/991.69	c cleaning 183005 clauses out of 366019 with flag 83229856/17010001
1000.46/1003.94	c cleaning 184005 clauses out of 368014 with flag 84143865/17195001
1018.28/1021.71	c cleaning 184995 clauses out of 370008 with flag 85135295/17381000
1029.43/1033.27	c cleaning 186001 clauses out of 372013 with flag 86039673/17568000
1041.15/1044.98	c cleaning 187003 clauses out of 374012 with flag 86953464/17756000
1053.10/1056.84	c cleaning 188004 clauses out of 376009 with flag 87869346/17945000
1064.39/1068.31	c cleaning 188998 clauses out of 378005 with flag 88809969/18135000
1077.03/1080.93	c cleaning 189998 clauses out of 380007 with flag 89776243/18326000
1089.06/1093.45	c cleaning 190995 clauses out of 382009 with flag 90708365/18518000
1100.24/1104.61	c cleaning 192000 clauses out of 384015 with flag 91637515/18711001
1112.06/1116.47	c cleaning 192997 clauses out of 386014 with flag 92589419/18905000
1125.54/1134.29	c cleaning 194002 clauses out of 388018 with flag 93523521/19100001
1138.28/1146.94	c cleaning 195000 clauses out of 390016 with flag 94502438/19296001
1152.10/1161.13	c cleaning 196000 clauses out of 392015 with flag 95475400/19493000
1163.83/1172.85	c cleaning 196998 clauses out of 394016 with flag 96411440/19691001
1176.66/1185.75	c cleaning 197998 clauses out of 396018 with flag 97415159/19890001
1190.56/1199.65	c cleaning 199002 clauses out of 398019 with flag 98408861/20090000
1205.88/1215.05	c cleaning 200000 clauses out of 400017 with flag 99396970/20291000
1221.52/1230.54	c cleaning 201001 clauses out of 402017 with flag 100391472/20493000
1245.26/1256.00	c cleaning 201999 clauses out of 404016 with flag 101424382/20696000
1257.92/1268.59	c cleaning 203009 clauses out of 406017 with flag 102380115/20900000
1272.07/1283.49	c cleaning 204002 clauses out of 408009 with flag 103345716/21105001
1284.94/1296.26	c cleaning 204994 clauses out of 410007 with flag 104309078/21311001
1298.87/1310.79	c cleaning 206000 clauses out of 412012 with flag 105279840/21518000
1312.41/1324.25	c cleaning 206999 clauses out of 414013 with flag 106303270/21726001
1324.63/1336.59	c cleaning 207997 clauses out of 416014 with flag 107305494/21935001
1341.42/1353.34	c cleaning 209003 clauses out of 418016 with flag 108311531/22145000
1352.97/1364.83	c cleaning 209995 clauses out of 420014 with flag 109318288/22356001
1367.80/1380.01	c cleaning 211000 clauses out of 422018 with flag 110279785/22568000
1402.93/1415.79	c cleaning 211997 clauses out of 424018 with flag 111180591/22781000
1419.35/1432.30	c cleaning 213006 clauses out of 426022 with flag 112438229/22995001
1433.24/1446.19	c cleaning 213999 clauses out of 428016 with flag 113456208/23210001
1446.16/1459.11	c cleaning 215004 clauses out of 430017 with flag 114514466/23426001
1460.88/1474.22	c cleaning 216000 clauses out of 432013 with flag 115515434/23643001
1475.73/1489.06	c cleaning 216997 clauses out of 434012 with flag 116484522/23861000
1494.95/1508.86	c cleaning 217999 clauses out of 436015 with flag 117481407/24080000
1509.15/1523.30	c cleaning 219002 clauses out of 438017 with flag 118509702/24300001
1522.99/1536.94	c cleaning 219999 clauses out of 440014 with flag 119570789/24521000
1537.34/1551.20	c cleaning 221003 clauses out of 442016 with flag 120609456/24743001
1554.22/1568.39	c cleaning 222000 clauses out of 444013 with flag 121597429/24966001
1567.35/1581.48	c cleaning 222999 clauses out of 446012 with flag 122660957/25190000
1584.57/1598.78	c cleaning 223995 clauses out of 448013 with flag 123619005/25415000
1599.90/1614.53	c cleaning 225003 clauses out of 450019 with flag 124710786/25641001
1613.45/1628.06	c cleaning 225998 clauses out of 452015 with flag 125780276/25868000
1630.65/1645.57	c cleaning 227004 clauses out of 454017 with flag 126827280/26096000
1649.87/1664.68	c cleaning 227998 clauses out of 456013 with flag 127918171/26325000
1666.27/1681.32	c cleaning 229003 clauses out of 458016 with flag 129026888/26555001
1682.49/1697.55	c cleaning 230001 clauses out of 460013 with flag 130130811/26786001
1696.41/1711.95	c cleaning 230997 clauses out of 462012 with flag 131193270/27018001
1712.46/1727.98	c cleaning 232000 clauses out of 464015 with flag 132228014/27251001
1728.27/1744.15	c cleaning 232998 clauses out of 466015 with flag 133326784/27485001
1747.92/1763.72	c cleaning 233997 clauses out of 468017 with flag 134329785/27720001
1767.34/1783.38	c cleaning 234999 clauses out of 470019 with flag 135404945/27956000
1785.76/1802.08	c cleaning 235999 clauses out of 472020 with flag 136518972/28193000
1802.01/1818.27	c cleaning 237003 clauses out of 474022 with flag 137641365/28431001
1819.50/1836.03	c cleaning 238002 clauses out of 476019 with flag 138787889/28670001
1838.37/1854.88	c cleaning 238999 clauses out of 478017 with flag 139907483/28910001
1857.08/1873.76	c cleaning 240002 clauses out of 480018 with flag 141064094/29151001
1879.41/1896.34	c cleaning 240999 clauses out of 482016 with flag 142240670/29393001
1897.84/1914.70	c cleaning 242000 clauses out of 484017 with flag 143237347/29636001
1918.11/1935.15	c cleaning 243004 clauses out of 486017 with flag 144387673/29880001
1940.16/1957.29	c cleaning 243997 clauses out of 488012 with flag 145486679/30125000
1956.31/1973.32	c cleaning 245000 clauses out of 490015 with flag 146642667/30371000
1974.82/1992.57	c cleaning 246000 clauses out of 492015 with flag 147812339/30618000
1990.76/2008.42	c cleaning 247002 clauses out of 494015 with flag 149004806/30866000
2007.20/2025.33	c cleaning 248001 clauses out of 496014 with flag 150173672/31115001
2026.52/2045.36	c cleaning 248995 clauses out of 498013 with flag 151368769/31365001
2045.81/2064.51	c cleaning 250003 clauses out of 500017 with flag 152516703/31616000
2065.71/2085.66	c cleaning 250999 clauses out of 502014 with flag 153688419/31868000
2083.17/2103.04	c cleaning 251997 clauses out of 504015 with flag 154845458/32121000
2103.18/2123.85	c cleaning 253008 clauses out of 506018 with flag 156047609/32375000
2123.68/2144.87	c cleaning 253996 clauses out of 508010 with flag 157284242/32630000
2141.03/2162.19	c cleaning 254999 clauses out of 510014 with flag 158439215/32886000
2159.92/2181.12	c cleaning 255999 clauses out of 512015 with flag 159684778/33143000
2179.10/2200.68	c cleaning 256998 clauses out of 514016 with flag 160913931/33401000
2199.03/2220.56	c cleaning 257999 clauses out of 516019 with flag 162200045/33660001
2217.93/2239.40	c cleaning 259005 clauses out of 518020 with flag 163419731/33920001
2237.36/2259.24	c cleaning 259996 clauses out of 520014 with flag 164615276/34181000
2261.19/2283.05	c cleaning 261001 clauses out of 522018 with flag 165888384/34443000
2280.80/2302.66	c cleaning 262004 clauses out of 524019 with flag 167170470/34706002
2297.14/2318.95	c cleaning 262999 clauses out of 526013 with flag 168434257/34970000
2318.60/2340.42	c cleaning 263999 clauses out of 528014 with flag 169732884/35235000
2340.99/2362.82	c cleaning 265003 clauses out of 530015 with flag 170911284/35501000
2360.18/2382.16	c cleaning 265999 clauses out of 532013 with flag 172121525/35768001
2380.63/2402.50	c cleaning 266995 clauses out of 534013 with flag 173388435/36036000
2404.63/2426.50	c cleaning 267995 clauses out of 536018 with flag 174560856/36305000
2426.61/2448.53	c cleaning 269004 clauses out of 538024 with flag 175868553/36575001
2446.30/2468.19	c cleaning 270001 clauses out of 540019 with flag 177087855/36846000
2466.88/2488.72	c cleaning 271002 clauses out of 542019 with flag 178401144/37118001
2487.70/2509.95	c cleaning 272000 clauses out of 544017 with flag 179676635/37391001
2511.01/2533.28	c cleaning 273002 clauses out of 546016 with flag 180977732/37665000
2531.57/2553.74	c cleaning 274001 clauses out of 548014 with flag 182290495/37940000
2554.09/2576.52	c cleaning 274997 clauses out of 550014 with flag 183619411/38216001
2572.82/2595.27	c cleaning 275997 clauses out of 552016 with flag 184900210/38493000
2592.40/2615.31	c cleaning 277004 clauses out of 554019 with flag 186144626/38771000
2613.79/2637.75	c cleaning 278003 clauses out of 556016 with flag 187450573/39050001
2636.06/2662.07	c cleaning 279003 clauses out of 558013 with flag 188796211/39330001
2669.99/2695.77	c cleaning 279997 clauses out of 560009 with flag 190165670/39611000
2690.94/2716.51	c cleaning 280998 clauses out of 562013 with flag 191515095/39893001
2714.31/2740.39	c cleaning 282004 clauses out of 564014 with flag 192921430/40176000
2737.19/2764.03	c cleaning 282998 clauses out of 566010 with flag 194301606/40460000
2760.30/2787.67	c cleaning 283999 clauses out of 568013 with flag 195698497/40745001
2782.48/2809.89	c cleaning 284996 clauses out of 570013 with flag 197057160/41031000
2811.56/2839.28	c cleaning 286000 clauses out of 572018 with flag 198406225/41318001
2833.89/2861.71	c cleaning 287006 clauses out of 574018 with flag 199769672/41606001
2855.37/2883.56	c cleaning 287999 clauses out of 576011 with flag 201158269/41895000
2876.53/2904.60	c cleaning 288998 clauses out of 578012 with flag 202522807/42185000
2904.41/2932.98	c cleaning 290003 clauses out of 580015 with flag 203982691/42476001
2928.32/2957.08	c cleaning 291002 clauses out of 582013 with flag 205317119/42768002
2952.79/2981.60	c cleaning 291998 clauses out of 584010 with flag 206630230/43061001
2975.72/3004.63	c cleaning 292998 clauses out of 586011 with flag 208011427/43355000
2999.57/3028.41	c cleaning 294002 clauses out of 588013 with flag 209393038/43650000
3029.33/3058.38	c cleaning 294997 clauses out of 590012 with flag 210814657/43946001
3056.30/3085.47	c cleaning 296000 clauses out of 592014 with flag 212259555/44243000
3079.63/3109.04	c cleaning 297002 clauses out of 594015 with flag 213506899/44541001
3106.87/3137.40	c cleaning 297997 clauses out of 596012 with flag 214901494/44840000
3131.06/3161.60	c cleaning 298999 clauses out of 598015 with flag 216345879/45140000
3156.34/3187.06	c cleaning 300001 clauses out of 600016 with flag 217688752/45441000
3183.38/3213.95	c cleaning 301003 clauses out of 602016 with flag 219139784/45743001
3207.78/3238.49	c cleaning 301999 clauses out of 604013 with flag 220580221/46046001
3231.05/3261.93	c cleaning 302997 clauses out of 606014 with flag 221981821/46350001
3255.06/3286.66	c cleaning 303997 clauses out of 608017 with flag 223452988/46655001
3282.20/3316.17	c cleaning 305000 clauses out of 610019 with flag 224854852/46961000
3307.36/3342.35	c cleaning 306002 clauses out of 612019 with flag 226320673/47268000
3334.50/3370.15	c cleaning 306999 clauses out of 614018 with flag 227828877/47576001
3359.26/3394.82	c cleaning 307995 clauses out of 616018 with flag 229203323/47885000
3385.97/3422.22	c cleaning 309000 clauses out of 618023 with flag 230636678/48195000
3415.30/3452.30	c cleaning 310005 clauses out of 620023 with flag 232123834/48506000
3449.50/3487.16	c cleaning 311000 clauses out of 622019 with flag 233619915/48818001
3478.28/3518.92	c cleaning 312005 clauses out of 624020 with flag 235123140/49131002
3504.98/3545.64	c cleaning 313000 clauses out of 626013 with flag 236652341/49445000
3534.15/3574.96	c cleaning 314000 clauses out of 628013 with flag 238125457/49760000
3561.80/3602.69	c cleaning 315001 clauses out of 630014 with flag 239625626/50076001
3590.00/3631.13	c cleaning 315998 clauses out of 632013 with flag 241161398/50393001
3600.08/3641.22	c timeout
3600.08/3641.22	c starts		: 71086
3600.08/3641.25	c conflicts		: 50569819
3600.08/3641.25	c decisions		: 61445642
3600.08/3641.25	c propagations		: 368296385
3600.08/3641.25	c inspects		: 31928227490
3600.08/3641.25	c shortcuts		: 0
3600.08/3641.25	c learnt literals	: 0
3600.08/3641.25	c learnt binary clauses	: 0
3600.08/3641.25	c learnt ternary clauses	: 4
3600.08/3641.26	c learnt constraints	: 50569819
3600.08/3641.26	c ignored constraints	: 0
3600.08/3641.26	c root simplifications	: 0
3600.08/3641.26	c removed literals (reason simplification)	: 20996100
3600.08/3641.26	c reason swapping (by a shorter reason)	: 0
3600.08/3641.26	c Calls to reduceDB	: 313
3600.08/3641.26	c Number of update (reduction) of LBD	: 6413702
3600.08/3641.26	c Imported unit clauses	: 0
3600.08/3641.26	c No decision after first conflict	: false
3600.08/3641.26	c number of reductions to clauses (during analyze)	: 0
3600.08/3641.26	c number of learned constraints concerned by reduction	: 0
3600.08/3641.26	c number of learning phase by resolution	: 0
3600.08/3641.26	c number of learning phase by cutting planes	: 0
3600.08/3641.26	c number of rounding to 1 operations	: 0
3600.08/3641.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3641.26	c number of reductions of the coefficients by power 2 	: 0
3600.08/3641.26	c number of right shift for reduction by power 2 	: 0
3600.08/3641.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3641.26	c number of ending skipping 	: 0
3600.08/3641.26	c number of internal skipping 	: 0
3600.08/3641.26	c number of derivation steps 	: 0
3600.08/3641.27	c number of skipped derivation steps 	: 0
3600.08/3641.27	c number of remaining unassigned 	: 0
3600.08/3641.27	c number of remaining assigned 	: 0
3600.08/3641.27	c number of falsified literals weakened from reason	: 0
3600.08/3641.27	c number of falsified literals weakened from conflict	: 0
3600.08/3641.27	c time for arithmetic operations	: 0
3600.08/3641.27	c minimum degree of deleted constraints	: null
3600.08/3641.27	c maximum degree of deleted constraints	: null
3600.08/3641.27	c number of deleted constraints	: 0
3600.08/3641.27	c speed (assignments/second)	: 101156.25925260638
3600.08/3641.27	c non guided choices	: 89878
3600.24/3641.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 492833
3600.34/3641.41	s UNKNOWN
3600.34/3641.41	c Total wall clock time (in seconds): 3641.12

Verifier Data 

ERROR: no interpretation found !

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: 64096 MiB (56185 MiB free)
  memory of node 1: 64473 MiB (44889 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447592-1721827552/watcher-4447592-1721827552 -o /tmp/evaluation-result-4447592-1721827552/solver-4447592-1721827552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172052 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4447592-1721827552 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447592-1721827552.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=176612, runsolver pid=176609

[startup+0.10009 s]*
/proc/loadavg: 4.08 4.11 4.15 7/322 176630
/proc/meminfo: memFree=103466080/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=18975048 memory=55860 CPUtime=0.11 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 6452 0 0 0 8 3 0 0 20 0 18 0 18744472 19430449152 13965 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4743762 13965 5645 1 0 550819 0
[pid=176612/tid=176614] ppid=176609 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 5351 0 0 0 5 3 0 0 20 0 18 0 18744472 19430449152 13965 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18744478 19430449152 13965 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=18975048 memory=3833179250744360992 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18744478 19430449152 13965 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55860 KiB

[startup+0.214425 s]*
/proc/loadavg: 4.08 4.11 4.15 7/322 176630
/proc/meminfo: memFree=103456436/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=18975048 memory=65060 CPUtime=0.29 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 7211 0 0 0 25 4 0 0 20 0 18 0 18744472 19430449152 16265 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4743762 16265 5652 1 0 551418 0
[pid=176612/tid=176614] ppid=176609 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 1077936192 5756 0 0 0 15 3 0 0 20 0 18 0 18744472 19430449152 16265 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=18975048 memory=1276314 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18744478 19430449152 16265 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18744478 19430449152 16265 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65060 KiB

[startup+0.314748 s]*
/proc/loadavg: 4.08 4.11 4.15 7/322 176630
/proc/meminfo: memFree=103453384/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=18975048 memory=68700 CPUtime=0.46 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 7458 0 0 0 41 5 0 0 20 0 18 0 18744472 19430449152 17175 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4743762 17175 5779 1 0 551611 0
[pid=176612/tid=176614] ppid=176609 vsize=18975048 memory=-8529083660293153468 CPUtime=0.25 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 1077936192 5921 0 0 0 22 3 0 0 20 0 18 0 18744472 19430449152 17175 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18744478 19430449152 17175 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18744478 19430449152 17175 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68700 KiB

[startup+0.70791 s]
/proc/loadavg: 4.08 4.11 4.15 7/323 176631
/proc/meminfo: memFree=103447852/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19043152 memory=85200 CPUtime=1.17 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 9641 0 0 0 111 6 0 0 20 0 19 0 18744472 19500187648 21300 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4760788 21300 5859 1 0 553524 0
[pid=176612/tid=176614] ppid=176609 vsize=19043152 memory=5456 CPUtime=0.54 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) D 176609 176612 172041 0 -1 4194368 6030 0 0 0 51 3 0 0 20 0 19 0 18744472 19500187648 21300 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19043152 memory=12620 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18744478 19500187648 21300 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19043152 memory=164 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18744478 19500187648 21300 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19043152 memory=117636 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18744512 19500187648 21300 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19043152 KiB
Current children cumulated memory: 85200 KiB

[startup+1.50083 s]
/proc/loadavg: 4.08 4.11 4.15 7/323 176631
/proc/meminfo: memFree=103395728/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19041612 memory=175512 CPUtime=2.72 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 20829 0 0 0 263 9 0 0 20 0 19 0 18744472 19498610688 43878 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4760403 43878 5859 1 0 557993 0
[pid=176612/tid=176614] ppid=176609 vsize=19041612 memory=12620 CPUtime=1.31 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 6209 0 0 0 126 5 0 0 20 0 19 0 18744472 19498610688 43878 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18744478 19498610688 43878 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18744478 19498610688 43878 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19041612 memory=279964624790800 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18744512 19498610688 43878 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 175512 KiB

[startup+3.10683 s]
/proc/loadavg: 4.16 4.13 4.15 6/324 176634
/proc/meminfo: memFree=103252136/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=255048 CPUtime=5.79 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 24533 0 0 0 565 14 0 0 20 0 20 0 18744472 19566772224 63762 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 63762 5890 1 0 558288 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=0 CPUtime=2.86 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 6814 0 0 0 278 8 0 0 20 0 20 0 18744472 19566772224 63762 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 63762 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 63762 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 63762 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 255048 KiB

[startup+6.30027 s]
/proc/loadavg: 4.16 4.13 4.15 5/324 176634
/proc/meminfo: memFree=102709436/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=795292 CPUtime=9.78 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 25665 0 0 0 948 30 0 0 20 0 20 0 18744472 19566772224 198823 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 198823 5890 1 0 558291 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=12620 CPUtime=5.99 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 7599 0 0 0 575 24 0 0 20 0 20 0 18744472 19566772224 198823 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 198823 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=186224 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 198823 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 198823 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 9.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 795292 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.13 4.15 6/324 176635
/proc/meminfo: memFree=102081016/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=1327940 CPUtime=16.17 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 28154 0 0 0 1567 50 0 0 20 0 20 0 18744472 19566772224 331985 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 331985 5890 1 0 558291 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=0 CPUtime=12.31 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 8551 0 0 0 1188 43 0 0 20 0 20 0 18744472 19566772224 331985 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=-8529083660293153468 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 331985 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=2180 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 331985 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 331985 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327940 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.14 4.16 5/324 176637
/proc/meminfo: memFree=101944968/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=1338192 CPUtime=28.97 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 31012 0 0 0 2825 72 0 0 20 0 20 0 18744472 19566772224 334548 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 334548 5890 1 0 558291 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=11536 CPUtime=24.93 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 9915 0 0 0 2429 64 0 0 20 0 20 0 18744472 19566772224 334548 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 334548 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=807580 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 334548 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=279964624737584 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 334548 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 28.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1338192 KiB

[startup+51.1135 s]
/proc/loadavg: 4.26 4.16 4.16 5/303 176792
/proc/meminfo: memFree=114246344/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=1346456 CPUtime=54.32 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 35835 0 0 0 5327 105 0 0 20 0 20 0 18744472 19566772224 336614 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 336614 5906 1 0 558291 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=279964625417888 CPUtime=49.91 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 11820 0 0 0 4895 96 0 0 20 0 20 0 18744472 19566772224 336614 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 336614 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.31 4.24 5/323 178773
/proc/meminfo: memFree=95802456/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=3130488 CPUtime=3250.76 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 166928 0 0 0 322697 2379 0 0 20 0 20 0 18744472 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 782622 5906 1 0 795542 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=16228 CPUtime=3196.04 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 76608 0 0 0 317410 2194 0 0 20 0 20 0 18744472 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4776 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=3130488 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=3130488 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2357 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3250.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3130488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.28 4.24 5/323 178784
/proc/meminfo: memFree=95554860/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=3130488 CPUtime=3307.36 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 168721 0 0 0 328325 2411 0 0 20 0 20 0 18744472 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 782622 5906 1 0 795542 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=3130488 CPUtime=3252.01 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 77775 0 0 0 322977 2224 0 0 20 0 20 0 18744472 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5130 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=3130488 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=3130488 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2479 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=5456 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 782622 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3307.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3130488 KiB

[startup+3402.32 s]
/proc/loadavg: 4.13 4.25 4.23 5/323 178795
/proc/meminfo: memFree=95274624/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=3130492 CPUtime=3366.07 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 170328 0 0 0 334160 2447 0 0 20 0 20 0 18744472 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 782623 5906 1 0 795543 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=3130488 CPUtime=3310.02 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) S 176609 176612 172041 0 -1 1077936192 78921 0 0 0 328746 2256 0 0 20 0 20 0 18744472 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5275 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=3130492 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=3130492 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2481 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3366.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3130492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.23 4.22 5/323 178806
/proc/meminfo: memFree=95018976/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=3130492 CPUtime=3424.61 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 171352 0 0 0 339979 2482 0 0 20 0 20 0 18744472 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 782623 5906 1 0 795543 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=5456 CPUtime=3367.99 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 79496 0 0 0 334510 2289 0 0 20 0 20 0 18744472 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5425 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=18652 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=3130492 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2543 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=3130492 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 782623 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3424.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3130492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.21 5/322 178816
/proc/meminfo: memFree=94787664/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=3130496 CPUtime=3481.73 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 173055 0 0 0 345662 2511 0 0 20 0 20 0 18744472 19566772224 782624 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 782624 5906 1 0 795543 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=3130496 CPUtime=3424.48 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 80537 0 0 0 340133 2315 0 0 20 0 20 0 18744472 19566772224 782624 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5732 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=3130492 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782624 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=3130492 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2543 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782624 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=3130496 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 782624 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3481.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3130496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.21 4.21 5/323 179211
/proc/meminfo: memFree=94512452/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=3130508 CPUtime=3541.58 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 173944 0 0 0 351613 2545 0 0 20 0 20 0 18744472 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 782627 5906 1 0 795546 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=12620 CPUtime=3483.74 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 81277 0 0 0 346027 2347 0 0 20 0 20 0 18744472 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5761 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=3130508 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2601 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=39828 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3541.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3130508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3641.2 s]
/proc/loadavg: 4.11 4.18 4.20 5/323 179220
/proc/meminfo: memFree=94252860/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19108176 memory=3130508 CPUtime=3600.08 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 175597 0 0 0 357432 2576 0 0 20 0 20 0 18744472 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4777044 782627 5906 1 0 795546 0
[pid=176612/tid=176614] ppid=176609 vsize=19108176 memory=1848 CPUtime=3541.6 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) R 176609 176612 172041 0 -1 4194368 82316 0 0 0 351785 2375 0 0 20 0 20 0 18744472 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5808 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19108176 memory=-8529083660293153468 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19108176 memory=1276243 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2726 0 0 0 0 0 0 0 20 0 20 0 18744478 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176631] ppid=176609 vsize=19108176 memory=1275631 CPUtime=0 cores=4,6
/proc/176612/task/176631/stat : 176631 (Timer-0) S 176609 176612 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744512 19566772224 782627 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3130508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.58 s, system=25.8038 s

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

[startup+3641.4 s]
/proc/loadavg: 4.11 4.18 4.20 5/323 179220
/proc/meminfo: memFree=94252860/131655788 swapFree=131056320/131071996
[pid=176612] ppid=176609 vsize=19307868 memory=3131216 CPUtime=3600.34 cores=4,6
/proc/176612/stat : 176612 (java) S 176609 176612 172041 0 -1 1077936128 178098 0 0 0 357456 2578 0 0 20 0 21 0 18744472 19771256832 782804 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
/proc/176612/statm: 4826967 782804 5904 1 0 796453 0
[pid=176612/tid=176614] ppid=176609 vsize=19307868 memory=2716 CPUtime=3541.64 cores=4,6
/proc/176612/task/176614/stat : 176614 (java) D 176609 176612 172041 0 -1 4194368 82713 0 0 0 351787 2377 0 0 20 0 21 0 18744472 19771256832 782804 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5827 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176623] ppid=176609 vsize=19307868 memory=13852 CPUtime=0 cores=4,6
/proc/176612/task/176623/stat : 176623 (Finalizer) S 176609 176612 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18744478 19771256832 782804 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
[pid=176612/tid=176630] ppid=176609 vsize=19307868 memory=11604 CPUtime=0 cores=4,6
/proc/176612/task/176630/stat : 176630 (Common-Cleaner) S 176609 176612 172041 0 -1 1077936192 2726 0 0 0 0 0 0 0 20 0 21 0 18744478 19771256832 782804 134679101440 94078983208960 94078983212656 140721765490400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94078983220472 94078983221264 94079013429248 140721765491627 140721765491809 140721765491809 140721765498824 0
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3131216 KiB

Child status: 143

Real time (s): 3641.48
CPU time (s): 3600.38
CPU user time (s): 3574.58
CPU system time (s): 25.8038
CPU usage (%): 98.8714
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3131216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.58
system time used= 25.8038
maximum resident set size= 3131232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24175424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124586
involuntary context switches= 8270


# summary of solver processes directly reported to runsolver:
#   pid: 176612
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3574.58
#   total CPU system time (s): 25.8038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.355 second user time and 40.4253 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 15:25:52
IDJOB=4447592
IDBENCH=159284
IDSOLVER=3079
FILE ID=nodeC006/4447592-1721827552
RUNJOBID= nodeC006-1721820325-172052
SLURM_JOB_ID= 7891453
Free space on /tmp= 723528 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n188-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447592-1721827552/watcher-4447592-1721827552 -o /tmp/evaluation-result-4447592-1721827552/solver-4447592-1721827552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172052 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4447592-1721827552 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447592-1721827552.opb

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

MD5SUM BENCH= 1c14f117e67441c2f256fb4d1e22e789
RANDOM SEED=1282150474

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        103501732 kB
MemAvailable:   111423320 kB
Buffers:          256124 kB
Cached:          8270808 kB
SwapCached:          240 kB
Active:          2183796 kB
Inactive:       25007036 kB
Active(anon):       1760 kB
Inactive(anon): 18707132 kB
Active(file):    2182036 kB
Inactive(file):  6299904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:             34824 kB
Writeback:             0 kB
AnonPages:      18663436 kB
Mapped:           112440 kB
Shmem:             45244 kB
KReclaimable:     501556 kB
Slab:             612316 kB
SReclaimable:     501556 kB
SUnreclaim:       110760 kB
KernelStack:        4956 kB
PageTables:        46688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   28516700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18343936 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC006 at 2024-07-24 16:26:34