Trace number 4447682

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.27 3621.74

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM1fb50f41b260553fb8a191e5e9748bb0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2260.47
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables159
Total number of constraints424
Number of constraints which are clauses424
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.15	c java.vm.version	22.0.1+8-16
0.12/0.15	c java.vm.vendor	Oracle Corporation
0.12/0.15	c sun.arch.data.model	64
0.12/0.15	c java.version		22.0.1
0.12/0.15	c os.name		Linux
0.12/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.15	c os.arch		amd64
0.12/0.16	c Free memory 		2115194816
0.12/0.16	c Max memory 		16282288128
0.12/0.16	c Total memory 		2122317824
0.12/0.18	c Number of processors 	2
0.33/0.26	--- Begin Solver configuration ---
0.33/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.33/0.26	Learn all clauses as in MiniSAT
0.33/0.26	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.26	Expensive reason simplification
0.33/0.26	Glucose 2.1 dynamic restart strategy
0.33/0.26	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.33/0.26	timeout=2147483s
0.33/0.26	DB Simplification allowed=false
0.33/0.26	Listener: none
0.33/0.26	--- End Solver configuration ---
0.33/0.26	c Pseudo Boolean Optimization by upper bound
0.33/0.26	c --- Begin Solver configuration ---
0.33/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.33/0.26	c Learn all clauses as in MiniSAT
0.33/0.26	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.26	c Expensive reason simplification
0.33/0.26	c Glucose 2.1 dynamic restart strategy
0.33/0.26	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.33/0.26	c timeout=2147483s
0.33/0.26	c DB Simplification allowed=false
0.33/0.26	c Listener: none
0.33/0.26	c --- End Solver configuration ---
0.33/0.26	c solving HOME/instance-4447682-1721827555.opb
0.33/0.26	c reading problem ... 
0.33/0.26	c using VERIPB proof format
0.33/0.26	c  no objective function found
0.49/0.34	c ... done. Wall clock time 0.065s.
0.49/0.34	c declared #vars     159
0.49/0.34	c #constraints  424
0.49/0.34	c constraints type 
0.49/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 424
0.49/0.34	c 424 constraints processed.
1.58/1.00	c cleaning 2497 clauses out of 5001 with flag 19719/5001
2.35/1.37	c cleaning 4244 clauses out of 8503 with flag 46738/11000
2.96/1.66	c cleaning 5625 clauses out of 11260 with flag 79631/18001
3.35/1.90	c cleaning 6809 clauses out of 13634 with flag 116322/26000
3.86/2.13	c cleaning 7904 clauses out of 15825 with flag 158481/35000
4.31/2.40	c cleaning 8952 clauses out of 17921 with flag 204184/45000
4.70/2.70	c cleaning 9975 clauses out of 19970 with flag 253468/56001
5.29/3.05	c cleaning 10993 clauses out of 21994 with flag 309289/68000
5.86/3.40	c cleaning 11992 clauses out of 24002 with flag 363989/81001
6.35/3.86	c cleaning 12998 clauses out of 26010 with flag 427844/95001
6.84/4.35	c cleaning 14002 clauses out of 28011 with flag 497755/110000
7.35/4.88	c cleaning 15001 clauses out of 30010 with flag 567167/126001
8.12/5.43	c cleaning 15996 clauses out of 32009 with flag 638291/143001
8.93/6.04	c cleaning 17000 clauses out of 34012 with flag 719122/161000
9.76/6.75	c cleaning 18000 clauses out of 36013 with flag 813104/180001
10.47/7.44	c cleaning 18999 clauses out of 38012 with flag 913820/200000
11.33/8.22	c cleaning 20001 clauses out of 40014 with flag 1021261/221001
12.22/9.03	c cleaning 20994 clauses out of 42012 with flag 1130383/243000
13.02/9.77	c cleaning 22004 clauses out of 44019 with flag 1230293/266001
14.07/10.71	c cleaning 22997 clauses out of 46015 with flag 1342468/290001
14.97/11.60	c cleaning 23998 clauses out of 48018 with flag 1456367/315001
15.97/12.62	c cleaning 25002 clauses out of 50019 with flag 1564692/341000
16.97/13.65	c cleaning 26004 clauses out of 52017 with flag 1678600/368000
18.17/14.88	c cleaning 26997 clauses out of 54013 with flag 1800222/396000
19.17/15.84	c cleaning 28001 clauses out of 56016 with flag 1933803/425000
20.23/16.89	c cleaning 28999 clauses out of 58016 with flag 2078230/455001
21.40/17.98	c cleaning 30004 clauses out of 60017 with flag 2233674/486001
22.52/19.09	c cleaning 30998 clauses out of 62012 with flag 2391433/518000
24.10/20.67	c cleaning 31999 clauses out of 64014 with flag 2550424/551000
25.70/22.28	c cleaning 33000 clauses out of 66016 with flag 2723680/585001
27.10/23.67	c cleaning 34000 clauses out of 68015 with flag 2895226/620000
28.61/25.13	c cleaning 35001 clauses out of 70016 with flag 3076609/656001
29.90/26.47	c cleaning 35997 clauses out of 72014 with flag 3254383/693000
31.60/28.12	c cleaning 37000 clauses out of 74017 with flag 3433036/731000
33.39/29.98	c cleaning 38001 clauses out of 76017 with flag 3619486/770000
35.15/31.89	c cleaning 39002 clauses out of 78017 with flag 3812794/810001
37.05/33.72	c cleaning 40001 clauses out of 80014 with flag 4010660/851000
38.95/35.66	c cleaning 41005 clauses out of 82013 with flag 4209200/893000
41.05/37.73	c cleaning 42000 clauses out of 84009 with flag 4406376/936001
43.04/39.73	c cleaning 43003 clauses out of 86009 with flag 4600988/980001
44.94/41.66	c cleaning 43999 clauses out of 88006 with flag 4796787/1025001
47.03/43.76	c cleaning 45000 clauses out of 90007 with flag 5003411/1071001
49.64/46.30	c cleaning 46000 clauses out of 92007 with flag 5211674/1118001
52.24/48.94	c cleaning 46997 clauses out of 94006 with flag 5425247/1166000
54.64/51.32	c cleaning 48001 clauses out of 96010 with flag 5634756/1215001
56.94/53.68	c cleaning 48998 clauses out of 98009 with flag 5855770/1265001
59.62/56.36	c cleaning 50001 clauses out of 100011 with flag 6099383/1316001
62.42/59.17	c cleaning 51000 clauses out of 102010 with flag 6339294/1368001
65.17/62.09	c cleaning 52005 clauses out of 104010 with flag 6575052/1421001
68.14/65.04	c cleaning 52997 clauses out of 106004 with flag 6823910/1475000
70.49/67.35	c cleaning 53997 clauses out of 108007 with flag 7091090/1530000
73.58/70.43	c cleaning 55002 clauses out of 110010 with flag 7351447/1586000
76.66/73.54	c cleaning 56000 clauses out of 112009 with flag 7612522/1643001
79.45/76.38	c cleaning 56999 clauses out of 114008 with flag 7882145/1701000
81.65/78.57	c cleaning 57999 clauses out of 116010 with flag 8166567/1760001
84.94/81.89	c cleaning 58997 clauses out of 118010 with flag 8460329/1820000
88.15/85.06	c cleaning 60002 clauses out of 120013 with flag 8755729/1881000
91.43/88.38	c cleaning 61000 clauses out of 122011 with flag 9060286/1943000
94.72/91.69	c cleaning 61998 clauses out of 124012 with flag 9359913/2006001
97.94/94.90	c cleaning 63003 clauses out of 126014 with flag 9667044/2070001
100.69/97.68	c cleaning 63999 clauses out of 128011 with flag 9979799/2135001
104.20/101.14	c cleaning 64997 clauses out of 130012 with flag 10280501/2201001
107.39/104.32	c cleaning 66003 clauses out of 132014 with flag 10607726/2268000
110.97/107.94	c cleaning 66996 clauses out of 134011 with flag 10917613/2336000
114.77/111.70	c cleaning 68002 clauses out of 136016 with flag 11249088/2405001
118.08/115.02	c cleaning 69003 clauses out of 138013 with flag 11573175/2475000
121.24/118.12	c cleaning 70000 clauses out of 140011 with flag 11916531/2546001
126.59/123.56	c cleaning 70994 clauses out of 142010 with flag 12252208/2618000
131.38/128.36	c cleaning 72004 clauses out of 144017 with flag 12596746/2691001
134.86/131.82	c cleaning 73002 clauses out of 146012 with flag 12952776/2765000
139.74/136.72	c cleaning 74000 clauses out of 148011 with flag 13316091/2840001
145.24/142.23	c cleaning 74995 clauses out of 150010 with flag 13673148/2916000
148.93/145.93	c cleaning 76002 clauses out of 152016 with flag 14032109/2993001
152.72/149.70	c cleaning 77002 clauses out of 154014 with flag 14391729/3071001
157.99/155.06	c cleaning 77998 clauses out of 156012 with flag 14752232/3150001
163.77/160.82	c cleaning 78999 clauses out of 158014 with flag 15109116/3230001
168.97/166.04	c cleaning 80002 clauses out of 160015 with flag 15472717/3311001
173.24/170.37	c cleaning 81002 clauses out of 162013 with flag 15816855/3393001
177.73/174.85	c cleaning 82000 clauses out of 164011 with flag 16190650/3476001
183.55/180.68	c cleaning 82996 clauses out of 166010 with flag 16580109/3560000
188.11/185.25	c cleaning 84001 clauses out of 168014 with flag 16975413/3645000
193.80/190.92	c cleaning 85000 clauses out of 170014 with flag 17390449/3731001
199.49/196.60	c cleaning 85999 clauses out of 172014 with flag 17771675/3818001
204.73/201.80	c cleaning 87001 clauses out of 174015 with flag 18191516/3906001
210.03/207.12	c cleaning 88001 clauses out of 176013 with flag 18566253/3995000
217.33/214.43	c cleaning 88998 clauses out of 178012 with flag 18959753/4085000
223.22/220.79	c cleaning 90006 clauses out of 180015 with flag 19359746/4176001
228.24/225.77	c cleaning 90995 clauses out of 182008 with flag 19799071/4268000
233.45/231.00	c cleaning 91999 clauses out of 184013 with flag 20226277/4361000
239.24/236.76	c cleaning 92998 clauses out of 186015 with flag 20626240/4455001
244.76/242.26	c cleaning 94000 clauses out of 188017 with flag 21054932/4550001
253.44/251.21	c cleaning 94999 clauses out of 190016 with flag 21492911/4646000
260.96/258.79	c cleaning 96002 clauses out of 192018 with flag 21942119/4743001
267.64/265.49	c cleaning 97003 clauses out of 194016 with flag 22362012/4841001
273.95/271.77	c cleaning 97999 clauses out of 196013 with flag 22832826/4940001
284.05/282.01	c cleaning 99000 clauses out of 198013 with flag 23294106/5040000
290.59/288.54	c cleaning 99996 clauses out of 200013 with flag 23750039/5141000
299.87/297.88	c cleaning 100993 clauses out of 202018 with flag 24204124/5243001
306.53/304.43	c cleaning 102005 clauses out of 204025 with flag 24650148/5346001
312.47/310.69	c cleaning 103002 clauses out of 206020 with flag 25101985/5450001
321.21/319.32	c cleaning 103998 clauses out of 208018 with flag 25556587/5555001
331.56/329.65	c cleaning 105001 clauses out of 210019 with flag 26045503/5661000
340.71/339.04	c cleaning 106000 clauses out of 212018 with flag 26555604/5768000
348.69/347.00	c cleaning 106999 clauses out of 214019 with flag 26992825/5876001
357.79/356.03	c cleaning 108000 clauses out of 216019 with flag 27453020/5985000
368.04/366.22	c cleaning 109003 clauses out of 218019 with flag 27892774/6095000
379.03/377.59	c cleaning 109997 clauses out of 220017 with flag 28382855/6206001
390.04/388.50	c cleaning 110999 clauses out of 222019 with flag 28863013/6318000
399.32/397.71	c cleaning 112001 clauses out of 224021 with flag 29358884/6431001
409.64/408.29	c cleaning 112999 clauses out of 226019 with flag 29863003/6545000
421.88/420.44	c cleaning 113998 clauses out of 228021 with flag 30353947/6660001
433.29/431.97	c cleaning 115008 clauses out of 230023 with flag 30839789/6776001
442.25/440.87	c cleaning 116001 clauses out of 232015 with flag 31341646/6893001
450.77/449.23	c cleaning 117003 clauses out of 234015 with flag 31878881/7011002
458.76/457.26	c cleaning 117998 clauses out of 236010 with flag 32385505/7130000
466.49/464.94	c cleaning 118996 clauses out of 238012 with flag 32909966/7250000
474.85/473.23	c cleaning 120003 clauses out of 240017 with flag 33468871/7371001
486.43/484.88	c cleaning 121000 clauses out of 242013 with flag 34050761/7493000
499.65/498.07	c cleaning 121997 clauses out of 244013 with flag 34623385/7616000
510.01/508.33	c cleaning 123004 clauses out of 246016 with flag 35210005/7740000
520.49/518.89	c cleaning 123997 clauses out of 248013 with flag 35782768/7865001
537.68/536.07	c cleaning 125000 clauses out of 250016 with flag 36370630/7991001
550.65/548.99	c cleaning 125999 clauses out of 252016 with flag 36968400/8118001
559.69/558.05	c cleaning 127000 clauses out of 254016 with flag 37585329/8246000
570.26/568.63	c cleaning 128000 clauses out of 256017 with flag 38192522/8375001
578.20/576.51	c cleaning 129002 clauses out of 258017 with flag 38790508/8505001
586.73/585.51	c cleaning 130004 clauses out of 260014 with flag 39384395/8636000
597.24/596.05	c cleaning 130997 clauses out of 262010 with flag 40002280/8768000
604.72/603.58	c cleaning 132000 clauses out of 264013 with flag 40580703/8901000
612.82/611.60	c cleaning 133002 clauses out of 266013 with flag 41128082/9035000
623.24/622.57	c cleaning 133996 clauses out of 268012 with flag 41704102/9170001
632.41/631.61	c cleaning 134999 clauses out of 270015 with flag 42272282/9306000
640.10/639.30	c cleaning 136002 clauses out of 272016 with flag 42918789/9443000
649.56/649.02	c cleaning 136997 clauses out of 274014 with flag 43567901/9581000
660.70/660.12	c cleaning 138002 clauses out of 276017 with flag 44186288/9720000
676.81/676.21	c cleaning 139001 clauses out of 278016 with flag 44848435/9860001
689.99/691.54	c cleaning 140000 clauses out of 280015 with flag 45477186/10001001
700.64/702.14	c cleaning 141001 clauses out of 282016 with flag 46093072/10143002
710.27/711.75	c cleaning 141998 clauses out of 284014 with flag 46756687/10286001
722.65/724.35	c cleaning 143002 clauses out of 286016 with flag 47430465/10430001
734.11/735.80	c cleaning 143999 clauses out of 288014 with flag 48111524/10575001
746.63/748.73	c cleaning 145000 clauses out of 290015 with flag 48766909/10721001
759.32/761.49	c cleaning 145998 clauses out of 292015 with flag 49440541/10868001
775.92/778.35	c cleaning 147003 clauses out of 294018 with flag 50145319/11016002
794.74/797.13	c cleaning 148000 clauses out of 296013 with flag 50819954/11165000
813.36/816.31	c cleaning 149003 clauses out of 298013 with flag 51524995/11315000
838.45/842.92	c cleaning 149996 clauses out of 300010 with flag 52186908/11466000
855.40/859.83	c cleaning 150998 clauses out of 302015 with flag 52865594/11618001
872.94/877.30	c cleaning 152000 clauses out of 304016 with flag 53566485/11771000
888.21/892.67	c cleaning 153004 clauses out of 306018 with flag 54289898/11925002
910.74/915.37	c cleaning 153997 clauses out of 308012 with flag 55018626/12080000
932.28/936.91	c cleaning 155000 clauses out of 310015 with flag 55752615/12236000
950.75/955.34	c cleaning 156000 clauses out of 312015 with flag 56465977/12393000
972.23/976.97	c cleaning 157005 clauses out of 314017 with flag 57170676/12551002
990.46/995.29	c cleaning 157995 clauses out of 316010 with flag 57894767/12710000
1021.72/1026.58	c cleaning 159000 clauses out of 318016 with flag 58643876/12870001
1045.25/1050.03	c cleaning 159999 clauses out of 320016 with flag 59378482/13031001
1059.17/1063.95	c cleaning 161004 clauses out of 322016 with flag 60105609/13193000
1076.93/1081.62	c cleaning 162000 clauses out of 324012 with flag 60836012/13356000
1100.99/1106.40	c cleaning 162998 clauses out of 326013 with flag 61538483/13520001
1121.15/1126.69	c cleaning 164002 clauses out of 328014 with flag 62276152/13685000
1153.59/1159.12	c cleaning 164995 clauses out of 330012 with flag 63050216/13851000
1176.84/1182.43	c cleaning 166001 clauses out of 332018 with flag 63808938/14018001
1206.39/1212.11	c cleaning 167004 clauses out of 334016 with flag 64555813/14186000
1226.62/1232.20	c cleaning 167998 clauses out of 336012 with flag 65343405/14355000
1260.88/1266.69	c cleaning 169001 clauses out of 338014 with flag 66113330/14525000
1280.64/1286.44	c cleaning 170000 clauses out of 340013 with flag 66874333/14696000
1304.01/1309.80	c cleaning 171003 clauses out of 342014 with flag 67698041/14868001
1327.63/1333.41	c cleaning 171996 clauses out of 344010 with flag 68524693/15041000
1345.97/1351.78	c cleaning 173000 clauses out of 346014 with flag 69321602/15215000
1363.95/1369.70	c cleaning 174000 clauses out of 348014 with flag 70148695/15390000
1379.78/1385.56	c cleaning 174999 clauses out of 350014 with flag 71008693/15566000
1396.05/1402.10	c cleaning 176002 clauses out of 352015 with flag 71837841/15743000
1412.24/1418.21	c cleaning 177000 clauses out of 354014 with flag 72651558/15921001
1430.26/1436.48	c cleaning 178002 clauses out of 356013 with flag 73449880/16100000
1452.93/1459.16	c cleaning 178997 clauses out of 358012 with flag 74282806/16280001
1472.38/1478.58	c cleaning 180004 clauses out of 360015 with flag 75114879/16461001
1496.85/1503.17	c cleaning 181003 clauses out of 362011 with flag 75946779/16643001
1522.04/1528.47	c cleaning 182000 clauses out of 364008 with flag 76805604/16826001
1550.90/1557.49	c cleaning 183001 clauses out of 366008 with flag 77667420/17010001
1579.71/1586.39	c cleaning 183999 clauses out of 368006 with flag 78506229/17195000
1604.63/1611.47	c cleaning 184998 clauses out of 370007 with flag 79338752/17381000
1629.73/1636.59	c cleaning 186003 clauses out of 372009 with flag 80174129/17568000
1674.81/1681.94	c cleaning 186996 clauses out of 374007 with flag 81026718/17756001
1721.63/1728.81	c cleaning 188000 clauses out of 376010 with flag 81869384/17945000
1759.86/1767.26	c cleaning 189000 clauses out of 378010 with flag 82695493/18135000
1804.18/1811.51	c cleaning 190000 clauses out of 380010 with flag 83530695/18326000
1826.29/1833.79	c cleaning 190999 clauses out of 382011 with flag 84401888/18518001
1849.06/1856.25	c cleaning 191996 clauses out of 384012 with flag 85261207/18711001
1876.63/1883.85	c cleaning 193002 clauses out of 386015 with flag 86127429/18905000
1908.66/1916.08	c cleaning 194002 clauses out of 388014 with flag 86958788/19100001
1940.39/1948.00	c cleaning 195002 clauses out of 390013 with flag 87823629/19296002
1986.69/1994.48	c cleaning 195999 clauses out of 392009 with flag 88752643/19493000
2019.54/2027.39	c cleaning 196996 clauses out of 394010 with flag 89689005/19691000
2050.07/2057.95	c cleaning 198003 clauses out of 396015 with flag 90530028/19890001
2091.41/2099.33	c cleaning 198999 clauses out of 398011 with flag 91394236/20090000
2122.10/2130.14	c cleaning 200000 clauses out of 400013 with flag 92246567/20291001
2156.96/2165.19	c cleaning 201000 clauses out of 402012 with flag 93122288/20493000
2189.05/2197.23	c cleaning 202000 clauses out of 404012 with flag 94053745/20696000
2227.41/2235.67	c cleaning 202999 clauses out of 406012 with flag 95002642/20900000
2263.36/2271.79	c cleaning 204002 clauses out of 408013 with flag 95875530/21105000
2305.29/2313.79	c cleaning 205002 clauses out of 410011 with flag 96761643/21311000
2347.28/2355.88	c cleaning 206002 clauses out of 412011 with flag 97648118/21518002
2375.19/2383.69	c cleaning 206996 clauses out of 414008 with flag 98573687/21726001
2414.71/2423.38	c cleaning 207997 clauses out of 416011 with flag 99550012/21935000
2442.37/2451.07	c cleaning 208999 clauses out of 418015 with flag 100529478/22145001
2464.83/2473.71	c cleaning 210002 clauses out of 420015 with flag 101465740/22356000
2494.80/2503.83	c cleaning 211000 clauses out of 422014 with flag 102372519/22568001
2538.14/2547.37	c cleaning 212003 clauses out of 424014 with flag 103311962/22781001
2575.06/2584.66	c cleaning 212998 clauses out of 426011 with flag 104241889/22995001
2615.61/2625.56	c cleaning 214001 clauses out of 428013 with flag 105196556/23210001
2643.98/2654.17	c cleaning 215001 clauses out of 430011 with flag 106197416/23426000
2687.46/2697.88	c cleaning 215998 clauses out of 432011 with flag 107157450/23643001
2724.04/2734.44	c cleaning 217005 clauses out of 434013 with flag 108099403/23861001
2756.98/2767.59	c cleaning 217998 clauses out of 436008 with flag 109090610/24080001
2785.35/2796.02	c cleaning 219000 clauses out of 438010 with flag 110102725/24300001
2821.05/2831.84	c cleaning 220001 clauses out of 440010 with flag 111104057/24521001
2848.42/2859.29	c cleaning 220999 clauses out of 442010 with flag 112102527/24743002
2883.15/2894.09	c cleaning 222002 clauses out of 444010 with flag 113143224/24966001
2927.82/2938.71	c cleaning 222998 clauses out of 446008 with flag 114176477/25190001
2960.00/2970.95	c cleaning 224002 clauses out of 448009 with flag 115235990/25415000
2990.55/3001.69	c cleaning 224998 clauses out of 450007 with flag 116282021/25641000
3023.98/3035.55	c cleaning 226000 clauses out of 452009 with flag 117272947/25868000
3050.12/3062.43	c cleaning 226999 clauses out of 454009 with flag 118249807/26096000
3077.94/3090.50	c cleaning 228000 clauses out of 456010 with flag 119243020/26325000
3110.54/3129.60	c cleaning 229001 clauses out of 458010 with flag 120290373/26555000
3148.01/3167.35	c cleaning 229997 clauses out of 460010 with flag 121375784/26786001
3174.79/3194.41	c cleaning 231003 clauses out of 462013 with flag 122442766/27018001
3207.21/3227.04	c cleaning 232002 clauses out of 464011 with flag 123522367/27251002
3237.76/3257.85	c cleaning 232998 clauses out of 466008 with flag 124643049/27485001
3273.95/3294.24	c cleaning 233999 clauses out of 468009 with flag 125727554/27720000
3302.52/3323.06	c cleaning 234999 clauses out of 470010 with flag 126821296/27956000
3343.91/3364.51	c cleaning 235998 clauses out of 472011 with flag 127901910/28193000
3385.07/3405.83	c cleaning 237000 clauses out of 474013 with flag 128997095/28431000
3444.24/3465.22	c cleaning 238001 clauses out of 476013 with flag 130093877/28670000
3476.75/3497.87	c cleaning 238999 clauses out of 478013 with flag 131195173/28910001
3506.50/3527.65	c cleaning 239998 clauses out of 480013 with flag 132236864/29151000
3541.33/3562.63	c cleaning 241004 clauses out of 482016 with flag 133320776/29393001
3578.19/3599.67	c cleaning 242001 clauses out of 484012 with flag 134408434/29636001
3600.04/3621.62	c starts		: 10561
3600.04/3621.63	c timeout
3600.04/3621.64	c conflicts		: 29841469
3600.04/3621.64	c decisions		: 35874774
3600.04/3621.64	c propagations		: 152052391
3600.04/3621.64	c inspects		: 38995134673
3600.04/3621.64	c shortcuts		: 0
3600.04/3621.64	c learnt literals	: 0
3600.04/3621.64	c learnt binary clauses	: 0
3600.04/3621.64	c learnt ternary clauses	: 4
3600.04/3621.64	c learnt constraints	: 29841469
3600.04/3621.64	c ignored constraints	: 0
3600.04/3621.64	c root simplifications	: 0
3600.04/3621.64	c removed literals (reason simplification)	: 111102400
3600.04/3621.64	c reason swapping (by a shorter reason)	: 0
3600.04/3621.64	c Calls to reduceDB	: 239
3600.04/3621.64	c Number of update (reduction) of LBD	: 3976881
3600.04/3621.64	c Imported unit clauses	: 0
3600.04/3621.64	c No decision after first conflict	: false
3600.04/3621.64	c number of reductions to clauses (during analyze)	: 0
3600.04/3621.64	c number of learned constraints concerned by reduction	: 0
3600.04/3621.64	c number of learning phase by resolution	: 0
3600.04/3621.64	c number of learning phase by cutting planes	: 0
3600.04/3621.64	c number of rounding to 1 operations	: 0
3600.04/3621.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3621.64	c number of reductions of the coefficients by power 2 	: 0
3600.04/3621.64	c number of right shift for reduction by power 2 	: 0
3600.04/3621.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3621.64	c number of ending skipping 	: 0
3600.04/3621.64	c number of internal skipping 	: 0
3600.04/3621.64	c number of derivation steps 	: 0
3600.04/3621.64	c number of skipped derivation steps 	: 0
3600.04/3621.64	c number of remaining unassigned 	: 0
3600.04/3621.64	c number of remaining assigned 	: 0
3600.04/3621.64	c number of falsified literals weakened from reason	: 0
3600.04/3621.64	c number of falsified literals weakened from conflict	: 0
3600.04/3621.64	c time for arithmetic operations	: 0
3600.04/3621.64	c minimum degree of deleted constraints	: null
3600.04/3621.64	c maximum degree of deleted constraints	: null
3600.04/3621.64	c number of deleted constraints	: 0
3600.04/3621.65	c speed (assignments/second)	: 41988.355835847855
3600.04/3621.65	c non guided choices	: 12270
3600.23/3621.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 447479
3600.23/3621.71	s UNKNOWN
3600.23/3621.71	c Total wall clock time (in seconds): 3621.454

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: 64059 MiB (27110 MiB free)
  memory of node 1: 64510 MiB (44245 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.102637 s]*
/proc/loadavg: 4.29 4.18 4.18 6/322 186414
/proc/meminfo: memFree=73000524/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=18975048 memory=56008 CPUtime=0.12 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 6620 0 0 0 9 3 0 0 20 0 18 0 18744571 19430449152 14002 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4743762 14002 5543 1 0 550932 0
[pid=186396/tid=186398] ppid=186393 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 5561 0 0 0 6 3 0 0 20 0 18 0 18744571 19430449152 14002 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18744577 19430449152 14002 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=18975048 memory=14131147652205475 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18744578 19430449152 14002 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56008 KiB

[startup+0.218193 s]*
/proc/loadavg: 4.29 4.18 4.18 5/322 186414
/proc/meminfo: memFree=72942712/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=18975048 memory=65844 CPUtime=0.33 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 7347 0 0 0 29 4 0 0 20 0 18 0 18744571 19430449152 16461 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4743762 16461 5720 1 0 551518 0
[pid=186396/tid=186398] ppid=186393 vsize=18975048 memory=4782652875487838339 CPUtime=0.21 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 5839 0 0 0 18 3 0 0 20 0 18 0 18744571 19430449152 16461 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=18975048 memory=1057316 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18744577 19430449152 16461 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=18975048 memory=15824391262966388 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18744578 19430449152 16461 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65844 KiB

[startup+0.324592 s]*
/proc/loadavg: 4.29 4.18 4.18 8/322 186414
/proc/meminfo: memFree=72898728/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=18975048 memory=68592 CPUtime=0.49 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 7533 0 0 0 45 4 0 0 20 0 18 0 18744571 19430449152 17148 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4743762 17148 5735 1 0 551620 0
[pid=186396/tid=186398] ppid=186393 vsize=18975048 memory=-8958899248248431292 CPUtime=0.29 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 5940 0 0 0 26 3 0 0 20 0 18 0 18744571 19430449152 17148 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18744577 19430449152 17148 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18744578 19430449152 17148 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68592 KiB

[startup+0.700336 s]
/proc/loadavg: 4.29 4.18 4.18 6/323 186415
/proc/meminfo: memFree=72823040/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19041612 memory=94708 CPUtime=1.18 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 10402 0 0 0 112 6 0 0 20 0 19 0 18744571 19498610688 23677 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4760403 23677 5828 1 0 553586 0
[pid=186396/tid=186398] ppid=186393 vsize=19041612 memory=5456 CPUtime=0.58 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 6035 0 0 0 54 4 0 0 20 0 19 0 18744571 19498610688 23677 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19041612 memory=12108 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18744577 19498610688 23677 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18744578 19498610688 23677 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18744605 19498610688 23677 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94708 KiB

[startup+1.50077 s]
/proc/loadavg: 4.29 4.18 4.18 6/323 186415
/proc/meminfo: memFree=72559180/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=177060 CPUtime=2.76 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 18070 0 0 0 267 9 0 0 20 0 20 0 18744571 19566772224 44265 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 44265 5892 1 0 556189 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=12108 CPUtime=1.34 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 6498 0 0 0 128 6 0 0 20 0 20 0 18744571 19566772224 44265 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 44265 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 44265 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=279963819484432 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 44265 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177060 KiB

[startup+3.10693 s]
/proc/loadavg: 4.43 4.21 4.19 6/324 186416
/proc/meminfo: memFree=72247184/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=259424 CPUtime=5.47 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 22079 0 0 0 534 13 0 0 20 0 20 0 18744571 19566772224 64856 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 64856 5892 1 0 557145 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=0 CPUtime=2.91 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 6984 0 0 0 282 9 0 0 20 0 20 0 18744571 19566772224 64856 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=12108 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 64856 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 64856 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 64856 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 259424 KiB

[startup+6.30977 s]
/proc/loadavg: 4.43 4.21 4.19 5/324 186416
/proc/meminfo: memFree=71709460/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=536788 CPUtime=9.33 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 23670 0 0 0 910 23 0 0 20 0 20 0 18744571 19566772224 134197 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 134197 5892 1 0 557147 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=12108 CPUtime=6.07 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 7487 0 0 0 589 18 0 0 20 0 20 0 18744571 19566772224 134197 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 134197 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=179320 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 134197 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 134197 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 536788 KiB

[startup+12.7004 s]
/proc/loadavg: 4.52 4.24 4.20 6/324 186553
/proc/meminfo: memFree=76355496/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=1325360 CPUtime=16.07 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 27137 0 0 0 1563 44 0 0 20 0 20 0 18744571 19566772224 331340 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 331340 5892 1 0 557147 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=0 CPUtime=12.41 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 8762 0 0 0 1202 39 0 0 20 0 20 0 18744571 19566772224 331340 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=-8958899248248431292 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 331340 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=2224 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 331340 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 331340 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 16.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325360 KiB

[startup+25.5004 s]
/proc/loadavg: 4.44 4.23 4.19 5/324 186554
/proc/meminfo: memFree=75046048/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=1329500 CPUtime=29 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 31659 0 0 0 2840 60 0 0 20 0 20 0 18744571 19566772224 332375 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 332375 5892 1 0 557147 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=0 CPUtime=25.12 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 10483 0 0 0 2458 54 0 0 20 0 20 0 18744571 19566772224 332375 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=1329500 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 332375 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=1325392 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 332375 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=1329500 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 332375 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1329500 KiB

[startup+51.1132 s]
/proc/loadavg: 4.35 4.22 4.19 5/303 186576
/proc/meminfo: memFree=81496852/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=1339760 CPUtime=54.46 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 37122 0 0 0 5360 86 0 0 20 0 20 0 18744571 19566772224 334940 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 334940 5892 1 0 557147 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=1339760 CPUtime=50.35 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 12219 0 0 0 4957 78 0 0 20 0 20 0 18744571 19566772224 334940 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=67732 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 334940 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0

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

[startup+3282.3 s]
/proc/loadavg: 3.12 3.56 3.93 4/296 188447
/proc/meminfo: memFree=60009760/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=2184660 CPUtime=3262.07 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 181584 0 0 0 324782 1425 0 0 20 0 20 0 18744571 19566772224 546165 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 546165 5907 1 0 559603 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=2184660 CPUtime=3231.31 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 82171 0 0 0 321889 1242 0 0 20 0 20 0 18744571 19566772224 546165 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2578 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=2184660 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 546165 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=2184660 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3479 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 546165 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=12108 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 546165 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3262.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184660 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.51 3.89 4/297 188459
/proc/meminfo: memFree=59866756/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=2184736 CPUtime=3321.71 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 184187 0 0 0 330724 1447 0 0 20 0 20 0 18744571 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 546184 5907 1 0 559603 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=25560 CPUtime=3290.71 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 83701 0 0 0 327809 1262 0 0 20 0 20 0 18744571 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2611 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=67960 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3540 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=67960 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3321.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184736 KiB

[startup+3402.3 s]
/proc/loadavg: 3.51 3.53 3.87 4/297 188471
/proc/meminfo: memFree=59491844/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=2184736 CPUtime=3381.58 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 186496 0 0 0 336692 1466 0 0 20 0 20 0 18744571 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 546184 5907 1 0 559603 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=2184736 CPUtime=3349.95 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 85015 0 0 0 333717 1278 0 0 20 0 20 0 18744571 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2623 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=2184736 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3636 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=16096 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 546184 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3381.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184736 KiB

[startup+3462.3 s]
/proc/loadavg: 3.24 3.45 3.81 4/297 188482
/proc/meminfo: memFree=59170408/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=2184756 CPUtime=3441.34 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 188911 0 0 0 342655 1479 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 546189 5907 1 0 559603 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=2184736 CPUtime=3409.53 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 86292 0 0 0 339665 1288 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2636 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=5456 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=2184756 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3725 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=67960 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3441.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184756 KiB

[startup+3522.3 s]
/proc/loadavg: 3.29 3.42 3.79 4/297 188492
/proc/meminfo: memFree=58720376/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=2184756 CPUtime=3501.25 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 191691 0 0 0 348621 1504 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 546189 5907 1 0 559603 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=2184756 CPUtime=3468.7 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 88108 0 0 0 345560 1310 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2650 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=2184756 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=2184756 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=12108 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3501.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184756 KiB

[startup+3582.3 s]
/proc/loadavg: 3.39 3.42 3.76 4/297 188887
/proc/meminfo: memFree=58229064/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=2184756 CPUtime=3561.01 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 194020 0 0 0 354571 1530 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 546189 5907 1 0 559603 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=67960 CPUtime=3528.01 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 89606 0 0 0 351467 1334 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2670 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=2184756 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3885 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=11756 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3561.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3621.6 s]
/proc/loadavg: 3.29 3.40 3.74 3/271 188927
/proc/meminfo: memFree=77168256/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19108176 memory=2184756 CPUtime=3600.04 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 196192 0 0 0 358461 1543 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4777044 546189 5907 1 0 559603 0
[pid=186396/tid=186398] ppid=186393 vsize=19108176 memory=11756 CPUtime=3566.8 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) R 186393 186396 182119 0 -1 4194368 90442 0 0 0 355335 1345 0 0 20 0 20 0 18744571 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2694 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19108176 memory=5456 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18744577 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19108176 memory=16096 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3945 0 0 0 0 0 0 0 20 0 20 0 18744578 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186415] ppid=186393 vsize=19108176 memory=2184756 CPUtime=0 cores=4,6
/proc/186396/task/186415/stat : 186415 (Timer-0) S 186393 186396 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18744605 19566772224 546189 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.81 s, system=15.4605 s

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

[startup+3621.71 s]
/proc/loadavg: 3.29 3.40 3.74 3/271 188927
/proc/meminfo: memFree=77168256/131655788 swapFree=131063676/131071996
[pid=186396] ppid=186393 vsize=19307868 memory=2185664 CPUtime=3600.23 cores=4,6
/proc/186396/stat : 186396 (java) S 186393 186396 182119 0 -1 1077936128 199390 0 0 0 358479 1544 0 0 20 0 21 0 18744571 19771256832 546416 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
/proc/186396/statm: 4826967 546416 5906 1 0 560542 0
[pid=186396/tid=186398] ppid=186393 vsize=19307868 memory=2184756 CPUtime=3566.82 cores=4,6
/proc/186396/task/186398/stat : 186398 (java) S 186393 186396 182119 0 -1 1077936192 90853 0 0 0 355337 1345 0 0 20 0 21 0 18744571 19771256832 546416 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2694 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186407] ppid=186393 vsize=19307868 memory=2184756 CPUtime=0 cores=4,6
/proc/186396/task/186407/stat : 186407 (Finalizer) S 186393 186396 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18744577 19771256832 546416 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
[pid=186396/tid=186414] ppid=186393 vsize=19307868 memory=11756 CPUtime=0 cores=4,6
/proc/186396/task/186414/stat : 186414 (Common-Cleaner) S 186393 186396 182119 0 -1 1077936192 3945 0 0 0 0 0 0 0 20 0 21 0 18744578 19771256832 546416 134679101440 94075626987520 94075626991216 140725957526752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94075626999032 94075626999824 94075653484544 140725957534635 140725957534817 140725957534817 140725957541832 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2185664 KiB

Child status: 143

Real time (s): 3621.74
CPU time (s): 3600.27
CPU user time (s): 3584.81
CPU system time (s): 15.4605
CPU usage (%): 99.4071
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2185664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.81
system time used= 15.4605
maximum resident set size= 2186900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9455536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114227
involuntary context switches= 6531


# summary of solver processes directly reported to runsolver:
#   pid: 186396
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3584.81
#   total CPU system time (s): 15.4605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2784 second user time and 39.8911 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 15:25:55
IDJOB=4447682
IDBENCH=159709
IDSOLVER=3079
FILE ID=nodeC003/4447682-1721827555
RUNJOBID= nodeC003-1721820325-182130
SLURM_JOB_ID= 7891444
Free space on /tmp= 723696 MiB

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

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

MD5SUM BENCH= 1fb50f41b260553fb8a191e5e9748bb0
RANDOM SEED=390095140

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        73069640 kB
MemAvailable:   117503548 kB
Buffers:          258932 kB
Cached:         44716144 kB
SwapCached:          800 kB
Active:          2624692 kB
Inactive:       54927716 kB
Active(anon):       2116 kB
Inactive(anon): 12628808 kB
Active(file):    2622576 kB
Inactive(file): 42298908 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:             92592 kB
Writeback:             0 kB
AnonPages:      12576708 kB
Mapped:           131780 kB
Shmem:             53532 kB
KReclaimable:     574168 kB
Slab:             692136 kB
SReclaimable:     574168 kB
SUnreclaim:       117968 kB
KernelStack:        4868 kB
PageTables:        34456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   14704720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12185600 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-24 16:26:17