Trace number 4542861

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.38 3596.85

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb
MD5SUM069a73194ecd209cf604f34d8017c292
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 benchmark16.7565
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1501
Total number of constraints752
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints740
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
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.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.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.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4542861-1753219615.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.21	c ... done. Wall clock time 0.058s.
0.12/0.21	c declared #vars     1501
0.12/0.21	c #constraints  752
0.12/0.21	c constraints type 
0.12/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 750
0.12/0.21	c 752 constraints processed.
0.68/0.46	c cleaning 2498 clauses out of 5000 with flag 18524/5000
1.25/0.71	c cleaning 4240 clauses out of 8502 with flag 39935/11000
1.85/1.05	c cleaning 5610 clauses out of 11262 with flag 72050/18000
2.32/1.32	c cleaning 6820 clauses out of 13652 with flag 113316/26000
2.69/1.52	c cleaning 7876 clauses out of 15832 with flag 149316/35000
3.05/1.74	c cleaning 8960 clauses out of 17956 with flag 189115/45000
3.46/2.07	c cleaning 9990 clauses out of 19996 with flag 240101/56000
3.95/2.52	c cleaning 10993 clauses out of 22008 with flag 304573/68002
4.15/2.78	c cleaning 11965 clauses out of 24013 with flag 362923/81000
4.56/3.14	c cleaning 13013 clauses out of 26048 with flag 417345/95000
4.89/3.46	c cleaning 14000 clauses out of 28035 with flag 495421/110000
5.30/3.80	c cleaning 14979 clauses out of 30035 with flag 566048/126000
5.73/4.25	c cleaning 16009 clauses out of 32057 with flag 649016/143001
6.15/4.68	c cleaning 17000 clauses out of 34047 with flag 733608/161000
6.76/5.26	c cleaning 18005 clauses out of 36047 with flag 826914/180000
7.67/6.13	c cleaning 19011 clauses out of 38045 with flag 953040/200003
8.56/7.06	c cleaning 19997 clauses out of 40032 with flag 1092569/221001
9.46/7.94	c cleaning 20983 clauses out of 42034 with flag 1235990/243000
10.45/8.98	c cleaning 21982 clauses out of 44051 with flag 1356739/266000
11.35/9.81	c cleaning 23022 clauses out of 46069 with flag 1479500/290000
12.25/10.75	c cleaning 24004 clauses out of 48048 with flag 1610382/315001
13.35/11.81	c cleaning 24960 clauses out of 50043 with flag 1746875/341000
14.65/13.17	c cleaning 26002 clauses out of 52083 with flag 1895640/368000
15.36/13.81	c cleaning 27021 clauses out of 54082 with flag 2018841/396001
16.06/14.57	c cleaning 27985 clauses out of 56060 with flag 2165515/425000
16.86/15.35	c cleaning 29005 clauses out of 58075 with flag 2313960/455000
17.75/16.25	c cleaning 29992 clauses out of 60070 with flag 2455351/486000
18.66/17.12	c cleaning 31022 clauses out of 62080 with flag 2603646/518002
19.55/18.04	c cleaning 32019 clauses out of 64058 with flag 2786307/551002
20.94/19.48	c cleaning 33000 clauses out of 66037 with flag 2957108/585000
23.17/21.66	c cleaning 34000 clauses out of 68038 with flag 3155791/620001
25.26/23.73	c cleaning 35002 clauses out of 70037 with flag 3367294/656000
27.76/26.25	c cleaning 35999 clauses out of 72036 with flag 3594402/693001
30.35/28.86	c cleaning 36999 clauses out of 74037 with flag 3822699/731001
32.95/31.47	c cleaning 37996 clauses out of 76038 with flag 4050909/770001
36.07/34.50	c cleaning 39000 clauses out of 78041 with flag 4291943/810000
39.06/37.55	c cleaning 40004 clauses out of 80041 with flag 4545734/851000
42.35/40.83	c cleaning 41001 clauses out of 82041 with flag 4810486/893004
44.36/42.83	c cleaning 42006 clauses out of 84037 with flag 5021449/936001
47.05/45.57	c cleaning 43005 clauses out of 86030 with flag 5253984/980000
50.15/48.67	c cleaning 44004 clauses out of 88026 with flag 5485498/1025001
53.46/51.96	c cleaning 44998 clauses out of 90022 with flag 5732875/1071001
56.75/55.28	c cleaning 46001 clauses out of 92024 with flag 5985772/1118001
60.54/59.06	c cleaning 47001 clauses out of 94022 with flag 6245838/1166000
64.54/63.09	c cleaning 47998 clauses out of 96021 with flag 6517853/1215000
68.76/67.25	c cleaning 48999 clauses out of 98024 with flag 6804855/1265001
73.36/71.90	c cleaning 49998 clauses out of 100026 with flag 7091682/1316002
75.66/74.17	c cleaning 50992 clauses out of 102027 with flag 7361884/1368001
79.25/77.71	c cleaning 52000 clauses out of 104036 with flag 7669019/1421002
81.38/79.84	c cleaning 52967 clauses out of 106036 with flag 7937349/1475002
83.28/81.77	c cleaning 53994 clauses out of 108071 with flag 8194089/1530004
84.87/83.38	c cleaning 55020 clauses out of 110074 with flag 8433735/1586001
87.17/85.65	c cleaning 55989 clauses out of 112053 with flag 8720189/1643000
88.90/87.32	c cleaning 57012 clauses out of 114066 with flag 8986574/1701002
90.41/88.85	c cleaning 57994 clauses out of 116053 with flag 9238998/1760001
92.61/91.04	c cleaning 59010 clauses out of 118058 with flag 9522185/1820000
94.01/92.47	c cleaning 59984 clauses out of 120048 with flag 9789040/1881000
95.75/94.19	c cleaning 60991 clauses out of 122064 with flag 10062789/1943000
97.54/95.96	c cleaning 62004 clauses out of 124073 with flag 10334545/2006000
99.74/98.12	c cleaning 63010 clauses out of 126069 with flag 10633175/2070000
101.78/100.19	c cleaning 64005 clauses out of 128059 with flag 10926566/2135000
104.45/102.89	c cleaning 64981 clauses out of 130054 with flag 11259614/2201000
109.93/108.35	c cleaning 66027 clauses out of 132073 with flag 11672087/2268000
111.57/109.98	c cleaning 66962 clauses out of 134046 with flag 11964317/2336000
113.87/112.28	c cleaning 68009 clauses out of 136086 with flag 12279860/2405002
116.06/114.48	c cleaning 69025 clauses out of 138080 with flag 12597300/2475005
122.26/120.62	c cleaning 70007 clauses out of 140052 with flag 12992153/2546002
126.68/125.08	c cleaning 70995 clauses out of 142044 with flag 13363093/2618001
129.27/127.66	c cleaning 71990 clauses out of 144050 with flag 13704535/2691002
131.87/130.25	c cleaning 73006 clauses out of 146058 with flag 14059966/2765000
135.09/133.44	c cleaning 74004 clauses out of 148053 with flag 14423270/2840001
137.39/135.78	c cleaning 74954 clauses out of 150048 with flag 14785928/2916000
141.38/139.78	c cleaning 76020 clauses out of 152094 with flag 15146988/2993000
144.33/142.62	c cleaning 77014 clauses out of 154074 with flag 15529868/3071000
146.62/144.96	c cleaning 77978 clauses out of 156061 with flag 15879688/3150001
149.41/147.71	c cleaning 79006 clauses out of 158083 with flag 16248239/3230001
151.78/150.04	c cleaning 80022 clauses out of 160076 with flag 16595013/3311000
157.56/155.88	c cleaning 80980 clauses out of 162055 with flag 17016760/3393001
165.94/164.23	c cleaning 81995 clauses out of 164074 with flag 17529335/3476000
170.53/168.88	c cleaning 83006 clauses out of 166081 with flag 17983322/3560002
174.56/172.82	c cleaning 84023 clauses out of 168074 with flag 18408944/3645001
177.26/175.57	c cleaning 84996 clauses out of 170050 with flag 18810339/3731000
181.45/179.74	c cleaning 86002 clauses out of 172054 with flag 19210185/3818000
185.14/183.42	c cleaning 87006 clauses out of 174053 with flag 19636402/3906001
189.21/187.43	c cleaning 87983 clauses out of 176051 with flag 20082161/3995005
199.28/197.59	c cleaning 88988 clauses out of 178064 with flag 20649747/4085001
208.77/207.08	c cleaning 89998 clauses out of 180075 with flag 21232629/4176000
217.64/215.91	c cleaning 91009 clauses out of 182077 with flag 21817097/4268000
221.91/220.15	c cleaning 91983 clauses out of 184069 with flag 22273574/4361001
228.19/226.46	c cleaning 93018 clauses out of 186085 with flag 22784017/4455000
236.18/234.47	c cleaning 93985 clauses out of 188069 with flag 23318098/4550002
241.37/239.61	c cleaning 95009 clauses out of 190082 with flag 23798292/4646000
244.66/242.90	c cleaning 96017 clauses out of 192075 with flag 24264944/4743002
251.32/249.59	c cleaning 96996 clauses out of 194057 with flag 24766799/4841001
254.92/253.11	c cleaning 98006 clauses out of 196061 with flag 25219514/4940001
258.70/256.96	c cleaning 98986 clauses out of 198054 with flag 25675780/5040000
267.68/265.98	c cleaning 99961 clauses out of 200069 with flag 26242252/5141001
271.39/269.27	c cleaning 101026 clauses out of 202107 with flag 26705652/5243000
275.97/273.85	c cleaning 102016 clauses out of 204081 with flag 27239123/5346000
278.87/276.79	c cleaning 103000 clauses out of 206065 with flag 27706706/5450000
284.26/282.13	c cleaning 103970 clauses out of 208066 with flag 28229157/5555001
288.45/286.38	c cleaning 105022 clauses out of 210096 with flag 28724950/5661001
299.08/296.97	c cleaning 106010 clauses out of 212075 with flag 29320017/5768002
306.86/304.79	c cleaning 107012 clauses out of 214064 with flag 29941840/5876001
315.44/313.36	c cleaning 108008 clauses out of 216051 with flag 30529221/5985000
322.02/319.94	c cleaning 108997 clauses out of 218043 with flag 31105215/6095000
326.53/324.35	c cleaning 109979 clauses out of 220047 with flag 31617971/6206001
330.82/328.62	c cleaning 110977 clauses out of 222067 with flag 32154680/6318000
336.11/333.99	c cleaning 112030 clauses out of 224091 with flag 32681964/6431001
342.20/340.06	c cleaning 113004 clauses out of 226062 with flag 33227696/6545002
346.39/344.27	c cleaning 114002 clauses out of 228057 with flag 33750678/6660001
351.93/349.78	c cleaning 114955 clauses out of 230054 with flag 34303869/6776000
358.31/356.14	c cleaning 116017 clauses out of 232099 with flag 34861695/6893000
363.39/361.20	c cleaning 116989 clauses out of 234083 with flag 35420194/7011001
368.88/366.70	c cleaning 117965 clauses out of 236094 with flag 36009829/7130001
373.06/370.85	c cleaning 119001 clauses out of 238128 with flag 36573305/7250000
379.63/377.41	c cleaning 119995 clauses out of 240128 with flag 37215281/7371001
384.52/382.31	c cleaning 121032 clauses out of 242132 with flag 37797657/7493000
390.01/387.85	c cleaning 122001 clauses out of 244100 with flag 38390180/7616000
394.60/392.46	c cleaning 123014 clauses out of 246099 with flag 38957434/7740000
399.66/397.43	c cleaning 124004 clauses out of 248085 with flag 39509338/7865000
409.04/406.82	c cleaning 125014 clauses out of 250081 with flag 40152033/7991000
415.52/413.34	c cleaning 125990 clauses out of 252067 with flag 40763738/8118000
421.71/419.51	c cleaning 127016 clauses out of 254078 with flag 41378888/8246001
427.49/425.33	c cleaning 128015 clauses out of 256062 with flag 42017279/8375001
432.78/430.61	c cleaning 128969 clauses out of 258047 with flag 42617588/8505001
438.76/436.63	c cleaning 129994 clauses out of 260077 with flag 43239990/8636000
444.17/442.01	c cleaning 131024 clauses out of 262083 with flag 43864025/8768000
450.14/448.05	c cleaning 131989 clauses out of 264060 with flag 44486205/8901001
466.81/464.77	c cleaning 132997 clauses out of 266070 with flag 45363920/9035000
480.96/478.72	c cleaning 134007 clauses out of 268075 with flag 46315932/9170002
495.03/492.86	c cleaning 135005 clauses out of 270071 with flag 47268593/9306005
510.69/508.58	c cleaning 136000 clauses out of 272063 with flag 48242433/9443002
525.86/523.72	c cleaning 136997 clauses out of 274061 with flag 49236424/9581000
533.54/531.40	c cleaning 137992 clauses out of 276064 with flag 49999815/9720000
539.98/537.32	c cleaning 139001 clauses out of 278072 with flag 50662817/9860000
549.07/546.44	c cleaning 139996 clauses out of 280072 with flag 51408043/10001001
566.53/563.97	c cleaning 141010 clauses out of 282077 with flag 52228078/10143002
573.51/570.93	c cleaning 141968 clauses out of 284068 with flag 52935780/10286003
579.20/576.66	c cleaning 143032 clauses out of 286097 with flag 53645320/10430000
586.38/583.78	c cleaning 143991 clauses out of 288065 with flag 54348652/10575000
592.36/589.79	c cleaning 145021 clauses out of 290075 with flag 55050787/10721001
597.85/595.24	c cleaning 146011 clauses out of 292053 with flag 55710674/10868000
606.12/603.52	c cleaning 146990 clauses out of 294042 with flag 56492640/11016000
620.29/617.70	c cleaning 147995 clauses out of 296052 with flag 57352800/11165000
627.28/624.68	c cleaning 148975 clauses out of 298057 with flag 58122090/11315000
633.77/631.13	c cleaning 150027 clauses out of 300085 with flag 58850432/11466003
641.15/638.58	c cleaning 150996 clauses out of 302055 with flag 59588574/11618000
648.04/645.49	c cleaning 152001 clauses out of 304060 with flag 60278669/11771001
669.19/666.68	c cleaning 152976 clauses out of 306059 with flag 61111657/11925001
680.26/677.79	c cleaning 153998 clauses out of 308083 with flag 62039234/12080001
689.85/687.35	c cleaning 155027 clauses out of 310084 with flag 62831307/12236000
697.67/695.04	c cleaning 155977 clauses out of 312058 with flag 63619479/12393001
703.95/701.31	c cleaning 156974 clauses out of 314081 with flag 64367141/12551001
721.91/719.30	c cleaning 158031 clauses out of 316107 with flag 65246670/12710001
736.88/734.39	c cleaning 159014 clauses out of 318076 with flag 66092602/12870001
749.05/746.59	c cleaning 160004 clauses out of 320061 with flag 67010258/13031000
759.44/756.99	c cleaning 160993 clauses out of 322058 with flag 67793073/13193001
770.68/768.02	c cleaning 162020 clauses out of 324065 with flag 68607368/13356001
778.67/776.05	c cleaning 163005 clauses out of 326045 with flag 69442159/13520001
787.54/784.96	c cleaning 164002 clauses out of 328039 with flag 70290407/13685000
798.41/795.83	c cleaning 164931 clauses out of 330038 with flag 71208482/13851001
804.20/801.66	c cleaning 166001 clauses out of 332107 with flag 71960654/14018001
813.78/811.28	c cleaning 166988 clauses out of 334106 with flag 72830846/14186001
820.80/818.13	c cleaning 167999 clauses out of 336119 with flag 73627446/14355002
827.98/825.31	c cleaning 169036 clauses out of 338119 with flag 74409163/14525001
836.86/834.20	c cleaning 170017 clauses out of 340082 with flag 75311249/14696000
865.21/862.66	c cleaning 170987 clauses out of 342065 with flag 76269176/14868000
895.04/892.59	c cleaning 171992 clauses out of 344079 with flag 77381685/15041001
922.83/920.27	c cleaning 172994 clauses out of 346086 with flag 78556085/15215000
949.47/946.90	c cleaning 174000 clauses out of 348092 with flag 79759746/15390000
976.81/974.37	c cleaning 174999 clauses out of 350092 with flag 81014355/15566000
1004.94/1002.53	c cleaning 176001 clauses out of 352096 with flag 82274567/15743003
1023.67/1020.63	c cleaning 177004 clauses out of 354092 with flag 83334834/15921000
1049.81/1046.85	c cleaning 177998 clauses out of 356088 with flag 84397467/16100000
1074.57/1071.67	c cleaning 179003 clauses out of 358092 with flag 85475571/16280002
1102.09/1099.20	c cleaning 180001 clauses out of 360087 with flag 86668229/16461000
1127.74/1124.86	c cleaning 181001 clauses out of 362086 with flag 87924465/16643000
1154.66/1151.83	c cleaning 181997 clauses out of 364086 with flag 89152162/16826001
1167.23/1164.44	c cleaning 183025 clauses out of 366088 with flag 90153776/17010000
1181.03/1178.17	c cleaning 183999 clauses out of 368063 with flag 91097497/17195000
1197.09/1194.29	c cleaning 184993 clauses out of 370064 with flag 92082406/17381000
1208.36/1205.50	c cleaning 186017 clauses out of 372071 with flag 93042945/17568000
1215.95/1213.12	c cleaning 187003 clauses out of 374056 with flag 93926486/17756002
1243.98/1241.26	c cleaning 187976 clauses out of 376051 with flag 94974847/17945000
1283.71/1280.99	c cleaning 188982 clauses out of 378076 with flag 96190638/18135001
1293.09/1290.35	c cleaning 189983 clauses out of 380095 with flag 97071261/18326002
1307.15/1304.47	c cleaning 191026 clauses out of 382110 with flag 98020231/18518000
1317.84/1315.17	c cleaning 192009 clauses out of 384085 with flag 98916683/18711001
1327.51/1324.89	c cleaning 193020 clauses out of 386076 with flag 99831678/18905001
1336.30/1333.51	c cleaning 194018 clauses out of 388056 with flag 100751015/19100001
1345.39/1342.64	c cleaning 194982 clauses out of 390037 with flag 101706341/19296000
1354.57/1351.88	c cleaning 195958 clauses out of 392055 with flag 102648819/19493000
1387.71/1385.06	c cleaning 197031 clauses out of 394098 with flag 103816471/19691001
1408.39/1405.67	c cleaning 198019 clauses out of 396067 with flag 104977854/19890001
1425.46/1422.79	c cleaning 198977 clauses out of 398048 with flag 106169411/20090001
1443.62/1440.95	c cleaning 200009 clauses out of 400070 with flag 107382792/20291000
1455.80/1453.11	c cleaning 201013 clauses out of 402062 with flag 108428027/20493001
1476.70/1473.97	c cleaning 201979 clauses out of 404050 with flag 109614143/20696002
1491.46/1488.73	c cleaning 202994 clauses out of 406069 with flag 110726358/20900000
1502.24/1499.50	c cleaning 204004 clauses out of 408075 with flag 111750656/21105000
1517.51/1514.84	c cleaning 205014 clauses out of 410071 with flag 112920209/21311000
1533.98/1530.72	c cleaning 206005 clauses out of 412057 with flag 114048903/21518000
1553.85/1550.69	c cleaning 207006 clauses out of 414052 with flag 115244246/21726000
1563.72/1560.55	c cleaning 208014 clauses out of 416047 with flag 116194740/21935001
1573.27/1570.08	c cleaning 208995 clauses out of 418033 with flag 117172385/22145001
1584.35/1581.20	c cleaning 209979 clauses out of 420038 with flag 118164521/22356001
1619.86/1616.79	c cleaning 210980 clauses out of 422061 with flag 119491970/22568003
1638.92/1635.83	c cleaning 211988 clauses out of 424078 with flag 120706119/22781000
1650.19/1647.09	c cleaning 213019 clauses out of 426090 with flag 121797551/22995000
1660.27/1657.14	c cleaning 213993 clauses out of 428072 with flag 122819906/23210001
1683.00/1679.99	c cleaning 215013 clauses out of 430078 with flag 123979913/23426000
1699.77/1696.72	c cleaning 215961 clauses out of 432065 with flag 125120016/23643000
1727.25/1724.13	c cleaning 217027 clauses out of 434104 with flag 126486676/23861000
1750.79/1747.71	c cleaning 217954 clauses out of 436077 with flag 127820724/24080000
1789.92/1786.97	c cleaning 219044 clauses out of 438125 with flag 129338869/24300002
1807.18/1804.27	c cleaning 219997 clauses out of 440079 with flag 130609023/24521000
1818.94/1815.81	c cleaning 220995 clauses out of 442084 with flag 131613162/24743002
1829.12/1826.07	c cleaning 222010 clauses out of 444087 with flag 132669134/24966000
1848.09/1845.04	c cleaning 223014 clauses out of 446077 with flag 133851942/25190000
1860.45/1857.43	c cleaning 224020 clauses out of 448063 with flag 134967844/25415000
1872.14/1869.12	c cleaning 224977 clauses out of 450044 with flag 136071188/25641001
1886.70/1883.67	c cleaning 226005 clauses out of 452068 with flag 137195894/25868002
1906.76/1903.78	c cleaning 226991 clauses out of 454062 with flag 138499458/26096001
1918.53/1915.57	c cleaning 227982 clauses out of 456070 with flag 139611896/26325000
1931.21/1928.25	c cleaning 228984 clauses out of 458092 with flag 140718839/26555004
1949.78/1946.73	c cleaning 230035 clauses out of 460105 with flag 141940574/26786001
1972.63/1969.61	c cleaning 231009 clauses out of 462070 with flag 143170144/27018001
1986.40/1983.45	c cleaning 231983 clauses out of 464061 with flag 144336651/27251001
1998.37/1995.40	c cleaning 232996 clauses out of 466077 with flag 145431343/27485000
2058.08/2055.10	c cleaning 234025 clauses out of 468083 with flag 147110631/27720002
2079.23/2076.31	c cleaning 234978 clauses out of 470056 with flag 148512269/27956000
2094.89/2092.03	c cleaning 235964 clauses out of 472078 with flag 149707665/28193000
2112.65/2109.16	c cleaning 237020 clauses out of 474115 with flag 150950761/28431001
2126.22/2122.70	c cleaning 238023 clauses out of 476094 with flag 152121591/28670000
2154.92/2151.42	c cleaning 239012 clauses out of 478071 with flag 153461859/28910000
2166.40/2162.99	c cleaning 239986 clauses out of 480060 with flag 154637786/29151001
2179.27/2175.87	c cleaning 241007 clauses out of 482074 with flag 155813666/29393001
2190.84/2187.44	c cleaning 241982 clauses out of 484067 with flag 156905039/29636001
2227.07/2223.67	c cleaning 243005 clauses out of 486084 with flag 158209088/29880000
2245.44/2242.06	c cleaning 244005 clauses out of 488080 with flag 159470581/30125001
2260.90/2257.58	c cleaning 245019 clauses out of 490074 with flag 160701977/30371000
2278.86/2275.53	c cleaning 245972 clauses out of 492055 with flag 162004853/30618000
2292.34/2289.08	c cleaning 247005 clauses out of 494083 with flag 163222367/30866000
2310.99/2307.65	c cleaning 247989 clauses out of 496078 with flag 164529272/31115000
2327.65/2324.37	c cleaning 249018 clauses out of 498089 with flag 165814210/31365000
2344.11/2340.83	c cleaning 249988 clauses out of 500071 with flag 167110938/31616000
2361.39/2358.15	c cleaning 250972 clauses out of 502084 with flag 168378107/31868001
2376.29/2372.98	c cleaning 251990 clauses out of 504112 with flag 169653251/32121001
2395.36/2392.05	c cleaning 253013 clauses out of 506122 with flag 170974494/32375001
2414.82/2411.55	c cleaning 253974 clauses out of 508109 with flag 172362023/32630001
2442.37/2439.18	c cleaning 254979 clauses out of 510135 with flag 173831301/32886001
2480.36/2477.10	c cleaning 256001 clauses out of 512157 with flag 175424190/33143002
2523.56/2520.33	c cleaning 257044 clauses out of 514155 with flag 177045353/33401001
2561.39/2558.26	c cleaning 257995 clauses out of 516112 with flag 178695658/33660002
2584.58/2581.29	c cleaning 259020 clauses out of 518115 with flag 180151053/33920000
2600.85/2597.53	c cleaning 259954 clauses out of 520096 with flag 181551866/34181001
2617.72/2614.40	c cleaning 261050 clauses out of 522142 with flag 182839052/34443001
2633.88/2630.66	c cleaning 262024 clauses out of 524091 with flag 184195249/34706000
2656.34/2653.09	c cleaning 263016 clauses out of 526068 with flag 185668569/34970001
2669.50/2666.28	c cleaning 263959 clauses out of 528051 with flag 186892219/35235000
2682.77/2679.53	c cleaning 265009 clauses out of 530092 with flag 188124909/35501000
2704.32/2701.03	c cleaning 266001 clauses out of 532083 with flag 189547175/35768000
2719.77/2716.51	c cleaning 267002 clauses out of 534082 with flag 190861140/36036000
2738.34/2735.18	c cleaning 268025 clauses out of 536080 with flag 192226349/36305000
2763.62/2760.35	c cleaning 268964 clauses out of 538058 with flag 193650957/36575003
2780.08/2776.88	c cleaning 270014 clauses out of 540092 with flag 194974057/36846001
2797.35/2794.15	c cleaning 270969 clauses out of 542078 with flag 196376932/37118001
2827.45/2823.66	c cleaning 272038 clauses out of 544108 with flag 197923747/37391000
2875.55/2871.89	c cleaning 273017 clauses out of 546072 with flag 199695300/37665002
2893.50/2889.72	c cleaning 273983 clauses out of 548054 with flag 201094851/37940001
2907.26/2903.52	c cleaning 274971 clauses out of 550071 with flag 202395148/38216001
2922.84/2919.18	c cleaning 275995 clauses out of 552100 with flag 203722457/38493001
2940.40/2936.78	c cleaning 277011 clauses out of 554104 with flag 205123120/38771000
2968.68/2964.92	c cleaning 278030 clauses out of 556093 with flag 206671451/39050000
2991.43/2987.74	c cleaning 278972 clauses out of 558065 with flag 208076841/39330002
3009.90/3006.22	c cleaning 280020 clauses out of 560091 with flag 209421287/39611000
3029.14/3025.51	c cleaning 280971 clauses out of 562071 with flag 210789971/39893000
3048.20/3044.62	c cleaning 282025 clauses out of 564102 with flag 212192232/40176002
3065.82/3062.15	c cleaning 283019 clauses out of 566075 with flag 213641882/40460000
3119.71/3116.12	c cleaning 283978 clauses out of 568056 with flag 215278803/40745000
3141.67/3138.13	c cleaning 284999 clauses out of 570079 with flag 216731073/41031001
3161.42/3157.99	c cleaning 286012 clauses out of 572079 with flag 218210759/41318000
3189.80/3186.17	c cleaning 287004 clauses out of 574069 with flag 219943276/41606002
3215.25/3211.68	c cleaning 287960 clauses out of 576063 with flag 221433897/41895000
3230.91/3227.35	c cleaning 288956 clauses out of 578103 with flag 222869117/42185000
3268.64/3264.93	c cleaning 290014 clauses out of 580148 with flag 224457257/42476001
3305.36/3301.74	c cleaning 291043 clauses out of 582133 with flag 226217536/42768000
3324.13/3320.52	c cleaning 291999 clauses out of 584093 with flag 227650987/43061003
3355.88/3352.31	c cleaning 292990 clauses out of 586092 with flag 229421699/43355001
3374.82/3371.11	c cleaning 294036 clauses out of 588103 with flag 230912453/43650002
3397.17/3393.56	c cleaning 294978 clauses out of 590065 with flag 232468279/43946000
3425.32/3421.78	c cleaning 296003 clauses out of 592088 with flag 234030901/44243001
3444.48/3440.85	c cleaning 296976 clauses out of 594084 with flag 235480574/44541000
3463.64/3460.10	c cleaning 298013 clauses out of 596108 with flag 236988371/44840000
3490.07/3486.57	c cleaning 299023 clauses out of 598095 with flag 238629943/45140000
3543.44/3539.93	c cleaning 300011 clauses out of 600073 with flag 240543037/45441001
3574.27/3570.84	c cleaning 300975 clauses out of 602061 with flag 242169902/45743000
3600.09/3596.71	c starts		: 9913
3600.09/3596.73	c conflicts		: 46046000
3600.09/3596.73	c decisions		: 59946090
3600.09/3596.73	c propagations		: 600978569
3600.09/3596.73	c inspects		: 50001575153
3600.09/3596.73	c shortcuts		: 0
3600.09/3596.73	c learnt literals	: 0
3600.09/3596.73	c learnt binary clauses	: 0
3600.09/3596.73	c learnt ternary clauses	: 0
3600.09/3596.73	c learnt constraints	: 46046000
3600.09/3596.73	c ignored constraints	: 0
3600.09/3596.73	c root simplifications	: 0
3600.09/3596.73	c removed literals (reason simplification)	: 41812417
3600.09/3596.73	c reason swapping (by a shorter reason)	: 0
3600.09/3596.73	c Calls to reduceDB	: 299
3600.09/3596.73	c Number of update (reduction) of LBD	: 14232944
3600.09/3596.73	c Imported unit clauses	: 0
3600.09/3596.74	c No decision after first conflict	: false
3600.09/3596.74	c number of reductions to clauses (during analyze)	: 0
3600.09/3596.74	c number of learned constraints concerned by reduction	: 0
3600.09/3596.74	c number of learning phase by resolution	: 0
3600.09/3596.74	c number of learning phase by cutting planes	: 0
3600.09/3596.74	c number of rounding to 1 operations	: 0
3600.09/3596.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3596.74	c number of reductions of the coefficients by power 2 	: 0
3600.09/3596.74	c number of right shift for reduction by power 2 	: 0
3600.09/3596.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3596.74	c number of ending skipping 	: 0
3600.09/3596.74	c number of internal skipping 	: 0
3600.09/3596.74	c number of derivation steps 	: 0
3600.09/3596.74	c number of skipped derivation steps 	: 0
3600.09/3596.74	c number of remaining unassigned 	: 0
3600.09/3596.74	c number of remaining assigned 	: 0
3600.09/3596.74	c number of falsified literals weakened from reason	: 0
3600.09/3596.74	c number of falsified literals weakened from conflict	: 0
3600.09/3596.74	c time for arithmetic operations	: 0
3600.09/3596.75	c minimum degree of deleted constraints	: null
3600.09/3596.75	c maximum degree of deleted constraints	: null
3600.09/3596.75	c number of deleted constraints	: 0
3600.09/3596.75	c speed (assignments/second)	: 167099.18510523177
3600.09/3596.75	c non guided choices	: 4726959
3600.30/3596.83	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 604086
3600.30/3596.83	s UNKNOWN
3600.30/3596.83	c Total wall clock time (in seconds): 3596.688

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542861-1753219615/watcher-4542861-1753219615 -o /tmp/evaluation-result-4542861-1753219615/solver-4542861-1753219615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753212428-151460 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542861-1753219615.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=152340, runsolver pid=152337

[startup+0.10006 s]*
/proc/loadavg: 4.08 4.09 4.10 5/338 152358
/proc/meminfo: memFree=112699616/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=18930384 memory=57296 CPUtime=0.12 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 6452 0 0 0 10 2 0 0 20 0 18 0 237640159 19384713216 14324 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4732596 14324 5369 1 0 547587 0
[pid=152340/tid=152342] ppid=152337 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 5039 0 0 0 6 1 0 0 20 0 18 0 237640160 19384713216 14324 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237640163 19384713216 14324 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=18930384 memory=60684515961493 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237640163 19384713216 14324 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57296 KiB

[startup+0.205771 s]*
/proc/loadavg: 4.08 4.09 4.10 9/339 152359
/proc/meminfo: memFree=112687328/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=18930384 memory=73468 CPUtime=0.3 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 6845 0 0 0 28 2 0 0 20 0 18 0 237640159 19384713216 18367 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4732596 18367 5433 1 0 547906 0
[pid=152340/tid=152342] ppid=152337 vsize=18930384 memory=4026925340 CPUtime=0.15 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 5271 0 0 0 14 1 0 0 20 0 18 0 237640160 19384713216 18367 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=18930384 memory=2573 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237640163 19384713216 18367 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237640163 19384713216 18367 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73468 KiB

[startup+0.308223 s]*
/proc/loadavg: 4.08 4.09 4.10 7/321 152362
/proc/meminfo: memFree=114785244/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=18996948 memory=80060 CPUtime=0.49 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 8627 0 0 0 46 3 0 0 20 0 19 0 237640159 19452874752 20015 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4749237 20015 5433 1 0 549322 0
[pid=152340/tid=152342] ppid=152337 vsize=18996948 memory=-8672357739187184316 CPUtime=0.24 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 5316 0 0 0 23 1 0 0 20 0 19 0 237640160 19452874752 20015 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 20015 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 20015 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640181 19452874752 20015 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80060 KiB

[startup+0.700614 s]
/proc/loadavg: 4.08 4.09 4.10 5/316 152370
/proc/meminfo: memFree=116843412/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=18996948 memory=101736 CPUtime=1.25 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 16772 0 0 0 120 5 0 0 20 0 19 0 237640159 19452874752 25434 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4749237 25434 5433 1 0 553658 0
[pid=152340/tid=152342] ppid=152337 vsize=18996948 memory=27392 CPUtime=0.63 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 5361 0 0 0 62 1 0 0 20 0 19 0 237640160 19452874752 25434 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 25434 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 25434 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640181 19452874752 25434 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101736 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.09 4.10 6/316 152370
/proc/meminfo: memFree=116835536/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=18996948 memory=110328 CPUtime=2.69 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 21045 0 0 0 264 5 0 0 20 0 19 0 237640159 19452874752 27582 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4749237 27582 5433 1 0 553661 0
[pid=152340/tid=152342] ppid=152337 vsize=18996948 memory=0 CPUtime=1.43 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 5661 0 0 0 141 2 0 0 20 0 19 0 237640160 19452874752 27582 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 27582 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 27582 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640181 19452874752 27582 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110328 KiB

[startup+3.10556 s]
/proc/loadavg: 4.08 4.09 4.10 5/338 152425
/proc/meminfo: memFree=116429296/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=18996948 memory=132984 CPUtime=4.56 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 22101 0 0 0 451 5 0 0 20 0 19 0 237640159 19452874752 33246 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4749237 33246 5433 1 0 553678 0
[pid=152340/tid=152342] ppid=152337 vsize=18996948 memory=10752 CPUtime=3.03 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 5952 0 0 0 301 2 0 0 20 0 19 0 237640160 19452874752 33246 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=18996948 memory=-8672357739187184316 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 33246 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237640163 19452874752 33246 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237640181 19452874752 33246 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132984 KiB

[startup+6.3002 s]
/proc/loadavg: 4.07 4.09 4.10 7/338 152492
/proc/meminfo: memFree=122828100/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=175404 CPUtime=7.86 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 23511 0 0 0 780 6 0 0 20 0 20 0 237640159 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 43851 5529 1 0 553969 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=0 CPUtime=6.2 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 6046 0 0 0 618 2 0 0 20 0 20 0 237640160 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=112376 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175404 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.10 6/338 152560
/proc/meminfo: memFree=124315120/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=175404 CPUtime=14.24 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 24615 0 0 0 1418 6 0 0 20 0 20 0 237640159 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 43851 5529 1 0 553969 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=112376 CPUtime=12.59 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 6980 0 0 0 1256 3 0 0 20 0 20 0 237640160 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=-8672357739187184316 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 43851 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.10 5/339 152627
/proc/meminfo: memFree=124147940/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=218644 CPUtime=27.06 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 27271 0 0 0 2698 8 0 0 20 0 20 0 237640159 19521036288 54661 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 54661 5529 1 0 553969 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=14720 CPUtime=25.32 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 7505 0 0 0 2529 3 0 0 20 0 20 0 237640160 19521036288 54661 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=183668 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 54661 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 54661 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 54661 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 218644 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.09 4.10 5/339 152628
/proc/meminfo: memFree=123805496/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=278260 CPUtime=52.67 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 28278 0 0 0 5257 10 0 0 20 0 20 0 237640159 19521036288 69565 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 69565 5529 1 0 553969 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=3328 CPUtime=50.81 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 7735 0 0 0 5078 3 0 0 20 0 20 0 237640160 19521036288 69565 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/340 152812
/proc/meminfo: memFree=111188332/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=2969064 CPUtime=3286 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 97601 0 0 0 328482 118 0 0 20 0 20 0 237640159 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 742266 5529 1 0 756833 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=2969064 CPUtime=3267.21 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 41617 0 0 0 326694 27 0 0 20 0 20 0 237640160 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=2969064 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=2969064 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1703 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=2969064 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3286 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2969064 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 152814
/proc/meminfo: memFree=111183896/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=2969064 CPUtime=3345.88 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 98692 0 0 0 334469 119 0 0 20 0 20 0 237640159 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 742266 5529 1 0 756833 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=3328 CPUtime=3327.06 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 42533 0 0 0 332679 27 0 0 20 0 20 0 237640160 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1839 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=2969064 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 742266 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3345.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2969064 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 152816
/proc/meminfo: memFree=111183556/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=2969192 CPUtime=3405.95 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 99967 0 0 0 340475 120 0 0 20 0 20 0 237640159 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 742298 5529 1 0 756842 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=3328 CPUtime=3386.73 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 43359 0 0 0 338646 27 0 0 20 0 20 0 237640160 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=2969064 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=2969192 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1839 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=2969192 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3405.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2969192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/339 152818
/proc/meminfo: memFree=111171396/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=2969192 CPUtime=3465.93 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 100415 0 0 0 346472 121 0 0 20 0 20 0 237640159 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 742298 5529 1 0 756844 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=2969064 CPUtime=3446.44 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 43579 0 0 0 344617 27 0 0 20 0 20 0 237640160 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=2969192 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1880 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=2969192 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 742298 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3465.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2969192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/339 152820
/proc/meminfo: memFree=111168480/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=2969320 CPUtime=3525.89 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 101210 0 0 0 352467 122 0 0 20 0 20 0 237640159 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 742330 5529 1 0 756844 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=2969192 CPUtime=3506.16 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 44233 0 0 0 350589 27 0 0 20 0 20 0 237640160 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=27392 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=2969320 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1880 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3525.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2969320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/340 152825
/proc/meminfo: memFree=111094156/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=2969320 CPUtime=3585.74 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 102563 0 0 0 358451 123 0 0 20 0 20 0 237640159 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 742330 5529 1 0 756844 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=2969320 CPUtime=3565.98 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 45465 0 0 0 356571 27 0 0 20 0 20 0 237640160 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=2969320 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=27392 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1958 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=2969320 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3585.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2969320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.7 s]
/proc/loadavg: 4.16 4.12 4.09 5/340 152825
/proc/meminfo: memFree=111101980/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19063512 memory=2969320 CPUtime=3600.09 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 102609 0 0 0 359886 123 0 0 20 0 20 0 237640159 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4765878 742330 5529 1 0 756844 0
[pid=152340/tid=152342] ppid=152337 vsize=19063512 memory=2969320 CPUtime=3580.34 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 45504 0 0 0 358007 27 0 0 20 0 20 0 237640160 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19063512 memory=2969320 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19063512 memory=-8672357739187184316 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1958 0 0 0 0 0 0 0 20 0 20 0 237640163 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152362] ppid=152337 vsize=19063512 memory=2969320 CPUtime=0 cores=5,7
/proc/152340/task/152362/stat : 152362 (Timer-0) S 152337 152340 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237640181 19521036288 742330 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2969320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=1.25753 s

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

[startup+3596.81 s]
/proc/loadavg: 4.16 4.12 4.09 5/340 152825
/proc/meminfo: memFree=111101980/131250000 swapFree=33010672/33010684
[pid=152340] ppid=152337 vsize=19263204 memory=2969960 CPUtime=3600.3 cores=5,7
/proc/152340/stat : 152340 (java) S 152337 152340 151447 0 -1 4194304 104529 0 0 0 359906 124 0 0 20 0 21 0 237640159 19725520896 742490 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
/proc/152340/statm: 4815801 742490 5529 1 0 757747 0
[pid=152340/tid=152342] ppid=152337 vsize=19263204 memory=0 CPUtime=3580.45 cores=5,7
/proc/152340/task/152342/stat : 152342 (java) R 152337 152340 151447 0 -1 4194368 45504 0 0 0 358018 27 0 0 20 0 21 0 237640160 19725520896 742490 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152351] ppid=152337 vsize=19263204 memory=-4421386500559432034 CPUtime=0 cores=5,7
/proc/152340/task/152351/stat : 152351 (Finalizer) S 152337 152340 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237640163 19725520896 742490 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
[pid=152340/tid=152358] ppid=152337 vsize=19263204 memory=-8672357739187184316 CPUtime=0 cores=5,7
/proc/152340/task/152358/stat : 152358 (Common-Cleaner) S 152337 152340 151447 0 -1 4194368 1958 0 0 0 0 0 0 0 20 0 21 0 237640163 19725520896 742490 18446744073709551615 93892471541760 93892471545456 140727200244432 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93892471553272 93892471554064 93892500193280 140727200250239 140727200250340 140727200250340 140727200255944 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2969960 KiB

Child status: 143

Real time (s): 3596.85
CPU time (s): 3600.38
CPU user time (s): 3599.12
CPU system time (s): 1.25753
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2969960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 1.25754
maximum resident set size= 2970344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107529
involuntary context switches= 4937


# summary of solver processes directly reported to runsolver:
#   pid: 152340
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 1.25753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85081 second user time and 16.0008 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-22 23:26:55
IDJOB=4542861
IDBENCH=164739
IDSOLVER=3363
FILE ID=nodeC026/4542861-1753219615
RUNJOBID= nodeC026-1753212428-151460
SLURM_JOB_ID= 9687803
Free space on /tmp= 432976 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542861-1753219615/watcher-4542861-1753219615 -o /tmp/evaluation-result-4542861-1753219615/solver-4542861-1753219615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753212428-151460 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542861-1753219615.opb

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

MD5SUM BENCH= 069a73194ecd209cf604f34d8017c292
RANDOM SEED=1277868480

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.791
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.786
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		: 3634.913
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		: 3600.717
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		: 3599.788
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		: 3600.237
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		: 3611.373
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		: 3599.292
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:        112732080 kB
MemAvailable:   117525136 kB
Buffers:            2128 kB
Cached:          5418500 kB
SwapCached:            4 kB
Active:         13238140 kB
Inactive:        4276360 kB
Active(anon):   12114800 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4271016 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               768 kB
Writeback:             0 kB
AnonPages:      12096952 kB
Mapped:           129236 kB
Shmem:             26268 kB
KReclaimable:     459500 kB
Slab:             564804 kB
SReclaimable:     459500 kB
SUnreclaim:       105304 kB
KernelStack:        5232 kB
PageTables:        27436 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   14643216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11862016 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= 433020 MiB
End job on nodeC026 at 2025-07-23 00:26:52