Trace number 4513519

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.16 3609.92

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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4513519-1751219575.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.02s.
0.13/0.15	c declared #vars     273
0.13/0.15	c #constraints  182
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 182
0.13/0.15	c 182 constraints processed.
1.08/0.67	c cleaning 2498 clauses out of 5004 with flag 24549/5004
1.88/1.09	c cleaning 4246 clauses out of 8502 with flag 60808/11000
2.86/1.54	c cleaning 5626 clauses out of 11257 with flag 102813/18001
3.65/1.95	c cleaning 6812 clauses out of 13630 with flag 151791/26000
4.41/2.37	c cleaning 7907 clauses out of 15822 with flag 214004/35004
5.13/2.82	c cleaning 8952 clauses out of 17911 with flag 287072/45000
5.71/3.26	c cleaning 9973 clauses out of 19959 with flag 364573/56000
6.21/3.75	c cleaning 10986 clauses out of 21986 with flag 458679/68000
6.70/4.24	c cleaning 11993 clauses out of 24000 with flag 549961/81000
7.40/4.98	c cleaning 12996 clauses out of 26007 with flag 658088/95000
8.24/5.77	c cleaning 13997 clauses out of 28012 with flag 781008/110001
9.04/6.56	c cleaning 15000 clauses out of 30014 with flag 897182/126000
9.98/7.42	c cleaning 16003 clauses out of 32015 with flag 1022217/143001
10.93/8.35	c cleaning 16996 clauses out of 34013 with flag 1147937/161002
12.03/9.41	c cleaning 17999 clauses out of 36016 with flag 1296021/180001
12.92/10.36	c cleaning 19002 clauses out of 38017 with flag 1433439/200001
14.13/11.52	c cleaning 19997 clauses out of 40015 with flag 1576208/221001
15.13/12.55	c cleaning 21002 clauses out of 42018 with flag 1715216/243001
16.13/13.55	c cleaning 21999 clauses out of 44015 with flag 1864824/266000
17.23/14.60	c cleaning 23002 clauses out of 46019 with flag 2003375/290003
18.62/15.74	c cleaning 23998 clauses out of 48016 with flag 2147873/315002
19.82/16.92	c cleaning 24996 clauses out of 50017 with flag 2315568/341001
21.32/18.46	c cleaning 25986 clauses out of 52020 with flag 2517374/368000
23.02/20.19	c cleaning 27005 clauses out of 54035 with flag 2723544/396001
24.63/21.78	c cleaning 27995 clauses out of 56029 with flag 2940910/425000
26.15/23.25	c cleaning 28998 clauses out of 58034 with flag 3136841/455000
27.75/24.80	c cleaning 30000 clauses out of 60037 with flag 3348751/486001
29.97/27.04	c cleaning 31008 clauses out of 62037 with flag 3584955/518001
31.55/28.65	c cleaning 32002 clauses out of 64028 with flag 3786871/551000
33.55/30.60	c cleaning 33002 clauses out of 66027 with flag 4019275/585001
36.44/33.72	c cleaning 34005 clauses out of 68024 with flag 4328562/620000
39.33/36.66	c cleaning 35001 clauses out of 70019 with flag 4595852/656000
42.61/39.90	c cleaning 36001 clauses out of 72019 with flag 4890561/693001
44.71/42.02	c cleaning 36997 clauses out of 74019 with flag 5139098/731002
47.00/44.39	c cleaning 37996 clauses out of 76020 with flag 5418301/770000
49.32/46.62	c cleaning 39008 clauses out of 78025 with flag 5678880/810001
51.61/48.96	c cleaning 39994 clauses out of 80016 with flag 5951347/851000
54.00/51.30	c cleaning 40995 clauses out of 82022 with flag 6222233/893000
56.51/53.83	c cleaning 42012 clauses out of 84029 with flag 6504539/936002
59.11/56.44	c cleaning 42991 clauses out of 86016 with flag 6778623/980001
62.31/59.65	c cleaning 43990 clauses out of 88025 with flag 7097309/1025001
65.60/62.98	c cleaning 44993 clauses out of 90034 with flag 7436171/1071000
68.49/65.89	c cleaning 45992 clauses out of 92041 with flag 7756545/1118000
71.52/69.04	c cleaning 47011 clauses out of 94050 with flag 8078913/1166001
74.63/72.17	c cleaning 48005 clauses out of 96038 with flag 8412606/1215000
79.21/76.74	c cleaning 49000 clauses out of 98034 with flag 8856747/1265001
84.70/82.22	c cleaning 50006 clauses out of 100033 with flag 9393151/1316000
88.32/85.89	c cleaning 50991 clauses out of 102029 with flag 9779437/1368002
92.90/90.44	c cleaning 52000 clauses out of 104036 with flag 10197576/1421000
96.62/94.18	c cleaning 53004 clauses out of 106036 with flag 10563136/1475000
100.21/97.79	c cleaning 54008 clauses out of 108032 with flag 10919201/1530000
103.98/101.65	c cleaning 55004 clauses out of 110026 with flag 11280986/1586002
108.30/105.97	c cleaning 56011 clauses out of 112021 with flag 11689427/1643001
113.81/111.44	c cleaning 56992 clauses out of 114011 with flag 12167076/1701002
118.21/115.83	c cleaning 57992 clauses out of 116018 with flag 12592942/1760001
122.51/120.15	c cleaning 58992 clauses out of 118026 with flag 13033959/1820001
128.21/125.83	c cleaning 59987 clauses out of 120033 with flag 13535812/1881000
133.17/130.93	c cleaning 61014 clauses out of 122046 with flag 13965193/1943000
137.95/135.75	c cleaning 61989 clauses out of 124032 with flag 14412559/2006000
142.96/140.77	c cleaning 63010 clauses out of 126043 with flag 14869367/2070000
147.99/145.71	c cleaning 64007 clauses out of 128033 with flag 15317430/2135000
153.38/151.16	c cleaning 64997 clauses out of 130026 with flag 15776709/2201000
158.97/156.77	c cleaning 65990 clauses out of 132029 with flag 16262206/2268000
165.34/163.26	c cleaning 67012 clauses out of 134040 with flag 16801779/2336001
170.81/168.71	c cleaning 67997 clauses out of 136027 with flag 17265472/2405000
176.69/174.62	c cleaning 68992 clauses out of 138030 with flag 17770476/2475000
182.27/180.24	c cleaning 70004 clauses out of 140038 with flag 18265031/2546000
188.70/186.67	c cleaning 70996 clauses out of 142034 with flag 18793958/2618000
196.04/194.06	c cleaning 72005 clauses out of 144040 with flag 19395199/2691002
202.94/201.05	c cleaning 73004 clauses out of 146034 with flag 19944529/2765001
209.37/207.49	c cleaning 74006 clauses out of 148030 with flag 20474852/2840001
220.73/218.83	c cleaning 74991 clauses out of 150024 with flag 21187663/2916001
228.17/226.32	c cleaning 76005 clauses out of 152032 with flag 21799941/2993000
235.81/233.98	c cleaning 76999 clauses out of 154028 with flag 22451654/3071001
245.85/243.95	c cleaning 78002 clauses out of 156030 with flag 23133875/3150002
252.89/250.98	c cleaning 79001 clauses out of 158026 with flag 23677994/3230000
259.94/258.19	c cleaning 80002 clauses out of 160025 with flag 24257779/3311000
268.12/266.37	c cleaning 81001 clauses out of 162026 with flag 24890387/3393003
275.64/273.82	c cleaning 81993 clauses out of 164022 with flag 25482886/3476000
289.50/287.80	c cleaning 83000 clauses out of 166030 with flag 26287258/3560001
302.51/300.82	c cleaning 83999 clauses out of 168031 with flag 27103838/3645002
310.65/308.93	c cleaning 85005 clauses out of 170031 with flag 27828549/3731001
318.63/317.09	c cleaning 86003 clauses out of 172027 with flag 28471163/3818002
329.15/327.51	c cleaning 86999 clauses out of 174023 with flag 29193967/3906001
337.58/335.96	c cleaning 87991 clauses out of 176023 with flag 29842004/3995000
347.19/345.74	c cleaning 89004 clauses out of 178032 with flag 30571970/4085000
356.52/355.08	c cleaning 90005 clauses out of 180030 with flag 31276491/4176002
365.81/364.31	c cleaning 90999 clauses out of 182024 with flag 32005233/4268001
375.31/373.83	c cleaning 91990 clauses out of 184025 with flag 32723346/4361001
384.42/382.92	c cleaning 93004 clauses out of 186037 with flag 33391997/4455003
393.71/392.22	c cleaning 94006 clauses out of 188030 with flag 34066309/4550000
403.03/401.58	c cleaning 95004 clauses out of 190026 with flag 34756561/4646002
412.87/411.50	c cleaning 95998 clauses out of 192020 with flag 35481928/4743000
423.39/422.02	c cleaning 97001 clauses out of 194023 with flag 36226193/4841001
434.37/432.97	c cleaning 97990 clauses out of 196022 with flag 36977579/4940001
445.15/443.90	c cleaning 99008 clauses out of 198033 with flag 37721122/5040002
455.06/453.85	c cleaning 100008 clauses out of 200024 with flag 38439600/5141001
466.10/464.80	c cleaning 100994 clauses out of 202016 with flag 39204091/5243001
482.40/481.35	c cleaning 102005 clauses out of 204021 with flag 40077208/5346000
493.13/492.00	c cleaning 102984 clauses out of 206018 with flag 40857006/5450002
504.64/503.76	c cleaning 104003 clauses out of 208034 with flag 41645225/5555002
516.15/515.28	c cleaning 105000 clauses out of 210029 with flag 42437988/5661000
527.30/526.39	c cleaning 106001 clauses out of 212030 with flag 43217266/5768001
539.88/539.07	c cleaning 106996 clauses out of 214028 with flag 44078809/5876000
552.08/551.20	c cleaning 107991 clauses out of 216032 with flag 44904928/5985000
563.50/562.87	c cleaning 109012 clauses out of 218041 with flag 45703631/6095000
575.31/574.69	c cleaning 110001 clauses out of 220029 with flag 46604407/6206000
587.33/586.73	c cleaning 111002 clauses out of 222029 with flag 47468347/6318001
599.25/598.97	c cleaning 111999 clauses out of 224027 with flag 48337605/6431001
611.98/611.69	c cleaning 112995 clauses out of 226027 with flag 49189891/6545000
624.68/624.60	c cleaning 114005 clauses out of 228033 with flag 50070882/6660001
638.27/638.20	c cleaning 114989 clauses out of 230028 with flag 51005047/6776001
652.03/652.09	c cleaning 116012 clauses out of 232040 with flag 51900341/6893002
665.43/665.40	c cleaning 116996 clauses out of 234026 with flag 52791057/7011000
678.83/678.86	c cleaning 118005 clauses out of 236031 with flag 53681575/7130001
692.67/692.78	c cleaning 119007 clauses out of 238025 with flag 54587188/7250000
708.09/708.17	c cleaning 119990 clauses out of 240018 with flag 55604005/7371000
721.79/721.95	c cleaning 121006 clauses out of 242030 with flag 56520227/7493002
739.28/739.41	c cleaning 121990 clauses out of 244023 with flag 57519745/7616001
753.60/754.00	c cleaning 122994 clauses out of 246033 with flag 58450555/7740001
770.56/771.03	c cleaning 124014 clauses out of 248040 with flag 59465065/7865002
785.70/786.34	c cleaning 125011 clauses out of 250024 with flag 60412190/7991000
802.47/803.28	c cleaning 125994 clauses out of 252013 with flag 61393874/8118000
817.82/818.73	c cleaning 126996 clauses out of 254019 with flag 62321207/8246000
834.22/835.19	c cleaning 128003 clauses out of 256024 with flag 63343769/8375001
850.65/851.63	c cleaning 128995 clauses out of 258020 with flag 64382291/8505000
867.26/868.34	c cleaning 130010 clauses out of 260025 with flag 65437303/8636000
883.69/884.76	c cleaning 131005 clauses out of 262016 with flag 66404612/8768001
900.30/901.42	c cleaning 131985 clauses out of 264010 with flag 67443201/8901000
919.43/920.52	c cleaning 132995 clauses out of 266026 with flag 68580664/9035001
938.52/939.72	c cleaning 134005 clauses out of 268031 with flag 69753563/9170001
955.62/956.82	c cleaning 134999 clauses out of 270026 with flag 70788682/9306001
973.18/974.41	c cleaning 135997 clauses out of 272026 with flag 71844804/9443000
991.25/992.66	c cleaning 136999 clauses out of 274029 with flag 72932496/9581000
1009.45/1010.84	c cleaning 138005 clauses out of 276031 with flag 74021980/9720001
1027.58/1029.03	c cleaning 139000 clauses out of 278025 with flag 75135984/9860000
1045.76/1047.26	c cleaning 140004 clauses out of 280027 with flag 76215860/10001002
1070.55/1072.13	c cleaning 140998 clauses out of 282023 with flag 77524812/10143002
1092.79/1094.43	c cleaning 141993 clauses out of 284025 with flag 78767659/10286002
1111.81/1113.59	c cleaning 143000 clauses out of 286031 with flag 79863359/10430001
1130.93/1132.66	c cleaning 144004 clauses out of 288031 with flag 80936373/10575001
1150.40/1152.22	c cleaning 145002 clauses out of 290026 with flag 82101386/10721000
1172.10/1174.02	c cleaning 146000 clauses out of 292026 with flag 83309925/10868002
1201.00/1202.97	c cleaning 146999 clauses out of 294024 with flag 84663369/11016000
1221.60/1223.63	c cleaning 148005 clauses out of 296025 with flag 85839670/11165000
1243.17/1245.12	c cleaning 148996 clauses out of 298020 with flag 87011229/11315000
1263.87/1265.80	c cleaning 149995 clauses out of 300025 with flag 88215534/11466001
1286.62/1288.74	c cleaning 151007 clauses out of 302030 with flag 89489538/11618001
1307.69/1309.97	c cleaning 151994 clauses out of 304023 with flag 90663328/11771001
1333.97/1336.34	c cleaning 153003 clauses out of 306028 with flag 92063412/11925000
1356.43/1358.89	c cleaning 154001 clauses out of 308028 with flag 93267913/12080003
1380.47/1382.93	c cleaning 154992 clauses out of 310024 with flag 94532244/12236000
1403.16/1405.76	c cleaning 156002 clauses out of 312032 with flag 95817742/12393000
1425.77/1428.47	c cleaning 157003 clauses out of 314034 with flag 97053388/12551004
1448.62/1451.40	c cleaning 158000 clauses out of 316028 with flag 98268332/12710001
1471.34/1474.13	c cleaning 158984 clauses out of 318029 with flag 99542234/12870002
1495.03/1497.97	c cleaning 160008 clauses out of 320043 with flag 100943388/13031000
1521.52/1524.57	c cleaning 161002 clauses out of 322036 with flag 102312533/13193001
1549.74/1552.87	c cleaning 161998 clauses out of 324034 with flag 103759795/13356001
1575.89/1579.04	c cleaning 163010 clauses out of 326035 with flag 105108908/13520000
1599.83/1602.94	c cleaning 164002 clauses out of 328026 with flag 106476845/13685001
1630.49/1633.79	c cleaning 165008 clauses out of 330023 with flag 108084914/13851000
1653.87/1657.19	c cleaning 165993 clauses out of 332016 with flag 109388138/14018001
1679.90/1683.28	c cleaning 166996 clauses out of 334023 with flag 110737089/14186001
1706.97/1710.48	c cleaning 167995 clauses out of 336026 with flag 112121218/14355000
1735.34/1739.08	c cleaning 169000 clauses out of 338033 with flag 113550164/14525002
1761.78/1765.54	c cleaning 169999 clauses out of 340031 with flag 114903615/14696000
1788.24/1792.02	c cleaning 171008 clauses out of 342033 with flag 116237295/14868001
1814.75/1818.58	c cleaning 171996 clauses out of 344024 with flag 117649281/15041000
1841.39/1845.21	c cleaning 173002 clauses out of 346029 with flag 119115532/15215001
1869.62/1873.46	c cleaning 173999 clauses out of 348029 with flag 120564237/15390003
1907.16/1911.03	c cleaning 174991 clauses out of 350028 with flag 122213759/15566001
1935.35/1939.35	c cleaning 176010 clauses out of 352037 with flag 123682755/15743001
1963.17/1967.23	c cleaning 177005 clauses out of 354027 with flag 125060296/15921001
1993.70/1997.85	c cleaning 177993 clauses out of 356021 with flag 126582662/16100000
2025.85/2030.06	c cleaning 178999 clauses out of 358028 with flag 128158799/16280000
2063.02/2067.37	c cleaning 179999 clauses out of 360030 with flag 129709900/16461001
2116.74/2121.05	c cleaning 181003 clauses out of 362031 with flag 131469117/16643001
2147.46/2151.72	c cleaning 182003 clauses out of 364027 with flag 133056727/16826000
2177.59/2181.94	c cleaning 183003 clauses out of 366025 with flag 134511766/17010001
2207.68/2212.18	c cleaning 184001 clauses out of 368021 with flag 136019861/17195000
2238.29/2242.87	c cleaning 184995 clauses out of 370020 with flag 137546439/17381000
2270.31/2274.90	c cleaning 186006 clauses out of 372026 with flag 139109652/17568001
2321.14/2326.09	c cleaning 186990 clauses out of 374021 with flag 140821650/17756002
2372.47/2378.16	c cleaning 188007 clauses out of 376029 with flag 142707022/17945000
2405.73/2411.49	c cleaning 189006 clauses out of 378024 with flag 144249480/18135002
2437.67/2443.20	c cleaning 189995 clauses out of 380017 with flag 145708100/18326001
2470.99/2476.66	c cleaning 191000 clauses out of 382021 with flag 147341124/18518000
2505.14/2510.93	c cleaning 192004 clauses out of 384023 with flag 148990998/18711002
2537.17/2543.06	c cleaning 193000 clauses out of 386017 with flag 150596272/18905000
2572.64/2578.62	c cleaning 193993 clauses out of 388017 with flag 152206075/19100000
2607.08/2613.10	c cleaning 194989 clauses out of 390025 with flag 153793171/19296001
2640.98/2647.12	c cleaning 195999 clauses out of 392036 with flag 155368538/19493001
2678.91/2685.36	c cleaning 197007 clauses out of 394037 with flag 157107626/19691001
2714.16/2720.57	c cleaning 197996 clauses out of 396030 with flag 158720175/19890001
2751.28/2757.72	c cleaning 199008 clauses out of 398034 with flag 160456599/20090001
2795.38/2801.98	c cleaning 199999 clauses out of 400025 with flag 162458921/20291000
2844.12/2850.88	c cleaning 201006 clauses out of 402026 with flag 164397104/20493000
2883.94/2891.00	c cleaning 202000 clauses out of 404021 with flag 166228950/20696001
2925.25/2932.44	c cleaning 202996 clauses out of 406022 with flag 168248185/20900002
2962.25/2969.58	c cleaning 203996 clauses out of 408025 with flag 170006443/21105001
3004.55/3011.91	c cleaning 205007 clauses out of 410030 with flag 171871217/21311002
3043.90/3051.50	c cleaning 206002 clauses out of 412021 with flag 173586578/21518000
3097.14/3104.91	c cleaning 207000 clauses out of 414019 with flag 175459687/21726000
3134.22/3142.12	c cleaning 208007 clauses out of 416022 with flag 177152413/21935003
3172.89/3180.84	c cleaning 208994 clauses out of 418012 with flag 178885674/22145000
3214.19/3222.22	c cleaning 210000 clauses out of 420018 with flag 180712827/22356000
3254.00/3262.13	c cleaning 210995 clauses out of 422018 with flag 182493738/22568000
3293.72/3302.03	c cleaning 212003 clauses out of 424024 with flag 184263428/22781001
3333.89/3342.31	c cleaning 213002 clauses out of 426020 with flag 186026140/22995000
3374.77/3383.39	c cleaning 213999 clauses out of 428019 with flag 187840746/23210001
3416.09/3424.94	c cleaning 215000 clauses out of 430020 with flag 189678641/23426001
3456.97/3466.00	c cleaning 215998 clauses out of 432020 with flag 191433278/23643001
3500.14/3509.35	c cleaning 216994 clauses out of 434021 with flag 193240531/23861000
3542.39/3551.73	c cleaning 218004 clauses out of 436027 with flag 195045605/24080000
3584.04/3593.78	c cleaning 218999 clauses out of 438025 with flag 196948816/24300002
3600.01/3609.81	c timeout
3600.01/3609.81	c starts		: 29223
3600.01/3609.82	c conflicts		: 24394194
3600.01/3609.82	c decisions		: 31830117
3600.01/3609.82	c propagations		: 533445351
3600.01/3609.82	c inspects		: 53652334805
3600.01/3609.82	c shortcuts		: 0
3600.01/3609.82	c learnt literals	: 0
3600.01/3609.82	c learnt binary clauses	: 0
3600.01/3609.82	c learnt ternary clauses	: 0
3600.01/3609.82	c learnt constraints	: 24394194
3600.01/3609.82	c ignored constraints	: 0
3600.01/3609.82	c root simplifications	: 0
3600.01/3609.82	c removed literals (reason simplification)	: 42309479
3600.01/3609.82	c reason swapping (by a shorter reason)	: 0
3600.01/3609.82	c Calls to reduceDB	: 216
3600.01/3609.82	c Number of update (reduction) of LBD	: 7661492
3600.01/3609.82	c Imported unit clauses	: 0
3600.01/3609.82	c No decision after first conflict	: false
3600.01/3609.83	c number of reductions to clauses (during analyze)	: 0
3600.01/3609.83	c number of learned constraints concerned by reduction	: 0
3600.01/3609.83	c number of learning phase by resolution	: 0
3600.01/3609.83	c number of learning phase by cutting planes	: 0
3600.01/3609.83	c number of rounding to 1 operations	: 0
3600.01/3609.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3609.83	c number of reductions of the coefficients by power 2 	: 0
3600.01/3609.83	c number of right shift for reduction by power 2 	: 0
3600.01/3609.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3609.83	c number of ending skipping 	: 0
3600.01/3609.83	c number of internal skipping 	: 0
3600.01/3609.83	c number of derivation steps 	: 0
3600.01/3609.83	c number of skipped derivation steps 	: 0
3600.01/3609.83	c number of remaining unassigned 	: 0
3600.01/3609.83	c number of remaining assigned 	: 0
3600.01/3609.83	c number of falsified literals weakened from reason	: 0
3600.01/3609.83	c number of falsified literals weakened from conflict	: 0
3600.01/3609.83	c time for arithmetic operations	: 0
3600.01/3609.83	c minimum degree of deleted constraints	: null
3600.01/3609.83	c maximum degree of deleted constraints	: null
3600.01/3609.83	c number of deleted constraints	: 0
3600.01/3609.83	c speed (assignments/second)	: 147781.93601148468
3600.01/3609.83	c non guided choices	: 70068
3600.01/3609.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 313218
3600.01/3609.89	s UNKNOWN
3600.01/3609.89	c Total wall clock time (in seconds): 3609.764

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (57563 MiB free)
  memory of node 1: 64465 MiB (53254 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=30907, runsolver pid=30904

[startup+0.100059 s]*
/proc/loadavg: 4.16 4.14 4.60 5/343 30925
/proc/meminfo: memFree=113458496/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=18930384 memory=59564 CPUtime=0.13 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 6524 0 0 0 11 2 0 0 20 0 18 0 37636117 19384713216 14891 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4732596 14891 5345 1 0 547642 0
[pid=30907/tid=30909] ppid=30904 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) D 30904 30907 30647 0 -1 4456512 5103 0 0 0 7 1 0 0 20 0 18 0 37636119 19384713216 14891 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37636121 19384713216 14891 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=18930384 memory=59585004333716 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37636121 19384713216 14891 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59564 KiB

[startup+0.205809 s]*
/proc/loadavg: 4.16 4.14 4.60 7/344 30926
/proc/meminfo: memFree=113451376/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=18996948 memory=65400 CPUtime=0.32 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 6896 0 0 0 30 2 0 0 20 0 19 0 37636117 19452874752 16350 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4749237 16350 5409 1 0 548231 0
[pid=30907/tid=30909] ppid=30904 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 5338 0 0 0 16 1 0 0 20 0 19 0 37636119 19452874752 16350 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=18996948 memory=2569 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37636121 19452874752 16350 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37636121 19452874752 16350 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37636133 19452874752 16350 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65400 KiB

[startup+0.30594 s]*
/proc/loadavg: 4.16 4.14 4.60 6/344 30926
/proc/meminfo: memFree=113431212/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=18996948 memory=86184 CPUtime=0.51 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 8585 0 0 0 48 3 0 0 20 0 19 0 37636117 19452874752 21546 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4749237 21546 5441 1 0 549292 0
[pid=30907/tid=30909] ppid=30904 vsize=18996948 memory=-6000919489970007148 CPUtime=0.26 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 5374 0 0 0 24 2 0 0 20 0 19 0 37636119 19452874752 21546 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37636121 19452874752 21546 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37636121 19452874752 21546 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37636133 19452874752 21546 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86184 KiB

[startup+0.70022 s]
/proc/loadavg: 4.16 4.14 4.60 6/344 30926
/proc/meminfo: memFree=113398764/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=18996948 memory=158472 CPUtime=1.27 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 13125 0 0 0 122 5 0 0 20 0 19 0 37636117 19452874752 39618 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4749237 39618 5441 1 0 552543 0
[pid=30907/tid=30909] ppid=30904 vsize=18996948 memory=17408 CPUtime=0.61 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 5440 0 0 0 58 3 0 0 20 0 19 0 37636119 19452874752 39618 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37636121 19452874752 39618 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37636121 19452874752 39618 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37636133 19452874752 39618 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158472 KiB

[startup+1.50022 s]
/proc/loadavg: 4.16 4.14 4.60 6/345 30927
/proc/meminfo: memFree=113345140/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=175840 CPUtime=2.86 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 21512 0 0 0 279 7 0 0 20 0 20 0 37636117 19521036288 43960 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 43960 5473 1 0 553834 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=0 CPUtime=1.4 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 5934 0 0 0 136 4 0 0 20 0 20 0 37636119 19521036288 43960 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 43960 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 43960 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 43960 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175840 KiB

[startup+3.10553 s]
/proc/loadavg: 4.16 4.14 4.60 5/345 30927
/proc/meminfo: memFree=113263736/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=283792 CPUtime=5.6 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 23586 0 0 0 548 12 0 0 20 0 20 0 37636117 19521036288 70948 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 70948 5473 1 0 554021 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=10752 CPUtime=2.98 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 6448 0 0 0 290 8 0 0 20 0 20 0 37636119 19521036288 70948 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=-6000919489970007148 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 70948 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 70948 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 70948 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 283792 KiB

[startup+6.30017 s]
/proc/loadavg: 4.15 4.14 4.59 5/345 30927
/proc/meminfo: memFree=112571148/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=934796 CPUtime=8.83 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 24378 0 0 0 855 28 0 0 20 0 20 0 37636117 19521036288 233699 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 233699 5473 1 0 554021 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=0 CPUtime=6.15 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 7184 0 0 0 592 23 0 0 20 0 20 0 37636119 19521036288 233699 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 233699 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 233699 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 233699 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 934796 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.59 5/345 30927
/proc/meminfo: memFree=112176680/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=1305544 CPUtime=15.33 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 29204 0 0 0 1493 40 0 0 20 0 20 0 37636117 19521036288 326386 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 326386 5473 1 0 554021 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=1305544 CPUtime=12.52 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 8295 0 0 0 1218 34 0 0 20 0 20 0 37636119 19521036288 326386 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 326386 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 326386 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=-6000919489970007148 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 326386 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 15.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1305544 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.58 5/345 30927
/proc/meminfo: memFree=112082316/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=1316904 CPUtime=28.45 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 36209 0 0 0 2792 53 0 0 20 0 20 0 37636117 19521036288 329226 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 329226 5473 1 0 554021 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=2736 CPUtime=25.27 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 9588 0 0 0 2481 46 0 0 20 0 20 0 37636119 19521036288 329226 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 329226 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=934796 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 329226 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 329226 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316904 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.13 4.57 5/345 30928
/proc/meminfo: memFree=111882824/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=1325124 CPUtime=53.81 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 40323 0 0 0 5310 71 0 0 20 0 20 0 37636117 19521036288 331281 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 331281 5473 1 0 554021 0

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

/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/343 31371
/proc/meminfo: memFree=103232944/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=2170980 CPUtime=3274.1 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 108552 0 0 0 326097 1313 0 0 20 0 20 0 37636117 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 542745 5473 1 0 556130 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=2170980 CPUtime=3248.61 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 45834 0 0 0 323654 1207 0 0 20 0 20 0 37636119 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3274.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170980 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.18 5/342 31373
/proc/meminfo: memFree=102956776/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=2170980 CPUtime=3333.89 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 109759 0 0 0 332057 1332 0 0 20 0 20 0 37636117 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 542745 5473 1 0 556130 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=14720 CPUtime=3308.09 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 46900 0 0 0 329584 1225 0 0 20 0 20 0 37636119 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1555 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170980 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/342 31375
/proc/meminfo: memFree=102680636/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=2170980 CPUtime=3393.62 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 110585 0 0 0 338012 1350 0 0 20 0 20 0 37636117 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 542745 5473 1 0 556130 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=0 CPUtime=3367.59 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 47525 0 0 0 335517 1242 0 0 20 0 20 0 37636119 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/342 31378
/proc/meminfo: memFree=102398376/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=2170980 CPUtime=3453.4 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 110717 0 0 0 343972 1368 0 0 20 0 20 0 37636117 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 542745 5473 1 0 556130 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=0 CPUtime=3427.02 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 47637 0 0 0 341443 1259 0 0 20 0 20 0 37636119 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=4642531289638530720 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542745 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170980 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.12 4.16 5/344 31383
/proc/meminfo: memFree=102131492/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=2171108 CPUtime=3513.14 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 112439 0 0 0 349930 1384 0 0 20 0 20 0 37636117 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 542777 5473 1 0 556140 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=2170980 CPUtime=3486.53 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 48843 0 0 0 347379 1274 0 0 20 0 20 0 37636119 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=2170980 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=2171108 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/344 31387
/proc/meminfo: memFree=101846172/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=2171108 CPUtime=3572.61 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 113503 0 0 0 355859 1402 0 0 20 0 20 0 37636117 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 542777 5473 1 0 556140 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=14720 CPUtime=3545.78 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 49827 0 0 0 353288 1290 0 0 20 0 20 0 37636119 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=2171108 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=2171108 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1668 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=2171108 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.08 4.12 4.15 5/344 31388
/proc/meminfo: memFree=101736740/131250000 swapFree=33010684/33010684
[pid=30907] ppid=30904 vsize=19063512 memory=2171108 CPUtime=3600.01 cores=4,6
/proc/30907/stat : 30907 (java) S 30904 30907 30647 0 -1 4194304 114377 0 0 0 358591 1410 0 0 20 0 20 0 37636117 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
/proc/30907/statm: 4765878 542777 5473 1 0 556140 0
[pid=30907/tid=30909] ppid=30904 vsize=19063512 memory=21612 CPUtime=3572.97 cores=4,6
/proc/30907/task/30909/stat : 30909 (java) R 30904 30907 30647 0 -1 4194368 50144 0 0 0 355999 1298 0 0 20 0 20 0 37636119 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30918] ppid=30904 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/30907/task/30918/stat : 30918 (Finalizer) S 30904 30907 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30925] ppid=30904 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/30907/task/30925/stat : 30925 (Common-Cleaner) S 30904 30907 30647 0 -1 4194368 1722 0 0 0 0 0 0 0 20 0 20 0 37636121 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
[pid=30907/tid=30926] ppid=30904 vsize=19063512 memory=2171108 CPUtime=0 cores=4,6
/proc/30907/task/30926/stat : 30926 (Timer-0) S 30904 30907 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37636133 19521036288 542777 18446744073709551615 94428762542080 94428762545776 140737098343568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428762553592 94428762554384 94428772282368 140737098348848 140737098349030 140737098349030 140737098354632 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.05 s, system=14.1152 s

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

[startup+3609.9 s]*
/proc/loadavg: 4.07 4.12 4.15 5/326 31391
/proc/meminfo: memFree=103785180/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3609.92
CPU time (s): 3600.16
CPU user time (s): 3586.05
CPU system time (s): 14.1152
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2171108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.05
system time used= 14.1152
maximum resident set size= 2172260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116790
page faults= 0
swaps= 0
block input operations= 8
block output operations= 16857064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120156
involuntary context switches= 11298


# summary of solver processes directly reported to runsolver:
#   pid: 30907
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3586.05
#   total CPU system time (s): 14.1152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27311 second user time and 18.2199 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 19:52:55
IDJOB=4513519
IDBENCH=162378
IDSOLVER=3364
FILE ID=nodeC026/4513519-1751219575
RUNJOBID= nodeC026-1751218367-30658
SLURM_JOB_ID= 9587668
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513519-1751219575/watcher-4513519-1751219575 -o /tmp/evaluation-result-4513519-1751219575/solver-4513519-1751219575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30658 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513519-1751219575 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513519-1751219575.opb

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

MD5SUM BENCH= 0777625e3e50e9abbc3eac7557ef5296
RANDOM SEED=502697518

nodeC026 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.775
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.59
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.783
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.59
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		: 3579.073
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.59
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		: 3700.000
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        113477892 kB
MemAvailable:   123176264 kB
Buffers:            3280 kB
Cached:         10494088 kB
SwapCached:            0 kB
Active:          6591424 kB
Inactive:       10236712 kB
Active(anon):    6348944 kB
Inactive(anon):        0 kB
Active(file):     242480 kB
Inactive(file): 10236712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            178112 kB
Writeback:             0 kB
AnonPages:       6333932 kB
Mapped:           122916 kB
Shmem:             18080 kB
KReclaimable:     116840 kB
Slab:             210140 kB
SReclaimable:     116840 kB
SUnreclaim:        93300 kB
KernelStack:        5296 kB
PageTables:        16072 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7060572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151560 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6131712 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC026 at 2025-06-29 20:53:05