Trace number 4513518

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.28 3603.94

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
MD5SUM0777625e3e50e9abbc3eac7557ef5296
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.043045
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints91
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)91
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4513518-1751219267.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.15	c ... done. Wall clock time 0.018s.
0.12/0.15	c declared #vars     273
0.12/0.15	c #constraints  182
0.12/0.15	c constraints type 
0.12/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 182
0.12/0.15	c 182 constraints processed.
0.71/0.42	c cleaning 2498 clauses out of 5004 with flag 24549/5004
1.09/0.65	c cleaning 4246 clauses out of 8502 with flag 60808/11000
1.47/0.83	c cleaning 5626 clauses out of 11257 with flag 102813/18001
1.77/1.05	c cleaning 6812 clauses out of 13630 with flag 151791/26000
2.16/1.33	c cleaning 7907 clauses out of 15822 with flag 214004/35004
2.52/1.67	c cleaning 8952 clauses out of 17911 with flag 287072/45000
2.86/1.98	c cleaning 9973 clauses out of 19959 with flag 364573/56000
3.26/2.33	c cleaning 10986 clauses out of 21986 with flag 458679/68000
3.56/2.67	c cleaning 11993 clauses out of 24000 with flag 549961/81000
4.16/3.23	c cleaning 12996 clauses out of 26007 with flag 658088/95000
4.76/3.81	c cleaning 13997 clauses out of 28012 with flag 781008/110001
5.36/4.43	c cleaning 15000 clauses out of 30014 with flag 897182/126000
6.09/5.11	c cleaning 16003 clauses out of 32015 with flag 1022217/143001
6.81/5.85	c cleaning 16996 clauses out of 34013 with flag 1147937/161002
7.72/6.72	c cleaning 17999 clauses out of 36016 with flag 1296021/180001
8.42/7.41	c cleaning 19002 clauses out of 38017 with flag 1433439/200001
9.21/8.29	c cleaning 19997 clauses out of 40015 with flag 1576208/221001
10.02/9.07	c cleaning 21002 clauses out of 42018 with flag 1715216/243001
10.81/9.82	c cleaning 21999 clauses out of 44015 with flag 1864824/266000
11.61/10.60	c cleaning 23002 clauses out of 46019 with flag 2003375/290003
12.41/11.41	c cleaning 23998 clauses out of 48016 with flag 2147873/315002
13.30/12.30	c cleaning 24996 clauses out of 50017 with flag 2315568/341001
14.61/13.60	c cleaning 25986 clauses out of 52020 with flag 2517374/368000
16.01/15.09	c cleaning 27005 clauses out of 54035 with flag 2723544/396001
17.41/16.41	c cleaning 27995 clauses out of 56029 with flag 2940910/425000
18.60/17.63	c cleaning 28998 clauses out of 58034 with flag 3136841/455000
19.90/18.92	c cleaning 30000 clauses out of 60037 with flag 3348751/486001
21.80/20.84	c cleaning 31008 clauses out of 62037 with flag 3584955/518001
23.21/22.21	c cleaning 32002 clauses out of 64028 with flag 3786871/551000
24.81/23.88	c cleaning 33002 clauses out of 66027 with flag 4019275/585001
27.40/26.43	c cleaning 34005 clauses out of 68024 with flag 4328562/620000
30.00/29.06	c cleaning 35001 clauses out of 70019 with flag 4595852/656000
32.89/31.92	c cleaning 36001 clauses out of 72019 with flag 4890561/693001
34.72/33.73	c cleaning 36997 clauses out of 74019 with flag 5139098/731002
36.71/35.76	c cleaning 37996 clauses out of 76020 with flag 5418301/770000
38.60/37.64	c cleaning 39008 clauses out of 78025 with flag 5678880/810001
40.61/39.66	c cleaning 39994 clauses out of 80016 with flag 5951347/851000
42.64/41.69	c cleaning 40995 clauses out of 82022 with flag 6222233/893000
44.82/43.81	c cleaning 42012 clauses out of 84029 with flag 6504539/936002
47.03/46.01	c cleaning 42991 clauses out of 86016 with flag 6778623/980001
49.82/48.83	c cleaning 43990 clauses out of 88025 with flag 7097309/1025001
52.81/51.82	c cleaning 44993 clauses out of 90034 with flag 7436171/1071000
55.33/54.32	c cleaning 45992 clauses out of 92041 with flag 7756545/1118000
57.83/56.85	c cleaning 47011 clauses out of 94050 with flag 8078913/1166001
60.53/59.56	c cleaning 48005 clauses out of 96038 with flag 8412606/1215000
64.65/63.66	c cleaning 49000 clauses out of 98034 with flag 8856747/1265001
69.54/68.57	c cleaning 50006 clauses out of 100033 with flag 9393151/1316000
72.73/71.78	c cleaning 50991 clauses out of 102029 with flag 9779437/1368002
76.97/75.90	c cleaning 52000 clauses out of 104036 with flag 10197576/1421000
80.17/79.14	c cleaning 53004 clauses out of 106036 with flag 10563136/1475000
83.26/82.27	c cleaning 54008 clauses out of 108032 with flag 10919201/1530000
86.56/85.51	c cleaning 55004 clauses out of 110026 with flag 11280986/1586002
90.37/89.31	c cleaning 56011 clauses out of 112021 with flag 11689427/1643001
95.17/94.16	c cleaning 56992 clauses out of 114011 with flag 12167076/1701002
98.96/97.94	c cleaning 57992 clauses out of 116018 with flag 12592942/1760001
102.68/101.69	c cleaning 58992 clauses out of 118026 with flag 13033959/1820001
107.67/106.63	c cleaning 59987 clauses out of 120033 with flag 13535812/1881000
111.86/110.89	c cleaning 61014 clauses out of 122046 with flag 13965193/1943000
116.09/115.06	c cleaning 61989 clauses out of 124032 with flag 14412559/2006000
120.37/119.32	c cleaning 63010 clauses out of 126043 with flag 14869367/2070000
124.56/123.52	c cleaning 64007 clauses out of 128033 with flag 15317430/2135000
129.27/128.24	c cleaning 64997 clauses out of 130026 with flag 15776709/2201000
133.86/132.89	c cleaning 65990 clauses out of 132029 with flag 16262206/2268000
139.25/138.26	c cleaning 67012 clauses out of 134040 with flag 16801779/2336001
143.98/142.91	c cleaning 67997 clauses out of 136027 with flag 17265472/2405000
148.87/147.84	c cleaning 68992 clauses out of 138030 with flag 17770476/2475000
153.46/152.49	c cleaning 70004 clauses out of 140038 with flag 18265031/2546000
158.95/157.92	c cleaning 70996 clauses out of 142034 with flag 18793958/2618000
165.08/164.03	c cleaning 72005 clauses out of 144040 with flag 19395199/2691002
170.96/169.90	c cleaning 73004 clauses out of 146034 with flag 19944529/2765001
176.25/175.29	c cleaning 74006 clauses out of 148030 with flag 20474852/2840001
186.04/185.04	c cleaning 74991 clauses out of 150024 with flag 21187663/2916001
192.32/191.36	c cleaning 76005 clauses out of 152032 with flag 21799941/2993000
198.93/197.97	c cleaning 76999 clauses out of 154028 with flag 22451654/3071001
207.60/206.60	c cleaning 78002 clauses out of 156030 with flag 23133875/3150002
213.49/212.59	c cleaning 79001 clauses out of 158026 with flag 23677994/3230000
219.48/218.55	c cleaning 80002 clauses out of 160025 with flag 24257779/3311000
226.57/225.65	c cleaning 81001 clauses out of 162026 with flag 24890387/3393003
233.10/232.12	c cleaning 81993 clauses out of 164022 with flag 25482886/3476000
245.07/244.16	c cleaning 83000 clauses out of 166030 with flag 26287258/3560001
256.45/255.58	c cleaning 83999 clauses out of 168031 with flag 27103838/3645002
263.33/262.48	c cleaning 85005 clauses out of 170031 with flag 27828549/3731001
270.41/269.48	c cleaning 86003 clauses out of 172027 with flag 28471163/3818002
279.49/278.52	c cleaning 86999 clauses out of 174023 with flag 29193967/3906001
286.77/285.88	c cleaning 87991 clauses out of 176023 with flag 29842004/3995000
295.15/294.21	c cleaning 89004 clauses out of 178032 with flag 30571970/4085000
303.40/302.44	c cleaning 90005 clauses out of 180030 with flag 31276491/4176002
311.38/310.47	c cleaning 90999 clauses out of 182024 with flag 32005233/4268001
319.56/318.69	c cleaning 91990 clauses out of 184025 with flag 32723346/4361001
327.55/326.63	c cleaning 93004 clauses out of 186037 with flag 33391997/4455003
335.63/334.70	c cleaning 94006 clauses out of 188030 with flag 34066309/4550000
343.87/342.95	c cleaning 95004 clauses out of 190026 with flag 34756561/4646002
352.25/351.38	c cleaning 95998 clauses out of 192020 with flag 35481928/4743000
361.44/360.53	c cleaning 97001 clauses out of 194023 with flag 36226193/4841001
370.92/370.05	c cleaning 97990 clauses out of 196022 with flag 36977579/4940001
380.10/379.29	c cleaning 99008 clauses out of 198033 with flag 37721122/5040002
388.89/388.00	c cleaning 100008 clauses out of 200024 with flag 38439600/5141001
398.36/397.56	c cleaning 100994 clauses out of 202016 with flag 39204091/5243001
412.94/412.16	c cleaning 102005 clauses out of 204021 with flag 40077208/5346000
422.31/421.51	c cleaning 102984 clauses out of 206018 with flag 40857006/5450002
432.59/431.86	c cleaning 104003 clauses out of 208034 with flag 41645225/5555002
442.68/441.97	c cleaning 105000 clauses out of 210029 with flag 42437988/5661000
452.45/451.76	c cleaning 106001 clauses out of 212030 with flag 43217266/5768001
463.42/462.72	c cleaning 106996 clauses out of 214028 with flag 44078809/5876000
474.00/473.35	c cleaning 107991 clauses out of 216032 with flag 44904928/5985000
484.27/483.68	c cleaning 109012 clauses out of 218041 with flag 45703631/6095000
495.15/494.54	c cleaning 110001 clauses out of 220029 with flag 46604407/6206000
506.12/505.55	c cleaning 111002 clauses out of 222029 with flag 47468347/6318001
516.99/516.46	c cleaning 111999 clauses out of 224027 with flag 48337605/6431001
528.67/528.18	c cleaning 112995 clauses out of 226027 with flag 49189891/6545000
540.34/539.86	c cleaning 114005 clauses out of 228033 with flag 50070882/6660001
552.85/552.27	c cleaning 114989 clauses out of 230028 with flag 51005047/6776001
565.43/564.80	c cleaning 116012 clauses out of 232040 with flag 51900341/6893002
577.41/576.84	c cleaning 116996 clauses out of 234026 with flag 52791057/7011000
589.48/588.96	c cleaning 118005 clauses out of 236031 with flag 53681575/7130001
601.86/601.39	c cleaning 119007 clauses out of 238025 with flag 54587188/7250000
615.83/615.36	c cleaning 119990 clauses out of 240018 with flag 55604005/7371000
628.31/627.85	c cleaning 121006 clauses out of 242030 with flag 56520227/7493002
643.98/643.53	c cleaning 121990 clauses out of 244023 with flag 57519745/7616001
657.11/656.36	c cleaning 122994 clauses out of 246033 with flag 58450555/7740001
672.08/671.36	c cleaning 124014 clauses out of 248040 with flag 59465065/7865002
685.35/684.68	c cleaning 125011 clauses out of 250024 with flag 60412190/7991000
700.23/699.53	c cleaning 125994 clauses out of 252013 with flag 61393874/8118000
713.70/713.05	c cleaning 126996 clauses out of 254019 with flag 62321207/8246000
728.47/727.85	c cleaning 128003 clauses out of 256024 with flag 63343769/8375001
743.04/742.41	c cleaning 128995 clauses out of 258020 with flag 64382291/8505000
757.81/757.26	c cleaning 130010 clauses out of 260025 with flag 65437303/8636000
772.65/772.08	c cleaning 131005 clauses out of 262016 with flag 66404612/8768001
787.52/786.93	c cleaning 131985 clauses out of 264010 with flag 67443201/8901000
804.48/803.92	c cleaning 132995 clauses out of 266026 with flag 68580664/9035001
821.55/821.09	c cleaning 134005 clauses out of 268031 with flag 69753563/9170001
836.72/836.29	c cleaning 134999 clauses out of 270026 with flag 70788682/9306001
852.49/852.05	c cleaning 135997 clauses out of 272026 with flag 71844804/9443000
868.84/868.45	c cleaning 136999 clauses out of 274029 with flag 72932496/9581000
885.41/885.01	c cleaning 138005 clauses out of 276031 with flag 74021980/9720001
901.77/901.44	c cleaning 139000 clauses out of 278025 with flag 75135984/9860000
918.40/918.02	c cleaning 140004 clauses out of 280027 with flag 76215860/10001002
940.53/940.29	c cleaning 140998 clauses out of 282023 with flag 77524812/10143002
960.69/960.41	c cleaning 141993 clauses out of 284025 with flag 78767659/10286002
977.75/977.56	c cleaning 143000 clauses out of 286031 with flag 79863359/10430001
995.01/994.80	c cleaning 144004 clauses out of 288031 with flag 80936373/10575001
1012.57/1012.40	c cleaning 145002 clauses out of 290026 with flag 82101386/10721000
1032.13/1032.04	c cleaning 146000 clauses out of 292026 with flag 83309925/10868002
1058.36/1058.35	c cleaning 146999 clauses out of 294024 with flag 84663369/11016000
1076.91/1076.92	c cleaning 148005 clauses out of 296025 with flag 85839670/11165000
1096.52/1096.48	c cleaning 148996 clauses out of 298020 with flag 87011229/11315000
1115.18/1115.12	c cleaning 149995 clauses out of 300025 with flag 88215534/11466001
1135.73/1135.70	c cleaning 151007 clauses out of 302030 with flag 89489538/11618001
1154.70/1154.73	c cleaning 151994 clauses out of 304023 with flag 90663328/11771001
1177.95/1178.05	c cleaning 153003 clauses out of 306028 with flag 92063412/11925000
1198.31/1198.30	c cleaning 154001 clauses out of 308028 with flag 93267913/12080003
1220.37/1220.46	c cleaning 154992 clauses out of 310024 with flag 94532244/12236000
1241.03/1241.12	c cleaning 156002 clauses out of 312032 with flag 95817742/12393000
1261.77/1261.92	c cleaning 157003 clauses out of 314034 with flag 97053388/12551004
1282.83/1283.04	c cleaning 158000 clauses out of 316028 with flag 98268332/12710001
1303.57/1303.86	c cleaning 158984 clauses out of 318029 with flag 99542234/12870002
1325.13/1325.45	c cleaning 160008 clauses out of 320043 with flag 100943388/13031000
1349.57/1349.99	c cleaning 161002 clauses out of 322036 with flag 102312533/13193001
1375.40/1375.71	c cleaning 161998 clauses out of 324034 with flag 103759795/13356001
1399.04/1399.47	c cleaning 163010 clauses out of 326035 with flag 105108908/13520000
1420.90/1421.34	c cleaning 164002 clauses out of 328026 with flag 106476845/13685001
1449.35/1449.83	c cleaning 165008 clauses out of 330023 with flag 108084914/13851000
1470.41/1470.99	c cleaning 165993 clauses out of 332016 with flag 109388138/14018001
1493.96/1494.57	c cleaning 166996 clauses out of 334023 with flag 110737089/14186001
1518.91/1519.50	c cleaning 167995 clauses out of 336026 with flag 112121218/14355000
1545.15/1545.83	c cleaning 169000 clauses out of 338033 with flag 113550164/14525002
1569.81/1570.44	c cleaning 169999 clauses out of 340031 with flag 114903615/14696000
1594.36/1595.06	c cleaning 171008 clauses out of 342033 with flag 116237295/14868001
1618.91/1619.69	c cleaning 171996 clauses out of 344024 with flag 117649281/15041000
1642.45/1643.21	c cleaning 173002 clauses out of 346029 with flag 119115532/15215001
1667.89/1668.71	c cleaning 173999 clauses out of 348029 with flag 120564237/15390003
1701.41/1702.35	c cleaning 174991 clauses out of 350028 with flag 122213759/15566001
1726.85/1727.86	c cleaning 176010 clauses out of 352037 with flag 123682755/15743001
1752.19/1753.26	c cleaning 177005 clauses out of 354027 with flag 125060296/15921001
1779.83/1780.97	c cleaning 177993 clauses out of 356021 with flag 126582662/16100000
1809.07/1810.20	c cleaning 178999 clauses out of 358028 with flag 128158799/16280000
1842.70/1843.94	c cleaning 179999 clauses out of 360030 with flag 129709900/16461001
1892.99/1894.32	c cleaning 181003 clauses out of 362031 with flag 131469117/16643001
1921.12/1922.53	c cleaning 182003 clauses out of 364027 with flag 133056727/16826000
1948.83/1950.12	c cleaning 183003 clauses out of 366025 with flag 134511766/17010001
1975.77/1977.20	c cleaning 184001 clauses out of 368021 with flag 136019861/17195000
2003.72/2005.10	c cleaning 184995 clauses out of 370020 with flag 137546439/17381000
2032.46/2033.99	c cleaning 186006 clauses out of 372026 with flag 139109652/17568001
2079.50/2080.68	c cleaning 186990 clauses out of 374021 with flag 140821650/17756002
2127.09/2128.34	c cleaning 188007 clauses out of 376029 with flag 142707022/17945000
2157.64/2159.00	c cleaning 189006 clauses out of 378024 with flag 144249480/18135002
2186.68/2188.03	c cleaning 189995 clauses out of 380017 with flag 145708100/18326001
2217.81/2219.24	c cleaning 191000 clauses out of 382021 with flag 147341124/18518000
2249.64/2251.06	c cleaning 192004 clauses out of 384023 with flag 148990998/18711002
2279.78/2281.21	c cleaning 193000 clauses out of 386017 with flag 150596272/18905000
2312.51/2314.05	c cleaning 193993 clauses out of 388017 with flag 152206075/19100000
2344.45/2346.05	c cleaning 194989 clauses out of 390025 with flag 153793171/19296001
2375.78/2377.46	c cleaning 195999 clauses out of 392036 with flag 155368538/19493001
2410.71/2412.41	c cleaning 197007 clauses out of 394037 with flag 157107626/19691001
2443.44/2445.23	c cleaning 197996 clauses out of 396030 with flag 158720175/19890001
2478.05/2479.86	c cleaning 199008 clauses out of 398034 with flag 160456599/20090001
2518.97/2520.84	c cleaning 199999 clauses out of 400025 with flag 162458921/20291000
2565.47/2567.49	c cleaning 201006 clauses out of 402026 with flag 164397104/20493000
2602.79/2604.84	c cleaning 202000 clauses out of 404021 with flag 166228950/20696001
2641.50/2643.62	c cleaning 202996 clauses out of 406022 with flag 168248185/20900002
2676.22/2678.40	c cleaning 203996 clauses out of 408025 with flag 170006443/21105001
2716.16/2718.39	c cleaning 205007 clauses out of 410030 with flag 171871217/21311002
2752.28/2754.52	c cleaning 206002 clauses out of 412021 with flag 173586578/21518000
2802.78/2805.15	c cleaning 207000 clauses out of 414019 with flag 175459687/21726000
2837.30/2839.71	c cleaning 208007 clauses out of 416022 with flag 177152413/21935003
2873.63/2876.10	c cleaning 208994 clauses out of 418012 with flag 178885674/22145000
2912.54/2915.19	c cleaning 210000 clauses out of 420018 with flag 180712827/22356000
2950.05/2952.79	c cleaning 210995 clauses out of 422018 with flag 182493738/22568000
2987.46/2990.18	c cleaning 212003 clauses out of 424024 with flag 184263428/22781001
3025.88/3028.61	c cleaning 213002 clauses out of 426020 with flag 186026140/22995000
3064.49/3067.36	c cleaning 213999 clauses out of 428019 with flag 187840746/23210001
3103.62/3106.53	c cleaning 215000 clauses out of 430020 with flag 189678641/23426001
3142.95/3145.99	c cleaning 215998 clauses out of 432020 with flag 191433278/23643001
3183.07/3186.15	c cleaning 216994 clauses out of 434021 with flag 193240531/23861000
3222.78/3225.95	c cleaning 218004 clauses out of 436027 with flag 195045605/24080000
3261.98/3265.18	c cleaning 218999 clauses out of 438025 with flag 196948816/24300002
3301.00/3304.25	c cleaning 219996 clauses out of 440024 with flag 198718030/24521000
3344.11/3347.43	c cleaning 220998 clauses out of 442028 with flag 200700909/24743000
3408.09/3411.59	c cleaning 222009 clauses out of 444030 with flag 202731534/24966000
3486.33/3489.96	c cleaning 223002 clauses out of 446021 with flag 204824398/25190000
3555.30/3559.06	c cleaning 223996 clauses out of 448021 with flag 206965603/25415002
3600.00/3603.81	c starts		: 29962
3600.00/3603.82	c conflicts		: 25641001
3600.00/3603.82	c decisions		: 33355534
3600.00/3603.82	c propagations		: 558624317
3600.00/3603.82	c inspects		: 58191955975
3600.00/3603.82	c shortcuts		: 0
3600.00/3603.82	c learnt literals	: 0
3600.00/3603.82	c learnt binary clauses	: 0
3600.00/3603.83	c learnt ternary clauses	: 0
3600.00/3603.83	c learnt constraints	: 25641001
3600.00/3603.83	c ignored constraints	: 0
3600.00/3603.83	c root simplifications	: 0
3600.00/3603.83	c removed literals (reason simplification)	: 45067927
3600.00/3603.83	c reason swapping (by a shorter reason)	: 0
3600.00/3603.83	c Calls to reduceDB	: 222
3600.00/3603.83	c Number of update (reduction) of LBD	: 8091223
3600.00/3603.83	c Imported unit clauses	: 0
3600.00/3603.83	c No decision after first conflict	: false
3600.00/3603.83	c number of reductions to clauses (during analyze)	: 0
3600.00/3603.83	c number of learned constraints concerned by reduction	: 0
3600.00/3603.83	c number of learning phase by resolution	: 0
3600.00/3603.83	c number of learning phase by cutting planes	: 0
3600.00/3603.83	c number of rounding to 1 operations	: 0
3600.00/3603.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3603.83	c number of reductions of the coefficients by power 2 	: 0
3600.00/3603.83	c number of right shift for reduction by power 2 	: 0
3600.00/3603.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3603.83	c number of ending skipping 	: 0
3600.00/3603.83	c number of internal skipping 	: 0
3600.00/3603.83	c number of derivation steps 	: 0
3600.00/3603.83	c number of skipped derivation steps 	: 0
3600.00/3603.83	c number of remaining unassigned 	: 0
3600.00/3603.83	c number of remaining assigned 	: 0
3600.00/3603.83	c number of falsified literals weakened from reason	: 0
3600.00/3603.83	c number of falsified literals weakened from conflict	: 0
3600.00/3603.83	c time for arithmetic operations	: 0
3600.00/3603.85	c minimum degree of deleted constraints	: null
3600.00/3603.85	c maximum degree of deleted constraints	: null
3600.00/3603.85	c number of deleted constraints	: 0
3600.00/3603.85	c speed (assignments/second)	: 155014.10134028917
3600.00/3603.85	c non guided choices	: 71784
3600.21/3603.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 450024
3600.21/3603.93	s UNKNOWN
3600.21/3603.93	c Total wall clock time (in seconds): 3603.799

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62988 MiB free)
  memory of node 1: 64507 MiB (63097 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513518-1751219267/watcher-4513518-1751219267 -o /tmp/evaluation-result-4513518-1751219267/solver-4513518-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28442 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513518-1751219267.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=28501, runsolver pid=28490

[startup+0.10006 s]*
/proc/loadavg: 1.45 2.22 3.08 7/332 28566
/proc/meminfo: memFree=129005456/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=18930384 memory=57736 CPUtime=0.12 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 6560 0 0 0 11 1 0 0 20 0 18 0 37604458 19384713216 14434 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4732596 14434 5334 1 0 547611 0
[pid=28501/tid=28519] ppid=28490 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 5078 0 0 0 7 0 0 0 20 0 18 0 37604459 19384713216 14434 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37604461 19384713216 14434 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=18930384 memory=60684515966010 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37604462 19384713216 14434 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57736 KiB

[startup+0.205437 s]*
/proc/loadavg: 1.45 2.22 3.08 12/336 28570
/proc/meminfo: memFree=128953888/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=18996948 memory=62808 CPUtime=0.32 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 7341 0 0 0 30 2 0 0 20 0 19 0 37604458 19452874752 15702 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4749237 15702 5430 1 0 548367 0
[pid=28501/tid=28519] ppid=28490 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 5309 0 0 0 16 1 0 0 20 0 19 0 37604459 19452874752 15702 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=18996948 memory=16880 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 15702 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 15702 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604473 19452874752 15702 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62808 KiB

[startup+0.305036 s]*
/proc/loadavg: 1.45 2.22 3.08 9/336 28570
/proc/meminfo: memFree=128925748/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=18996948 memory=65520 CPUtime=0.51 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 8747 0 0 0 49 2 0 0 20 0 19 0 37604458 19452874752 16380 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4749237 16380 5430 1 0 549023 0
[pid=28501/tid=28519] ppid=28490 vsize=18996948 memory=-6000919506999207021 CPUtime=0.26 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 5311 0 0 0 25 1 0 0 20 0 19 0 37604459 19452874752 16380 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 16380 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 16380 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604473 19452874752 16380 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65520 KiB

[startup+0.700207 s]
/proc/loadavg: 1.45 2.22 3.08 9/336 28570
/proc/meminfo: memFree=128892896/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=18996948 memory=88376 CPUtime=1.28 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 14859 0 0 0 125 3 0 0 20 0 19 0 37604458 19452874752 22094 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4749237 22094 5430 1 0 552666 0
[pid=28501/tid=28519] ppid=28490 vsize=18996948 memory=17408 CPUtime=0.62 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 5347 0 0 0 61 1 0 0 20 0 19 0 37604459 19452874752 22094 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 22094 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 22094 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604473 19452874752 22094 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88376 KiB

[startup+1.50019 s]
/proc/loadavg: 1.97 2.32 3.11 6/336 28570
/proc/meminfo: memFree=128853608/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=18996948 memory=103240 CPUtime=2.37 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 18324 0 0 0 233 4 0 0 20 0 19 0 37604458 19452874752 25810 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4749237 25810 5430 1 0 552670 0
[pid=28501/tid=28519] ppid=28490 vsize=18996948 memory=0 CPUtime=1.42 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 5668 0 0 0 141 1 0 0 20 0 19 0 37604459 19452874752 25810 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 25810 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 25810 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604473 19452874752 25810 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103240 KiB

[startup+3.10488 s]
/proc/loadavg: 1.97 2.32 3.11 5/336 28570
/proc/meminfo: memFree=128735120/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=18996948 memory=127960 CPUtime=4.07 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 19206 0 0 0 402 5 0 0 20 0 19 0 37604458 19452874752 31990 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4749237 31990 5430 1 0 552690 0
[pid=28501/tid=28519] ppid=28490 vsize=18996948 memory=10752 CPUtime=3.02 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 5971 0 0 0 300 2 0 0 20 0 19 0 37604459 19452874752 31990 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=18996948 memory=-6000919506999207021 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 31990 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 31990 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604473 19452874752 31990 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 127960 KiB

[startup+6.30019 s]
/proc/loadavg: 2.14 2.35 3.11 5/337 28571
/proc/meminfo: memFree=128591756/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=18996948 memory=161692 CPUtime=7.31 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 19887 0 0 0 725 6 0 0 20 0 19 0 37604458 19452874752 40423 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4749237 40423 5430 1 0 552691 0
[pid=28501/tid=28519] ppid=28490 vsize=18996948 memory=0 CPUtime=6.21 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 6090 0 0 0 618 3 0 0 20 0 19 0 37604459 19452874752 40423 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 40423 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 40423 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=18996948 memory=14384 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604473 19452874752 40423 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 7.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161692 KiB

[startup+12.7002 s]
/proc/loadavg: 2.28 2.38 3.12 5/340 28574
/proc/meminfo: memFree=128538304/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=176508 CPUtime=13.7 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 22372 0 0 0 1363 7 0 0 20 0 20 0 37604458 19521036288 44127 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 44127 5462 1 0 552980 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=176508 CPUtime=12.58 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 6987 0 0 0 1255 3 0 0 20 0 20 0 37604459 19521036288 44127 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 44127 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 44127 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 44127 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 13.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176508 KiB

[startup+25.5002 s]
/proc/loadavg: 2.63 2.45 3.13 5/340 28574
/proc/meminfo: memFree=128438720/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=211516 CPUtime=26.5 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 24654 0 0 0 2641 9 0 0 20 0 20 0 37604458 19521036288 52879 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 52879 5462 1 0 552980 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=0 CPUtime=25.3 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 7315 0 0 0 2527 3 0 0 20 0 20 0 37604459 19521036288 52879 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=182696 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 52879 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=-6000919506999207021 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 52879 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=-6000919506999207021 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 52879 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 26.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211516 KiB

[startup+51.1047 s]
/proc/loadavg: 3.17 2.60 3.16 5/340 28574
/proc/meminfo: memFree=128159676/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=302132 CPUtime=52.12 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 25084 0 0 0 5200 12 0 0 20 0 20 0 37604458 19521036288 75533 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 75533 5494 1 0 552980 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/340 29006
/proc/meminfo: memFree=121745932/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3279.15 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 76713 0 0 0 327800 115 0 0 20 0 20 0 37604458 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 541006 5494 1 0 555416 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3271.61 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 35710 0 0 0 327140 21 0 0 20 0 20 0 37604459 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1495 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3279.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/340 29008
/proc/meminfo: memFree=121401520/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3339.03 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 76893 0 0 0 333787 116 0 0 20 0 20 0 37604458 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 541006 5494 1 0 555416 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=7582728746945256980 CPUtime=3331.47 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 35873 0 0 0 333126 21 0 0 20 0 20 0 37604459 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=-6000919506999207021 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1506 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3339.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/340 29010
/proc/meminfo: memFree=121401124/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3398.9 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 77112 0 0 0 339773 117 0 0 20 0 20 0 37604458 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 541006 5494 1 0 555416 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=7582728746945256980 CPUtime=3391.33 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 36087 0 0 0 339112 21 0 0 20 0 20 0 37604459 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1506 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3398.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164024 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/339 29014
/proc/meminfo: memFree=121401032/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3458.79 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 77714 0 0 0 345760 119 0 0 20 0 20 0 37604458 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 541006 5494 1 0 555416 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=7582728746945256980 CPUtime=3451.18 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 36650 0 0 0 345097 21 0 0 20 0 20 0 37604459 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1506 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3458.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/339 29020
/proc/meminfo: memFree=121400948/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3518.67 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 78522 0 0 0 351747 120 0 0 20 0 20 0 37604458 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 541006 5494 1 0 555416 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3511.04 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 37340 0 0 0 351083 21 0 0 20 0 20 0 37604459 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1619 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3518.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/339 29023
/proc/meminfo: memFree=121400828/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3578.54 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 78966 0 0 0 357733 121 0 0 20 0 20 0 37604458 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 541006 5494 1 0 555416 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=17408 CPUtime=3570.9 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 37655 0 0 0 357069 21 0 0 20 0 20 0 37604459 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1728 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3578.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.8 s]
/proc/loadavg: 4.21 4.14 4.10 5/339 29023
/proc/meminfo: memFree=121310724/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19063512 memory=2164024 CPUtime=3600 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 79016 0 0 0 359878 122 0 0 20 0 20 0 37604458 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4765878 541006 5494 1 0 555418 0
[pid=28501/tid=28519] ppid=28490 vsize=19063512 memory=5632 CPUtime=3592.35 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 37702 0 0 0 359214 21 0 0 20 0 20 0 37604459 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1728 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28567] ppid=28490 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/28501/task/28567/stat : 28567 (Timer-0) S 28490 28501 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604473 19521036288 541006 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.23297 s

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

[startup+3603.91 s]
/proc/loadavg: 4.21 4.14 4.10 5/339 29023
/proc/meminfo: memFree=121310724/131249996 swapFree=33010684/33010684
[pid=28501] ppid=28490 vsize=19263204 memory=2164792 CPUtime=3600.21 cores=5,7
/proc/28501/stat : 28501 (java) S 28490 28501 28429 0 -1 4194304 80832 0 0 0 359899 122 0 0 20 0 21 0 37604458 19725520896 541198 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
/proc/28501/statm: 4815801 541198 5526 1 0 556321 0
[pid=28501/tid=28519] ppid=28490 vsize=19263204 memory=4352 CPUtime=3592.45 cores=5,7
/proc/28501/task/28519/stat : 28519 (java) R 28490 28501 28429 0 -1 4194368 37702 0 0 0 359224 21 0 0 20 0 21 0 37604459 19725520896 541198 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28557] ppid=28490 vsize=19263204 memory=10752 CPUtime=0 cores=5,7
/proc/28501/task/28557/stat : 28557 (Finalizer) S 28490 28501 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 37604461 19725520896 541198 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
[pid=28501/tid=28566] ppid=28490 vsize=19263204 memory=2164024 CPUtime=0 cores=5,7
/proc/28501/task/28566/stat : 28566 (Common-Cleaner) S 28490 28501 28429 0 -1 4194368 1728 0 0 0 0 0 0 0 20 0 21 0 37604462 19725520896 541198 18446744073709551615 94302854234112 94302854237808 140721778436224 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94302854245624 94302854246416 94302859624448 140721778444673 140721778444774 140721778444774 140721778450376 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2164792 KiB

Child status: 143

Real time (s): 3603.94
CPU time (s): 3600.28
CPU user time (s): 3599.05
CPU system time (s): 1.23297
CPU usage (%): 99.8984
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2164792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.23297
maximum resident set size= 2165048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104152
involuntary context switches= 3198


# summary of solver processes directly reported to runsolver:
#   pid: 28501
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.23297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23249 second user time and 15.5439 second system time

The end

Launcher Data

Begin job on nodeC022 at 2025-06-29 19:47:47
IDJOB=4513518
IDBENCH=162378
IDSOLVER=3363
FILE ID=nodeC022/4513518-1751219267
RUNJOBID= nodeC022-1751219267-28442
SLURM_JOB_ID= 9587670
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513518-1751219267/watcher-4513518-1751219267 -o /tmp/evaluation-result-4513518-1751219267/solver-4513518-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28442 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513518-1751219267.opb

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

MD5SUM BENCH= 0777625e3e50e9abbc3eac7557ef5296
RANDOM SEED=571939227

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129116392 kB
MemAvailable:   129771024 kB
Buffers:            3280 kB
Cached:          1459228 kB
SwapCached:            0 kB
Active:           316100 kB
Inactive:        1210888 kB
Active(anon):      82540 kB
Inactive(anon):        0 kB
Active(file):     233560 kB
Inactive(file):  1210888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:         67560 kB
Mapped:           102244 kB
Shmem:             18060 kB
KReclaimable:      98444 kB
Slab:             184960 kB
SReclaimable:      98444 kB
SUnreclaim:        86516 kB
KernelStack:        4108 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     333904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC022 at 2025-06-29 20:47:51