Trace number 4509941

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 VeriPB 2025-06-06? (TO) 3600.21 3628.32

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
MD5SUMe9fe8a525132cf683f02a97489687f4f
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 benchmark0.003962
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables165
Total number of constraints164
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4509941-1751195192.opb
0.11/0.14	c reading problem ... 
0.11/0.15	c using VERIPB proof format
0.11/0.15	c  no objective function found
0.11/0.17	c ... done. Wall clock time 0.027s.
0.11/0.17	c declared #vars     165
0.11/0.17	c #constraints  164
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 164
0.11/0.17	c 164 constraints processed.
1.06/0.68	c cleaning 2501 clauses out of 5001 with flag 49796/5001
2.04/1.19	c cleaning 4246 clauses out of 8500 with flag 115349/11001
2.62/1.47	c cleaning 5623 clauses out of 11253 with flag 172809/18000
3.34/1.86	c cleaning 6805 clauses out of 13634 with flag 241659/26004
3.86/2.24	c cleaning 7893 clauses out of 15826 with flag 330202/35001
4.48/2.73	c cleaning 8948 clauses out of 17934 with flag 434615/45002
5.14/3.16	c cleaning 9986 clauses out of 19986 with flag 526376/56002
5.71/3.63	c cleaning 10985 clauses out of 21998 with flag 634309/68000
6.35/4.20	c cleaning 12000 clauses out of 24013 with flag 747927/81000
6.86/4.79	c cleaning 12997 clauses out of 26014 with flag 867588/95001
7.66/5.60	c cleaning 13993 clauses out of 28017 with flag 990129/110001
8.55/6.41	c cleaning 15004 clauses out of 30023 with flag 1128918/126000
9.40/7.25	c cleaning 15998 clauses out of 32020 with flag 1263205/143001
10.64/8.49	c cleaning 17002 clauses out of 34024 with flag 1427003/161003
11.84/9.62	c cleaning 18000 clauses out of 36019 with flag 1593099/180000
13.03/10.84	c cleaning 19003 clauses out of 38020 with flag 1756396/200001
14.25/12.05	c cleaning 20006 clauses out of 40017 with flag 1931000/221001
15.63/13.40	c cleaning 20990 clauses out of 42011 with flag 2114453/243001
17.04/14.81	c cleaning 22011 clauses out of 44021 with flag 2295057/266001
18.43/16.21	c cleaning 22996 clauses out of 46009 with flag 2481652/290000
20.42/18.26	c cleaning 23994 clauses out of 48014 with flag 2696291/315001
22.52/20.32	c cleaning 25001 clauses out of 50021 with flag 2937677/341002
24.72/22.59	c cleaning 25998 clauses out of 52018 with flag 3191675/368000
26.92/24.70	c cleaning 26997 clauses out of 54020 with flag 3418630/396000
28.92/26.73	c cleaning 28002 clauses out of 56023 with flag 3639021/425000
31.01/28.85	c cleaning 29004 clauses out of 58023 with flag 3859820/455002
33.73/31.51	c cleaning 30002 clauses out of 60017 with flag 4100072/486000
36.24/34.05	c cleaning 30999 clauses out of 62016 with flag 4346150/518001
39.05/36.96	c cleaning 31989 clauses out of 64017 with flag 4603771/551001
41.95/39.89	c cleaning 33003 clauses out of 66027 with flag 4859297/585000
44.94/42.89	c cleaning 34006 clauses out of 68025 with flag 5127065/620001
48.14/46.07	c cleaning 35002 clauses out of 70018 with flag 5410059/656000
51.52/49.45	c cleaning 36004 clauses out of 72017 with flag 5715618/693001
55.31/53.22	c cleaning 36997 clauses out of 74012 with flag 6001197/731000
59.01/56.90	c cleaning 37993 clauses out of 76015 with flag 6283237/770000
62.70/60.69	c cleaning 39007 clauses out of 78022 with flag 6575713/810000
67.20/65.19	c cleaning 40004 clauses out of 80015 with flag 6858987/851000
71.33/69.37	c cleaning 40992 clauses out of 82013 with flag 7164694/893002
75.52/73.59	c cleaning 41989 clauses out of 84019 with flag 7465830/936000
79.81/77.89	c cleaning 43004 clauses out of 86030 with flag 7761162/980000
84.40/82.48	c cleaning 44007 clauses out of 88027 with flag 8067852/1025001
89.78/87.80	c cleaning 45000 clauses out of 90020 with flag 8393959/1071001
95.08/93.12	c cleaning 45996 clauses out of 92020 with flag 8714494/1118001
100.24/98.38	c cleaning 47006 clauses out of 94027 with flag 9046402/1166004
105.72/103.88	c cleaning 48007 clauses out of 96017 with flag 9386302/1215000
112.30/110.48	c cleaning 48995 clauses out of 98012 with flag 9750713/1265002
118.90/117.01	c cleaning 49993 clauses out of 100015 with flag 10166114/1316000
125.70/123.84	c cleaning 50996 clauses out of 102023 with flag 10592291/1368001
132.75/130.94	c cleaning 51996 clauses out of 104026 with flag 11062751/1421000
140.24/138.49	c cleaning 53004 clauses out of 106030 with flag 11553168/1475000
146.82/145.10	c cleaning 54008 clauses out of 108026 with flag 11961922/1530000
153.82/152.04	c cleaning 54996 clauses out of 110020 with flag 12341121/1586002
161.57/159.80	c cleaning 56001 clauses out of 112022 with flag 12719672/1643000
168.86/167.18	c cleaning 57000 clauses out of 114021 with flag 13101450/1701000
176.66/174.97	c cleaning 58011 clauses out of 116021 with flag 13519008/1760000
184.34/182.66	c cleaning 58997 clauses out of 118013 with flag 13916281/1820003
192.89/191.27	c cleaning 59993 clauses out of 120013 with flag 14319224/1881000
202.16/200.50	c cleaning 61001 clauses out of 122020 with flag 14722221/1943000
210.06/208.42	c cleaning 62001 clauses out of 124019 with flag 15152728/2006000
219.75/218.15	c cleaning 62996 clauses out of 126019 with flag 15573914/2070001
229.28/227.70	c cleaning 64005 clauses out of 128022 with flag 16005762/2135000
239.37/237.88	c cleaning 65002 clauses out of 130017 with flag 16437140/2201000
249.75/248.28	c cleaning 65994 clauses out of 132015 with flag 16875400/2268000
260.60/259.14	c cleaning 67007 clauses out of 134022 with flag 17307365/2336001
270.69/269.24	c cleaning 67995 clauses out of 136015 with flag 17754750/2405001
281.76/280.30	c cleaning 69008 clauses out of 138019 with flag 18184100/2475000
293.42/292.03	c cleaning 69997 clauses out of 140011 with flag 18622655/2546000
304.89/303.57	c cleaning 70991 clauses out of 142015 with flag 19096325/2618001
316.34/315.06	c cleaning 72006 clauses out of 144023 with flag 19561106/2691000
329.31/328.05	c cleaning 73003 clauses out of 146018 with flag 20025371/2765001
340.79/339.55	c cleaning 73997 clauses out of 148014 with flag 20524336/2840000
353.71/352.53	c cleaning 75008 clauses out of 150018 with flag 21002377/2916001
365.80/364.62	c cleaning 76002 clauses out of 152009 with flag 21555699/2993000
378.83/377.75	c cleaning 76998 clauses out of 154007 with flag 22083184/3071000
392.99/391.90	c cleaning 77994 clauses out of 156010 with flag 22582700/3150001
406.64/405.68	c cleaning 78998 clauses out of 158015 with flag 23074172/3230000
418.22/417.29	c cleaning 79992 clauses out of 160018 with flag 23624762/3311001
429.61/428.64	c cleaning 81003 clauses out of 162026 with flag 24156530/3393001
444.64/443.71	c cleaning 82005 clauses out of 164022 with flag 24653607/3476000
461.30/460.42	c cleaning 82996 clauses out of 166018 with flag 25163785/3560001
475.54/474.77	c cleaning 83998 clauses out of 168022 with flag 25669303/3645001
489.82/489.04	c cleaning 85002 clauses out of 170023 with flag 26198611/3731000
506.95/506.26	c cleaning 85994 clauses out of 172021 with flag 26722588/3818000
524.42/523.77	c cleaning 87009 clauses out of 174027 with flag 27259296/3906000
541.06/540.48	c cleaning 87997 clauses out of 176018 with flag 27765271/3995000
557.02/556.46	c cleaning 88996 clauses out of 178022 with flag 28299133/4085001
575.04/574.58	c cleaning 89998 clauses out of 180025 with flag 28847069/4176000
593.59/593.16	c cleaning 91009 clauses out of 182027 with flag 29397437/4268000
611.93/611.50	c cleaning 91998 clauses out of 184018 with flag 29969997/4361000
632.48/632.15	c cleaning 92993 clauses out of 186021 with flag 30540083/4455001
650.32/650.06	c cleaning 94010 clauses out of 188029 with flag 31125810/4550002
672.58/672.32	c cleaning 94998 clauses out of 190017 with flag 31706181/4646000
693.01/692.83	c cleaning 96005 clauses out of 192019 with flag 32288127/4743000
712.19/712.16	c cleaning 96998 clauses out of 194014 with flag 32873348/4841000
734.34/734.34	c cleaning 97998 clauses out of 196016 with flag 33442721/4940000
755.80/755.83	c cleaning 98993 clauses out of 198019 with flag 34077617/5040001
779.02/779.16	c cleaning 100005 clauses out of 200025 with flag 34698472/5141000
798.73/798.83	c cleaning 101001 clauses out of 202021 with flag 35332502/5243001
818.45/818.69	c cleaning 102003 clauses out of 204020 with flag 36015623/5346001
842.93/843.18	c cleaning 103006 clauses out of 206016 with flag 36604814/5450000
863.78/864.03	c cleaning 103997 clauses out of 208011 with flag 37201189/5555001
887.73/888.03	c cleaning 105002 clauses out of 210014 with flag 37867102/5661001
911.12/911.48	c cleaning 106001 clauses out of 212012 with flag 38547542/5768001
939.50/939.90	c cleaning 106991 clauses out of 214010 with flag 39197047/5876000
966.89/967.35	c cleaning 108005 clauses out of 216020 with flag 39815035/5985001
997.38/997.91	c cleaning 109005 clauses out of 218014 with flag 40439834/6095000
1028.73/1029.34	c cleaning 109991 clauses out of 220010 with flag 41090357/6206001
1058.95/1059.64	c cleaning 111004 clauses out of 222018 with flag 41727642/6318000
1090.31/1091.08	c cleaning 111999 clauses out of 224016 with flag 42372450/6431002
1116.08/1116.82	c cleaning 113006 clauses out of 226015 with flag 43023255/6545000
1146.16/1150.26	c cleaning 114000 clauses out of 228009 with flag 43666875/6660000
1175.21/1194.82	c cleaning 114998 clauses out of 230009 with flag 44332925/6776000
1201.55/1221.21	c cleaning 116003 clauses out of 232011 with flag 45004889/6893000
1229.46/1249.20	c cleaning 116998 clauses out of 234009 with flag 45690026/7011001
1255.01/1274.85	c cleaning 117993 clauses out of 236010 with flag 46364704/7130000
1286.02/1306.21	c cleaning 119005 clauses out of 238018 with flag 47037333/7250001
1315.97/1336.31	c cleaning 120000 clauses out of 240012 with flag 47713343/7371000
1347.53/1367.98	c cleaning 121003 clauses out of 242012 with flag 48370874/7493000
1381.52/1402.02	c cleaning 121996 clauses out of 244010 with flag 49059418/7616001
1411.97/1432.56	c cleaning 122996 clauses out of 246013 with flag 49743978/7740000
1442.88/1463.58	c cleaning 124006 clauses out of 248017 with flag 50449426/7865000
1477.80/1498.50	c cleaning 124991 clauses out of 250011 with flag 51137707/7991000
1514.42/1537.21	c cleaning 126002 clauses out of 252020 with flag 51832252/8118000
1551.56/1574.58	c cleaning 127002 clauses out of 254018 with flag 52531061/8246000
1584.20/1607.27	c cleaning 128002 clauses out of 256016 with flag 53239200/8375000
1615.46/1638.51	c cleaning 128992 clauses out of 258015 with flag 53956004/8505001
1648.86/1672.00	c cleaning 129993 clauses out of 260023 with flag 54692193/8636001
1682.11/1705.37	c cleaning 131007 clauses out of 262029 with flag 55421053/8768000
1721.35/1744.64	c cleaning 132004 clauses out of 264022 with flag 56126853/8901000
1758.92/1782.37	c cleaning 133006 clauses out of 266018 with flag 56896154/9035000
1790.04/1813.67	c cleaning 133988 clauses out of 268012 with flag 57654825/9170000
1831.52/1855.21	c cleaning 135001 clauses out of 270024 with flag 58417446/9306000
1871.39/1895.14	c cleaning 136006 clauses out of 272024 with flag 59151195/9443001
1906.34/1930.21	c cleaning 137009 clauses out of 274019 with flag 59899536/9581002
1938.95/1962.99	c cleaning 137996 clauses out of 276008 with flag 60673784/9720000
1980.29/2004.31	c cleaning 138994 clauses out of 278013 with flag 61500849/9860001
2014.57/2038.65	c cleaning 139996 clauses out of 280018 with flag 62305631/10001000
2047.78/2071.98	c cleaning 141005 clauses out of 282022 with flag 63086089/10143000
2089.51/2113.70	c cleaning 141989 clauses out of 284017 with flag 63853678/10286000
2130.75/2155.08	c cleaning 143000 clauses out of 286029 with flag 64620770/10430001
2174.09/2198.45	c cleaning 144005 clauses out of 288028 with flag 65389072/10575000
2218.35/2242.81	c cleaning 145005 clauses out of 290026 with flag 66176240/10721003
2255.37/2280.54	c cleaning 146004 clauses out of 292019 with flag 67022374/10868001
2295.90/2321.13	c cleaning 147003 clauses out of 294014 with flag 67841308/11016000
2337.01/2362.33	c cleaning 147999 clauses out of 296011 with flag 68651755/11165000
2381.10/2406.50	c cleaning 149001 clauses out of 298014 with flag 69460704/11315002
2419.92/2445.41	c cleaning 149996 clauses out of 300011 with flag 70354949/11466000
2460.33/2485.99	c cleaning 150989 clauses out of 302015 with flag 71234483/11618000
2502.65/2528.36	c cleaning 152008 clauses out of 304028 with flag 72097341/11771002
2553.79/2579.55	c cleaning 153007 clauses out of 306020 with flag 72887010/11925002
2600.36/2626.18	c cleaning 154001 clauses out of 308011 with flag 73753988/12080000
2652.70/2678.67	c cleaning 155002 clauses out of 310011 with flag 74560618/12236001
2700.71/2726.72	c cleaning 155992 clauses out of 312010 with flag 75385188/12393002
2744.81/2770.93	c cleaning 156996 clauses out of 314016 with flag 76386980/12551000
2794.10/2820.60	c cleaning 157997 clauses out of 316020 with flag 77226718/12710000
2845.75/2872.21	c cleaning 159010 clauses out of 318023 with flag 78067344/12870000
2898.10/2924.71	c cleaning 160002 clauses out of 320014 with flag 78925240/13031001
2953.77/2980.56	c cleaning 161001 clauses out of 322013 with flag 79767214/13193002
3005.47/3032.38	c cleaning 161996 clauses out of 324011 with flag 80603760/13356001
3063.05/3090.03	c cleaning 163001 clauses out of 326014 with flag 81437616/13520000
3116.63/3143.73	c cleaning 163997 clauses out of 328014 with flag 82295550/13685001
3164.52/3191.76	c cleaning 164991 clauses out of 330016 with flag 83128166/13851000
3215.84/3243.14	c cleaning 166007 clauses out of 332025 with flag 83992597/14018000
3268.69/3296.14	c cleaning 167004 clauses out of 334020 with flag 84972729/14186002
3319.27/3346.81	c cleaning 168001 clauses out of 336016 with flag 85847641/14355002
3382.03/3409.78	c cleaning 168997 clauses out of 338013 with flag 86751443/14525000
3436.64/3464.40	c cleaning 170000 clauses out of 340016 with flag 87638934/14696000
3498.72/3526.68	c cleaning 171005 clauses out of 342016 with flag 88599086/14868000
3554.59/3582.60	c cleaning 171984 clauses out of 344013 with flag 89495371/15041002
3600.06/3628.21	c starts		: 54384
3600.06/3628.22	c conflicts		: 15174587
3600.06/3628.22	c decisions		: 20646106
3600.06/3628.22	c propagations		: 320675646
3600.06/3628.22	c inspects		: 55629642361
3600.06/3628.22	c shortcuts		: 0
3600.06/3628.22	c learnt literals	: 0
3600.06/3628.22	c learnt binary clauses	: 0
3600.06/3628.22	c learnt ternary clauses	: 12
3600.06/3628.22	c learnt constraints	: 15174587
3600.06/3628.22	c ignored constraints	: 0
3600.06/3628.22	c root simplifications	: 0
3600.06/3628.22	c removed literals (reason simplification)	: 31714303
3600.06/3628.22	c reason swapping (by a shorter reason)	: 0
3600.06/3628.22	c Calls to reduceDB	: 169
3600.06/3628.22	c Number of update (reduction) of LBD	: 4145377
3600.06/3628.22	c Imported unit clauses	: 0
3600.06/3628.22	c No decision after first conflict	: false
3600.06/3628.22	c number of reductions to clauses (during analyze)	: 0
3600.06/3628.22	c number of learned constraints concerned by reduction	: 0
3600.06/3628.22	c number of learning phase by resolution	: 0
3600.06/3628.22	c number of learning phase by cutting planes	: 0
3600.06/3628.22	c number of rounding to 1 operations	: 0
3600.06/3628.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3628.22	c number of reductions of the coefficients by power 2 	: 0
3600.06/3628.22	c number of right shift for reduction by power 2 	: 0
3600.06/3628.22	c timeout
3600.06/3628.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3628.23	c number of ending skipping 	: 0
3600.06/3628.23	c number of internal skipping 	: 0
3600.06/3628.23	c number of derivation steps 	: 0
3600.06/3628.23	c number of skipped derivation steps 	: 0
3600.06/3628.23	c number of remaining unassigned 	: 0
3600.06/3628.23	c number of remaining assigned 	: 0
3600.06/3628.23	c number of falsified literals weakened from reason	: 0
3600.06/3628.23	c number of falsified literals weakened from conflict	: 0
3600.06/3628.23	c time for arithmetic operations	: 0
3600.06/3628.23	c minimum degree of deleted constraints	: null
3600.06/3628.23	c maximum degree of deleted constraints	: null
3600.06/3628.23	c number of deleted constraints	: 0
3600.06/3628.23	c speed (assignments/second)	: 88387.70890314017
3600.06/3628.23	c non guided choices	: 146
3600.06/3628.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 305614
3600.06/3628.29	s UNKNOWN
3600.06/3628.29	c Total wall clock time (in seconds): 3628.151

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509941-1751195192/watcher-4509941-1751195192 -o /tmp/evaluation-result-4509941-1751195192/solver-4509941-1751195192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24982 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509941-1751195192 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509941-1751195192.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB

solver pid=25688, runsolver pid=25685

[startup+0.100058 s]*
/proc/loadavg: 4.40 4.22 4.16 6/344 25706
/proc/meminfo: memFree=113467940/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=18930384 memory=53180 CPUtime=0.11 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 6473 0 0 0 10 1 0 0 20 0 18 0 35196936 19384713216 13295 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4732596 13295 5336 1 0 547568 0
[pid=25688/tid=25690] ppid=25685 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 4993 0 0 0 6 0 0 0 20 0 18 0 35196937 19384713216 13295 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35196940 19384713216 13295 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=18930384 memory=59585004335488 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35196940 19384713216 13295 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53180 KiB

[startup+0.205882 s]*
/proc/loadavg: 4.40 4.22 4.16 7/345 25707
/proc/meminfo: memFree=113461348/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=18996948 memory=62108 CPUtime=0.29 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 7056 0 0 0 27 2 0 0 20 0 19 0 35196936 19452874752 15527 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4749237 15527 5432 1 0 548220 0
[pid=25688/tid=25690] ppid=25685 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 5324 0 0 0 15 1 0 0 20 0 19 0 35196937 19452874752 15527 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=18996948 memory=16195 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35196940 19452874752 15527 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=18996948 memory=58485492679654 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35196940 19452874752 15527 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=18996948 memory=4051047466920050720 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35196954 19452874752 15527 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62108 KiB

[startup+0.305855 s]*
/proc/loadavg: 4.40 4.22 4.16 6/345 25707
/proc/meminfo: memFree=113453220/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=18996948 memory=73244 CPUtime=0.48 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 8992 0 0 0 46 2 0 0 20 0 19 0 35196936 19452874752 18311 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4749237 18311 5432 1 0 549358 0
[pid=25688/tid=25690] ppid=25685 vsize=18996948 memory=-6000919485541017453 CPUtime=0.22 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 5348 0 0 0 21 1 0 0 20 0 19 0 35196937 19452874752 18311 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35196940 19452874752 18311 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35196940 19452874752 18311 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35196954 19452874752 18311 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73244 KiB

[startup+0.700236 s]
/proc/loadavg: 4.40 4.22 4.16 6/345 25707
/proc/meminfo: memFree=113427040/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=18996948 memory=129504 CPUtime=1.24 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 11949 0 0 0 119 5 0 0 20 0 19 0 35196936 19452874752 32376 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4749237 32376 5464 1 0 551503 0
[pid=25688/tid=25690] ppid=25685 vsize=18996948 memory=17280 CPUtime=0.59 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 5414 0 0 0 56 3 0 0 20 0 19 0 35196937 19452874752 32376 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35196940 19452874752 32376 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35196940 19452874752 32376 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35196954 19452874752 32376 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129504 KiB

[startup+1.50025 s]
/proc/loadavg: 4.40 4.22 4.16 6/345 25707
/proc/meminfo: memFree=113356656/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=175540 CPUtime=2.82 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 20818 0 0 0 275 7 0 0 20 0 20 0 35196936 19521036288 43885 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 43885 5496 1 0 553842 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=0 CPUtime=1.37 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 5929 0 0 0 133 4 0 0 20 0 20 0 35196937 19521036288 43885 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 43885 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 43885 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 43885 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175540 KiB

[startup+3.10578 s]
/proc/loadavg: 4.69 4.29 4.18 5/346 25708
/proc/meminfo: memFree=113307744/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=178064 CPUtime=5.14 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 22704 0 0 0 505 9 0 0 20 0 20 0 35196936 19521036288 44516 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 44516 5496 1 0 553843 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=10752 CPUtime=2.95 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 6337 0 0 0 289 6 0 0 20 0 20 0 35196937 19521036288 44516 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=-6000919485541017453 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 44516 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 44516 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 44516 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 5.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178064 KiB

[startup+6.30016 s]
/proc/loadavg: 4.69 4.29 4.18 5/346 25708
/proc/meminfo: memFree=113067944/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=400156 CPUtime=8.46 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 24080 0 0 0 830 16 0 0 20 0 20 0 35196936 19521036288 100039 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 100039 5496 1 0 553844 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=0 CPUtime=6.12 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 7120 0 0 0 600 12 0 0 20 0 20 0 35196937 19521036288 100039 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 100039 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 100039 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=175540 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 100039 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 400156 KiB

[startup+12.7002 s]
/proc/loadavg: 4.82 4.33 4.20 5/346 25708
/proc/meminfo: memFree=112425592/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=957268 CPUtime=14.94 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 29285 0 0 0 1464 30 0 0 20 0 20 0 35196936 19521036288 239317 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 239317 5496 1 0 553844 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=175540 CPUtime=12.49 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 8318 0 0 0 1224 25 0 0 20 0 20 0 35196937 19521036288 239317 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=922396 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 239317 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 239317 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 239317 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 14.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 957268 KiB

[startup+25.5002 s]
/proc/loadavg: 4.69 4.32 4.19 5/346 25708
/proc/meminfo: memFree=112078968/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1131364 CPUtime=27.72 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 32295 0 0 0 2732 40 0 0 20 0 20 0 35196936 19521036288 282841 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 282841 5496 1 0 553844 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=922396 CPUtime=25.24 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 9449 0 0 0 2489 35 0 0 20 0 20 0 35196937 19521036288 282841 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 282841 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=-6000919485541017453 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 282841 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 282841 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 27.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1131364 KiB

[startup+51.1061 s]
/proc/loadavg: 4.52 4.31 4.19 5/345 25709
/proc/meminfo: memFree=111610668/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1309592 CPUtime=53.23 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 34478 0 0 0 5266 57 0 0 20 0 20 0 35196936 19521036288 327398 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0

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

/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=1863508 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1385 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3195.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/344 26614
/proc/meminfo: memFree=115160156/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1863508 CPUtime=3254.91 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 85024 0 0 0 324828 663 0 0 20 0 20 0 35196936 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 465877 5528 1 0 553868 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=1863508 CPUtime=3245.3 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 35299 0 0 0 323956 574 0 0 20 0 20 0 35196937 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1497 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 465877 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3254.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/345 26621
/proc/meminfo: memFree=114697756/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3314.78 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 86837 0 0 0 330805 673 0 0 20 0 20 0 35196936 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 471007 5528 1 0 553868 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3305.08 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) D 25685 25688 24970 0 -1 4194368 35967 0 0 0 329925 583 0 0 20 0 20 0 35196937 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1552 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3314.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/345 26623
/proc/meminfo: memFree=114281676/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3374.67 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 86904 0 0 0 336784 683 0 0 20 0 20 0 35196936 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 471007 5528 1 0 553868 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3364.87 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 35981 0 0 0 335896 591 0 0 20 0 20 0 35196937 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=1884028 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=1884028 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1552 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3374.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/346 26626
/proc/meminfo: memFree=113852592/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3434.55 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 87112 0 0 0 342764 691 0 0 20 0 20 0 35196936 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 471007 5528 1 0 553868 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3424.65 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 36156 0 0 0 341867 598 0 0 20 0 20 0 35196937 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=1884028 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1552 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3434.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/344 26628
/proc/meminfo: memFree=113468988/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3494.42 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 89002 0 0 0 348742 700 0 0 20 0 20 0 35196936 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 471007 5528 1 0 553868 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3484.43 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 37022 0 0 0 347836 607 0 0 20 0 20 0 35196937 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=1884028 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1637 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=1884028 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3494.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.41 4.22 4.13 5/344 26630
/proc/meminfo: memFree=113105840/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3554.29 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 91027 0 0 0 354720 709 0 0 20 0 20 0 35196936 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 471007 5528 1 0 553869 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=4380 CPUtime=3544.15 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 37829 0 0 0 353801 614 0 0 20 0 20 0 35196937 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1646 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=7366555964831473172 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3554.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3628.2 s]
/proc/loadavg: 4.27 4.20 4.12 6/343 26632
/proc/meminfo: memFree=112793576/131249996 swapFree=33010684/33010684
[pid=25688] ppid=25685 vsize=19063512 memory=1884028 CPUtime=3600.06 cores=1,3
/proc/25688/stat : 25688 (java) S 25685 25688 24970 0 -1 4194304 91256 0 0 0 359291 715 0 0 20 0 20 0 35196936 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
/proc/25688/statm: 4765878 471007 5528 1 0 553869 0
[pid=25688/tid=25690] ppid=25685 vsize=19063512 memory=1439876 CPUtime=3589.9 cores=1,3
/proc/25688/task/25690/stat : 25690 (java) R 25685 25688 24970 0 -1 4194368 37982 0 0 0 358370 620 0 0 20 0 20 0 35196937 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25699] ppid=25685 vsize=19063512 memory=4916 CPUtime=0 cores=1,3
/proc/25688/task/25699/stat : 25699 (Finalizer) S 25685 25688 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25706] ppid=25685 vsize=19063512 memory=-6000919485541017453 CPUtime=0 cores=1,3
/proc/25688/task/25706/stat : 25706 (Common-Cleaner) S 25685 25688 24970 0 -1 4194368 1695 0 0 0 0 0 0 0 20 0 20 0 35196940 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
[pid=25688/tid=25707] ppid=25685 vsize=19063512 memory=245635481903 CPUtime=0 cores=1,3
/proc/25688/task/25707/stat : 25707 (Timer-0) S 25685 25688 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35196954 19521036288 471007 18446744073709551615 94124855480320 94124855484016 140732059129664 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94124855491832 94124855492624 94124880113664 140732059138352 140732059138534 140732059138534 140732059144136 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884028 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.04 s, system=7.16578 s

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

[startup+3628.31 s]*
/proc/loadavg: 4.27 4.20 4.12 5/325 26635
/proc/meminfo: memFree=114628208/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3628.32
CPU time (s): 3600.21
CPU user time (s): 3593.04
CPU system time (s): 7.16578
CPU usage (%): 99.2253
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1884028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.04
system time used= 7.16578
maximum resident set size= 1885052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4928800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107601
involuntary context switches= 9674


# summary of solver processes directly reported to runsolver:
#   pid: 25688
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3593.04
#   total CPU system time (s): 7.16578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58463 second user time and 17.3692 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 13:06:32
IDJOB=4509941
IDBENCH=159187
IDSOLVER=3364
FILE ID=nodeC017/4509941-1751195192
RUNJOBID= nodeC017-1751191606-24982
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509941-1751195192/watcher-4509941-1751195192 -o /tmp/evaluation-result-4509941-1751195192/solver-4509941-1751195192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24982 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509941-1751195192 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509941-1751195192.opb

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

MD5SUM BENCH= e9fe8a525132cf683f02a97489687f4f
RANDOM SEED=902146801

nodeC017 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		: 3600.090
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	: 7000.12
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.225
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	: 7000.12
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		: 3567.513
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	: 7000.12
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		: 3600.067
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	: 7000.12
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		: 3600.057
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	: 7000.12
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		: 3600.050
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.268
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	: 7000.12
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		: 3598.410
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113500732 kB
MemAvailable:   123715816 kB
Buffers:            3280 kB
Cached:         11013240 kB
SwapCached:            0 kB
Active:          6398048 kB
Inactive:       10759512 kB
Active(anon):    6159172 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file): 10759512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            205520 kB
Writeback:             0 kB
AnonPages:       6142700 kB
Mapped:           122684 kB
Shmem:             18080 kB
KReclaimable:     111468 kB
Slab:             204712 kB
SReclaimable:     111468 kB
SUnreclaim:        93244 kB
KernelStack:        5264 kB
PageTables:        15600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7072864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5894144 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 14:07:00