Trace number 4489285

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)220 3601.43 3405.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
MD5SUMc9dbdd12375057f4b915bf781d219fad
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark3585.96
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables468
Total number of constraints468
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints468
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 468
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 468
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 468
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	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-4489285-1751344660.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c using VERIPB proof format
0.11/0.14	c  objective function found
0.11/0.20	c ... done. Wall clock time 0.057s.
0.11/0.20	c declared #vars     468
0.11/0.20	c #constraints  468
0.11/0.20	c constraints type 
0.11/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 468
0.11/0.20	c 468 constraints processed.
0.31/0.22	c objective function length is 468 literals
0.31/0.24	c SATISFIABLE
0.31/0.24	c OPTIMIZING...
0.31/0.24	c Got one! Elapsed wall clock time (in seconds):0.103
0.31/0.24	o 225
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.117
0.31/0.26	o 224
0.31/0.27	c Got one! Elapsed wall clock time (in seconds):0.136
0.31/0.27	o 223
0.87/0.56	c Got one! Elapsed wall clock time (in seconds):0.424
0.87/0.56	o 222
1.45/0.85	c Got one! Elapsed wall clock time (in seconds):0.707
1.45/0.85	o 221
3.23/1.74	c cleaning 3061 clauses out of 6139 with flag 8244/6139
5.01/2.64	c cleaning 4532 clauses out of 9078 with flag 20657/12139
6.19/3.42	c cleaning 5766 clauses out of 11546 with flag 36089/19139
7.16/4.39	c cleaning 6881 clauses out of 13780 with flag 52839/27139
8.12/5.27	c cleaning 7942 clauses out of 15899 with flag 71655/36139
9.29/6.30	c cleaning 8973 clauses out of 17959 with flag 92564/46141
10.43/7.47	c cleaning 9987 clauses out of 19984 with flag 115490/57139
11.62/8.65	c cleaning 10990 clauses out of 21997 with flag 140438/69139
12.98/9.97	c cleaning 11995 clauses out of 24007 with flag 167512/82139
14.55/11.44	c cleaning 13000 clauses out of 26013 with flag 196707/96140
16.23/13.07	c cleaning 13996 clauses out of 28012 with flag 227923/111139
17.92/14.75	c cleaning 15001 clauses out of 30016 with flag 261010/127139
19.89/16.69	c cleaning 16000 clauses out of 32015 with flag 296415/144139
21.90/18.64	c cleaning 16998 clauses out of 34016 with flag 334131/162140
24.39/21.06	c cleaning 18005 clauses out of 36017 with flag 375985/181139
27.08/23.63	c cleaning 18998 clauses out of 38013 with flag 417735/201140
29.67/26.29	c cleaning 20001 clauses out of 40015 with flag 461713/222140
32.52/29.06	c cleaning 21002 clauses out of 42014 with flag 507533/244140
35.35/32.28	c cleaning 21997 clauses out of 44011 with flag 555155/267139
38.05/34.92	c cleaning 22996 clauses out of 46014 with flag 605254/291139
41.34/38.10	c cleaning 24004 clauses out of 48019 with flag 657477/316140
44.46/41.14	c cleaning 24999 clauses out of 50014 with flag 711399/342139
48.05/44.52	c cleaning 26001 clauses out of 52016 with flag 767463/369140
51.71/48.02	c cleaning 27000 clauses out of 54015 with flag 825637/397140
55.16/51.45	c cleaning 28001 clauses out of 56015 with flag 886133/426140
58.95/55.14	c cleaning 28995 clauses out of 58013 with flag 948449/456139
62.95/59.09	c cleaning 30001 clauses out of 60018 with flag 1012992/487139
67.16/63.13	c cleaning 31001 clauses out of 62017 with flag 1079511/519139
71.47/67.37	c cleaning 31997 clauses out of 64017 with flag 1147981/552140
76.05/71.84	c cleaning 33001 clauses out of 66021 with flag 1218113/586141
80.41/76.19	c cleaning 34001 clauses out of 68019 with flag 1291025/621140
85.52/81.18	c cleaning 34999 clauses out of 70018 with flag 1365524/657140
90.23/85.74	c cleaning 35999 clauses out of 72018 with flag 1442871/694139
95.02/90.45	c cleaning 36997 clauses out of 74019 with flag 1522329/732139
100.55/95.67	c cleaning 38006 clauses out of 76023 with flag 1603701/771140
105.78/100.79	c cleaning 38996 clauses out of 78016 with flag 1687362/811139
107.27/102.28	c Got one! Elapsed wall clock time (in seconds):102.139
107.27/102.28	o 220
108.53/103.48	c cleaning 29653 clauses out of 59319 with flag 11072/831438
109.23/104.17	c cleaning 17824 clauses out of 35665 with flag 24417/837437
109.92/104.82	c cleaning 12410 clauses out of 24841 with flag 38919/844437
110.73/105.56	c cleaning 10204 clauses out of 20430 with flag 55389/852436
111.53/106.37	c cleaning 9607 clauses out of 19226 with flag 74017/861436
112.45/107.28	c cleaning 9803 clauses out of 19620 with flag 94720/871437
113.45/108.29	c cleaning 10394 clauses out of 20816 with flag 117473/882436
114.65/109.40	c cleaning 11203 clauses out of 22422 with flag 142255/894436
115.88/110.64	c cleaning 12100 clauses out of 24220 with flag 169058/907437
117.28/112.02	c cleaning 13048 clauses out of 26119 with flag 197938/921436
118.82/113.58	c cleaning 14025 clauses out of 28071 with flag 228809/936436
120.42/115.16	c cleaning 15015 clauses out of 30046 with flag 261995/952436
122.39/117.08	c cleaning 16007 clauses out of 32031 with flag 298967/969436
124.27/118.95	c cleaning 17003 clauses out of 34024 with flag 336208/987436
126.54/121.11	c cleaning 18003 clauses out of 36021 with flag 375225/1006436
128.63/123.22	c cleaning 19001 clauses out of 38019 with flag 416417/1026437
130.99/125.54	c cleaning 19996 clauses out of 40017 with flag 459769/1047436
133.39/127.92	c cleaning 21003 clauses out of 42021 with flag 505219/1069436
135.92/130.46	c cleaning 21998 clauses out of 44019 with flag 552867/1092437
138.69/133.16	c cleaning 23000 clauses out of 46021 with flag 602369/1116437
141.67/136.06	c cleaning 24000 clauses out of 48020 with flag 653958/1141436
144.67/139.08	c cleaning 24999 clauses out of 50020 with flag 707591/1167436
147.81/142.17	c cleaning 25998 clauses out of 52021 with flag 763335/1194436
151.17/145.50	c cleaning 27006 clauses out of 54023 with flag 821097/1222436
154.46/148.66	c cleaning 28000 clauses out of 56018 with flag 881183/1251437
157.88/151.99	c cleaning 28998 clauses out of 58017 with flag 943125/1281436
161.71/155.63	c cleaning 29999 clauses out of 60020 with flag 1007059/1312437
165.50/159.35	c cleaning 31001 clauses out of 62021 with flag 1073399/1344437
169.39/163.17	c cleaning 31999 clauses out of 64019 with flag 1141743/1377436
173.62/167.22	c cleaning 33000 clauses out of 66020 with flag 1212056/1411436
177.95/171.40	c cleaning 34001 clauses out of 68020 with flag 1284577/1446436
182.12/175.57	c cleaning 35001 clauses out of 70019 with flag 1358969/1482436
186.58/180.00	c cleaning 35996 clauses out of 72018 with flag 1435557/1519436
191.06/184.35	c cleaning 37001 clauses out of 74022 with flag 1513994/1557436
196.19/189.25	c cleaning 38001 clauses out of 76021 with flag 1594418/1596436
201.11/194.03	c cleaning 39002 clauses out of 78021 with flag 1677094/1636437
206.26/199.13	c cleaning 40002 clauses out of 80018 with flag 1761804/1677436
211.39/204.26	c cleaning 41000 clauses out of 82017 with flag 1848537/1719437
216.95/209.68	c cleaning 41998 clauses out of 84017 with flag 1937351/1762437
222.14/214.79	c cleaning 42996 clauses out of 86019 with flag 2028584/1806437
228.00/220.52	c cleaning 44001 clauses out of 88022 with flag 2121530/1851436
233.60/226.10	c cleaning 45003 clauses out of 90024 with flag 2216930/1897439
239.59/231.84	c cleaning 45997 clauses out of 92018 with flag 2314050/1944436
245.68/237.88	c cleaning 47000 clauses out of 94021 with flag 2413338/1992436
252.06/244.08	c cleaning 47996 clauses out of 96021 with flag 2514715/2041436
258.54/250.46	c cleaning 49002 clauses out of 98026 with flag 2617970/2091437
265.14/256.98	c cleaning 49999 clauses out of 100023 with flag 2723314/2142436
272.89/264.35	c cleaning 51005 clauses out of 102025 with flag 2830292/2194437
281.66/272.32	c cleaning 51993 clauses out of 104019 with flag 2939355/2247436
289.89/280.50	c cleaning 53004 clauses out of 106026 with flag 3054436/2301436
298.27/288.70	c cleaning 54004 clauses out of 108023 with flag 3167579/2356437
305.92/296.23	c cleaning 54998 clauses out of 110018 with flag 3282590/2412436
313.08/303.38	c cleaning 56001 clauses out of 112020 with flag 3400421/2469436
321.57/311.63	c cleaning 57002 clauses out of 114020 with flag 3520185/2527437
330.29/320.28	c cleaning 58000 clauses out of 116017 with flag 3642878/2586436
339.02/328.76	c cleaning 59002 clauses out of 118018 with flag 3767366/2646437
347.85/337.26	c cleaning 60000 clauses out of 120015 with flag 3894081/2707436
356.30/345.53	c cleaning 60996 clauses out of 122016 with flag 4022320/2769437
366.85/355.85	c cleaning 61995 clauses out of 124019 with flag 4153340/2832436
377.11/365.70	c cleaning 63002 clauses out of 126024 with flag 4285944/2896436
386.46/374.97	c cleaning 64003 clauses out of 128024 with flag 4420780/2961438
396.08/384.31	c cleaning 64998 clauses out of 130021 with flag 4557741/3027438
405.68/393.72	c cleaning 65999 clauses out of 132022 with flag 4696445/3094437
416.61/404.48	c cleaning 67001 clauses out of 134022 with flag 4837272/3162436
427.10/414.74	c cleaning 68001 clauses out of 136022 with flag 4980327/3231437
436.70/424.13	c cleaning 68997 clauses out of 138020 with flag 5125665/3301436
447.06/434.34	c cleaning 69996 clauses out of 140023 with flag 5272691/3372436
456.55/443.62	c cleaning 71004 clauses out of 142027 with flag 5422055/3444436
466.87/453.70	c cleaning 72001 clauses out of 144023 with flag 5573950/3517436
476.72/463.36	c cleaning 72999 clauses out of 146022 with flag 5727522/3591436
487.11/473.51	c cleaning 74001 clauses out of 148024 with flag 5883409/3666437
497.21/483.37	c cleaning 75000 clauses out of 150023 with flag 6040759/3742437
509.55/494.83	c cleaning 76002 clauses out of 152022 with flag 6200384/3819436
520.77/505.83	c cleaning 76998 clauses out of 154020 with flag 6361897/3897436
531.75/516.68	c cleaning 78001 clauses out of 156023 with flag 6525806/3976437
542.47/527.22	c cleaning 79003 clauses out of 158021 with flag 6691515/4056436
554.31/538.90	c cleaning 79999 clauses out of 160019 with flag 6859732/4137437
566.73/551.28	c cleaning 80999 clauses out of 162020 with flag 7029759/4219437
580.20/564.11	c cleaning 82003 clauses out of 164021 with flag 7216640/4302437
591.91/575.63	c cleaning 83007 clauses out of 166018 with flag 7428774/4386437
603.61/587.29	c cleaning 84003 clauses out of 168011 with flag 7647909/4471437
615.07/598.31	c cleaning 84998 clauses out of 170007 with flag 7873306/4557436
627.17/610.36	c cleaning 85999 clauses out of 172009 with flag 8090943/4644436
639.26/622.09	c cleaning 87005 clauses out of 174011 with flag 8314924/4732437
651.66/634.21	c cleaning 87999 clauses out of 176005 with flag 8544901/4821436
664.96/647.13	c cleaning 88998 clauses out of 178008 with flag 8785103/4911438
678.39/660.25	c cleaning 90001 clauses out of 180009 with flag 9023657/5002437
690.73/672.26	c cleaning 91001 clauses out of 182008 with flag 9261149/5094437
703.49/684.68	c cleaning 92000 clauses out of 184009 with flag 9496697/5187439
717.20/698.06	c cleaning 92997 clauses out of 186007 with flag 9735999/5281437
731.31/711.13	c cleaning 93997 clauses out of 188009 with flag 9974522/5376436
744.11/723.69	c cleaning 94999 clauses out of 190012 with flag 10212907/5472436
758.57/737.89	c cleaning 96006 clauses out of 192013 with flag 10462158/5569436
772.30/751.25	c cleaning 97001 clauses out of 194007 with flag 10714746/5667436
785.10/763.78	c cleaning 98001 clauses out of 196008 with flag 10963505/5766438
800.52/778.10	c cleaning 99001 clauses out of 198007 with flag 11221121/5866438
815.74/792.68	c cleaning 100001 clauses out of 200004 with flag 11478094/5967436
829.58/806.04	c cleaning 101001 clauses out of 202005 with flag 11734770/6069438
846.37/821.78	c cleaning 102001 clauses out of 204004 with flag 11997050/6172438
860.42/835.49	c cleaning 102992 clauses out of 206001 with flag 12256016/6276436
874.76/849.46	c cleaning 103999 clauses out of 208009 with flag 12516048/6381436
890.05/864.26	c cleaning 104997 clauses out of 210010 with flag 12786518/6487436
905.54/878.51	c cleaning 106003 clauses out of 212015 with flag 13060605/6594438
920.14/892.70	c cleaning 106993 clauses out of 214010 with flag 13330696/6702436
935.70/907.16	c cleaning 108010 clauses out of 216021 with flag 13607433/6811440
950.77/921.86	c cleaning 109000 clauses out of 218007 with flag 13882873/6921436
966.63/937.33	c cleaning 110001 clauses out of 220007 with flag 14166050/7032436
982.03/952.44	c cleaning 110999 clauses out of 222006 with flag 14453493/7144436
998.62/968.44	c cleaning 111994 clauses out of 224008 with flag 14743783/7257437
1015.41/983.95	c cleaning 113001 clauses out of 226015 with flag 15037888/7371438
1032.83/1000.95	c cleaning 114005 clauses out of 228013 with flag 15331368/7486437
1052.86/1019.87	c cleaning 115000 clauses out of 230007 with flag 15631412/7602436
1073.76/1039.31	c cleaning 116000 clauses out of 232007 with flag 15935747/7719436
1091.43/1055.74	c cleaning 116997 clauses out of 234007 with flag 16234151/7837436
1110.30/1073.32	c cleaning 118004 clauses out of 236010 with flag 16534225/7956436
1129.15/1090.83	c cleaning 119002 clauses out of 238008 with flag 16836070/8076438
1147.36/1107.74	c cleaning 119997 clauses out of 240006 with flag 17148385/8197438
1166.24/1125.34	c cleaning 120998 clauses out of 242007 with flag 17463498/8319436
1184.51/1142.26	c cleaning 121997 clauses out of 244009 with flag 17772394/8442436
1205.05/1160.24	c cleaning 122998 clauses out of 246012 with flag 18091693/8566436
1223.99/1177.82	c cleaning 124005 clauses out of 248014 with flag 18421266/8691436
1246.39/1197.79	c cleaning 125006 clauses out of 250011 with flag 18739914/8817438
1266.67/1216.50	c cleaning 125995 clauses out of 252003 with flag 19060986/8944436
1289.69/1237.09	c cleaning 127006 clauses out of 254011 with flag 19397397/9072439
1311.75/1257.57	c cleaning 127993 clauses out of 256002 with flag 19743209/9201436
1331.94/1276.15	c cleaning 129004 clauses out of 258011 with flag 20091573/9331438
1352.54/1294.88	c cleaning 129999 clauses out of 260006 with flag 20433192/9462437
1372.86/1314.67	c cleaning 130998 clauses out of 262006 with flag 20778609/9594436
1394.79/1334.91	c cleaning 132000 clauses out of 264010 with flag 21115172/9727438
1415.08/1354.76	c cleaning 132997 clauses out of 266008 with flag 21455429/9861436
1438.42/1376.60	c cleaning 134003 clauses out of 268011 with flag 21791187/9996436
1461.13/1398.75	c cleaning 134995 clauses out of 270008 with flag 22127110/10132436
1487.84/1423.99	c cleaning 136002 clauses out of 272013 with flag 22468839/10269436
1512.00/1447.48	c cleaning 137003 clauses out of 274012 with flag 22798894/10407437
1537.73/1471.65	c cleaning 138000 clauses out of 276008 with flag 23127539/10546436
1560.85/1494.14	c cleaning 139005 clauses out of 278009 with flag 23460850/10686437
1586.78/1518.59	c cleaning 140001 clauses out of 280003 with flag 23797495/10827436
1610.05/1541.28	c cleaning 140999 clauses out of 282002 with flag 24138058/10969436
1634.99/1564.70	c cleaning 142001 clauses out of 284003 with flag 24481993/11112436
1658.61/1587.88	c cleaning 142999 clauses out of 286008 with flag 24828077/11256442
1683.68/1611.41	c cleaning 143997 clauses out of 288004 with flag 25179482/11401437
1706.02/1633.26	c cleaning 145001 clauses out of 290007 with flag 25530992/11547437
1732.50/1659.12	c cleaning 146000 clauses out of 292005 with flag 25883280/11694436
1762.14/1687.14	c cleaning 146995 clauses out of 294005 with flag 26247579/11842436
1789.36/1713.92	c cleaning 147995 clauses out of 296010 with flag 26609318/11991436
1817.58/1740.61	c cleaning 149001 clauses out of 298015 with flag 26973776/12141436
1844.45/1766.74	c cleaning 149998 clauses out of 300014 with flag 27342733/12292436
1872.82/1793.67	c cleaning 151000 clauses out of 302017 with flag 27717388/12444437
1899.24/1819.55	c cleaning 152002 clauses out of 304017 with flag 28089091/12597437
1927.14/1845.70	c cleaning 153005 clauses out of 306014 with flag 28462571/12751436
1956.41/1874.43	c cleaning 154002 clauses out of 308009 with flag 28842322/12906436
1984.72/1901.07	c cleaning 155000 clauses out of 310008 with flag 29223510/13062437
2010.74/1926.55	c cleaning 155996 clauses out of 312008 with flag 29603163/13219437
2041.40/1955.60	c cleaning 157004 clauses out of 314012 with flag 29990736/13377437
2071.62/1985.28	c cleaning 157998 clauses out of 316007 with flag 30374682/13536436
2103.59/2015.63	c cleaning 158994 clauses out of 318009 with flag 30758215/13696436
2131.39/2042.89	c cleaning 160003 clauses out of 320016 with flag 31143848/13857437
2160.60/2070.34	c cleaning 161001 clauses out of 322013 with flag 31533641/14019437
2190.80/2100.09	c cleaning 162003 clauses out of 324011 with flag 31928766/14182436
2219.07/2126.66	c cleaning 162998 clauses out of 326008 with flag 32325290/14346436
2250.47/2156.39	c cleaning 164004 clauses out of 328011 with flag 32728413/14511437
2286.00/2188.67	c cleaning 165000 clauses out of 330006 with flag 33134827/14677436
2317.82/2218.20	c cleaning 165989 clauses out of 332006 with flag 33542186/14844436
2352.16/2250.70	c cleaning 167006 clauses out of 334018 with flag 33950637/15012437
2385.71/2282.37	c cleaning 167999 clauses out of 336012 with flag 34363926/15181437
2420.73/2315.26	c cleaning 169005 clauses out of 338015 with flag 34776202/15351439
2456.79/2349.55	c cleaning 170001 clauses out of 340007 with flag 35190697/15522436
2492.65/2381.79	c cleaning 170996 clauses out of 342006 with flag 35604787/15694436
2529.55/2416.76	c cleaning 171996 clauses out of 344011 with flag 36034133/15867437
2561.87/2446.89	c cleaning 172997 clauses out of 346016 with flag 36455343/16041438
2596.75/2479.62	c cleaning 174002 clauses out of 348018 with flag 36879878/16216437
2632.59/2513.69	c cleaning 175002 clauses out of 350015 with flag 37307808/16392436
2669.05/2546.81	c cleaning 176004 clauses out of 352015 with flag 37742232/16569438
2707.49/2581.59	c cleaning 177002 clauses out of 354010 with flag 38173809/16747437
2740.85/2612.97	c cleaning 177996 clauses out of 356007 with flag 38613360/16926436
2778.92/2647.30	c cleaning 178998 clauses out of 358011 with flag 39048505/17106436
2817.96/2682.45	c cleaning 180001 clauses out of 360014 with flag 39488832/17287437
2852.60/2715.03	c cleaning 181001 clauses out of 362013 with flag 39932058/17469437
2888.27/2747.00	c cleaning 181996 clauses out of 364012 with flag 40372369/17652437
2925.55/2780.51	c cleaning 183006 clauses out of 366015 with flag 40818254/17836436
2964.69/2815.68	c cleaning 183998 clauses out of 368009 with flag 41265841/18021436
3006.61/2853.56	c cleaning 185006 clauses out of 370011 with flag 41712042/18207436
3044.77/2887.50	c cleaning 186000 clauses out of 372005 with flag 42161011/18394436
3080.95/2921.64	c cleaning 187003 clauses out of 374007 with flag 42616953/18582438
3120.16/2957.30	c cleaning 188000 clauses out of 376002 with flag 43074356/18771436
3154.44/2989.30	c cleaning 188993 clauses out of 378003 with flag 43532094/18961437
3189.94/3022.70	c cleaning 190000 clauses out of 380009 with flag 43987351/19152436
3227.16/3055.94	c cleaning 190998 clauses out of 382010 with flag 44452247/19344437
3267.60/3092.11	c cleaning 192003 clauses out of 384012 with flag 44912027/19537437
3307.82/3129.63	c cleaning 193002 clauses out of 386010 with flag 45379791/19731438
3347.22/3165.48	c cleaning 193991 clauses out of 388006 with flag 45848394/19926436
3386.57/3201.33	c cleaning 195002 clauses out of 390017 with flag 46315945/20122438
3430.60/3241.28	c cleaning 196000 clauses out of 392013 with flag 46787417/20319436
3468.67/3276.91	c cleaning 197001 clauses out of 394014 with flag 47259528/20517437
3510.63/3314.55	c cleaning 198000 clauses out of 396012 with flag 47739966/20716436
3548.61/3350.31	c cleaning 198998 clauses out of 398012 with flag 48214412/20916436
3585.41/3385.08	c cleaning 200003 clauses out of 400015 with flag 48689066/21117437
3600.09/3398.97	c starts		: 109659
3600.09/3398.97	c conflicts		: 21209939
3600.09/3398.97	c decisions		: 57742685
3600.09/3398.97	c propagations		: 912616272
3600.09/3398.97	c inspects		: 15155153593
3600.09/3398.97	c shortcuts		: 0
3600.09/3398.97	c learnt literals	: 0
3600.09/3398.97	c learnt binary clauses	: 0
3600.09/3398.97	c learnt ternary clauses	: 0
3600.09/3398.97	c learnt constraints	: 21209939
3600.09/3398.97	c ignored constraints	: 0
3600.09/3398.97	c root simplifications	: 0
3600.09/3398.97	c removed literals (reason simplification)	: 31984727
3600.09/3398.97	c reason swapping (by a shorter reason)	: 0
3600.09/3398.97	c Calls to reduceDB	: 233
3600.09/3398.97	c Number of update (reduction) of LBD	: 2817685
3600.09/3398.97	c Imported unit clauses	: 0
3600.09/3398.97	c No decision after first conflict	: false
3600.09/3398.97	c number of reductions to clauses (during analyze)	: 0
3600.09/3398.97	c number of learned constraints concerned by reduction	: 0
3600.09/3398.97	c number of learning phase by resolution	: 0
3600.09/3398.97	c number of learning phase by cutting planes	: 0
3600.09/3398.97	c number of rounding to 1 operations	: 0
3600.09/3398.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3398.97	c number of reductions of the coefficients by power 2 	: 0
3600.09/3398.97	c number of right shift for reduction by power 2 	: 0
3600.09/3398.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3398.97	c number of ending skipping 	: 0
3600.09/3398.97	c number of internal skipping 	: 0
3600.09/3398.97	c number of derivation steps 	: 0
3600.09/3398.97	c number of skipped derivation steps 	: 0
3600.09/3398.97	c number of remaining unassigned 	: 0
3600.09/3398.97	c number of remaining assigned 	: 0
3600.09/3398.97	c number of falsified literals weakened from reason	: 0
3600.09/3398.97	c number of falsified literals weakened from conflict	: 0
3600.09/3398.97	c time for arithmetic operations	: 0
3600.09/3398.97	c minimum degree of deleted constraints	: null
3600.09/3398.97	c maximum degree of deleted constraints	: null
3600.09/3398.97	c number of deleted constraints	: 0
3600.09/3398.97	c speed (assignments/second)	: 268516.13848547946
3600.09/3398.97	c non guided choices	: 0
3600.31/3399.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 292514
3600.31/3399.10	s SATISFIABLE
3600.31/3399.10	c Found 6 solution(s)
3600.31/3399.10	v -x1 x2 -x3 x4 -x5 -x6 x7 -x8 x9 x10 x11 x12 x13 x14 -x15 x16 x17 -x18 x19 x20 -x21 x22 x23 x24 x25 -x26 x27 x28 x29 x30 -x31 -x32 x33 x34 -x35 x36 -x37 x38 x39 x40 x41 -x42 x43 x44 x45 x46 -x47 x48 x49 x50 x51 -x52 -x53 x54 x55 x56 x57 x58 -x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 -x74 x75 x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 -x89 x90 -x91 -x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 -x102 x103 -x104 -x105 x106 x107 -x108 x109 -x110 x111 -x112 x113 x114 -x115 x116 x117 x118 x119 x120 -x121 x122 -x123 -x124 x125 -x126 x127 x128 x129 -x130 x131 -x132 x133 x134 x135 x136 x137 x138 -x139 x140 x141 x142 x143 -x144 x145 -x146 x147 x148 x149 x150 x151 -x152 x153 -x154 -x155 x156 x157 x158 x159 -x160 -x161 x162 -x163 x164 x165 x166 x167 x168 x169 -x170 x171 -x172 -x173 x174 x175 x176 x177 x178 x179 -x180 -x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 -x193 x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 x203 -x204 x205 x206 -x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 -x220 x221 x222 x223 x224 x225 -x226 x227 -x228 x229 x230 -x231 -x232 x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 x241 x242 x243 x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 x259 x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 x269 x270 -x271 x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 -x328 -x329 -x330 x331 -x332 x333 x334 -x335 -x336 x337 x338 -x339 x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 
3600.50/3399.11	c objective function=220
3600.50/3399.11	c Total wall clock time (in seconds): 3398.97

Verifier Data 

OK	220

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489285-1751344660/watcher-4489285-1751344660 -o /tmp/evaluation-result-4489285-1751344660/solver-4489285-1751344660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48346 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489285-1751344660 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489285-1751344660.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=50077, runsolver pid=50074
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.85 4.43 4.32 6/344 50095
/proc/meminfo: memFree=55611840/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=18930384 memory=55300 CPUtime=0.11 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 6486 0 0 0 10 1 0 0 20 0 18 0 50143463 19384713216 13825 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4732596 13825 5329 1 0 547569 0
[pid=50077/tid=50079] ppid=50074 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 5002 0 0 0 6 1 0 0 20 0 18 0 50143465 19384713216 13825 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50143467 19384713216 13825 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=18930384 memory=58485492697507 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 50143467 19384713216 13825 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55300 KiB

[startup+0.20613 s]*
/proc/loadavg: 4.85 4.43 4.32 7/344 50095
/proc/meminfo: memFree=55592908/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=18930384 memory=64216 CPUtime=0.31 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 7044 0 0 0 29 2 0 0 20 0 18 0 50143463 19384713216 16054 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4732596 16054 5489 1 0 547938 0
[pid=50077/tid=50079] ppid=50074 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 5338 0 0 0 16 1 0 0 20 0 18 0 50143465 19384713216 16054 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=18930384 memory=2630 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50143467 19384713216 16054 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 50143467 19384713216 16054 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64216 KiB

[startup+0.306071 s]*
/proc/loadavg: 4.85 4.43 4.32 6/345 50096
/proc/meminfo: memFree=55584780/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=18996948 memory=71712 CPUtime=0.48 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 8644 0 0 0 46 2 0 0 20 0 19 0 50143463 19452874752 17928 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4749237 17928 5489 1 0 548905 0
[pid=50077/tid=50079] ppid=50074 vsize=18996948 memory=-6000919489853156458 CPUtime=0.22 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 5431 0 0 0 21 1 0 0 20 0 19 0 50143465 19452874752 17928 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50143467 19452874752 17928 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 50143467 19452874752 17928 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50143486 19452874752 17928 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71712 KiB

[startup+0.700229 s]
/proc/loadavg: 4.85 4.43 4.32 6/345 50096
/proc/meminfo: memFree=55525424/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19063512 memory=166948 CPUtime=1.24 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 11812 0 0 0 119 5 0 0 20 0 20 0 50143463 19521036288 41737 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4765878 41737 5521 1 0 551233 0
[pid=50077/tid=50079] ppid=50074 vsize=19063512 memory=14080 CPUtime=0.54 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 5478 0 0 0 51 3 0 0 20 0 20 0 50143465 19521036288 41737 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 41737 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 41737 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19521036288 41737 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166948 KiB

[startup+1.50026 s]
/proc/loadavg: 4.94 4.46 4.33 6/346 50097
/proc/meminfo: memFree=55439984/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19063512 memory=186596 CPUtime=2.83 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 14456 0 0 0 276 7 0 0 20 0 20 0 50143463 19521036288 46649 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4765878 46649 5521 1 0 552910 0
[pid=50077/tid=50079] ppid=50074 vsize=19063512 memory=10752 CPUtime=1.29 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 5486 0 0 0 125 4 0 0 20 0 20 0 50143465 19521036288 46649 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 46649 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 46649 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19521036288 46649 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186596 KiB

[startup+3.1059 s]
/proc/loadavg: 4.94 4.46 4.33 6/346 50097
/proc/meminfo: memFree=55019660/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19063512 memory=516484 CPUtime=5.85 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 16749 0 0 0 569 16 0 0 20 0 20 0 50143463 19521036288 129121 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4765878 129121 5521 1 0 660042 0
[pid=50077/tid=50079] ppid=50074 vsize=19063512 memory=10752 CPUtime=2.79 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 5650 0 0 0 269 10 0 0 20 0 20 0 50143465 19521036288 129121 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19063512 memory=-6000919489853156458 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 129121 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 129121 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19521036288 129121 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 516484 KiB

[startup+6.30023 s]
/proc/loadavg: 4.87 4.45 4.33 5/346 50097
/proc/meminfo: memFree=54074176/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19063512 memory=1254196 CPUtime=9.29 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 17798 0 0 0 894 35 0 0 20 0 20 0 50143463 19521036288 313549 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4765878 313549 5521 1 0 862669 0
[pid=50077/tid=50079] ppid=50074 vsize=19063512 memory=0 CPUtime=5.8 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 6017 0 0 0 555 25 0 0 20 0 20 0 50143465 19521036288 313549 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 313549 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 313549 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19063512 memory=186776 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19521036288 313549 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1254196 KiB

[startup+12.7002 s]
/proc/loadavg: 4.80 4.44 4.33 5/346 50097
/proc/meminfo: memFree=52720048/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19063512 memory=2462900 CPUtime=15.93 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 21686 0 0 0 1525 68 0 0 20 0 20 0 50143463 19521036288 615725 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4765878 615725 5521 1 0 1067406 0
[pid=50077/tid=50079] ppid=50074 vsize=19063512 memory=186776 CPUtime=11.9 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 7678 0 0 0 1137 53 0 0 20 0 20 0 50143465 19521036288 615725 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 615725 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19063512 memory=2345824 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 615725 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19521036288 615725 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2462900 KiB

[startup+25.5002 s]
/proc/loadavg: 4.83 4.46 4.34 6/346 50097
/proc/meminfo: memFree=51508668/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19063512 memory=2952692 CPUtime=28.97 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 26056 0 0 0 2802 95 0 0 20 0 20 0 50143463 19521036288 738173 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4765878 738173 5521 1 0 1067408 0
[pid=50077/tid=50079] ppid=50074 vsize=19063512 memory=10752 CPUtime=24.4 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 9737 0 0 0 2365 75 0 0 20 0 20 0 50143465 19521036288 738173 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19063512 memory=2345824 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 738173 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50143467 19521036288 738173 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19521036288 738173 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 28.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2952692 KiB

[startup+51.106 s]
/proc/loadavg: 4.71 4.46 4.34 5/346 50098
/proc/meminfo: memFree=50041728/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19063512 memory=3391756 CPUtime=54.87 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 31533 0 0 0 5352 135 0 0 20 0 20 0 50143463 19521036288 847939 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4765878 847939 5553 1 0 1067409 0
[pid=50077/tid=50079] ppid=50074 vsize=19063512 memory=14848 CPUtime=48.68 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 12754 0 0 0 4762 106 0 0 20 0 20 0 50143465 19521036288 847939 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0

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

Current children cumulated CPU time: 3211.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4610572 KiB

[startup+3102.3 s]
/proc/loadavg: 4.53 4.48 4.40 5/346 50403
/proc/meminfo: memFree=1125144/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19129048 memory=4671628 CPUtime=3277.95 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 497146 0 0 0 324442 3353 0 0 20 0 20 0 50143463 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4782262 1167907 5553 1 0 1181199 0
[pid=50077/tid=50079] ppid=50074 vsize=19129048 memory=4118716 CPUtime=3005.65 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 354313 0 0 0 297460 3105 0 0 20 0 20 0 50143465 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19129048 memory=10752 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19129048 memory=4610572 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 1394 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19129048 memory=4671628 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 3277.95 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 4671628 KiB

[startup+3162.3 s]
/proc/loadavg: 4.30 4.43 4.39 5/347 50406
/proc/meminfo: memFree=2168348/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19129048 memory=4671628 CPUtime=3344.13 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 570828 0 0 0 330999 3414 0 0 20 0 20 0 50143463 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4782262 1167907 5553 1 0 1181199 0
[pid=50077/tid=50079] ppid=50074 vsize=19129048 memory=4118716 CPUtime=3064 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 423317 0 0 0 303241 3159 0 0 20 0 20 0 50143465 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19129048 memory=4671628 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19129048 memory=4671628 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 1448 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19129048 memory=14848 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19588145152 1167907 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 3344.13 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 4671628 KiB

[startup+3222.3 s]
/proc/loadavg: 4.36 4.43 4.39 5/348 50413
/proc/meminfo: memFree=1479584/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19129048 memory=4396716 CPUtime=3409.3 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 593310 0 0 0 337458 3472 0 0 20 0 20 0 50143463 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4782262 1099179 5553 1 0 1112295 0
[pid=50077/tid=50079] ppid=50074 vsize=19129048 memory=14848 CPUtime=3122.55 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 442957 0 0 0 309045 3210 0 0 20 0 20 0 50143465 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19129048 memory=4480052 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19129048 memory=4396716 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 1448 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19129048 memory=14848 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 3409.3 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 4396716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.71 4.49 4.41 5/348 50415
/proc/meminfo: memFree=1468344/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19129048 memory=4396716 CPUtime=3476.13 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 618444 0 0 0 344087 3526 0 0 20 0 20 0 50143463 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4782262 1099179 5553 1 0 1112295 0
[pid=50077/tid=50079] ppid=50074 vsize=19129048 memory=14208 CPUtime=3180.66 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 463472 0 0 0 314809 3257 0 0 20 0 20 0 50143465 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19129048 memory=14848 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19129048 memory=4396716 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 1474 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19129048 memory=4396716 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 3476.13 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 4396716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.45 4.46 4.40 6/348 50418
/proc/meminfo: memFree=1165700/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19129048 memory=4396716 CPUtime=3540.44 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 618743 0 0 0 350461 3583 0 0 20 0 20 0 50143463 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4782262 1099179 5553 1 0 1112295 0
[pid=50077/tid=50079] ppid=50074 vsize=19129048 memory=4396716 CPUtime=3238.76 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 463558 0 0 0 320565 3311 0 0 20 0 20 0 50143465 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19129048 memory=1920 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19129048 memory=14848 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 1501 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19129048 memory=4352 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 3540.44 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 4396716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3398.9 s]
/proc/loadavg: 4.27 4.43 4.40 4/322 50453
/proc/meminfo: memFree=38019076/131249996 swapFree=33006296/33010684
[pid=50077] ppid=50074 vsize=19129048 memory=4396716 CPUtime=3600.09 cores=4,6
/proc/50077/stat : 50077 (java) S 50074 50077 48335 0 -1 4194304 619168 0 0 0 356378 3631 0 0 20 0 20 0 50143463 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
/proc/50077/statm: 4782262 1099179 5553 1 0 1112295 0
[pid=50077/tid=50079] ppid=50074 vsize=19129048 memory=4396716 CPUtime=3293.49 cores=4,6
/proc/50077/task/50079/stat : 50079 (java) R 50074 50077 48335 0 -1 4194368 463798 0 0 0 325992 3357 0 0 20 0 20 0 50143465 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50088] ppid=50074 vsize=19129048 memory=4396716 CPUtime=0 cores=4,6
/proc/50077/task/50088/stat : 50088 (Finalizer) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50095] ppid=50074 vsize=19129048 memory=14848 CPUtime=0 cores=4,6
/proc/50077/task/50095/stat : 50095 (Common-Cleaner) S 50074 50077 48335 0 -1 4194368 1502 0 0 0 0 0 0 0 20 0 20 0 50143467 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
[pid=50077/tid=50096] ppid=50074 vsize=19129048 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/50077/task/50096/stat : 50096 (Timer-0) S 50074 50077 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50143486 19588145152 1099179 18446744073709551615 94115972972544 94115972976240 140734411293488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94115972984056 94115972984848 94115987009536 140734411299120 140734411299302 140734411299302 140734411304904 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 4396716 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3564.22 s, system=37.2023 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3400 s]*
/proc/loadavg: 4.27 4.43 4.40 4/304 50456
/proc/meminfo: memFree=42358368/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3400.4 s]
/proc/loadavg: 4.27 4.43 4.40 4/304 50456
/proc/meminfo: memFree=42358368/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3400.8 s]
/proc/loadavg: 4.27 4.43 4.40 4/304 50456
/proc/meminfo: memFree=42358368/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3400.9 s]
/proc/loadavg: 4.27 4.43 4.40 4/304 50456
/proc/meminfo: memFree=42358368/131249996 swapFree=33006296/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): 3405.61
CPU time (s): 3601.43
CPU user time (s): 3564.22
CPU system time (s): 37.2023
CPU usage (%): 105.75
Max. virtual memory (cumulated for all children) (KiB): 19328740
Max. memory (cumulated for all children) (KiB): 5717200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.22
system time used= 37.2023
maximum resident set size= 5717200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620757
page faults= 0
swaps= 0
block input operations= 40
block output operations= 72085296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 323100
involuntary context switches= 36131


# summary of solver processes directly reported to runsolver:
#   pid: 50077
#   total CPU time (s): 3601.43
#   total CPU user time (s): 3564.22
#   total CPU system time (s): 37.2023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49141 second user time and 17.0379 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 06:37:40
IDJOB=4489285
IDBENCH=147544
IDSOLVER=3364
FILE ID=nodeC015/4489285-1751344660
RUNJOBID= nodeC015-1751337414-48346
SLURM_JOB_ID= 9594390
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489285-1751344660/watcher-4489285-1751344660 -o /tmp/evaluation-result-4489285-1751344660/solver-4489285-1751344660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48346 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489285-1751344660 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489285-1751344660.opb

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

MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=1031861725

nodeC015 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.067
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.14
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		: 3600.080
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.14
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		: 3602.213
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.14
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		: 3557.631
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.14
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.999
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.14
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		: 3589.212
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.14
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.094
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.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        55639408 kB
MemAvailable:   92648680 kB
Buffers:            1508 kB
Cached:         37738704 kB
SwapCached:         3876 kB
Active:         37105872 kB
Inactive:       37541436 kB
Active(anon):   36872268 kB
Inactive(anon):    49104 kB
Active(file):     233604 kB
Inactive(file): 37492332 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           4722404 kB
Writeback:             0 kB
AnonPages:      36906748 kB
Mapped:           119400 kB
Shmem:             14144 kB
KReclaimable:     245148 kB
Slab:             485248 kB
SReclaimable:     245148 kB
SUnreclaim:       240100 kB
KernelStack:        5296 kB
PageTables:        75820 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   37696680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  36349952 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC015 at 2025-07-01 07:34:25