Trace number 4518465

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)1 3567.84 3702.87

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb
MD5SUMeeaa529b25ecff27552c4f6e24903559
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.085645
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables404
Total number of constraints101
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 101
Biggest coefficient in the objective function 101
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 5151
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 101
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 5151
Number of bits of the biggest sum of numbers13
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.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.26/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.24	c java.vm.version	22.0.1+8-16
0.26/0.24	c java.vm.vendor	Oracle Corporation
0.26/0.24	c sun.arch.data.model	64
0.26/0.24	c java.version		22.0.1
0.26/0.24	c os.name		Linux
0.26/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.24	c os.arch		amd64
0.26/0.25	c Free memory 		2104792832
0.26/0.25	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/0.26	c Number of processors 	2
0.42/0.38	c Pseudo Boolean Optimization by upper bound
0.42/0.38	c --- Begin Solver configuration ---
0.42/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.38	c Learn all clauses as in MiniSAT
0.42/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.38	c Expensive reason simplification
0.42/0.38	c Glucose 2.1 dynamic restart strategy
0.42/0.38	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.42/0.38	c timeout=2147483s
0.42/0.38	c DB Simplification allowed=false
0.42/0.38	c Listener: none
0.42/0.38	c --- End Solver configuration ---
0.42/0.38	c solving HOME/instance-4518465-1751547548.opb
0.42/0.38	c reading problem ... 
0.42/0.39	c using VERIPB proof format
0.42/0.40	c  objective function found
0.58/0.47	c ... done. Wall clock time 0.086s.
0.58/0.47	c declared #vars     404
0.58/0.47	c #constraints  202
0.58/0.47	c constraints type 
0.58/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202
0.58/0.47	c 202 constraints processed.
0.58/0.50	c objective function length is 101 literals
1.10/0.70	c SATISFIABLE
1.10/0.70	c OPTIMIZING...
1.10/0.70	c Got one! Elapsed wall clock time (in seconds):0.324
1.10/0.70	o 3
2.48/1.49	c Got one! Elapsed wall clock time (in seconds):1.112
2.48/1.49	o 2
3.07/1.76	c Got one! Elapsed wall clock time (in seconds):1.381
3.07/1.76	o 1
3.27/1.89	c cleaning 3095 clauses out of 6202 with flag 5963/6202
4.06/2.29	c cleaning 4550 clauses out of 9107 with flag 40488/12202
4.85/2.64	c cleaning 5765 clauses out of 11556 with flag 84076/19201
5.65/3.01	c cleaning 6890 clauses out of 13791 with flag 129484/27201
6.11/3.37	c cleaning 7948 clauses out of 15903 with flag 185666/36203
6.74/3.78	c cleaning 8969 clauses out of 17954 with flag 257712/46202
7.55/4.47	c cleaning 9985 clauses out of 19984 with flag 357334/57201
8.44/5.30	c cleaning 10987 clauses out of 22000 with flag 480593/69202
9.15/6.03	c cleaning 11996 clauses out of 24012 with flag 581037/82201
9.65/6.56	c cleaning 13003 clauses out of 26016 with flag 661376/96201
10.45/7.35	c cleaning 14000 clauses out of 28015 with flag 754461/111203
11.18/8.03	c cleaning 15003 clauses out of 30013 with flag 851986/127201
11.94/8.71	c cleaning 15998 clauses out of 32010 with flag 946565/144201
12.71/9.49	c cleaning 16993 clauses out of 34012 with flag 1051091/162201
14.10/10.36	c cleaning 18004 clauses out of 36019 with flag 1177595/181201
14.91/11.30	c cleaning 18990 clauses out of 38018 with flag 1299245/201204
15.83/12.19	c cleaning 19999 clauses out of 40026 with flag 1429898/222202
16.91/13.22	c cleaning 20997 clauses out of 42026 with flag 1575680/244201
18.12/14.40	c cleaning 22005 clauses out of 44030 with flag 1738065/267202
19.32/15.62	c cleaning 22985 clauses out of 46024 with flag 1903786/291201
20.51/16.81	c cleaning 24006 clauses out of 48039 with flag 2052602/316201
21.92/18.23	c cleaning 25015 clauses out of 50036 with flag 2231820/342204
23.21/19.58	c cleaning 25997 clauses out of 52020 with flag 2405323/369203
24.61/20.94	c cleaning 27005 clauses out of 54022 with flag 2582644/397202
26.01/22.37	c cleaning 27993 clauses out of 56017 with flag 2756971/426202
28.10/24.48	c cleaning 29004 clauses out of 58023 with flag 2985282/456201
30.83/27.14	c cleaning 29997 clauses out of 60019 with flag 3277473/487201
33.48/29.69	c cleaning 30995 clauses out of 62022 with flag 3558218/519201
35.76/31.56	c cleaning 32000 clauses out of 64028 with flag 3782984/552202
37.75/33.58	c cleaning 33009 clauses out of 66030 with flag 3999499/586204
39.85/35.63	c cleaning 34004 clauses out of 68018 with flag 4221321/621201
42.35/38.18	c cleaning 34988 clauses out of 70014 with flag 4435737/657201
44.43/40.23	c cleaning 35993 clauses out of 72026 with flag 4675018/694201
46.63/42.44	c cleaning 36993 clauses out of 74033 with flag 4931443/732201
49.03/44.86	c cleaning 38009 clauses out of 76041 with flag 5221069/771202
51.33/47.19	c cleaning 39005 clauses out of 78031 with flag 5468114/811201
53.61/49.46	c cleaning 40002 clauses out of 80028 with flag 5746113/852203
56.22/52.01	c cleaning 40987 clauses out of 82024 with flag 6008439/894201
58.69/54.59	c cleaning 42011 clauses out of 84038 with flag 6293781/937202
61.48/57.28	c cleaning 42994 clauses out of 86026 with flag 6582087/981201
64.28/60.08	c cleaning 44004 clauses out of 88034 with flag 6891843/1026203
67.37/63.19	c cleaning 44995 clauses out of 90028 with flag 7219174/1072201
70.36/66.11	c cleaning 46007 clauses out of 92034 with flag 7561906/1119202
73.44/69.26	c cleaning 47001 clauses out of 94028 with flag 7888304/1167203
76.54/72.36	c cleaning 48000 clauses out of 96026 with flag 8234990/1216202
79.72/75.58	c cleaning 49001 clauses out of 98026 with flag 8580031/1266202
83.12/78.90	c cleaning 50014 clauses out of 100027 with flag 8951122/1317204
86.61/82.43	c cleaning 50995 clauses out of 102010 with flag 9314377/1369201
90.21/86.03	c cleaning 52002 clauses out of 104016 with flag 9676617/1422202
93.69/89.59	c cleaning 52986 clauses out of 106018 with flag 10056701/1476206
97.81/93.60	c cleaning 53996 clauses out of 108028 with flag 10435067/1531202
101.60/97.44	c cleaning 55007 clauses out of 110032 with flag 10847419/1587202
105.79/101.64	c cleaning 56004 clauses out of 112025 with flag 11264727/1644202
109.88/105.99	c cleaning 57005 clauses out of 114021 with flag 11655619/1702202
114.08/110.11	c cleaning 58001 clauses out of 116015 with flag 12058804/1761201
118.35/114.41	c cleaning 58988 clauses out of 118015 with flag 12474644/1821202
123.57/119.60	c cleaning 60000 clauses out of 120026 with flag 12891865/1882201
128.26/124.37	c cleaning 61002 clauses out of 122026 with flag 13316851/1944201
136.99/133.09	c cleaning 61999 clauses out of 124025 with flag 13895121/2007202
146.39/146.81	c cleaning 63005 clauses out of 126025 with flag 14524707/2071201
152.09/152.58	c cleaning 63991 clauses out of 128021 with flag 15044557/2136202
158.40/158.88	c cleaning 65001 clauses out of 130029 with flag 15559080/2202201
163.82/164.20	c cleaning 65994 clauses out of 132028 with flag 16018107/2269201
169.05/169.41	c cleaning 67001 clauses out of 134036 with flag 16512673/2337203
175.20/175.70	c cleaning 68004 clauses out of 136034 with flag 17006707/2406202
180.94/181.42	c cleaning 69003 clauses out of 138030 with flag 17498140/2476202
186.73/187.20	c cleaning 69990 clauses out of 140026 with flag 17993102/2547201
192.68/193.14	c cleaning 71012 clauses out of 142037 with flag 18502544/2619202
198.63/199.09	c cleaning 72002 clauses out of 144024 with flag 19021348/2692201
205.50/206.01	c cleaning 73005 clauses out of 146024 with flag 19569794/2766203
211.85/212.38	c cleaning 73995 clauses out of 148018 with flag 20100572/2841202
218.31/218.72	c cleaning 75004 clauses out of 150023 with flag 20628627/2917202
225.56/225.91	c cleaning 75999 clauses out of 152018 with flag 21166101/2994201
232.45/232.90	c cleaning 76989 clauses out of 154019 with flag 21720945/3072201
240.37/240.87	c cleaning 78010 clauses out of 156033 with flag 22366326/3151204
247.64/248.02	c cleaning 78998 clauses out of 158022 with flag 22937196/3231203
255.48/255.83	c cleaning 80006 clauses out of 160024 with flag 23525441/3312203
264.36/264.83	c cleaning 80997 clauses out of 162016 with flag 24109327/3394201
271.81/272.24	c cleaning 81996 clauses out of 164019 with flag 24711309/3477201
279.16/279.57	c cleaning 82995 clauses out of 166023 with flag 25320592/3561201
286.90/287.27	c cleaning 83995 clauses out of 168029 with flag 25947154/3646202
295.29/295.85	c cleaning 85003 clauses out of 170035 with flag 26556077/3732203
303.24/303.79	c cleaning 86005 clauses out of 172030 with flag 27169410/3819201
312.04/312.51	c cleaning 87004 clauses out of 174026 with flag 27820043/3907202
320.45/321.01	c cleaning 88004 clauses out of 176021 with flag 28465823/3996201
329.73/330.45	c cleaning 88995 clauses out of 178017 with flag 29143054/4086201
338.17/338.81	c cleaning 89980 clauses out of 180022 with flag 29810512/4177201
346.78/347.43	c cleaning 91007 clauses out of 182042 with flag 30475210/4269201
357.23/365.05	c cleaning 91999 clauses out of 184038 with flag 31168121/4362204
367.03/374.84	c cleaning 93004 clauses out of 186036 with flag 31859807/4456201
378.75/386.58	c cleaning 94003 clauses out of 188033 with flag 32628908/4551202
395.28/403.25	c cleaning 95001 clauses out of 190029 with flag 33495877/4647201
412.16/420.08	c cleaning 95997 clauses out of 192028 with flag 34381655/4744201
427.59/435.60	c cleaning 97012 clauses out of 194031 with flag 35242850/4842201
437.78/445.79	c cleaning 97998 clauses out of 196019 with flag 35955956/4941201
448.84/456.71	c cleaning 99000 clauses out of 198021 with flag 36708882/5041201
459.51/467.47	c cleaning 100007 clauses out of 200021 with flag 37467224/5142201
469.74/477.55	c cleaning 101001 clauses out of 202015 with flag 38276373/5244202
479.61/487.40	c cleaning 101999 clauses out of 204013 with flag 39040501/5347201
490.49/498.33	c cleaning 102987 clauses out of 206014 with flag 39822309/5451201
501.21/509.04	c cleaning 104001 clauses out of 208027 with flag 40596178/5556201
512.87/520.89	c cleaning 105002 clauses out of 210029 with flag 41405755/5662204
523.98/531.98	c cleaning 105994 clauses out of 212025 with flag 42205127/5769202
535.59/543.55	c cleaning 106999 clauses out of 214030 with flag 43045729/5877201
547.16/555.29	c cleaning 108005 clauses out of 216031 with flag 43865808/5986201
558.66/566.78	c cleaning 109004 clauses out of 218028 with flag 44733936/6096203
570.35/578.45	c cleaning 110006 clauses out of 220022 with flag 45568503/6207201
582.45/590.63	c cleaning 111000 clauses out of 222017 with flag 46423034/6319202
594.55/602.74	c cleaning 111994 clauses out of 224016 with flag 47264081/6432201
608.72/622.22	c cleaning 112991 clauses out of 226026 with flag 48137960/6546205
620.41/633.96	c cleaning 114011 clauses out of 228032 with flag 49014356/6661202
632.99/646.58	c cleaning 114991 clauses out of 230022 with flag 49897716/6777203
646.68/660.42	c cleaning 116006 clauses out of 232031 with flag 50811023/6894203
661.09/674.86	c cleaning 117004 clauses out of 234024 with flag 51716666/7012202
674.83/688.68	c cleaning 118001 clauses out of 236019 with flag 52598422/7131201
689.36/703.15	c cleaning 119004 clauses out of 238018 with flag 53522274/7251201
704.03/720.30	c cleaning 119995 clauses out of 240014 with flag 54454335/7372201
717.96/734.25	c cleaning 120998 clauses out of 242019 with flag 55381822/7494201
733.23/749.62	c cleaning 122003 clauses out of 244021 with flag 56306111/7617201
747.68/764.03	c cleaning 122990 clauses out of 246019 with flag 57237852/7741202
762.87/779.53	c cleaning 124004 clauses out of 248028 with flag 58204915/7866201
777.83/794.49	c cleaning 125001 clauses out of 250025 with flag 59170482/7992202
794.02/811.22	c cleaning 125999 clauses out of 252023 with flag 60151572/8119201
808.88/826.10	c cleaning 126992 clauses out of 254024 with flag 61142141/8247201
824.08/841.33	c cleaning 128010 clauses out of 256033 with flag 62109294/8376202
840.43/857.69	c cleaning 128998 clauses out of 258023 with flag 63117324/8506202
857.05/877.29	c cleaning 130005 clauses out of 260024 with flag 64130140/8637201
872.66/892.81	c cleaning 131004 clauses out of 262019 with flag 65147785/8769201
889.17/909.46	c cleaning 132002 clauses out of 264015 with flag 66185833/8902201
905.55/925.79	c cleaning 132990 clauses out of 266014 with flag 67204360/9036202
922.38/942.75	c cleaning 134006 clauses out of 268023 with flag 68220088/9171201
939.28/959.67	c cleaning 135001 clauses out of 270018 with flag 69279837/9307202
957.50/981.17	c cleaning 135992 clauses out of 272017 with flag 70368622/9444202
976.14/999.87	c cleaning 136997 clauses out of 274024 with flag 71427151/9582201
993.15/1016.83	c cleaning 138005 clauses out of 276029 with flag 72486760/9721203
1010.37/1034.12	c cleaning 138993 clauses out of 278022 with flag 73548096/9861201
1027.94/1051.71	c cleaning 140010 clauses out of 280030 with flag 74678442/10002202
1047.29/1071.18	c cleaning 141001 clauses out of 282019 with flag 75822569/10144201
1066.26/1095.95	c cleaning 142002 clauses out of 284019 with flag 76967752/10287202
1085.21/1114.81	c cleaning 142996 clauses out of 286017 with flag 78111384/10431202
1103.93/1133.77	c cleaning 143990 clauses out of 288020 with flag 79309144/10576201
1121.61/1151.41	c cleaning 145004 clauses out of 290031 with flag 80482167/10722202
1140.82/1170.82	c cleaning 146000 clauses out of 292028 with flag 81608819/10869203
1159.71/1189.95	c cleaning 146997 clauses out of 294026 with flag 82764083/11017201
1178.73/1208.96	c cleaning 148000 clauses out of 296030 with flag 83965038/11166202
1199.37/1237.73	c cleaning 149000 clauses out of 298030 with flag 85158710/11316202
1219.70/1269.60	c cleaning 149998 clauses out of 300029 with flag 86347864/11467201
1239.92/1289.95	c cleaning 151016 clauses out of 302031 with flag 87564816/11619201
1261.51/1311.32	c cleaning 151997 clauses out of 304016 with flag 88828116/11772202
1282.95/1332.95	c cleaning 153006 clauses out of 306022 with flag 90041730/11926205
1304.66/1358.56	c cleaning 153993 clauses out of 308012 with flag 91317094/12081201
1325.09/1379.00	c cleaning 155002 clauses out of 310020 with flag 92553571/12237202
1351.16/1405.26	c cleaning 156002 clauses out of 312018 with flag 93941764/12394202
1372.77/1426.94	c cleaning 156996 clauses out of 314017 with flag 95222933/12552203
1393.80/1448.10	c cleaning 158003 clauses out of 316020 with flag 96504088/12711202
1416.98/1471.29	c cleaning 159000 clauses out of 318017 with flag 97834708/12871202
1438.35/1492.79	c cleaning 159999 clauses out of 320017 with flag 99127117/13032202
1460.51/1515.09	c cleaning 160996 clauses out of 322017 with flag 100404298/13194201
1482.98/1537.60	c cleaning 161997 clauses out of 324021 with flag 101727511/13357201
1504.90/1559.50	c cleaning 162996 clauses out of 326024 with flag 103038010/13521201
1528.00/1582.70	c cleaning 163997 clauses out of 328029 with flag 104335488/13686202
1550.76/1605.63	c cleaning 165008 clauses out of 330031 with flag 105664330/13852201
1574.77/1629.79	c cleaning 165995 clauses out of 332023 with flag 107067778/14019201
1599.23/1654.24	c cleaning 167003 clauses out of 334033 with flag 108445623/14187206
1624.08/1679.22	c cleaning 167993 clauses out of 336025 with flag 109793224/14356201
1647.69/1703.31	c cleaning 169006 clauses out of 338033 with flag 111211617/14526202
1672.33/1730.19	c cleaning 169995 clauses out of 340026 with flag 112602687/14697201
1697.21/1755.15	c cleaning 171011 clauses out of 342032 with flag 113996796/14869202
1722.79/1780.72	c cleaning 172001 clauses out of 344020 with flag 115397308/15042201
1748.20/1806.22	c cleaning 173006 clauses out of 346019 with flag 116842247/15216201
1775.95/1834.11	c cleaning 173997 clauses out of 348016 with flag 118237217/15391204
1805.08/1874.57	c cleaning 174995 clauses out of 350017 with flag 119640256/15567202
1830.41/1899.99	c cleaning 176004 clauses out of 352022 with flag 121068639/15744202
1857.48/1927.13	c cleaning 176996 clauses out of 354018 with flag 122485711/15922202
1883.90/1953.80	c cleaning 178000 clauses out of 356021 with flag 123908968/16101201
1912.07/1989.52	c cleaning 179002 clauses out of 358021 with flag 125394841/16281201
1940.05/2017.64	c cleaning 180005 clauses out of 360020 with flag 126854561/16462202
1967.49/2045.08	c cleaning 181004 clauses out of 362015 with flag 128335500/16644202
1994.42/2072.04	c cleaning 181997 clauses out of 364010 with flag 129824304/16827201
2022.28/2100.09	c cleaning 182994 clauses out of 366014 with flag 131328832/17011202
2052.22/2131.89	c cleaning 184002 clauses out of 368020 with flag 132841636/17196202
2081.85/2161.50	c cleaning 184994 clauses out of 370017 with flag 134383165/17382201
2109.96/2189.71	c cleaning 186000 clauses out of 372023 with flag 135911505/17569201
2137.58/2217.47	c cleaning 187001 clauses out of 374025 with flag 137485436/17757203
2169.17/2249.11	c cleaning 187999 clauses out of 376024 with flag 139013411/17946203
2199.34/2284.71	c cleaning 189003 clauses out of 378023 with flag 140585993/18136201
2228.83/2314.31	c cleaning 190005 clauses out of 380022 with flag 142131618/18327203
2258.80/2344.37	c cleaning 190993 clauses out of 382015 with flag 143703320/18519201
2289.15/2374.77	c cleaning 191996 clauses out of 384022 with flag 145280069/18712201
2320.96/2406.63	c cleaning 193006 clauses out of 386026 with flag 146876952/18906201
2351.23/2437.00	c cleaning 194006 clauses out of 388020 with flag 148464657/19101201
2382.83/2468.63	c cleaning 195000 clauses out of 390015 with flag 150058271/19297202
2414.65/2500.56	c cleaning 195997 clauses out of 392015 with flag 151700248/19494202
2446.06/2531.97	c cleaning 196998 clauses out of 394017 with flag 153339259/19692201
2479.63/2565.23	c cleaning 198000 clauses out of 396021 with flag 154965960/19891203
2512.28/2597.98	c cleaning 198998 clauses out of 398019 with flag 156602557/20091201
2544.67/2630.67	c cleaning 199998 clauses out of 400021 with flag 158307754/20292201
2578.28/2666.01	c cleaning 200999 clauses out of 402023 with flag 160029778/20494201
2612.28/2705.33	c cleaning 202001 clauses out of 404024 with flag 161695711/20697201
2649.97/2743.78	c cleaning 202999 clauses out of 406023 with flag 163400020/20901201
2684.68/2786.43	c cleaning 204000 clauses out of 408025 with flag 165091809/21106202
2721.76/2823.61	c cleaning 204993 clauses out of 410024 with flag 166753238/21312201
2756.50/2858.42	c cleaning 206006 clauses out of 412031 with flag 168456591/21519201
2792.20/2901.77	c cleaning 207003 clauses out of 414026 with flag 170140791/21727202
2825.65/2935.21	c cleaning 207999 clauses out of 416023 with flag 171868807/21936202
2860.57/2970.22	c cleaning 208998 clauses out of 418023 with flag 173612212/22146201
2896.87/3006.65	c cleaning 210000 clauses out of 420025 with flag 175369899/22357201
2932.54/3042.37	c cleaning 211002 clauses out of 422026 with flag 177129994/22569202
2970.99/3084.71	c cleaning 212003 clauses out of 424023 with flag 178922131/22782201
3008.30/3122.18	c cleaning 213001 clauses out of 426022 with flag 180739481/22996203
3045.13/3159.07	c cleaning 213991 clauses out of 428020 with flag 182551254/23211202
3082.54/3196.53	c cleaning 215004 clauses out of 430029 with flag 184432019/23427202
3124.24/3247.47	c cleaning 215995 clauses out of 432024 with flag 186294540/23644201
3162.71/3285.98	c cleaning 217003 clauses out of 434030 with flag 188125064/23862202
3200.82/3324.15	c cleaning 218005 clauses out of 436026 with flag 189966393/24081201
3239.33/3362.60	c cleaning 218996 clauses out of 438021 with flag 191857522/24301201
3280.03/3403.65	c cleaning 220005 clauses out of 440025 with flag 193756118/24522201
3319.76/3449.50	c cleaning 221002 clauses out of 442021 with flag 195619719/24744202
3357.35/3487.27	c cleaning 221998 clauses out of 444019 with flag 197458605/24967202
3396.83/3526.87	c cleaning 222997 clauses out of 446020 with flag 199360740/25191201
3437.46/3567.66	c cleaning 224001 clauses out of 448025 with flag 201295812/25416203
3479.04/3609.38	c cleaning 225001 clauses out of 450023 with flag 203193622/25642202
3521.28/3654.18	c cleaning 225994 clauses out of 452021 with flag 205065853/25869201
3560.87/3693.84	c cleaning 227010 clauses out of 454028 with flag 206987749/26097202
3567.40/3700.03	c starts		: 51614
3567.40/3700.04	c conflicts		: 26137355
3567.40/3700.04	c decisions		: 37226563
3567.40/3700.04	c propagations		: 603102807
3567.40/3700.04	c inspects		: 50255415846
3567.40/3700.04	c shortcuts		: 0
3567.40/3700.04	c learnt literals	: 0
3567.40/3700.04	c learnt binary clauses	: 0
3567.40/3700.04	c learnt ternary clauses	: 0
3567.40/3700.04	c learnt constraints	: 26137355
3567.40/3700.04	c ignored constraints	: 0
3567.40/3700.04	c root simplifications	: 0
3567.40/3700.04	c removed literals (reason simplification)	: 46472667
3567.40/3700.04	c reason swapping (by a shorter reason)	: 0
3567.40/3700.04	c Calls to reduceDB	: 224
3567.40/3700.04	c Number of update (reduction) of LBD	: 7607028
3567.40/3700.04	c Imported unit clauses	: 0
3567.40/3700.04	c No decision after first conflict	: false
3567.40/3700.04	c number of reductions to clauses (during analyze)	: 0
3567.40/3700.04	c number of learned constraints concerned by reduction	: 0
3567.40/3700.04	c number of learning phase by resolution	: 0
3567.40/3700.04	c number of learning phase by cutting planes	: 0
3567.40/3700.04	c number of rounding to 1 operations	: 0
3567.40/3700.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3567.40/3700.05	c number of reductions of the coefficients by power 2 	: 0
3567.40/3700.06	c number of right shift for reduction by power 2 	: 0
3567.40/3700.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3567.40/3700.06	c number of ending skipping 	: 0
3567.40/3700.06	c number of internal skipping 	: 0
3567.40/3700.06	c number of derivation steps 	: 0
3567.40/3700.06	c number of skipped derivation steps 	: 0
3567.40/3700.06	c number of remaining unassigned 	: 0
3567.40/3700.06	c number of remaining assigned 	: 0
3567.40/3700.06	c number of falsified literals weakened from reason	: 0
3567.40/3700.06	c number of falsified literals weakened from conflict	: 0
3567.40/3700.06	c time for arithmetic operations	: 0
3567.40/3700.06	c minimum degree of deleted constraints	: null
3567.40/3700.06	c maximum degree of deleted constraints	: null
3567.40/3700.06	c number of deleted constraints	: 0
3567.40/3700.06	c speed (assignments/second)	: 163020.80580179454
3567.40/3700.06	c non guided choices	: 72860
3567.77/3700.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 267171
3567.77/3700.20	s SATISFIABLE
3567.77/3700.21	c Found 3 solution(s)
3567.77/3700.21	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 
3567.77/3700.21	c objective function=1
3567.77/3700.21	c Total wall clock time (in seconds): 3699.835

Verifier Data 

OK	1

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=78311, runsolver pid=78296

[startup+0.101319 s]*
/proc/loadavg: 0.83 1.02 1.07 14/319 78380
/proc/meminfo: memFree=128083520/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=18930384 memory=46460 CPUtime=0.09 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 5604 0 33 0 6 3 0 0 20 0 18 0 70434199 19384713216 11615 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4732596 11615 4944 1 0 546866 0
[pid=78311/tid=78321] ppid=78296 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 4542 0 33 0 4 2 0 0 20 0 18 0 70434203 19384713216 11615 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434207 19384713216 11615 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=18930384 memory=58494082626307 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70434209 19384713216 11615 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 46460 KiB

[startup+0.213577 s]*
/proc/loadavg: 0.83 1.02 1.07 9/319 78380
/proc/meminfo: memFree=128065968/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=18930384 memory=51964 CPUtime=0.26 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 6082 0 33 0 22 4 0 0 20 0 18 0 70434199 19384713216 12991 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4732596 12991 5360 1 0 547232 0
[pid=78311/tid=78321] ppid=78296 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 4922 0 33 0 14 2 0 0 20 0 18 0 70434203 19384713216 12991 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434207 19384713216 12991 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70434209 19384713216 12991 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51964 KiB

[startup+0.315025 s]*
/proc/loadavg: 0.83 1.02 1.07 12/319 78380
/proc/meminfo: memFree=128048668/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=18930384 memory=58148 CPUtime=0.42 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 6604 0 33 0 37 5 0 0 20 0 18 0 70434199 19384713216 14537 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4732596 14537 5360 1 0 547686 0
[pid=78311/tid=78321] ppid=78296 vsize=18930384 memory=-6000919481229534312 CPUtime=0.25 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 5073 0 33 0 22 3 0 0 20 0 18 0 70434203 19384713216 14537 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434207 19384713216 14537 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70434209 19384713216 14537 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58148 KiB

[startup+0.700413 s]
/proc/loadavg: 0.83 1.02 1.07 13/322 78383
/proc/meminfo: memFree=128038964/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=18996948 memory=69344 CPUtime=1.1 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 8507 0 33 0 104 6 0 0 20 0 19 0 70434199 19452874752 17336 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4749237 17336 5488 1 0 548892 0
[pid=78311/tid=78321] ppid=78296 vsize=18996948 memory=18432 CPUtime=0.54 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 5368 0 33 0 51 3 0 0 20 0 19 0 70434203 19452874752 17368 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434207 19452874752 17368 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70434209 19452874752 17368 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434251 19452874752 17368 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69344 KiB

[startup+1.5003 s]
/proc/loadavg: 0.83 1.02 1.07 12/323 78384
/proc/meminfo: memFree=127919680/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=18996948 memory=164852 CPUtime=2.68 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 19855 0 33 0 255 13 0 0 20 0 19 0 70434199 19452874752 41213 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4749237 41213 5488 1 0 552557 0
[pid=78311/tid=78321] ppid=78296 vsize=18996948 memory=0 CPUtime=1.25 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 5926 0 33 0 119 6 0 0 20 0 19 0 70434203 19452874752 41213 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434207 19452874752 41213 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70434209 19452874752 41213 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434251 19452874752 41213 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 164852 KiB

[startup+3.10515 s]
/proc/loadavg: 0.83 1.02 1.07 11/327 78388
/proc/meminfo: memFree=127504040/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=214632 CPUtime=5.83 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 23350 0 33 0 567 16 0 0 20 0 20 0 70434199 19521036288 53658 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 53658 5520 1 0 553673 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=11136 CPUtime=2.79 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 6911 0 33 0 270 9 0 0 20 0 20 0 70434203 19521036288 53658 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=-6000919481229534312 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 53658 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 53658 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 53658 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 214632 KiB

[startup+6.30038 s]
/proc/loadavg: 1.16 1.09 1.09 7/327 78388
/proc/meminfo: memFree=126212912/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=796556 CPUtime=9.45 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 24070 0 33 0 916 29 0 0 20 0 20 0 70434199 19521036288 199139 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 199139 5520 1 0 553676 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=0 CPUtime=5.93 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 7516 0 33 0 572 21 0 0 20 0 20 0 70434203 19521036288 199139 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 199139 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 199139 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=173456 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 199139 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 9.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 796556 KiB

[startup+12.7004 s]
/proc/loadavg: 1.39 1.14 1.11 7/330 78391
/proc/meminfo: memFree=124236952/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=1313492 CPUtime=16.42 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 32271 0 33 0 1596 46 0 0 20 0 20 0 70434199 19521036288 328373 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 328373 5520 1 0 553838 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=173456 CPUtime=12.22 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 9065 0 33 0 1187 35 0 0 20 0 20 0 70434203 19521036288 328373 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=1307276 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 328373 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=1307276 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 328373 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=796556 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 328373 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 16.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1313492 KiB

[startup+25.5004 s]
/proc/loadavg: 1.97 1.28 1.15 7/330 78391
/proc/meminfo: memFree=122582176/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=1315688 CPUtime=29.22 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 35276 0 33 0 2866 56 0 0 20 0 20 0 70434199 19521036288 328922 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 328922 5552 1 0 553838 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=1313492 CPUtime=24.88 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 10224 0 33 0 2443 45 0 0 20 0 20 0 70434203 19521036288 328922 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=1315560 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 328922 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 328922 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=1313492 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 328922 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315688 KiB

[startup+51.1129 s]
/proc/loadavg: 2.79 1.53 1.24 7/331 78393
/proc/meminfo: memFree=122217360/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=1332204 CPUtime=55.32 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 42510 0 33 0 5457 75 0 0 20 0 20 0 70434199 19521036288 333051 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 333051 5552 1 0 553838 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=1313492 CPUtime=50.18 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 11627 0 33 0 4958 60 0 0 20 0 20 0 70434203 19521036288 333051 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=1332204 CPUtime=0 cores=1,3

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

/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 50618 0 33 0 316115 1088 0 0 20 0 20 0 70434203 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 1834 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 3218.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.10 7/335 78594
/proc/meminfo: memFree=100703764/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3278.72 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 122454 0 33 0 326545 1327 0 0 20 0 20 0 70434199 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 543047 5584 1 0 555318 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=2728 CPUtime=3231.09 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 51001 0 33 0 322006 1103 0 0 20 0 20 0 70434203 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 3278.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.10 7/334 78596
/proc/meminfo: memFree=100448388/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3332.57 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 122707 0 33 0 331911 1346 0 0 20 0 20 0 70434199 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 543047 5584 1 0 555318 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3284.19 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 51225 0 33 0 327302 1117 0 0 20 0 20 0 70434203 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.19 4.11 7/333 78598
/proc/meminfo: memFree=100172928/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3392.28 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 124761 0 33 0 337860 1368 0 0 20 0 20 0 70434199 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 543047 5584 1 0 555318 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3343.25 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 52331 0 33 0 333189 1136 0 0 20 0 20 0 70434203 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 1915 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.11 7/333 78600
/proc/meminfo: memFree=99904744/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3452.14 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 126342 0 33 0 343827 1387 0 0 20 0 20 0 70434199 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 543047 5584 1 0 555318 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3402.42 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 53699 0 33 0 339090 1152 0 0 20 0 20 0 70434203 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 1973 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172188 KiB

[startup+3642.3 s]
/proc/loadavg: 4.08 4.15 4.10 7/328 78602
/proc/meminfo: memFree=99676004/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3509.5 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 127531 0 33 0 349545 1405 0 0 20 0 20 0 70434199 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 543047 5584 1 0 555318 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3459.12 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 54052 0 33 0 344746 1166 0 0 20 0 20 0 70434203 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=2172188 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 3509.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172188 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.18 4.17 4.10 10/331 78609
/proc/meminfo: memFree=99401068/131382120 swapFree=33010416/33010684
[pid=78311] ppid=78296 vsize=19063512 memory=2172188 CPUtime=3567.4 cores=1,3
/proc/78311/stat : 78311 (java) S 78296 78311 78242 0 -1 4194304 129768 0 33 0 355316 1424 0 0 20 0 20 0 70434199 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
/proc/78311/statm: 4765878 543047 5584 1 0 555322 0
[pid=78311/tid=78321] ppid=78296 vsize=19063512 memory=-6000919481229534312 CPUtime=3515.99 cores=1,3
/proc/78311/task/78321/stat : 78321 (java) R 78296 78311 78242 0 -1 4194368 54387 0 33 0 350418 1181 0 0 20 0 20 0 70434203 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78362] ppid=78296 vsize=19063512 memory=6452091047492216896 CPUtime=0 cores=1,3
/proc/78311/task/78362/stat : 78362 (Finalizer) S 78296 78311 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78380] ppid=78296 vsize=19063512 memory=1716720 CPUtime=0 cores=1,3
/proc/78311/task/78380/stat : 78380 (Common-Cleaner) S 78296 78311 78242 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 70434209 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
[pid=78311/tid=78384] ppid=78296 vsize=19063512 memory=2191476 CPUtime=0 cores=1,3
/proc/78311/task/78384/stat : 78384 (Timer-0) S 78296 78311 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434251 19521036288 543047 18446744073709551615 94248821530624 94248821534320 140724190379680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248821542136 94248821542928 94248850460672 140724190382384 140724190382566 140724190382566 140724190388168 0
Current children cumulated CPU time: 3567.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172188 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3553.56 s, system=14.2769 s

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

[startup+3700.8 s]
/proc/loadavg: 4.18 4.17 4.10 4/258 78618
/proc/meminfo: memFree=107512792/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3701.6 s]
/proc/loadavg: 4.18 4.17 4.10 3/258 78618
/proc/meminfo: memFree=107543800/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3702 s]*
/proc/loadavg: 4.18 4.17 4.10 4/258 78618
/proc/meminfo: memFree=107543552/131382120 swapFree=33010416/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): 3702.87
CPU time (s): 3567.84
CPU user time (s): 3553.56
CPU system time (s): 14.2769
CPU usage (%): 96.3534
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2172956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.56
system time used= 14.2769
maximum resident set size= 2173084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131688
page faults= 33
swaps= 0
block input operations= 0
block output operations= 19805672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128056
involuntary context switches= 10945


# summary of solver processes directly reported to runsolver:
#   pid: 78311
#   total CPU time (s): 3567.84
#   total CPU user time (s): 3553.56
#   total CPU system time (s): 14.2769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.135 second user time and 36.7443 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-03 14:59:08
IDJOB=4518465
IDBENCH=177052
IDSOLVER=3364
FILE ID=nodeC006/4518465-1751547548
RUNJOBID= nodeC006-1751547548-78254
SLURM_JOB_ID= 9598718
Free space on /tmp= 432164 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518465-1751547548/watcher-4518465-1751547548 -o /tmp/evaluation-result-4518465-1751547548/solver-4518465-1751547548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78254 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518465-1751547548 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518465-1751547548.opb

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

MD5SUM BENCH= eeaa529b25ecff27552c4f6e24903559
RANDOM SEED=1117943236

nodeC006 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	: 0xb00001f
cpu MHz		: 1197.537
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.060
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.230
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.158
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.217
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.110
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.109
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.084
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128162060 kB
MemAvailable:   129897112 kB
Buffers:            2128 kB
Cached:          2500752 kB
SwapCached:           12 kB
Active:           532612 kB
Inactive:        2035956 kB
Active(anon):      72560 kB
Inactive(anon):    11076 kB
Active(file):     460052 kB
Inactive(file):  2024880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2684 kB
Writeback:             0 kB
AnonPages:         68892 kB
Mapped:           103652 kB
Shmem:             17948 kB
KReclaimable:     179112 kB
Slab:             265416 kB
SReclaimable:     179112 kB
SUnreclaim:        86304 kB
KernelStack:        3904 kB
PageTables:         2932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     332844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432160 MiB
End job on nodeC006 at 2025-07-03 16:00:51