Trace number 4509975

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 CP VeriPB 2025-06-06? (TO) 3600.34 3583.26

General information on the benchmark

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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	c  - never skip resolution steps
0.13/0.15	c  - Auto-division on coefficients is disabled
0.13/0.15	c  - No postprocessing
0.13/0.15	c  - Conflict is considered as is when resolving
0.13/0.15	c  - Use constraints as they come during conflict analysis
0.13/0.15	c  - Weaken first using unassigned literals
0.13/0.15	c  - Bump strategy: ALWAYS_ONE
0.13/0.15	c  - Bumper: EFFECTIVE
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Dynamic restart strategy considering the size of the coefficients
0.13/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.13/0.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4509975-1751191575.opb
0.13/0.15	c reading problem ... 
0.13/0.15	c using VERIPB proof format
0.13/0.15	c  no objective function found
0.33/0.21	c ... done. Wall clock time 0.052s.
0.33/0.21	c declared #vars     201
0.33/0.21	c #constraints  536
0.33/0.21	c constraints type 
0.33/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 536
0.33/0.21	c 536 constraints processed.
1.67/0.98	c cleaning 2495 clauses out of 5001 with flag 0/5001
2.86/1.57	c cleaning 4248 clauses out of 8505 with flag 0/11000
4.06/2.15	c cleaning 5624 clauses out of 11258 with flag 0/18001
4.85/2.70	c cleaning 6811 clauses out of 13634 with flag 0/26001
5.64/3.24	c cleaning 7903 clauses out of 15822 with flag 0/35000
6.34/3.92	c cleaning 8955 clauses out of 17920 with flag 0/45001
7.02/4.56	c cleaning 9977 clauses out of 19965 with flag 0/56001
7.72/5.21	c cleaning 10988 clauses out of 21989 with flag 0/68002
8.43/5.95	c cleaning 11997 clauses out of 23999 with flag 0/81000
9.23/6.73	c cleaning 12996 clauses out of 26002 with flag 0/95000
10.04/7.52	c cleaning 13995 clauses out of 28007 with flag 0/110001
10.84/8.39	c cleaning 15000 clauses out of 30012 with flag 0/126001
11.87/9.32	c cleaning 15998 clauses out of 32012 with flag 0/143001
12.80/10.23	c cleaning 16999 clauses out of 34013 with flag 0/161000
13.91/11.30	c cleaning 17997 clauses out of 36014 with flag 0/180000
15.22/12.66	c cleaning 19002 clauses out of 38017 with flag 0/200000
16.43/13.81	c cleaning 20001 clauses out of 40016 with flag 0/221001
17.52/14.93	c cleaning 21000 clauses out of 42014 with flag 0/243000
18.72/16.11	c cleaning 22003 clauses out of 44015 with flag 0/266001
19.93/17.32	c cleaning 22999 clauses out of 46012 with flag 0/290001
21.04/18.47	c cleaning 23999 clauses out of 48013 with flag 0/315001
22.34/19.79	c cleaning 24999 clauses out of 50013 with flag 0/341000
23.82/21.15	c cleaning 26002 clauses out of 52015 with flag 0/368001
25.32/22.62	c cleaning 26997 clauses out of 54012 with flag 0/396000
26.82/24.13	c cleaning 27999 clauses out of 56016 with flag 0/425001
28.31/25.62	c cleaning 29001 clauses out of 58017 with flag 0/455001
29.93/27.27	c cleaning 30002 clauses out of 60017 with flag 0/486002
31.63/28.95	c cleaning 30997 clauses out of 62013 with flag 0/518000
33.54/30.84	c cleaning 32001 clauses out of 64017 with flag 0/551001
35.60/32.94	c cleaning 33001 clauses out of 66015 with flag 0/585000
37.72/35.10	c cleaning 33998 clauses out of 68014 with flag 0/620000
39.92/37.26	c cleaning 35000 clauses out of 70017 with flag 0/656001
42.23/39.50	c cleaning 36001 clauses out of 72016 with flag 0/693000
44.43/41.70	c cleaning 36998 clauses out of 74015 with flag 0/731000
47.03/44.30	c cleaning 37998 clauses out of 76017 with flag 0/770000
49.63/46.90	c cleaning 39004 clauses out of 78020 with flag 0/810001
52.54/49.81	c cleaning 39999 clauses out of 80015 with flag 0/851000
55.66/52.90	c cleaning 40998 clauses out of 82016 with flag 0/893000
58.68/55.97	c cleaning 41997 clauses out of 84018 with flag 0/936000
62.01/59.26	c cleaning 43001 clauses out of 86021 with flag 0/980000
65.35/62.69	c cleaning 43998 clauses out of 88021 with flag 0/1025001
68.98/66.26	c cleaning 44999 clauses out of 90022 with flag 0/1071000
72.55/69.75	c cleaning 45999 clauses out of 92024 with flag 0/1118001
75.78/72.90	c cleaning 47002 clauses out of 94024 with flag 0/1166000
79.43/76.54	c cleaning 48002 clauses out of 96022 with flag 0/1215000
83.01/80.05	c cleaning 49003 clauses out of 98021 with flag 0/1265001
86.93/83.95	c cleaning 50000 clauses out of 100017 with flag 0/1316000
90.89/87.89	c cleaning 50995 clauses out of 102017 with flag 0/1368000
94.72/91.63	c cleaning 52000 clauses out of 104022 with flag 0/1421000
99.25/96.11	c cleaning 53001 clauses out of 106022 with flag 0/1475000
103.18/100.06	c cleaning 53998 clauses out of 108021 with flag 0/1530000
106.94/103.79	c cleaning 54998 clauses out of 110023 with flag 0/1586000
110.96/107.77	c cleaning 56001 clauses out of 112025 with flag 0/1643000
115.08/111.89	c cleaning 57000 clauses out of 114024 with flag 0/1701000
119.44/116.11	c cleaning 57997 clauses out of 116024 with flag 0/1760000
123.57/120.21	c cleaning 59004 clauses out of 118028 with flag 0/1820001
127.56/124.28	c cleaning 60001 clauses out of 120023 with flag 0/1881000
132.24/128.82	c cleaning 61001 clauses out of 122022 with flag 0/1943000
136.89/133.43	c cleaning 62000 clauses out of 124021 with flag 0/2006000
142.55/139.09	c cleaning 63002 clauses out of 126021 with flag 0/2070000
147.48/143.92	c cleaning 63996 clauses out of 128019 with flag 0/2135000
152.46/148.87	c cleaning 65002 clauses out of 130024 with flag 0/2201001
157.39/153.75	c cleaning 66003 clauses out of 132021 with flag 0/2268000
162.64/158.90	c cleaning 67001 clauses out of 134019 with flag 0/2336001
168.31/164.51	c cleaning 67999 clauses out of 136018 with flag 0/2405001
173.66/169.85	c cleaning 68997 clauses out of 138019 with flag 0/2475001
179.42/175.50	c cleaning 70000 clauses out of 140022 with flag 0/2546001
185.62/181.71	c cleaning 71004 clauses out of 142022 with flag 0/2618001
192.33/188.46	c cleaning 71994 clauses out of 144017 with flag 0/2691000
198.19/194.23	c cleaning 73000 clauses out of 146023 with flag 0/2765000
204.95/200.98	c cleaning 74002 clauses out of 148024 with flag 0/2840001
210.78/206.73	c cleaning 74996 clauses out of 150021 with flag 0/2916000
216.92/212.89	c cleaning 76006 clauses out of 152026 with flag 0/2993001
223.00/218.87	c cleaning 77000 clauses out of 154020 with flag 0/3071001
229.57/225.37	c cleaning 77998 clauses out of 156019 with flag 0/3150000
235.46/231.18	c cleaning 78999 clauses out of 158021 with flag 0/3230000
241.82/237.42	c cleaning 80003 clauses out of 160022 with flag 0/3311000
247.99/243.51	c cleaning 80999 clauses out of 162019 with flag 0/3393000
254.17/249.79	c cleaning 81992 clauses out of 164021 with flag 0/3476001
261.25/256.76	c cleaning 83007 clauses out of 166029 with flag 0/3560001
268.02/263.40	c cleaning 84004 clauses out of 168021 with flag 0/3645000
275.03/270.39	c cleaning 84997 clauses out of 170018 with flag 0/3731001
281.40/276.64	c cleaning 86003 clauses out of 172021 with flag 0/3818001
287.83/283.09	c cleaning 86995 clauses out of 174018 with flag 0/3906001
294.77/289.92	c cleaning 88001 clauses out of 176023 with flag 0/3995001
301.82/296.90	c cleaning 88996 clauses out of 178022 with flag 0/4085001
308.58/303.69	c cleaning 90003 clauses out of 180026 with flag 0/4176001
316.11/311.17	c cleaning 91000 clauses out of 182022 with flag 0/4268000
323.17/318.17	c cleaning 92001 clauses out of 184023 with flag 0/4361001
330.43/325.32	c cleaning 93000 clauses out of 186021 with flag 0/4455000
338.03/332.89	c cleaning 94000 clauses out of 188022 with flag 0/4550001
346.28/341.10	c cleaning 94999 clauses out of 190021 with flag 0/4646000
354.18/348.86	c cleaning 96005 clauses out of 192023 with flag 0/4743001
363.04/357.69	c cleaning 96999 clauses out of 194018 with flag 0/4841001
371.36/365.82	c cleaning 98000 clauses out of 196019 with flag 0/4940001
379.04/373.43	c cleaning 98999 clauses out of 198019 with flag 0/5040001
387.53/381.84	c cleaning 99998 clauses out of 200019 with flag 0/5141000
397.23/391.43	c cleaning 101002 clauses out of 202021 with flag 0/5243000
406.68/400.86	c cleaning 101998 clauses out of 204020 with flag 0/5346001
415.00/409.00	c cleaning 103000 clauses out of 206021 with flag 0/5450000
423.65/417.62	c cleaning 104003 clauses out of 208022 with flag 0/5555001
433.23/427.13	c cleaning 104996 clauses out of 210018 with flag 0/5661000
442.97/436.80	c cleaning 105997 clauses out of 212022 with flag 0/5768000
453.20/446.99	c cleaning 107001 clauses out of 214025 with flag 0/5876000
462.79/456.47	c cleaning 108003 clauses out of 216024 with flag 0/5985000
474.63/468.24	c cleaning 109005 clauses out of 218021 with flag 0/6095000
485.35/478.87	c cleaning 109998 clauses out of 220017 with flag 0/6206001
495.93/489.39	c cleaning 111000 clauses out of 222019 with flag 0/6318001
508.60/501.94	c cleaning 111999 clauses out of 224019 with flag 0/6431001
520.40/513.69	c cleaning 112995 clauses out of 226020 with flag 0/6545001
531.48/524.63	c cleaning 114000 clauses out of 228024 with flag 0/6660000
541.58/534.74	c cleaning 115002 clauses out of 230024 with flag 0/6776000
551.74/544.89	c cleaning 116002 clauses out of 232022 with flag 0/6893000
561.81/554.96	c cleaning 117003 clauses out of 234021 with flag 0/7011001
573.37/566.49	c cleaning 117999 clauses out of 236017 with flag 0/7130000
583.85/576.83	c cleaning 119000 clauses out of 238019 with flag 0/7250001
594.75/587.76	c cleaning 120001 clauses out of 240019 with flag 0/7371001
607.52/600.41	c cleaning 120998 clauses out of 242018 with flag 0/7493001
619.30/612.11	c cleaning 121998 clauses out of 244019 with flag 0/7616000
629.99/622.82	c cleaning 123000 clauses out of 246022 with flag 0/7740001
640.04/632.83	c cleaning 124000 clauses out of 248021 with flag 0/7865000
650.70/643.49	c cleaning 124995 clauses out of 250021 with flag 0/7991000
662.21/654.93	c cleaning 126005 clauses out of 252026 with flag 0/8118000
673.22/665.99	c cleaning 126998 clauses out of 254021 with flag 0/8246000
684.11/676.82	c cleaning 128001 clauses out of 256024 with flag 0/8375001
694.46/687.12	c cleaning 129001 clauses out of 258023 with flag 0/8505001
707.18/699.81	c cleaning 129997 clauses out of 260022 with flag 0/8636001
718.68/711.37	c cleaning 131003 clauses out of 262025 with flag 0/8768001
731.10/723.74	c cleaning 132000 clauses out of 264021 with flag 0/8901000
743.03/735.66	c cleaning 132999 clauses out of 266021 with flag 0/9035000
754.60/747.13	c cleaning 133998 clauses out of 268022 with flag 0/9170000
767.43/759.95	c cleaning 135002 clauses out of 270025 with flag 0/9306001
778.29/770.75	c cleaning 136002 clauses out of 272023 with flag 0/9443001
789.46/781.83	c cleaning 137002 clauses out of 274021 with flag 0/9581001
801.36/793.65	c cleaning 137999 clauses out of 276018 with flag 0/9720000
812.10/804.38	c cleaning 139001 clauses out of 278019 with flag 0/9860000
823.57/815.75	c cleaning 139997 clauses out of 280018 with flag 0/10001000
835.20/827.22	c cleaning 140999 clauses out of 282021 with flag 0/10143000
847.72/839.89	c cleaning 142001 clauses out of 284022 with flag 0/10286000
859.63/851.66	c cleaning 142999 clauses out of 286021 with flag 0/10430000
871.40/863.38	c cleaning 144003 clauses out of 288022 with flag 0/10575000
883.41/875.25	c cleaning 145001 clauses out of 290020 with flag 0/10721001
894.48/886.25	c cleaning 145998 clauses out of 292018 with flag 0/10868000
905.60/897.37	c cleaning 146999 clauses out of 294020 with flag 0/11016000
917.51/909.09	c cleaning 148001 clauses out of 296021 with flag 0/11165000
929.95/921.42	c cleaning 148999 clauses out of 298021 with flag 0/11315001
941.91/933.41	c cleaning 150003 clauses out of 300022 with flag 0/11466001
954.67/946.19	c cleaning 151000 clauses out of 302018 with flag 0/11618000
968.02/959.44	c cleaning 151998 clauses out of 304018 with flag 0/11771000
981.05/972.36	c cleaning 152997 clauses out of 306020 with flag 0/11925000
994.71/985.98	c cleaning 154000 clauses out of 308024 with flag 0/12080001
1007.53/998.68	c cleaning 155001 clauses out of 310023 with flag 0/12236000
1022.85/1013.80	c cleaning 155999 clauses out of 312022 with flag 0/12393000
1037.50/1028.44	c cleaning 157004 clauses out of 314024 with flag 0/12551001
1052.60/1043.45	c cleaning 158002 clauses out of 316019 with flag 0/12710000
1067.71/1058.58	c cleaning 158996 clauses out of 318017 with flag 0/12870000
1083.82/1074.63	c cleaning 159998 clauses out of 320021 with flag 0/13031000
1098.41/1089.28	c cleaning 161001 clauses out of 322023 with flag 0/13193000
1114.13/1104.87	c cleaning 161998 clauses out of 324023 with flag 0/13356001
1130.76/1121.41	c cleaning 163001 clauses out of 326024 with flag 0/13520000
1147.13/1137.71	c cleaning 164001 clauses out of 328024 with flag 0/13685001
1163.18/1153.70	c cleaning 164996 clauses out of 330022 with flag 0/13851000
1181.86/1172.31	c cleaning 166004 clauses out of 332027 with flag 0/14018001
1197.80/1188.14	c cleaning 167001 clauses out of 334023 with flag 0/14186001
1215.04/1205.32	c cleaning 167996 clauses out of 336021 with flag 0/14355000
1232.89/1223.04	c cleaning 169005 clauses out of 338025 with flag 0/14525000
1249.02/1239.05	c cleaning 170000 clauses out of 340020 with flag 0/14696000
1265.10/1255.05	c cleaning 171001 clauses out of 342020 with flag 0/14868000
1281.22/1271.15	c cleaning 171997 clauses out of 344019 with flag 0/15041000
1298.29/1288.19	c cleaning 173002 clauses out of 346023 with flag 0/15215001
1316.43/1306.26	c cleaning 173996 clauses out of 348020 with flag 0/15390000
1333.58/1323.38	c cleaning 175002 clauses out of 350024 with flag 0/15566000
1350.95/1340.57	c cleaning 176001 clauses out of 352023 with flag 0/15743001
1367.92/1357.46	c cleaning 176999 clauses out of 354021 with flag 0/15921000
1385.82/1375.27	c cleaning 177999 clauses out of 356022 with flag 0/16100000
1403.57/1392.94	c cleaning 179000 clauses out of 358023 with flag 0/16280000
1421.01/1410.38	c cleaning 179995 clauses out of 360023 with flag 0/16461000
1439.95/1429.27	c cleaning 181001 clauses out of 362029 with flag 0/16643001
1459.79/1449.04	c cleaning 182004 clauses out of 364028 with flag 0/16826001
1476.73/1465.97	c cleaning 183000 clauses out of 366024 with flag 0/17010001
1494.56/1483.78	c cleaning 183997 clauses out of 368024 with flag 0/17195001
1513.30/1502.43	c cleaning 185004 clauses out of 370027 with flag 0/17381001
1532.30/1522.43	c cleaning 185999 clauses out of 372022 with flag 0/17568000
1551.71/1541.72	c cleaning 186997 clauses out of 374023 with flag 0/17756000
1569.80/1559.75	c cleaning 188007 clauses out of 376027 with flag 0/17945001
1589.93/1579.87	c cleaning 188999 clauses out of 378020 with flag 0/18135001
1608.83/1598.76	c cleaning 189998 clauses out of 380020 with flag 0/18326000
1628.32/1618.15	c cleaning 190999 clauses out of 382022 with flag 0/18518000
1647.51/1637.27	c cleaning 191997 clauses out of 384024 with flag 0/18711001
1666.94/1656.56	c cleaning 192999 clauses out of 386026 with flag 0/18905000
1687.33/1676.79	c cleaning 193999 clauses out of 388027 with flag 0/19100000
1708.41/1697.75	c cleaning 194997 clauses out of 390029 with flag 0/19296001
1726.92/1716.18	c cleaning 196004 clauses out of 392032 with flag 0/19493001
1746.53/1735.79	c cleaning 197006 clauses out of 394027 with flag 0/19691000
1766.09/1755.19	c cleaning 198002 clauses out of 396022 with flag 0/19890001
1785.98/1774.96	c cleaning 198998 clauses out of 398019 with flag 0/20090000
1807.12/1795.91	c cleaning 200003 clauses out of 400021 with flag 0/20291000
1826.57/1815.36	c cleaning 200999 clauses out of 402018 with flag 0/20493000
1848.34/1836.95	c cleaning 202003 clauses out of 404019 with flag 0/20696000
1868.62/1857.19	c cleaning 203001 clauses out of 406017 with flag 0/20900001
1889.29/1877.77	c cleaning 203998 clauses out of 408016 with flag 0/21105001
1911.88/1900.28	c cleaning 204999 clauses out of 410017 with flag 0/21311000
1934.31/1922.54	c cleaning 205999 clauses out of 412018 with flag 0/21518000
1956.68/1944.81	c cleaning 206997 clauses out of 414020 with flag 0/21726001
1979.15/1967.29	c cleaning 207995 clauses out of 416022 with flag 0/21935000
2002.34/1990.36	c cleaning 209005 clauses out of 418027 with flag 0/22145000
2024.56/2012.56	c cleaning 210002 clauses out of 420022 with flag 0/22356000
2048.32/2036.20	c cleaning 211003 clauses out of 422021 with flag 0/22568001
2072.27/2060.16	c cleaning 212000 clauses out of 424017 with flag 0/22781000
2096.04/2083.84	c cleaning 213002 clauses out of 426018 with flag 0/22995001
2119.31/2107.08	c cleaning 213995 clauses out of 428016 with flag 0/23210001
2144.79/2132.47	c cleaning 214997 clauses out of 430021 with flag 0/23426001
2168.75/2156.30	c cleaning 215998 clauses out of 432024 with flag 0/23643001
2192.90/2180.47	c cleaning 217000 clauses out of 434025 with flag 0/23861000
2217.09/2204.57	c cleaning 218001 clauses out of 436025 with flag 0/24080000
2242.26/2229.60	c cleaning 219001 clauses out of 438024 with flag 0/24300000
2265.70/2253.04	c cleaning 219999 clauses out of 440024 with flag 0/24521001
2288.45/2275.78	c cleaning 221003 clauses out of 442024 with flag 0/24743000
2312.41/2299.64	c cleaning 221998 clauses out of 444022 with flag 0/24966001
2336.77/2323.91	c cleaning 222999 clauses out of 446023 with flag 0/25190000
2361.68/2348.72	c cleaning 223998 clauses out of 448025 with flag 0/25415001
2388.22/2375.23	c cleaning 224999 clauses out of 450027 with flag 0/25641001
2413.48/2400.42	c cleaning 226001 clauses out of 452027 with flag 0/25868000
2439.39/2426.24	c cleaning 227004 clauses out of 454027 with flag 0/26096001
2465.12/2451.82	c cleaning 227998 clauses out of 456023 with flag 0/26325001
2492.65/2479.38	c cleaning 229003 clauses out of 458025 with flag 0/26555001
2519.44/2506.06	c cleaning 230000 clauses out of 460022 with flag 0/26786001
2547.52/2534.04	c cleaning 230996 clauses out of 462021 with flag 0/27018000
2575.42/2561.81	c cleaning 232000 clauses out of 464026 with flag 0/27251001
2603.51/2589.85	c cleaning 233002 clauses out of 466025 with flag 0/27485000
2631.92/2618.19	c cleaning 234003 clauses out of 468023 with flag 0/27720000
2661.06/2647.21	c cleaning 234999 clauses out of 470021 with flag 0/27956001
2689.24/2675.32	c cleaning 235998 clauses out of 472021 with flag 0/28193000
2719.23/2705.25	c cleaning 237003 clauses out of 474024 with flag 0/28431001
2748.85/2734.66	c cleaning 237995 clauses out of 476021 with flag 0/28670001
2777.05/2762.70	c cleaning 239002 clauses out of 478025 with flag 0/28910000
2806.15/2791.72	c cleaning 239998 clauses out of 480024 with flag 0/29151001
2834.83/2820.31	c cleaning 240998 clauses out of 482026 with flag 0/29393001
2873.88/2859.38	c cleaning 242006 clauses out of 484028 with flag 0/29636001
2910.50/2895.87	c cleaning 243003 clauses out of 486021 with flag 0/29880000
2946.43/2931.64	c cleaning 244002 clauses out of 488019 with flag 0/30125001
2984.41/2969.51	c cleaning 244996 clauses out of 490016 with flag 0/30371000
3020.85/3005.87	c cleaning 245999 clauses out of 492021 with flag 0/30618001
3054.52/3039.47	c cleaning 246999 clauses out of 494021 with flag 0/30866000
3088.95/3073.57	c cleaning 248001 clauses out of 496022 with flag 0/31115000
3119.96/3104.42	c cleaning 249000 clauses out of 498022 with flag 0/31365001
3155.41/3139.74	c cleaning 249996 clauses out of 500021 with flag 0/31616000
3185.17/3169.39	c cleaning 251005 clauses out of 502025 with flag 0/31868000
3220.62/3204.78	c cleaning 251998 clauses out of 504020 with flag 0/32121000
3250.68/3234.66	c cleaning 253000 clauses out of 506022 with flag 0/32375000
3279.94/3263.89	c cleaning 253998 clauses out of 508023 with flag 0/32630001
3310.96/3294.73	c cleaning 255001 clauses out of 510025 with flag 0/32886001
3344.62/3328.39	c cleaning 256001 clauses out of 512023 with flag 0/33143000
3374.32/3357.95	c cleaning 256999 clauses out of 514023 with flag 0/33401001
3404.20/3387.79	c cleaning 257999 clauses out of 516023 with flag 0/33660000
3436.74/3420.21	c cleaning 259003 clauses out of 518025 with flag 0/33920001
3469.94/3453.41	c cleaning 259998 clauses out of 520022 with flag 0/34181001
3503.25/3486.68	c cleaning 261001 clauses out of 522024 with flag 0/34443001
3535.02/3518.31	c cleaning 261997 clauses out of 524022 with flag 0/34706000
3570.42/3553.68	c cleaning 263001 clauses out of 526026 with flag 0/34970001
3600.05/3583.12	c starts		: 1
3600.05/3583.13	c conflicts		: 35235001
3600.05/3583.13	c decisions		: 39182825
3600.05/3583.13	c propagations		: 202875948
3600.05/3583.13	c inspects		: 18338123104
3600.05/3583.13	c shortcuts		: 0
3600.05/3583.13	c learnt literals	: 0
3600.05/3583.13	c learnt binary clauses	: 0
3600.05/3583.13	c learnt ternary clauses	: 4
3600.05/3583.14	c learnt constraints	: 35235001
3600.05/3583.14	c ignored constraints	: 0
3600.05/3583.14	c root simplifications	: 0
3600.05/3583.14	c removed literals (reason simplification)	: 0
3600.05/3583.14	c reason swapping (by a shorter reason)	: 0
3600.05/3583.14	c Calls to reduceDB	: 261
3600.05/3583.14	c Number of update (reduction) of LBD	: 37689596
3600.05/3583.14	c Imported unit clauses	: 0
3600.05/3583.14	c No decision after first conflict	: false
3600.05/3583.14	c number of reductions to clauses (during analyze)	: 0
3600.05/3583.14	c number of learned constraints concerned by reduction	: 0
3600.05/3583.14	c number of learning phase by resolution	: 0
3600.05/3583.14	c number of learning phase by cutting planes	: 0
3600.05/3583.14	c number of rounding to 1 operations	: 0
3600.05/3583.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3583.14	c number of reductions of the coefficients by power 2 	: 0
3600.05/3583.14	c number of right shift for reduction by power 2 	: 0
3600.05/3583.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3583.14	c number of ending skipping 	: 0
3600.05/3583.14	c number of internal skipping 	: 0
3600.05/3583.14	c number of derivation steps 	: 185256261
3600.05/3583.14	c number of skipped derivation steps 	: 0
3600.05/3583.14	c number of remaining unassigned 	: 0
3600.05/3583.14	c number of remaining assigned 	: 0
3600.05/3583.14	c number of falsified literals weakened from reason	: 0
3600.05/3583.14	c number of falsified literals weakened from conflict	: 0
3600.05/3583.14	c time for arithmetic operations	: 0
3600.05/3583.16	c minimum degree of deleted constraints	: 1
3600.05/3583.16	c maximum degree of deleted constraints	: 1
3600.05/3583.16	c number of deleted constraints	: 34875943
3600.05/3583.16	c speed (assignments/second)	: 56622.616732752824
3600.05/3583.16	c non guided choices	: 11185
3600.24/3583.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 528025
3600.24/3583.24	s UNKNOWN
3600.24/3583.24	c Total wall clock time (in seconds): 3583.093

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: 63708 MiB (59569 MiB free)
  memory of node 1: 64465 MiB (57831 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509975-1751191575/watcher-4509975-1751191575 -o /tmp/evaluation-result-4509975-1751191575/solver-4509975-1751191575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751183987-20568 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509975-1751191575 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4509975-1751191575.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
solver pid=21938, runsolver pid=21935
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.09 4.20 4.25 5/346 21956
/proc/meminfo: memFree=120195732/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=18930384 memory=57848 CPUtime=0.13 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 6600 0 0 0 11 2 0 0 20 0 18 0 34835325 19384713216 14462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4732596 14462 5349 1 0 547642 0
[pid=21938/tid=21940] ppid=21935 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 5105 0 0 0 7 1 0 0 20 0 18 0 34835326 19384713216 14462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34835328 19384713216 14462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=18930384 memory=58485492679666 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34835328 19384713216 14462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57848 KiB

[startup+0.205904 s]*
/proc/loadavg: 4.09 4.20 4.25 7/346 21956
/proc/meminfo: memFree=120188864/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=18930384 memory=64528 CPUtime=0.33 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 7166 0 0 0 30 3 0 0 20 0 18 0 34835325 19384713216 16132 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4732596 16132 5445 1 0 548020 0
[pid=21938/tid=21940] ppid=21935 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 5398 0 0 0 16 1 0 0 20 0 18 0 34835326 19384713216 16132 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=18930384 memory=16099 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34835328 19384713216 16132 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34835328 19384713216 16132 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64528 KiB

[startup+0.305956 s]*
/proc/loadavg: 4.09 4.20 4.25 6/347 21957
/proc/meminfo: memFree=120174372/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=18998236 memory=82168 CPUtime=0.52 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 8972 0 0 0 49 3 0 0 20 0 19 0 34835325 19454193664 20542 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4749559 20542 5445 1 0 549577 0
[pid=21938/tid=21940] ppid=21935 vsize=18998236 memory=-6000919485624707949 CPUtime=0.27 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 5457 0 0 0 25 2 0 0 20 0 19 0 34835326 19454193664 20542 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=18998236 memory=0 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34835328 19454193664 20542 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=18998236 memory=0 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34835328 19454193664 20542 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=18998236 memory=0 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34835346 19454193664 20542 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18998236 KiB
Current children cumulated memory: 82168 KiB

[startup+0.700263 s]
/proc/loadavg: 4.09 4.20 4.25 6/347 21957
/proc/meminfo: memFree=120117596/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=165352 CPUtime=1.28 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 12745 0 0 0 122 6 0 0 20 0 20 0 34835325 19521036288 41338 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 41338 5477 1 0 551867 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=17536 CPUtime=0.61 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 5501 0 0 0 58 3 0 0 20 0 20 0 34835326 19521036288 41338 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 41338 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 41338 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 41338 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165352 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.20 4.25 6/348 21958
/proc/meminfo: memFree=120081744/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=291016 CPUtime=2.86 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 20650 0 0 0 277 9 0 0 20 0 20 0 34835325 19521036288 72754 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 72754 5477 1 0 553464 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=10880 CPUtime=1.37 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 5979 0 0 0 131 6 0 0 20 0 20 0 34835326 19521036288 72754 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 72754 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 72754 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 72754 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 291016 KiB

[startup+3.1058 s]
/proc/loadavg: 4.16 4.22 4.26 6/348 21958
/proc/meminfo: memFree=119456284/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=777828 CPUtime=5.55 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 25044 0 0 0 535 20 0 0 20 0 20 0 34835325 19521036288 194457 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 194457 5477 1 0 554164 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=10880 CPUtime=2.95 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 6834 0 0 0 280 15 0 0 20 0 20 0 34835326 19521036288 194457 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=-6000919485624707949 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 194457 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 194457 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 194457 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 777828 KiB

[startup+6.30016 s]
/proc/loadavg: 4.16 4.22 4.26 5/348 21958
/proc/meminfo: memFree=118870436/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=1305848 CPUtime=8.83 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 25560 0 0 0 852 31 0 0 20 0 20 0 34835325 19521036288 326462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 326462 5477 1 0 554164 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=0 CPUtime=6.12 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 7268 0 0 0 586 26 0 0 20 0 20 0 34835326 19521036288 326462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 326462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 326462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=336200 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 326462 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1305848 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.23 4.26 5/348 21958
/proc/meminfo: memFree=118832784/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=1312076 CPUtime=15.32 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 29255 0 0 0 1497 35 0 0 20 0 20 0 34835325 19521036288 328019 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 328019 5477 1 0 554164 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=336200 CPUtime=12.46 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 8471 0 0 0 1217 29 0 0 20 0 20 0 34835326 19521036288 328019 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 328019 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=1312076 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 328019 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 328019 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 15.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312076 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.22 4.26 5/347 21958
/proc/meminfo: memFree=118731432/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=1322460 CPUtime=28.21 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 34265 0 0 0 2781 40 0 0 20 0 20 0 34835325 19521036288 330615 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 330615 5477 1 0 554164 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=10880 CPUtime=25.12 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 9981 0 0 0 2478 34 0 0 20 0 20 0 34835326 19521036288 330615 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=1312076 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 330615 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 330615 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 330615 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 28.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1322460 KiB

[startup+51.1059 s]
/proc/loadavg: 4.19 4.22 4.25 5/346 21959
/proc/meminfo: memFree=117970424/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=1341028 CPUtime=53.85 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 35560 0 0 0 5335 50 0 0 20 0 20 0 34835325 19521036288 335257 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 335257 5477 1 0 554164 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=1341028 CPUtime=50.43 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 10809 0 0 0 5001 42 0 0 20 0 20 0 34835326 19521036288 335257 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0

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

[startup+3282.3 s]
/proc/loadavg: 1.80 3.37 3.89 2/269 22238
/proc/meminfo: memFree=124943980/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3298.6 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 96934 0 0 0 328960 900 0 0 20 0 20 0 34835325 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 648536 5541 1 0 661337 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3239.43 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 41360 0 0 0 323169 774 0 0 20 0 20 0 34835326 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=9088 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1060 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3298.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2594144 KiB

[startup+3342.3 s]
/proc/loadavg: 1.34 2.95 3.71 2/268 22252
/proc/meminfo: memFree=124905780/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3358.71 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 98485 0 0 0 334963 908 0 0 20 0 20 0 34835325 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 648536 5541 1 0 661337 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=5632 CPUtime=3298.91 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 42380 0 0 0 329110 781 0 0 20 0 20 0 34835326 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1113 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3358.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2594144 KiB

[startup+3402.3 s]
/proc/loadavg: 1.17 2.61 3.54 2/267 22254
/proc/meminfo: memFree=124875420/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3418.88 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 98783 0 0 0 340971 917 0 0 20 0 20 0 34835325 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 648536 5541 1 0 661337 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=17536 CPUtime=3358.38 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 42447 0 0 0 335048 790 0 0 20 0 20 0 34835326 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=-6000919485624707949 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1132 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3418.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2594144 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 2.34 3.39 2/266 22256
/proc/meminfo: memFree=124850572/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3478.84 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 98939 0 0 0 346956 928 0 0 20 0 20 0 34835325 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 648536 5541 1 0 661337 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3417.67 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 42493 0 0 0 340968 799 0 0 20 0 20 0 34835326 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=7078325588679761428 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1134 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3478.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2594144 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 2.11 3.25 2/267 22259
/proc/meminfo: memFree=124816860/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3539.05 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 99196 0 0 0 352967 938 0 0 20 0 20 0 34835325 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 648536 5541 1 0 661339 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=7078325588679761428 CPUtime=3477.05 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 42666 0 0 0 346897 808 0 0 20 0 20 0 34835326 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1134 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3539.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2594144 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.93 3.11 2/267 22261
/proc/meminfo: memFree=124784172/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3599.24 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 100923 0 0 0 358977 947 0 0 20 0 20 0 34835325 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 648536 5541 1 0 661339 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=17536 CPUtime=3536.39 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 43692 0 0 0 352823 816 0 0 20 0 20 0 34835326 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1134 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3599.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2594144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3583.1 s]
/proc/loadavg: 1.14 1.92 3.10 2/267 22261
/proc/meminfo: memFree=124780960/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3600.05 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 100923 0 0 0 359058 947 0 0 20 0 20 0 34835325 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4765878 648536 5541 1 0 661339 0
[pid=21938/tid=21940] ppid=21935 vsize=19063512 memory=2594144 CPUtime=3537.19 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 43692 0 0 0 352903 816 0 0 20 0 20 0 34835326 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19063512 memory=2594144 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1134 0 0 0 0 0 0 0 20 0 20 0 34835328 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21957] ppid=21935 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/21938/task/21957/stat : 21957 (Timer-0) S 21935 21938 20557 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34835346 19521036288 648536 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2594144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.85 s, system=9.48453 s

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

[startup+3583.2 s]
/proc/loadavg: 1.14 1.92 3.10 2/267 22261
/proc/meminfo: memFree=124780960/131249996 swapFree=33010684/33010684
[pid=21938] ppid=21935 vsize=19263204 memory=2594784 CPUtime=3600.24 cores=4,6
/proc/21938/stat : 21938 (java) S 21935 21938 20557 0 -1 4194304 103171 0 0 0 359077 947 0 0 20 0 21 0 34835325 19725520896 648696 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
/proc/21938/statm: 4815801 648696 5541 1 0 662258 0
[pid=21938/tid=21940] ppid=21935 vsize=19263204 memory=2594144 CPUtime=3537.29 cores=4,6
/proc/21938/task/21940/stat : 21940 (java) R 21935 21938 20557 0 -1 4194368 43693 0 0 0 352913 816 0 0 20 0 21 0 34835326 19725520896 648696 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21949] ppid=21935 vsize=19263204 memory=14156 CPUtime=0 cores=4,6
/proc/21938/task/21949/stat : 21949 (Finalizer) S 21935 21938 20557 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34835328 19725520896 648696 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
[pid=21938/tid=21956] ppid=21935 vsize=19263204 memory=17536 CPUtime=0 cores=4,6
/proc/21938/task/21956/stat : 21956 (Common-Cleaner) S 21935 21938 20557 0 -1 4194368 1134 0 0 0 0 0 0 0 20 0 21 0 34835328 19725520896 648696 18446744073709551615 94247682662400 94247682666096 140721084659360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94247682673912 94247682674704 94247703089152 140721084668205 140721084668390 140721084668390 140721084673992 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2594784 KiB

Child status: 143

Real time (s): 3583.26
CPU time (s): 3600.34
CPU user time (s): 3590.85
CPU system time (s): 9.48453
CPU usage (%): 100.477
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2594784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.85
system time used= 9.48453
maximum resident set size= 2594912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5447760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151324
involuntary context switches= 13919


# summary of solver processes directly reported to runsolver:
#   pid: 21938
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3590.85
#   total CPU system time (s): 9.48453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47022 second user time and 16.4887 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 12:06:15
IDJOB=4509975
IDBENCH=159217
IDSOLVER=3362
FILE ID=nodeC023/4509975-1751191575
RUNJOBID= nodeC023-1751183987-20568
SLURM_JOB_ID= 9587574
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509975-1751191575/watcher-4509975-1751191575 -o /tmp/evaluation-result-4509975-1751191575/solver-4509975-1751191575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751183987-20568 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509975-1751191575 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4509975-1751191575.opb

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

MD5SUM BENCH= 01d829ad4c115fdb9b9dc327d7beaf7a
RANDOM SEED=269994269

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        120218980 kB
MemAvailable:   120954384 kB
Buffers:            3280 kB
Cached:          1544852 kB
SwapCached:            0 kB
Active:          9234012 kB
Inactive:        1239652 kB
Active(anon):    8943748 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  1239652 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45244 kB
Writeback:             0 kB
AnonPages:       8928836 kB
Mapped:           123068 kB
Shmem:             18064 kB
KReclaimable:      89456 kB
Slab:             177312 kB
SReclaimable:      89456 kB
SUnreclaim:        87856 kB
KernelStack:        5344 kB
PageTables:        21192 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9936124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8691712 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433064 MiB
End job on nodeC023 at 2025-06-29 13:05:58