Trace number 4509976

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 2025-06-06? (TO) 3600.37 3604.94

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM01d829ad4c115fdb9b9dc327d7beaf7a
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 variables201
Total number of constraints536
Number of constraints which are clauses536
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4509976-1751196096.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.036s.
0.12/0.18	c declared #vars     201
0.12/0.18	c #constraints  536
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 536
0.12/0.18	c 536 constraints processed.
0.69/0.43	c cleaning 2496 clauses out of 5000 with flag 22663/5000
1.08/0.61	c cleaning 4245 clauses out of 8504 with flag 52116/11000
1.27/0.72	c cleaning 5621 clauses out of 11259 with flag 82524/18000
1.46/0.89	c cleaning 6814 clauses out of 13638 with flag 122226/26000
1.75/1.05	c cleaning 7904 clauses out of 15825 with flag 165392/35001
2.04/1.21	c cleaning 8957 clauses out of 17921 with flag 214881/45001
2.21/1.38	c cleaning 9972 clauses out of 19964 with flag 267193/56001
2.48/1.59	c cleaning 10992 clauses out of 21992 with flag 330057/68001
2.68/1.79	c cleaning 11994 clauses out of 24000 with flag 398718/81001
2.99/2.08	c cleaning 12994 clauses out of 26005 with flag 462345/95000
3.29/2.33	c cleaning 14002 clauses out of 28013 with flag 543536/110002
3.60/2.61	c cleaning 14999 clauses out of 30009 with flag 629955/126000
3.81/2.89	c cleaning 16000 clauses out of 32010 with flag 720467/143000
4.23/3.20	c cleaning 17000 clauses out of 34010 with flag 809549/161000
4.53/3.56	c cleaning 17998 clauses out of 36010 with flag 908096/180000
4.93/3.93	c cleaning 18999 clauses out of 38012 with flag 1012138/200000
5.33/4.39	c cleaning 20001 clauses out of 40013 with flag 1115459/221000
5.73/4.79	c cleaning 20999 clauses out of 42012 with flag 1226233/243000
6.23/5.21	c cleaning 22000 clauses out of 44013 with flag 1347339/266000
6.73/5.70	c cleaning 23000 clauses out of 46014 with flag 1470736/290001
7.14/6.14	c cleaning 24000 clauses out of 48013 with flag 1599062/315000
7.63/6.64	c cleaning 25005 clauses out of 50013 with flag 1732672/341000
8.15/7.19	c cleaning 25997 clauses out of 52008 with flag 1872611/368000
8.74/7.76	c cleaning 27002 clauses out of 54011 with flag 2013403/396000
9.64/8.60	c cleaning 27998 clauses out of 56009 with flag 2162770/425000
10.53/9.51	c cleaning 29001 clauses out of 58012 with flag 2309408/455001
11.63/10.66	c cleaning 29999 clauses out of 60010 with flag 2459334/486000
12.73/11.78	c cleaning 30999 clauses out of 62012 with flag 2613323/518001
13.92/12.93	c cleaning 32000 clauses out of 64013 with flag 2770892/551001
14.93/13.90	c cleaning 32997 clauses out of 66012 with flag 2946680/585000
15.82/14.89	c cleaning 34000 clauses out of 68015 with flag 3125224/620000
16.93/15.99	c cleaning 34998 clauses out of 70016 with flag 3302182/656001
18.23/17.22	c cleaning 36001 clauses out of 72017 with flag 3482656/693000
19.52/18.58	c cleaning 36998 clauses out of 74016 with flag 3662064/731000
21.12/20.11	c cleaning 38002 clauses out of 76019 with flag 3850686/770001
22.61/21.64	c cleaning 39003 clauses out of 78017 with flag 4039933/810001
24.21/23.23	c cleaning 39996 clauses out of 80013 with flag 4231271/851000
25.73/24.72	c cleaning 41005 clauses out of 82018 with flag 4449149/893001
27.53/26.52	c cleaning 41995 clauses out of 84013 with flag 4643896/936001
29.72/28.75	c cleaning 43002 clauses out of 86018 with flag 4832887/980001
32.31/31.37	c cleaning 43999 clauses out of 88016 with flag 5051364/1025001
36.20/35.27	c cleaning 45002 clauses out of 90016 with flag 5289217/1071000
38.50/37.50	c cleaning 45998 clauses out of 92015 with flag 5516745/1118001
41.19/40.25	c cleaning 47002 clauses out of 94017 with flag 5747489/1166001
43.92/42.92	c cleaning 48004 clauses out of 96015 with flag 5981118/1215001
46.61/45.66	c cleaning 48998 clauses out of 98011 with flag 6209890/1265001
49.80/48.80	c cleaning 50000 clauses out of 100012 with flag 6470397/1316000
52.89/52.00	c cleaning 50999 clauses out of 102012 with flag 6724995/1368000
55.59/54.68	c cleaning 52001 clauses out of 104014 with flag 6980041/1421001
58.38/57.41	c cleaning 53002 clauses out of 106013 with flag 7234849/1475001
61.51/60.54	c cleaning 54000 clauses out of 108010 with flag 7498401/1530000
64.12/63.10	c cleaning 55000 clauses out of 110010 with flag 7771636/1586000
66.01/65.08	c cleaning 55998 clauses out of 112010 with flag 8043039/1643000
69.00/68.02	c cleaning 56996 clauses out of 114012 with flag 8320683/1701000
72.29/71.35	c cleaning 58002 clauses out of 116016 with flag 8591378/1760000
74.91/73.94	c cleaning 59005 clauses out of 118014 with flag 8869683/1820000
78.12/77.17	c cleaning 60000 clauses out of 120010 with flag 9160168/1881001
82.20/81.23	c cleaning 60998 clauses out of 122009 with flag 9437073/1943000
86.00/85.04	c cleaning 61996 clauses out of 124011 with flag 9722849/2006000
89.88/88.96	c cleaning 63001 clauses out of 126016 with flag 10012024/2070001
93.01/92.03	c cleaning 64003 clauses out of 128015 with flag 10302706/2135001
95.90/94.97	c cleaning 65002 clauses out of 130012 with flag 10576781/2201001
99.99/99.02	c cleaning 65998 clauses out of 132010 with flag 10873228/2268001
105.28/104.37	c cleaning 66997 clauses out of 134011 with flag 11175320/2336000
107.77/106.84	c cleaning 67999 clauses out of 136014 with flag 11481795/2405000
111.91/110.91	c cleaning 69001 clauses out of 138016 with flag 11797404/2475001
115.10/114.11	c cleaning 69996 clauses out of 140015 with flag 12127956/2546001
118.29/117.30	c cleaning 70998 clauses out of 142018 with flag 12472024/2618000
121.68/120.75	c cleaning 72001 clauses out of 144021 with flag 12827387/2691001
125.31/124.34	c cleaning 73006 clauses out of 146019 with flag 13173336/2765000
129.40/128.41	c cleaning 74002 clauses out of 148013 with flag 13494533/2840000
135.69/134.72	c cleaning 75000 clauses out of 150011 with flag 13826902/2916000
138.78/137.86	c cleaning 75995 clauses out of 152011 with flag 14192674/2993000
143.21/142.27	c cleaning 77000 clauses out of 154017 with flag 14550900/3071001
146.60/145.60	c cleaning 78001 clauses out of 156017 with flag 14909453/3150001
149.89/148.99	c cleaning 79001 clauses out of 158015 with flag 15243690/3230000
155.78/154.88	c cleaning 80000 clauses out of 160015 with flag 15625431/3311001
160.79/159.88	c cleaning 81000 clauses out of 162014 with flag 16018279/3393000
165.09/164.17	c cleaning 81999 clauses out of 164015 with flag 16402043/3476001
169.87/168.90	c cleaning 82998 clauses out of 166015 with flag 16790216/3560000
173.97/173.10	c cleaning 84000 clauses out of 168018 with flag 17199483/3645001
178.10/177.19	c cleaning 85004 clauses out of 170018 with flag 17623550/3731001
185.98/185.07	c cleaning 86006 clauses out of 172013 with flag 18023061/3818000
190.76/189.87	c cleaning 86997 clauses out of 174008 with flag 18407449/3906001
196.35/195.44	c cleaning 88001 clauses out of 176010 with flag 18805004/3995000
201.57/200.61	c cleaning 88996 clauses out of 178009 with flag 19231648/4085000
206.16/205.26	c cleaning 90001 clauses out of 180014 with flag 19659370/4176001
211.85/210.90	c cleaning 90997 clauses out of 182013 with flag 20071571/4268001
217.24/216.32	c cleaning 92004 clauses out of 184016 with flag 20489958/4361001
222.12/221.25	c cleaning 93000 clauses out of 186011 with flag 20922124/4455000
226.92/226.06	c cleaning 93998 clauses out of 188011 with flag 21323031/4550000
234.91/234.09	c cleaning 94998 clauses out of 190013 with flag 21744618/4646000
239.40/238.56	c cleaning 96001 clauses out of 192015 with flag 22121960/4743000
243.99/243.18	c cleaning 96995 clauses out of 194014 with flag 22495707/4841000
248.98/248.11	c cleaning 98002 clauses out of 196019 with flag 22874462/4940000
254.65/253.84	c cleaning 98999 clauses out of 198017 with flag 23280534/5040000
261.24/260.45	c cleaning 100006 clauses out of 200019 with flag 23704584/5141001
267.63/266.86	c cleaning 101000 clauses out of 202012 with flag 24134683/5243000
274.61/273.87	c cleaning 101998 clauses out of 204012 with flag 24563555/5346000
280.30/279.53	c cleaning 102998 clauses out of 206015 with flag 25007585/5450001
285.49/284.76	c cleaning 104003 clauses out of 208016 with flag 25466157/5555000
291.08/290.35	c cleaning 104999 clauses out of 210013 with flag 25948492/5661000
296.37/295.67	c cleaning 105998 clauses out of 212014 with flag 26427361/5768000
302.85/302.18	c cleaning 107002 clauses out of 214017 with flag 26910369/5876001
309.03/308.36	c cleaning 108001 clauses out of 216014 with flag 27435941/5985000
314.42/313.79	c cleaning 109000 clauses out of 218014 with flag 27948836/6095001
320.31/319.60	c cleaning 110002 clauses out of 220013 with flag 28437425/6206000
326.49/325.83	c cleaning 110997 clauses out of 222011 with flag 28850107/6318000
332.58/332.00	c cleaning 111998 clauses out of 224014 with flag 29304206/6431000
338.57/337.97	c cleaning 112999 clauses out of 226017 with flag 29784865/6545001
346.75/346.17	c cleaning 114002 clauses out of 228017 with flag 30275719/6660000
352.24/351.67	c cleaning 114999 clauses out of 230016 with flag 30730602/6776001
360.11/359.56	c cleaning 116002 clauses out of 232017 with flag 31180505/6893001
369.49/368.92	c cleaning 116998 clauses out of 234014 with flag 31721004/7011000
376.68/376.14	c cleaning 118002 clauses out of 236016 with flag 32248139/7130000
382.46/381.91	c cleaning 118997 clauses out of 238014 with flag 32734387/7250000
389.45/388.99	c cleaning 120003 clauses out of 240017 with flag 33221455/7371000
397.54/397.04	c cleaning 120999 clauses out of 242014 with flag 33782467/7493000
404.22/403.74	c cleaning 122005 clauses out of 244016 with flag 34311221/7616001
412.40/411.94	c cleaning 122996 clauses out of 246011 with flag 34861984/7740001
420.49/420.05	c cleaning 123998 clauses out of 248015 with flag 35380097/7865001
428.07/427.62	c cleaning 124999 clauses out of 250016 with flag 35895717/7991000
436.25/435.82	c cleaning 125995 clauses out of 252018 with flag 36412785/8118001
445.93/445.56	c cleaning 127005 clauses out of 254022 with flag 36929415/8246000
454.71/454.32	c cleaning 128004 clauses out of 256018 with flag 37420484/8375001
462.49/462.17	c cleaning 129002 clauses out of 258014 with flag 37920163/8505001
471.07/470.72	c cleaning 129995 clauses out of 260011 with flag 38411092/8636000
479.46/479.19	c cleaning 130995 clauses out of 262016 with flag 38918318/8768000
487.83/487.58	c cleaning 132006 clauses out of 264021 with flag 39440115/8901000
495.52/495.28	c cleaning 133002 clauses out of 266015 with flag 39951150/9035000
503.20/502.99	c cleaning 134000 clauses out of 268015 with flag 40467119/9170002
511.13/510.68	c cleaning 135003 clauses out of 270013 with flag 41028242/9306000
517.81/517.38	c cleaning 135997 clauses out of 272011 with flag 41560954/9443001
526.40/525.96	c cleaning 136997 clauses out of 274014 with flag 42113580/9581001
534.68/534.23	c cleaning 137997 clauses out of 276016 with flag 42778877/9720000
543.66/543.27	c cleaning 139002 clauses out of 278019 with flag 43418951/9860000
554.55/554.09	c cleaning 140002 clauses out of 280017 with flag 44038397/10001000
563.93/563.48	c cleaning 141003 clauses out of 282015 with flag 44636867/10143000
574.11/573.69	c cleaning 141998 clauses out of 284012 with flag 45255356/10286000
582.78/582.31	c cleaning 143003 clauses out of 286014 with flag 45818282/10430000
592.86/592.40	c cleaning 143999 clauses out of 288011 with flag 46428732/10575000
603.68/603.28	c cleaning 144997 clauses out of 290012 with flag 46983464/10721000
614.35/613.95	c cleaning 145998 clauses out of 292015 with flag 47570976/10868000
622.22/621.83	c cleaning 147000 clauses out of 294018 with flag 48156939/11016001
631.01/630.60	c cleaning 148001 clauses out of 296018 with flag 48751078/11165001
641.18/640.87	c cleaning 149000 clauses out of 298016 with flag 49353542/11315000
650.85/650.54	c cleaning 150002 clauses out of 300017 with flag 49993088/11466001
660.12/659.88	c cleaning 151002 clauses out of 302014 with flag 50579338/11618000
670.30/670.06	c cleaning 151999 clauses out of 304012 with flag 51169836/11771000
679.26/679.00	c cleaning 152998 clauses out of 306013 with flag 51763004/11925000
689.83/689.57	c cleaning 154002 clauses out of 308016 with flag 52380237/12080001
700.50/700.27	c cleaning 155001 clauses out of 310013 with flag 53029887/12236000
711.37/711.15	c cleaning 155998 clauses out of 312012 with flag 53646430/12393000
724.43/724.22	c cleaning 157004 clauses out of 314014 with flag 54277575/12551000
733.80/733.67	c cleaning 157994 clauses out of 316010 with flag 54910754/12710000
744.39/744.22	c cleaning 159003 clauses out of 318017 with flag 55521792/12870001
755.06/754.95	c cleaning 160000 clauses out of 320014 with flag 56150857/13031001
766.46/766.34	c cleaning 161004 clauses out of 322013 with flag 56803740/13193000
777.64/777.57	c cleaning 161996 clauses out of 324010 with flag 57403808/13356001
790.61/790.54	c cleaning 162999 clauses out of 326013 with flag 58082917/13520000
804.58/804.59	c cleaning 164000 clauses out of 328014 with flag 58773576/13685000
816.16/816.10	c cleaning 165000 clauses out of 330014 with flag 59392882/13851000
827.14/827.12	c cleaning 165998 clauses out of 332015 with flag 59995819/14018001
838.02/838.04	c cleaning 167004 clauses out of 334016 with flag 60620352/14186000
851.98/852.07	c cleaning 167998 clauses out of 336013 with flag 61339383/14355001
863.45/863.58	c cleaning 168998 clauses out of 338014 with flag 62018397/14525000
878.23/878.37	c cleaning 170001 clauses out of 340017 with flag 62648730/14696001
893.43/893.21	c cleaning 171003 clauses out of 342015 with flag 63279858/14868000
905.50/905.38	c cleaning 172001 clauses out of 344013 with flag 63946876/15041001
919.07/918.93	c cleaning 172995 clauses out of 346012 with flag 64588060/15215001
933.25/933.14	c cleaning 174002 clauses out of 348017 with flag 65242188/15390001
947.72/947.69	c cleaning 174999 clauses out of 350015 with flag 65903743/15566001
963.68/963.67	c cleaning 176004 clauses out of 352016 with flag 66583418/15743001
976.95/976.95	c cleaning 177001 clauses out of 354012 with flag 67226271/15921001
993.42/993.44	c cleaning 178000 clauses out of 356011 with flag 67929891/16100001
1006.46/1006.40	c cleaning 178997 clauses out of 358010 with flag 68613230/16280000
1020.13/1020.19	c cleaning 179999 clauses out of 360014 with flag 69302103/16461001
1035.11/1035.16	c cleaning 181001 clauses out of 362015 with flag 70020833/16643001
1049.87/1049.93	c cleaning 182002 clauses out of 364013 with flag 70769026/16826000
1064.53/1064.63	c cleaning 183001 clauses out of 366012 with flag 71530280/17010001
1079.31/1079.43	c cleaning 183999 clauses out of 368010 with flag 72259486/17195000
1095.88/1096.10	c cleaning 184999 clauses out of 370011 with flag 72944299/17381000
1111.25/1111.49	c cleaning 186005 clauses out of 372013 with flag 73673940/17568001
1127.46/1127.64	c cleaning 186996 clauses out of 374007 with flag 74372205/17756000
1144.03/1144.22	c cleaning 187997 clauses out of 376012 with flag 75070718/17945001
1160.10/1160.37	c cleaning 189002 clauses out of 378015 with flag 75769863/18135001
1175.36/1175.62	c cleaning 190001 clauses out of 380014 with flag 76515157/18326002
1192.33/1192.64	c cleaning 190999 clauses out of 382012 with flag 77262422/18518001
1206.60/1206.92	c cleaning 191996 clauses out of 384012 with flag 78047226/18711000
1223.37/1223.76	c cleaning 193004 clauses out of 386016 with flag 78799438/18905000
1239.22/1239.58	c cleaning 194002 clauses out of 388013 with flag 79551079/19100001
1254.49/1254.82	c cleaning 195000 clauses out of 390011 with flag 80325207/19296001
1271.05/1271.47	c cleaning 196000 clauses out of 392010 with flag 81087419/19493000
1288.31/1288.79	c cleaning 196998 clauses out of 394010 with flag 81870713/19691000
1305.28/1305.72	c cleaning 197998 clauses out of 396012 with flag 82667518/19890000
1323.55/1324.00	c cleaning 199005 clauses out of 398015 with flag 83471150/20090001
1339.12/1339.62	c cleaning 200003 clauses out of 400010 with flag 84297998/20291001
1354.99/1355.42	c cleaning 200996 clauses out of 402006 with flag 85068712/20493000
1371.15/1371.65	c cleaning 202000 clauses out of 404010 with flag 85876119/20696000
1386.82/1387.33	c cleaning 202997 clauses out of 406010 with flag 86701407/20900000
1403.29/1403.81	c cleaning 203999 clauses out of 408014 with flag 87509862/21105001
1422.75/1423.38	c cleaning 205001 clauses out of 410014 with flag 88305044/21311000
1439.21/1439.82	c cleaning 206001 clauses out of 412014 with flag 89143615/21518001
1455.98/1456.62	c cleaning 207000 clauses out of 414013 with flag 89960250/21726001
1477.79/1478.40	c cleaning 207995 clauses out of 416012 with flag 90790848/21935000
1499.35/1500.00	c cleaning 209003 clauses out of 418017 with flag 91617584/22145000
1518.11/1518.89	c cleaning 209999 clauses out of 420015 with flag 92469098/22356001
1535.77/1536.58	c cleaning 211006 clauses out of 422015 with flag 93318121/22568000
1554.34/1555.19	c cleaning 212002 clauses out of 424010 with flag 94176987/22781001
1572.69/1573.55	c cleaning 212999 clauses out of 426008 with flag 95022322/22995001
1589.85/1590.76	c cleaning 213997 clauses out of 428008 with flag 95910070/23210000
1609.61/1610.54	c cleaning 214999 clauses out of 430012 with flag 96761941/23426001
1633.97/1634.99	c cleaning 215995 clauses out of 432013 with flag 97566934/23643001
1656.62/1657.66	c cleaning 217003 clauses out of 434017 with flag 98411692/23861000
1678.25/1679.24	c cleaning 217999 clauses out of 436015 with flag 99271892/24080001
1698.41/1699.47	c cleaning 219000 clauses out of 438016 with flag 100125692/24300001
1718.66/1719.70	c cleaning 220004 clauses out of 440016 with flag 101012315/24521001
1744.31/1745.47	c cleaning 220999 clauses out of 442012 with flag 101961441/24743001
1763.87/1765.00	c cleaning 221998 clauses out of 444012 with flag 102864610/24966000
1782.33/1783.56	c cleaning 223004 clauses out of 446015 with flag 103778754/25190001
1808.17/1809.41	c cleaning 223998 clauses out of 448010 with flag 104785766/25415000
1830.53/1831.85	c cleaning 224999 clauses out of 450013 with flag 105758858/25641001
1848.88/1850.21	c cleaning 225998 clauses out of 452014 with flag 106687574/25868001
1867.85/1869.24	c cleaning 227003 clauses out of 454016 with flag 107609862/26096001
1892.10/1893.59	c cleaning 228001 clauses out of 456013 with flag 108493832/26325001
1914.14/1915.55	c cleaning 229002 clauses out of 458011 with flag 109430211/26555000
1937.71/1939.19	c cleaning 230000 clauses out of 460010 with flag 110360921/26786001
1960.45/1961.92	c cleaning 231001 clauses out of 462010 with flag 111294288/27018001
1980.81/1982.32	c cleaning 231999 clauses out of 464009 with flag 112224430/27251001
2002.96/2004.52	c cleaning 233002 clauses out of 466011 with flag 113209374/27485002
2023.10/2024.71	c cleaning 233998 clauses out of 468008 with flag 114150661/27720001
2044.23/2045.89	c cleaning 234998 clauses out of 470010 with flag 115112631/27956001
2064.08/2065.74	c cleaning 235999 clauses out of 472012 with flag 116095039/28193001
2084.14/2085.88	c cleaning 236995 clauses out of 474012 with flag 117080812/28431000
2107.41/2109.13	c cleaning 237999 clauses out of 476018 with flag 118048251/28670001
2130.85/2132.62	c cleaning 239002 clauses out of 478018 with flag 119043178/28910000
2155.20/2157.07	c cleaning 240004 clauses out of 480017 with flag 120037082/29151001
2180.75/2182.63	c cleaning 241002 clauses out of 482013 with flag 121018241/29393001
2205.59/2207.53	c cleaning 241996 clauses out of 484010 with flag 122046221/29636000
2231.80/2233.72	c cleaning 243000 clauses out of 486015 with flag 123048229/29880001
2253.06/2255.05	c cleaning 244000 clauses out of 488014 with flag 124030860/30125000
2284.40/2286.49	c cleaning 245000 clauses out of 490015 with flag 125022436/30371001
2308.85/2310.92	c cleaning 246006 clauses out of 492015 with flag 126010632/30618001
2334.00/2336.17	c cleaning 246997 clauses out of 494009 with flag 127017263/30866001
2361.34/2363.59	c cleaning 247998 clauses out of 496011 with flag 128024480/31115000
2386.39/2388.64	c cleaning 248999 clauses out of 498014 with flag 129018663/31365001
2413.93/2416.24	c cleaning 250005 clauses out of 500015 with flag 130047885/31616001
2437.19/2439.52	c cleaning 250996 clauses out of 502009 with flag 131078655/31868000
2464.43/2466.83	c cleaning 252000 clauses out of 504014 with flag 132145257/32121001
2490.97/2493.41	c cleaning 253004 clauses out of 506013 with flag 133164971/32375000
2518.77/2521.21	c cleaning 254001 clauses out of 508010 with flag 134221667/32630001
2549.41/2551.92	c cleaning 254998 clauses out of 510009 with flag 135266502/32886001
2577.05/2579.65	c cleaning 255996 clauses out of 512011 with flag 136335982/33143001
2605.40/2608.06	c cleaning 256999 clauses out of 514014 with flag 137366583/33401000
2631.24/2633.96	c cleaning 258006 clauses out of 516016 with flag 138427983/33660001
2658.28/2661.02	c cleaning 258995 clauses out of 518010 with flag 139493382/33920001
2685.33/2688.11	c cleaning 260000 clauses out of 520015 with flag 140593457/34181001
2713.67/2716.53	c cleaning 261002 clauses out of 522015 with flag 141637904/34443001
2740.62/2743.53	c cleaning 261998 clauses out of 524013 with flag 142753960/34706001
2767.95/2770.95	c cleaning 263004 clauses out of 526014 with flag 143870919/34970000
2798.57/2801.60	c cleaning 264002 clauses out of 528011 with flag 144923130/35235001
2824.91/2828.00	c cleaning 265002 clauses out of 530009 with flag 146031122/35501001
2848.46/2851.58	c cleaning 265998 clauses out of 532006 with flag 147146383/35768000
2885.07/2888.28	c cleaning 267000 clauses out of 534009 with flag 148284760/36036001
2914.09/2917.32	c cleaning 267998 clauses out of 536008 with flag 149402748/36305000
2954.69/2958.07	c cleaning 268999 clauses out of 538010 with flag 150585620/36575000
2988.30/2991.70	c cleaning 270000 clauses out of 540012 with flag 151717351/36846001
3025.30/3028.88	c cleaning 271001 clauses out of 542012 with flag 152840484/37118001
3052.93/3056.54	c cleaning 271996 clauses out of 544011 with flag 153975360/37391001
3087.63/3091.33	c cleaning 273000 clauses out of 546015 with flag 155168397/37665001
3116.06/3119.85	c cleaning 273998 clauses out of 548015 with flag 156331734/37940001
3149.67/3153.51	c cleaning 275003 clauses out of 550016 with flag 157506930/38216000
3178.42/3182.23	c cleaning 276001 clauses out of 552013 with flag 158684757/38493000
3212.35/3216.28	c cleaning 276998 clauses out of 554013 with flag 159876719/38771001
3246.37/3250.38	c cleaning 278000 clauses out of 556014 with flag 161051882/39050000
3277.28/3281.33	c cleaning 278999 clauses out of 558014 with flag 162164015/39330000
3309.91/3314.09	c cleaning 280001 clauses out of 560016 with flag 163390524/39611001
3351.30/3355.54	c cleaning 281000 clauses out of 562014 with flag 164579762/39893000
3391.39/3395.73	c cleaning 282004 clauses out of 564014 with flag 165791193/40176000
3434.88/3439.33	c cleaning 282998 clauses out of 566010 with flag 166994389/40460000
3467.20/3471.79	c cleaning 283998 clauses out of 568013 with flag 168199955/40745001
3502.51/3507.13	c cleaning 285004 clauses out of 570015 with flag 169406976/41031001
3537.86/3542.48	c cleaning 286000 clauses out of 572011 with flag 170581512/41318001
3577.55/3582.26	c cleaning 286996 clauses out of 574010 with flag 171801739/41606000
3600.09/3604.81	c starts		: 47184
3600.09/3604.82	c conflicts		: 41895000
3600.09/3604.82	c decisions		: 53933006
3600.09/3604.82	c propagations		: 191730885
3600.09/3604.82	c inspects		: 32056925999
3600.09/3604.82	c shortcuts		: 0
3600.09/3604.82	c learnt literals	: 0
3600.09/3604.82	c learnt binary clauses	: 0
3600.09/3604.82	c learnt ternary clauses	: 3
3600.09/3604.83	c learnt constraints	: 41895000
3600.09/3604.83	c ignored constraints	: 0
3600.09/3604.83	c root simplifications	: 0
3600.09/3604.83	c removed literals (reason simplification)	: 86324936
3600.09/3604.83	c reason swapping (by a shorter reason)	: 0
3600.09/3604.83	c Calls to reduceDB	: 285
3600.09/3604.83	c Number of update (reduction) of LBD	: 3382153
3600.09/3604.83	c Imported unit clauses	: 0
3600.09/3604.83	c No decision after first conflict	: false
3600.09/3604.83	c number of reductions to clauses (during analyze)	: 0
3600.09/3604.83	c number of learned constraints concerned by reduction	: 0
3600.09/3604.83	c number of learning phase by resolution	: 0
3600.09/3604.83	c number of learning phase by cutting planes	: 0
3600.09/3604.83	c number of rounding to 1 operations	: 0
3600.09/3604.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3604.83	c number of reductions of the coefficients by power 2 	: 0
3600.09/3604.83	c number of right shift for reduction by power 2 	: 0
3600.09/3604.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3604.83	c number of ending skipping 	: 0
3600.09/3604.83	c number of internal skipping 	: 0
3600.09/3604.83	c number of derivation steps 	: 0
3600.09/3604.83	c number of skipped derivation steps 	: 0
3600.09/3604.83	c number of remaining unassigned 	: 0
3600.09/3604.83	c number of remaining assigned 	: 0
3600.09/3604.84	c number of falsified literals weakened from reason	: 0
3600.09/3604.84	c number of falsified literals weakened from conflict	: 0
3600.09/3604.84	c time for arithmetic operations	: 0
3600.09/3604.84	c minimum degree of deleted constraints	: null
3600.09/3604.84	c maximum degree of deleted constraints	: null
3600.09/3604.85	c number of deleted constraints	: 0
3600.09/3604.85	c speed (assignments/second)	: 53189.609972402446
3600.09/3604.85	c non guided choices	: 19705
3600.29/3604.92	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 576014
3600.29/3604.93	s UNKNOWN
3600.29/3604.93	c Total wall clock time (in seconds): 3604.79

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: 63665 MiB (62361 MiB free)
  memory of node 1: 64507 MiB (59738 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509976-1751196096/watcher-4509976-1751196096 -o /tmp/evaluation-result-4509976-1751196096/solver-4509976-1751196096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27852 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509976-1751196096.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.11 4.13 4.10 5/340 28692
/proc/meminfo: memFree=125004356/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=18930384 memory=57200 CPUtime=0.12 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 6470 0 0 0 10 2 0 0 20 0 18 0 35287460 19384713216 14300 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4732596 14300 5318 1 0 547604 0
[pid=28674/tid=28676] ppid=28671 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 5063 0 0 0 6 1 0 0 20 0 18 0 35287461 19384713216 14300 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=18930384 memory=237112656212 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35287463 19384713216 14300 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=18930384 memory=58485492706614 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35287463 19384713216 14300 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57200 KiB

[startup+0.205742 s]*
/proc/loadavg: 4.11 4.13 4.10 7/341 28693
/proc/meminfo: memFree=124999756/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=18996948 memory=63460 CPUtime=0.31 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 6874 0 0 0 28 3 0 0 20 0 19 0 35287460 19452874752 15865 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4749237 15865 5446 1 0 548215 0
[pid=28674/tid=28676] ppid=28671 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 5308 0 0 0 15 1 0 0 20 0 19 0 35287461 19452874752 15865 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=18996948 memory=18949 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 15865 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=18996948 memory=57385981051877 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 15865 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35287478 19452874752 15865 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63460 KiB

[startup+0.305636 s]*
/proc/loadavg: 4.11 4.13 4.10 6/341 28693
/proc/meminfo: memFree=124994716/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=18996948 memory=68776 CPUtime=0.5 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 9163 0 0 0 47 3 0 0 20 0 19 0 35287460 19452874752 17194 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4749237 17194 5446 1 0 549632 0
[pid=28674/tid=28676] ppid=28671 vsize=18996948 memory=-6000919502737663085 CPUtime=0.26 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 5324 0 0 0 25 1 0 0 20 0 19 0 35287461 19452874752 17194 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 17194 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 17194 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35287478 19452874752 17194 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68776 KiB

[startup+0.700218 s]
/proc/loadavg: 4.11 4.13 4.10 6/341 28693
/proc/meminfo: memFree=124983564/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=18996948 memory=84216 CPUtime=1.27 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 11807 0 0 0 123 4 0 0 20 0 19 0 35287460 19452874752 21054 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4749237 21054 5446 1 0 551266 0
[pid=28674/tid=28676] ppid=28671 vsize=18996948 memory=17536 CPUtime=0.65 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 5367 0 0 0 63 2 0 0 20 0 19 0 35287461 19452874752 21054 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 21054 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 21054 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35287478 19452874752 21054 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84216 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.13 4.10 5/341 28693
/proc/meminfo: memFree=124969012/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=18996948 memory=98684 CPUtime=2.48 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 15707 0 0 0 244 4 0 0 20 0 19 0 35287460 19452874752 24671 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4749237 24671 5446 1 0 551269 0
[pid=28674/tid=28676] ppid=28671 vsize=18996948 memory=0 CPUtime=1.44 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 5740 0 0 0 142 2 0 0 20 0 19 0 35287461 19452874752 24671 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 24671 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 24671 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35287478 19452874752 24671 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98684 KiB

[startup+3.10552 s]
/proc/loadavg: 4.10 4.13 4.10 5/341 28693
/proc/meminfo: memFree=124936316/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=18996948 memory=127448 CPUtime=4.14 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 16438 0 0 0 409 5 0 0 20 0 19 0 35287460 19452874752 31862 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4749237 31862 5446 1 0 551271 0
[pid=28674/tid=28676] ppid=28671 vsize=18996948 memory=10752 CPUtime=3.03 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 6050 0 0 0 301 2 0 0 20 0 19 0 35287461 19452874752 31862 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=18996948 memory=-6000919502737663085 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 31862 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35287463 19452874752 31862 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35287478 19452874752 31862 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 127448 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.13 4.10 5/342 28694
/proc/meminfo: memFree=124883108/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=175312 CPUtime=7.33 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 18739 0 0 0 727 6 0 0 20 0 20 0 35287460 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 43828 5478 1 0 551560 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=0 CPUtime=6.21 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 6566 0 0 0 618 3 0 0 20 0 20 0 35287461 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=100732 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175312 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.09 5/340 28694
/proc/meminfo: memFree=124883116/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=175312 CPUtime=13.72 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 19306 0 0 0 1365 7 0 0 20 0 20 0 35287460 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 43828 5478 1 0 551560 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=100732 CPUtime=12.59 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 7053 0 0 0 1256 3 0 0 20 0 20 0 35287461 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=175312 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 43828 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 13.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175312 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.12 4.09 5/340 28694
/proc/meminfo: memFree=124854452/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=206452 CPUtime=26.53 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 22222 0 0 0 2645 8 0 0 20 0 20 0 35287460 19521036288 51613 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 51613 5510 1 0 551560 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=175312 CPUtime=25.31 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 7807 0 0 0 2528 3 0 0 20 0 20 0 35287461 19521036288 51613 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 51613 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=-6000919502737663085 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 51613 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 51613 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 26.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206452 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.12 4.09 5/340 28695
/proc/meminfo: memFree=124813524/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=247592 CPUtime=52.1 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 22404 0 0 0 5201 9 0 0 20 0 20 0 35287460 19521036288 61898 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 61898 5510 1 0 551560 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/342 30439
/proc/meminfo: memFree=126295044/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3278.28 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 70903 0 0 0 327725 103 0 0 20 0 20 0 35287460 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 541375 5510 1 0 554296 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=17316 CPUtime=3271.91 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 31256 0 0 0 327160 31 0 0 20 0 20 0 35287461 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 943 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3278.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/341 30442
/proc/meminfo: memFree=126030796/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3338.13 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 71099 0 0 0 333709 104 0 0 20 0 20 0 35287460 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 541375 5510 1 0 554296 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3331.74 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 31418 0 0 0 333143 31 0 0 20 0 20 0 35287461 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 943 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3338.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.14 5/341 30444
/proc/meminfo: memFree=125977304/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3397.98 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 71387 0 0 0 339693 105 0 0 20 0 20 0 35287460 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 541375 5510 1 0 554296 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3391.57 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 31681 0 0 0 339126 31 0 0 20 0 20 0 35287461 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 943 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=-6000919502737663085 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3397.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.13 5/342 30447
/proc/meminfo: memFree=125717300/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3457.81 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 72200 0 0 0 345676 105 0 0 20 0 20 0 35287460 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 541375 5510 1 0 554296 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3451.4 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 32348 0 0 0 345109 31 0 0 20 0 20 0 35287461 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 943 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3457.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/342 30449
/proc/meminfo: memFree=125617700/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3517.8 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 74216 0 0 0 351673 107 0 0 20 0 20 0 35287460 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 541375 5510 1 0 554296 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3511.11 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 33081 0 0 0 351079 32 0 0 20 0 20 0 35287461 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 961 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3517.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/340 30451
/proc/meminfo: memFree=125435332/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3577.65 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 74289 0 0 0 357658 107 0 0 20 0 20 0 35287460 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 541375 5510 1 0 554296 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3570.94 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 33107 0 0 0 357062 32 0 0 20 0 20 0 35287461 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 975 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3577.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.8 s]
/proc/loadavg: 4.15 4.12 4.12 5/341 30457
/proc/meminfo: memFree=125434800/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19063512 memory=2165500 CPUtime=3600.09 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 74311 0 0 0 359901 108 0 0 20 0 20 0 35287460 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4765878 541375 5510 1 0 554296 0
[pid=28674/tid=28676] ppid=28671 vsize=19063512 memory=10752 CPUtime=3593.37 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 33117 0 0 0 359305 32 0 0 20 0 20 0 35287461 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19063512 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 975 0 0 0 0 0 0 0 20 0 20 0 35287463 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28693] ppid=28671 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/28674/task/28693/stat : 28693 (Timer-0) S 28671 28674 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35287478 19521036288 541375 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.27 s, system=1.09851 s

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

[startup+3604.9 s]
/proc/loadavg: 4.15 4.12 4.12 5/341 30457
/proc/meminfo: memFree=125434800/131249996 swapFree=33010684/33010684
[pid=28674] ppid=28671 vsize=19263204 memory=2166268 CPUtime=3600.29 cores=4,6
/proc/28674/stat : 28674 (java) S 28671 28674 27841 0 -1 4194304 75832 0 0 0 359921 108 0 0 20 0 21 0 35287460 19725520896 541567 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
/proc/28674/statm: 4815801 541567 5510 1 0 555199 0
[pid=28674/tid=28676] ppid=28671 vsize=19263204 memory=2165500 CPUtime=3593.48 cores=4,6
/proc/28674/task/28676/stat : 28676 (java) R 28671 28674 27841 0 -1 4194368 33117 0 0 0 359316 32 0 0 20 0 21 0 35287461 19725520896 541567 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28685] ppid=28671 vsize=19263204 memory=17536 CPUtime=0 cores=4,6
/proc/28674/task/28685/stat : 28685 (Finalizer) S 28671 28674 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35287463 19725520896 541567 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
[pid=28674/tid=28692] ppid=28671 vsize=19263204 memory=2165500 CPUtime=0 cores=4,6
/proc/28674/task/28692/stat : 28692 (Common-Cleaner) S 28671 28674 27841 0 -1 4194368 975 0 0 0 0 0 0 0 20 0 21 0 35287463 19725520896 541567 18446744073709551615 93859999543296 93859999546992 140727799547664 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93859999554808 93859999555600 93860021387264 140727799556481 140727799556582 140727799556582 140727799562184 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2166268 KiB

Child status: 143

Real time (s): 3604.94
CPU time (s): 3600.37
CPU user time (s): 3599.27
CPU system time (s): 1.09851
CPU usage (%): 99.8731
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2166268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.27
system time used= 1.09851
maximum resident set size= 2166396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75996
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103853
involuntary context switches= 2734


# summary of solver processes directly reported to runsolver:
#   pid: 28674
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3599.27
#   total CPU system time (s): 1.09851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82287 second user time and 17.0508 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 13:21:36
IDJOB=4509976
IDBENCH=159217
IDSOLVER=3363
FILE ID=nodeC024/4509976-1751196096
RUNJOBID= nodeC024-1751191546-27852
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509976-1751196096/watcher-4509976-1751196096 -o /tmp/evaluation-result-4509976-1751196096/solver-4509976-1751196096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27852 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509976-1751196096.opb

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

MD5SUM BENCH= 01d829ad4c115fdb9b9dc327d7beaf7a
RANDOM SEED=1832898206

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125030000 kB
MemAvailable:   124709772 kB
Buffers:            3280 kB
Cached:           489468 kB
SwapCached:            0 kB
Active:          5422864 kB
Inactive:         234908 kB
Active(anon):    5183088 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   234908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               680 kB
Writeback:             0 kB
AnonPages:       5167928 kB
Mapped:           122536 kB
Shmem:             18064 kB
KReclaimable:      88252 kB
Slab:             175088 kB
SReclaimable:      88252 kB
SUnreclaim:        86836 kB
KernelStack:        5216 kB
PageTables:        13756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7073192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4925440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 14:21:41