Trace number 4542862

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.21 3578.83

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.14	c Pseudo Boolean Optimization by upper bound
0.09/0.14	c --- Begin Solver configuration ---
0.09/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.14	c Learn all clauses as in MiniSAT
0.09/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.14	c Expensive reason simplification
0.09/0.14	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.14	c timeout=2147483s
0.09/0.14	c DB Simplification allowed=false
0.09/0.14	c Listener: none
0.09/0.14	c --- End Solver configuration ---
0.09/0.14	c solving HOME/instance-4542862-1753224403.opb
0.09/0.14	c reading problem ... 
0.09/0.15	c using VERIPB proof format
0.09/0.15	c  no objective function found
0.09/0.21	c ... done. Wall clock time 0.058s.
0.28/0.21	c declared #vars     1501
0.28/0.21	c #constraints  752
0.28/0.21	c constraints type 
0.28/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.28/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 750
0.28/0.21	c 752 constraints processed.
1.24/0.75	c cleaning 2498 clauses out of 5000 with flag 18524/5000
2.04/1.15	c cleaning 4240 clauses out of 8502 with flag 39935/11000
2.82/1.51	c cleaning 5610 clauses out of 11262 with flag 72050/18000
3.42/1.89	c cleaning 6820 clauses out of 13652 with flag 113316/26000
4.22/2.22	c cleaning 7876 clauses out of 15832 with flag 149316/35000
4.81/2.52	c cleaning 8960 clauses out of 17956 with flag 189115/45000
5.45/2.96	c cleaning 9990 clauses out of 19996 with flag 240101/56000
6.12/3.53	c cleaning 10993 clauses out of 22008 with flag 304573/68002
6.42/3.89	c cleaning 11965 clauses out of 24013 with flag 362923/81000
6.92/4.38	c cleaning 13013 clauses out of 26048 with flag 417345/95000
7.46/4.87	c cleaning 14000 clauses out of 28035 with flag 495421/110000
7.97/5.33	c cleaning 14979 clauses out of 30035 with flag 566048/126000
8.60/5.93	c cleaning 16009 clauses out of 32057 with flag 649016/143001
9.22/6.52	c cleaning 17000 clauses out of 34047 with flag 733608/161000
10.02/7.30	c cleaning 18005 clauses out of 36047 with flag 826914/180000
11.02/8.32	c cleaning 19011 clauses out of 38045 with flag 953040/200003
12.13/9.42	c cleaning 19997 clauses out of 40032 with flag 1092569/221001
13.12/10.46	c cleaning 20983 clauses out of 42034 with flag 1235990/243000
14.32/11.66	c cleaning 21982 clauses out of 44051 with flag 1356739/266000
15.32/12.66	c cleaning 23022 clauses out of 46069 with flag 1479500/290000
16.52/13.84	c cleaning 24004 clauses out of 48048 with flag 1610382/315001
17.73/15.10	c cleaning 24960 clauses out of 50043 with flag 1746875/341000
19.32/16.66	c cleaning 26002 clauses out of 52083 with flag 1895640/368000
20.11/17.49	c cleaning 27021 clauses out of 54082 with flag 2018841/396001
21.11/18.45	c cleaning 27985 clauses out of 56060 with flag 2165515/425000
22.12/19.47	c cleaning 29005 clauses out of 58075 with flag 2313960/455000
23.32/20.61	c cleaning 29992 clauses out of 60070 with flag 2455351/486000
24.41/21.73	c cleaning 31022 clauses out of 62080 with flag 2603646/518002
25.62/22.90	c cleaning 32019 clauses out of 64058 with flag 2786307/551002
27.21/24.53	c cleaning 33000 clauses out of 66037 with flag 2957108/585000
29.52/26.82	c cleaning 34000 clauses out of 68038 with flag 3155791/620001
31.72/29.09	c cleaning 35002 clauses out of 70037 with flag 3367294/656000
34.51/31.80	c cleaning 35999 clauses out of 72036 with flag 3594402/693001
37.31/34.61	c cleaning 36999 clauses out of 74037 with flag 3822699/731001
40.12/37.49	c cleaning 37996 clauses out of 76038 with flag 4050909/770001
43.41/40.75	c cleaning 39000 clauses out of 78041 with flag 4291943/810000
46.71/44.07	c cleaning 40004 clauses out of 80041 with flag 4545734/851000
50.30/47.61	c cleaning 41001 clauses out of 82041 with flag 4810486/893004
52.50/49.82	c cleaning 42006 clauses out of 84037 with flag 5021449/936001
55.39/52.77	c cleaning 43005 clauses out of 86030 with flag 5253984/980000
58.79/56.15	c cleaning 44004 clauses out of 88026 with flag 5485498/1025001
62.29/59.66	c cleaning 44998 clauses out of 90022 with flag 5732875/1071001
65.88/63.24	c cleaning 46001 clauses out of 92024 with flag 5985772/1118001
69.86/67.22	c cleaning 47001 clauses out of 94022 with flag 6245838/1166000
74.06/71.42	c cleaning 47998 clauses out of 96021 with flag 6517853/1215000
78.36/75.76	c cleaning 48999 clauses out of 98024 with flag 6804855/1265001
83.24/80.68	c cleaning 49998 clauses out of 100026 with flag 7091682/1316002
85.96/83.32	c cleaning 50992 clauses out of 102027 with flag 7361884/1368001
89.85/87.23	c cleaning 52000 clauses out of 104036 with flag 7669019/1421002
92.36/89.73	c cleaning 52967 clauses out of 106036 with flag 7937349/1475002
94.66/92.01	c cleaning 53994 clauses out of 108071 with flag 8194089/1530004
96.57/93.98	c cleaning 55020 clauses out of 110074 with flag 8433735/1586001
99.26/96.60	c cleaning 55989 clauses out of 112053 with flag 8720189/1643000
101.19/98.59	c cleaning 57012 clauses out of 114066 with flag 8986574/1701002
103.20/100.52	c cleaning 57994 clauses out of 116053 with flag 9238998/1760001
105.82/103.11	c cleaning 59010 clauses out of 118058 with flag 9522185/1820000
107.61/104.95	c cleaning 59984 clauses out of 120048 with flag 9789040/1881000
109.73/107.09	c cleaning 60991 clauses out of 122064 with flag 10062789/1943000
111.92/109.27	c cleaning 62004 clauses out of 124073 with flag 10334545/2006000
114.63/111.92	c cleaning 63010 clauses out of 126069 with flag 10633175/2070000
117.06/114.39	c cleaning 64005 clauses out of 128059 with flag 10926566/2135000
120.25/117.53	c cleaning 64981 clauses out of 130054 with flag 11259614/2201000
126.15/123.43	c cleaning 66027 clauses out of 132073 with flag 11672087/2268000
128.24/125.54	c cleaning 66962 clauses out of 134046 with flag 11964317/2336000
131.06/128.37	c cleaning 68009 clauses out of 136086 with flag 12279860/2405002
133.89/131.12	c cleaning 69025 clauses out of 138080 with flag 12597300/2475005
140.47/137.76	c cleaning 70007 clauses out of 140052 with flag 12992153/2546002
145.60/142.82	c cleaning 70995 clauses out of 142044 with flag 13363093/2618001
148.86/146.02	c cleaning 71990 clauses out of 144050 with flag 13704535/2691002
151.95/149.12	c cleaning 73006 clauses out of 146058 with flag 14059966/2765000
155.68/152.85	c cleaning 74004 clauses out of 148053 with flag 14423270/2840001
158.99/155.89	c cleaning 74954 clauses out of 150048 with flag 14785928/2916000
163.59/160.45	c cleaning 76020 clauses out of 152094 with flag 15146988/2993000
167.13/163.96	c cleaning 77014 clauses out of 154074 with flag 15529868/3071000
170.18/166.99	c cleaning 77978 clauses out of 156061 with flag 15879688/3150001
173.74/170.46	c cleaning 79006 clauses out of 158083 with flag 16248239/3230001
176.74/173.40	c cleaning 80022 clauses out of 160076 with flag 16595013/3311000
183.27/179.99	c cleaning 80980 clauses out of 162055 with flag 17016760/3393001
192.51/189.15	c cleaning 81995 clauses out of 164074 with flag 17529335/3476000
197.96/194.56	c cleaning 83006 clauses out of 166081 with flag 17983322/3560002
202.55/199.12	c cleaning 84023 clauses out of 168074 with flag 18408944/3645001
206.09/202.64	c cleaning 84996 clauses out of 170050 with flag 18810339/3731000
211.03/207.52	c cleaning 86002 clauses out of 172054 with flag 19210185/3818000
215.75/212.05	c cleaning 87006 clauses out of 174053 with flag 19636402/3906001
220.61/216.84	c cleaning 87983 clauses out of 176051 with flag 20082161/3995005
231.97/228.11	c cleaning 88988 clauses out of 178064 with flag 20649747/4085001
242.60/238.70	c cleaning 89998 clauses out of 180075 with flag 21232629/4176000
252.37/248.57	c cleaning 91009 clauses out of 182077 with flag 21817097/4268000
257.49/253.61	c cleaning 91983 clauses out of 184069 with flag 22273574/4361001
264.72/260.85	c cleaning 93018 clauses out of 186085 with flag 22784017/4455000
273.76/269.86	c cleaning 93985 clauses out of 188069 with flag 23318098/4550002
279.81/275.84	c cleaning 95009 clauses out of 190082 with flag 23798292/4646000
284.08/280.02	c cleaning 96017 clauses out of 192075 with flag 24264944/4743002
291.62/287.50	c cleaning 96996 clauses out of 194057 with flag 24766799/4841001
295.98/291.89	c cleaning 98006 clauses out of 196061 with flag 25219514/4940001
300.84/296.63	c cleaning 98986 clauses out of 198054 with flag 25675780/5040000
310.99/306.71	c cleaning 99961 clauses out of 200069 with flag 26242252/5141001
315.06/310.76	c cleaning 101026 clauses out of 202107 with flag 26705652/5243000
320.61/316.29	c cleaning 102016 clauses out of 204081 with flag 27239123/5346000
324.66/320.21	c cleaning 103000 clauses out of 206065 with flag 27706706/5450000
331.04/326.51	c cleaning 103970 clauses out of 208066 with flag 28229157/5555001
336.29/331.74	c cleaning 105022 clauses out of 210096 with flag 28724950/5661001
348.03/343.42	c cleaning 106010 clauses out of 212075 with flag 29320017/5768002
356.96/352.36	c cleaning 107012 clauses out of 214064 with flag 29941840/5876001
366.60/362.00	c cleaning 108008 clauses out of 216051 with flag 30529221/5985000
374.33/369.68	c cleaning 108997 clauses out of 218043 with flag 31105215/6095000
379.67/374.92	c cleaning 109979 clauses out of 220047 with flag 31617971/6206001
385.01/380.23	c cleaning 110977 clauses out of 222067 with flag 32154680/6318000
391.36/386.56	c cleaning 112030 clauses out of 224091 with flag 32681964/6431001
398.63/393.73	c cleaning 113004 clauses out of 226062 with flag 33227696/6545002
403.88/398.94	c cleaning 114002 clauses out of 228057 with flag 33750678/6660001
410.40/405.44	c cleaning 114955 clauses out of 230054 with flag 34303869/6776000
417.82/412.82	c cleaning 116017 clauses out of 232099 with flag 34861695/6893000
424.12/419.00	c cleaning 116989 clauses out of 234083 with flag 35420194/7011001
430.76/425.60	c cleaning 117965 clauses out of 236094 with flag 36009829/7130001
435.90/430.74	c cleaning 119001 clauses out of 238128 with flag 36573305/7250000
443.63/438.45	c cleaning 119995 clauses out of 240128 with flag 37215281/7371001
449.79/444.39	c cleaning 121032 clauses out of 242132 with flag 37797657/7493000
456.51/451.01	c cleaning 122001 clauses out of 244100 with flag 38390180/7616000
462.11/456.67	c cleaning 123014 clauses out of 246099 with flag 38957434/7740000
468.16/462.60	c cleaning 124004 clauses out of 248085 with flag 39509338/7865000
478.78/473.29	c cleaning 125014 clauses out of 250081 with flag 40152033/7991000
486.68/481.06	c cleaning 125990 clauses out of 252067 with flag 40763738/8118000
494.03/488.35	c cleaning 127016 clauses out of 254078 with flag 41378888/8246001
501.07/495.36	c cleaning 128015 clauses out of 256062 with flag 42017279/8375001
507.50/501.76	c cleaning 128969 clauses out of 258047 with flag 42617588/8505001
514.75/508.90	c cleaning 129994 clauses out of 260077 with flag 43239990/8636000
521.36/515.46	c cleaning 131024 clauses out of 262083 with flag 43864025/8768000
528.61/522.61	c cleaning 131989 clauses out of 264060 with flag 44486205/8901001
546.83/540.86	c cleaning 132997 clauses out of 266070 with flag 45363920/9035000
562.15/556.13	c cleaning 134007 clauses out of 268075 with flag 46315932/9170002
577.61/571.53	c cleaning 135005 clauses out of 270071 with flag 47268593/9306005
594.72/588.68	c cleaning 136000 clauses out of 272063 with flag 48242433/9443002
611.31/605.25	c cleaning 136997 clauses out of 274061 with flag 49236424/9581000
620.35/614.23	c cleaning 137992 clauses out of 276064 with flag 49999815/9720000
627.28/621.16	c cleaning 139001 clauses out of 278072 with flag 50662817/9860000
637.81/631.64	c cleaning 139996 clauses out of 280072 with flag 51408043/10001001
657.09/650.81	c cleaning 141010 clauses out of 282077 with flag 52228078/10143002
665.25/658.99	c cleaning 141968 clauses out of 284068 with flag 52935780/10286003
672.29/665.99	c cleaning 143032 clauses out of 286097 with flag 53645320/10430000
680.86/674.48	c cleaning 143991 clauses out of 288065 with flag 54348652/10575000
688.20/681.76	c cleaning 145021 clauses out of 290075 with flag 55050787/10721001
694.89/688.39	c cleaning 146011 clauses out of 292053 with flag 55710674/10868000
704.32/697.76	c cleaning 146990 clauses out of 294042 with flag 56492640/11016000
719.97/713.32	c cleaning 147995 clauses out of 296052 with flag 57352800/11165000
728.18/721.48	c cleaning 148975 clauses out of 298057 with flag 58122090/11315000
736.11/729.32	c cleaning 150027 clauses out of 300085 with flag 58850432/11466003
745.08/738.21	c cleaning 150996 clauses out of 302055 with flag 59588574/11618000
753.34/746.45	c cleaning 152001 clauses out of 304060 with flag 60278669/11771001
776.91/769.75	c cleaning 152976 clauses out of 306059 with flag 61111657/11925001
789.51/782.38	c cleaning 153998 clauses out of 308083 with flag 62039234/12080001
800.68/793.43	c cleaning 155027 clauses out of 310084 with flag 62831307/12236000
809.89/802.56	c cleaning 155977 clauses out of 312058 with flag 63619479/12393001
817.55/810.18	c cleaning 156974 clauses out of 314081 with flag 64367141/12551001
837.14/829.78	c cleaning 158031 clauses out of 316107 with flag 65246670/12710001
854.41/846.95	c cleaning 159014 clauses out of 318076 with flag 66092602/12870001
868.63/861.01	c cleaning 160004 clauses out of 320061 with flag 67010258/13031000
880.56/872.94	c cleaning 160993 clauses out of 322058 with flag 67793073/13193001
893.05/885.32	c cleaning 162020 clauses out of 324065 with flag 68607368/13356001
902.60/894.84	c cleaning 163005 clauses out of 326045 with flag 69442159/13520001
913.16/905.32	c cleaning 164002 clauses out of 328039 with flag 70290407/13685000
925.69/917.83	c cleaning 164931 clauses out of 330038 with flag 71208482/13851001
933.11/925.17	c cleaning 166001 clauses out of 332107 with flag 71960654/14018001
944.14/936.10	c cleaning 166988 clauses out of 334106 with flag 72830846/14186001
952.40/944.37	c cleaning 167999 clauses out of 336119 with flag 73627446/14355002
961.08/952.97	c cleaning 169036 clauses out of 338119 with flag 74409163/14525001
971.61/963.40	c cleaning 170017 clauses out of 340082 with flag 75311249/14696000
1002.64/994.48	c cleaning 170987 clauses out of 342065 with flag 76269176/14868000
1034.91/1026.68	c cleaning 171992 clauses out of 344079 with flag 77381685/15041001
1065.16/1056.81	c cleaning 172994 clauses out of 346086 with flag 78556085/15215000
1094.01/1085.61	c cleaning 174000 clauses out of 348092 with flag 79759746/15390000
1123.77/1115.38	c cleaning 174999 clauses out of 350092 with flag 81014355/15566000
1154.19/1145.70	c cleaning 176001 clauses out of 352096 with flag 82274567/15743003
1174.20/1165.46	c cleaning 177004 clauses out of 354092 with flag 83334834/15921000
1202.84/1194.09	c cleaning 177998 clauses out of 356088 with flag 84397467/16100000
1229.98/1221.13	c cleaning 179003 clauses out of 358092 with flag 85475571/16280002
1259.83/1250.93	c cleaning 180001 clauses out of 360087 with flag 86668229/16461000
1287.79/1278.87	c cleaning 181001 clauses out of 362086 with flag 87924465/16643000
1316.77/1307.79	c cleaning 181997 clauses out of 364086 with flag 89152162/16826001
1331.20/1322.12	c cleaning 183025 clauses out of 366088 with flag 90153776/17010000
1346.47/1337.37	c cleaning 183999 clauses out of 368063 with flag 91097497/17195000
1364.54/1355.32	c cleaning 184993 clauses out of 370064 with flag 92082406/17381000
1377.47/1368.29	c cleaning 186017 clauses out of 372071 with flag 93042945/17568000
1387.15/1377.55	c cleaning 187003 clauses out of 374056 with flag 93926486/17756002
1418.14/1408.59	c cleaning 187976 clauses out of 376051 with flag 94974847/17945000
1461.38/1451.73	c cleaning 188982 clauses out of 378076 with flag 96190638/18135001
1472.43/1462.75	c cleaning 189983 clauses out of 380095 with flag 97071261/18326002
1488.39/1478.65	c cleaning 191026 clauses out of 382110 with flag 98020231/18518000
1500.88/1491.05	c cleaning 192009 clauses out of 384085 with flag 98916683/18711001
1512.31/1502.47	c cleaning 193020 clauses out of 386076 with flag 99831678/18905001
1522.57/1512.62	c cleaning 194018 clauses out of 388056 with flag 100751015/19100001
1533.57/1523.56	c cleaning 194982 clauses out of 390037 with flag 101706341/19296000
1544.76/1534.63	c cleaning 195958 clauses out of 392055 with flag 102648819/19493000
1580.89/1570.70	c cleaning 197031 clauses out of 394098 with flag 103816471/19691001
1603.80/1593.55	c cleaning 198019 clauses out of 396067 with flag 104977854/19890001
1623.52/1612.99	c cleaning 198977 clauses out of 398048 with flag 106169411/20090001
1643.97/1633.31	c cleaning 200009 clauses out of 400070 with flag 107382792/20291000
1658.25/1647.51	c cleaning 201013 clauses out of 402062 with flag 108428027/20493001
1681.11/1670.37	c cleaning 201979 clauses out of 404050 with flag 109614143/20696002
1698.12/1687.21	c cleaning 202994 clauses out of 406069 with flag 110726358/20900000
1710.89/1699.97	c cleaning 204004 clauses out of 408075 with flag 111750656/21105000
1728.57/1717.55	c cleaning 205014 clauses out of 410071 with flag 112920209/21311000
1746.35/1735.24	c cleaning 206005 clauses out of 412057 with flag 114048903/21518000
1768.62/1757.46	c cleaning 207006 clauses out of 414052 with flag 115244246/21726000
1780.45/1769.12	c cleaning 208014 clauses out of 416047 with flag 116194740/21935001
1792.16/1780.43	c cleaning 208995 clauses out of 418033 with flag 117172385/22145001
1805.09/1793.35	c cleaning 209979 clauses out of 420038 with flag 118164521/22356001
1843.41/1831.60	c cleaning 210980 clauses out of 422061 with flag 119491970/22568003
1864.81/1852.93	c cleaning 211988 clauses out of 424078 with flag 120706119/22781000
1877.97/1866.03	c cleaning 213019 clauses out of 426090 with flag 121797551/22995000
1889.93/1877.98	c cleaning 213993 clauses out of 428072 with flag 122819906/23210001
1914.94/1902.95	c cleaning 215013 clauses out of 430078 with flag 123979913/23426000
1933.82/1921.78	c cleaning 215961 clauses out of 432065 with flag 125120016/23643000
1963.77/1951.66	c cleaning 217027 clauses out of 434104 with flag 126486676/23861000
1990.13/1977.89	c cleaning 217954 clauses out of 436077 with flag 127820724/24080000
2032.17/2019.88	c cleaning 219044 clauses out of 438125 with flag 129338869/24300002
2052.18/2039.42	c cleaning 219997 clauses out of 440079 with flag 130609023/24521000
2065.43/2052.63	c cleaning 220995 clauses out of 442084 with flag 131613162/24743002
2077.68/2064.84	c cleaning 222010 clauses out of 444087 with flag 132669134/24966000
2098.92/2086.04	c cleaning 223014 clauses out of 446077 with flag 133851942/25190000
2113.49/2100.52	c cleaning 224020 clauses out of 448063 with flag 134967844/25415000
2127.25/2114.22	c cleaning 224977 clauses out of 450044 with flag 136071188/25641001
2143.91/2130.83	c cleaning 226005 clauses out of 452068 with flag 137195894/25868002
2166.54/2153.37	c cleaning 226991 clauses out of 454062 with flag 138499458/26096001
2180.45/2167.13	c cleaning 227982 clauses out of 456070 with flag 139611896/26325000
2195.21/2181.86	c cleaning 228984 clauses out of 458092 with flag 140718839/26555004
2215.67/2202.22	c cleaning 230035 clauses out of 460105 with flag 141940574/26786001
2240.84/2227.35	c cleaning 231009 clauses out of 462070 with flag 143170144/27018001
2257.42/2243.49	c cleaning 231983 clauses out of 464061 with flag 144336651/27251001
2271.66/2257.50	c cleaning 232996 clauses out of 466077 with flag 145431343/27485000
2334.30/2320.24	c cleaning 234025 clauses out of 468083 with flag 147110631/27720002
2358.19/2344.05	c cleaning 234978 clauses out of 470056 with flag 148512269/27956000
2376.29/2362.04	c cleaning 235964 clauses out of 472078 with flag 149707665/28193000
2395.77/2381.49	c cleaning 237020 clauses out of 474115 with flag 150950761/28431001
2411.56/2397.16	c cleaning 238023 clauses out of 476094 with flag 152121591/28670000
2443.08/2428.68	c cleaning 239012 clauses out of 478071 with flag 153461859/28910000
2457.06/2442.49	c cleaning 239986 clauses out of 480060 with flag 154637786/29151001
2472.62/2457.51	c cleaning 241007 clauses out of 482074 with flag 155813666/29393001
2486.18/2471.02	c cleaning 241982 clauses out of 484067 with flag 156905039/29636001
2525.79/2510.63	c cleaning 243005 clauses out of 486084 with flag 158209088/29880000
2547.06/2531.71	c cleaning 244005 clauses out of 488080 with flag 159470581/30125001
2565.02/2549.67	c cleaning 245019 clauses out of 490074 with flag 160701977/30371000
2585.46/2570.10	c cleaning 245972 clauses out of 492055 with flag 162004853/30618000
2601.69/2586.12	c cleaning 247005 clauses out of 494083 with flag 163222367/30866000
2622.73/2607.12	c cleaning 247989 clauses out of 496078 with flag 164529272/31115000
2642.07/2626.32	c cleaning 249018 clauses out of 498089 with flag 165814210/31365000
2661.42/2645.27	c cleaning 249988 clauses out of 500071 with flag 167110938/31616000
2681.15/2664.99	c cleaning 250972 clauses out of 502084 with flag 168378107/31868001
2698.49/2682.11	c cleaning 251990 clauses out of 504112 with flag 169653251/32121001
2720.04/2703.61	c cleaning 253013 clauses out of 506122 with flag 170974494/32375001
2742.49/2725.91	c cleaning 253974 clauses out of 508109 with flag 172362023/32630001
2773.12/2756.51	c cleaning 254979 clauses out of 510135 with flag 173831301/32886001
2813.83/2797.22	c cleaning 256001 clauses out of 512157 with flag 175424190/33143002
2860.44/2843.79	c cleaning 257044 clauses out of 514155 with flag 177045353/33401001
2902.45/2885.20	c cleaning 257995 clauses out of 516112 with flag 178695658/33660002
2928.15/2910.86	c cleaning 259020 clauses out of 518115 with flag 180151053/33920000
2947.30/2929.85	c cleaning 259954 clauses out of 520096 with flag 181551866/34181001
2966.74/2949.24	c cleaning 261050 clauses out of 522142 with flag 182839052/34443001
2985.76/2968.19	c cleaning 262024 clauses out of 524091 with flag 184195249/34706000
3010.91/2993.27	c cleaning 263016 clauses out of 526068 with flag 185668569/34970001
3026.97/3008.83	c cleaning 263959 clauses out of 528051 with flag 186892219/35235000
3042.52/3024.34	c cleaning 265009 clauses out of 530092 with flag 188124909/35501000
3066.71/3048.47	c cleaning 266001 clauses out of 532083 with flag 189547175/35768000
3085.10/3066.71	c cleaning 267002 clauses out of 534082 with flag 190861140/36036000
3106.42/3088.00	c cleaning 268025 clauses out of 536080 with flag 192226349/36305000
3134.60/3116.07	c cleaning 268964 clauses out of 538058 with flag 193650957/36575003
3154.06/3135.31	c cleaning 270014 clauses out of 540092 with flag 194974057/36846001
3174.32/3155.18	c cleaning 270969 clauses out of 542078 with flag 196376932/37118001
3206.80/3187.55	c cleaning 272038 clauses out of 544108 with flag 197923747/37391000
3258.88/3239.56	c cleaning 273017 clauses out of 546072 with flag 199695300/37665002
3279.16/3259.79	c cleaning 273983 clauses out of 548054 with flag 201094851/37940001
3295.52/3276.04	c cleaning 274971 clauses out of 550071 with flag 202395148/38216001
3313.57/3294.10	c cleaning 275995 clauses out of 552100 with flag 203722457/38493001
3333.94/3314.36	c cleaning 277011 clauses out of 554104 with flag 205123120/38771000
3365.33/3345.29	c cleaning 278030 clauses out of 556093 with flag 206671451/39050000
3390.94/3370.87	c cleaning 278972 clauses out of 558065 with flag 208076841/39330002
3412.15/3391.95	c cleaning 280020 clauses out of 560091 with flag 209421287/39611000
3434.50/3414.17	c cleaning 280971 clauses out of 562071 with flag 210789971/39893000
3456.46/3436.03	c cleaning 282025 clauses out of 564102 with flag 212192232/40176002
3476.65/3456.13	c cleaning 283019 clauses out of 566075 with flag 213641882/40460000
3534.50/3513.90	c cleaning 283978 clauses out of 568056 with flag 215278803/40745000
3559.68/3539.00	c cleaning 284999 clauses out of 570079 with flag 216731073/41031001
3583.06/3561.79	c cleaning 286012 clauses out of 572079 with flag 218210759/41318000
3600.07/3578.71	c starts		: 9069
3600.07/3578.71	c timeout
3600.07/3578.72	c conflicts		: 41466624
3600.07/3578.73	c decisions		: 54055620
3600.07/3578.73	c propagations		: 542224773
3600.07/3578.73	c inspects		: 44091631145
3600.07/3578.73	c shortcuts		: 0
3600.07/3578.73	c learnt literals	: 0
3600.07/3578.73	c learnt binary clauses	: 0
3600.07/3578.73	c learnt ternary clauses	: 0
3600.07/3578.73	c learnt constraints	: 41466624
3600.07/3578.73	c ignored constraints	: 0
3600.07/3578.73	c root simplifications	: 0
3600.07/3578.73	c removed literals (reason simplification)	: 37919874
3600.07/3578.73	c reason swapping (by a shorter reason)	: 0
3600.07/3578.73	c Calls to reduceDB	: 283
3600.07/3578.73	c Number of update (reduction) of LBD	: 12780115
3600.07/3578.73	c Imported unit clauses	: 0
3600.07/3578.73	c No decision after first conflict	: false
3600.07/3578.73	c number of reductions to clauses (during analyze)	: 0
3600.07/3578.73	c number of learned constraints concerned by reduction	: 0
3600.07/3578.73	c number of learning phase by resolution	: 0
3600.07/3578.73	c number of learning phase by cutting planes	: 0
3600.07/3578.73	c number of rounding to 1 operations	: 0
3600.07/3578.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3578.73	c number of reductions of the coefficients by power 2 	: 0
3600.07/3578.73	c number of right shift for reduction by power 2 	: 0
3600.07/3578.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3578.73	c number of ending skipping 	: 0
3600.07/3578.73	c number of internal skipping 	: 0
3600.07/3578.73	c number of derivation steps 	: 0
3600.07/3578.73	c number of skipped derivation steps 	: 0
3600.07/3578.73	c number of remaining unassigned 	: 0
3600.07/3578.73	c number of remaining assigned 	: 0
3600.07/3578.73	c number of falsified literals weakened from reason	: 0
3600.07/3578.73	c number of falsified literals weakened from conflict	: 0
3600.07/3578.73	c time for arithmetic operations	: 0
3600.07/3578.73	c minimum degree of deleted constraints	: null
3600.07/3578.73	c maximum degree of deleted constraints	: null
3600.07/3578.73	c number of deleted constraints	: 0
3600.07/3578.73	c speed (assignments/second)	: 151522.20123587508
3600.07/3578.73	c non guided choices	: 4317561
3600.07/3578.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 434691
3600.20/3578.80	s UNKNOWN
3600.20/3578.80	c Total wall clock time (in seconds): 3578.656

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 1.02 1.83 2.82 7/333 180067
/proc/meminfo: memFree=128117044/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=18930384 memory=53556 CPUtime=0.09 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 6002 0 143 0 7 2 0 0 20 0 18 0 238119699 19384713216 13389 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4732596 13389 5294 1 0 547251 0
[pid=179986/tid=180001] ppid=179980 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 4888 0 129 0 5 1 0 0 20 0 18 0 238119702 19384713216 13389 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=18930384 memory=16898 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238119704 19384713216 13389 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238119705 19384713216 13389 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53556 KiB

[startup+0.205798 s]*
/proc/loadavg: 1.02 1.83 2.82 14/334 180068
/proc/meminfo: memFree=128073616/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=18930384 memory=76092 CPUtime=0.28 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 6895 0 143 0 26 2 0 0 20 0 18 0 238119699 19384713216 19023 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4732596 19023 5422 1 0 548036 0
[pid=179986/tid=180001] ppid=179980 vsize=18930384 memory=4026990876 CPUtime=0.15 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 5214 0 129 0 14 1 0 0 20 0 18 0 238119702 19384713216 19023 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=18930384 memory=16898 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238119704 19384713216 19023 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238119705 19384713216 19023 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 76092 KiB

[startup+0.30584 s]*
/proc/loadavg: 1.02 1.83 2.82 11/337 180071
/proc/meminfo: memFree=128011928/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=18996948 memory=83952 CPUtime=0.48 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 8557 0 143 0 45 3 0 0 20 0 19 0 238119699 19452874752 20988 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4749237 20988 5422 1 0 549288 0
[pid=179986/tid=180001] ppid=179980 vsize=18996948 memory=-8959174113287250620 CPUtime=0.22 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 5288 0 129 0 21 1 0 0 20 0 19 0 238119702 19452874752 20988 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119704 19452874752 20988 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 20988 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119721 19452874752 20988 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83952 KiB

[startup+0.700199 s]
/proc/loadavg: 1.02 1.83 2.82 9/337 180071
/proc/meminfo: memFree=127863304/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=18996948 memory=162692 CPUtime=1.24 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 14648 0 143 0 119 5 0 0 20 0 19 0 238119699 19452874752 40673 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4749237 40673 5422 1 0 552500 0
[pid=179986/tid=180001] ppid=179980 vsize=18996948 memory=27264 CPUtime=0.56 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 5326 0 129 0 54 2 0 0 20 0 19 0 238119702 19452874752 40673 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119704 19452874752 40673 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 40673 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119721 19452874752 40673 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162692 KiB

[startup+1.50025 s]
/proc/loadavg: 1.02 1.83 2.82 10/341 180075
/proc/meminfo: memFree=127620408/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=177640 CPUtime=2.82 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 23743 0 143 0 275 7 0 0 20 0 20 0 238119699 19521036288 44410 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 44410 5454 1 0 554795 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=10752 CPUtime=1.33 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 5681 0 129 0 130 3 0 0 20 0 20 0 238119702 19521036288 44410 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 44410 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 44410 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 44410 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177640 KiB

[startup+3.1058 s]
/proc/loadavg: 1.02 1.83 2.82 6/341 180075
/proc/meminfo: memFree=127149916/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=344132 CPUtime=5.73 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 25649 0 143 0 560 13 0 0 20 0 20 0 238119699 19521036288 86033 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 86033 5454 1 0 554798 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=10752 CPUtime=2.9 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 6310 0 129 0 282 8 0 0 20 0 20 0 238119702 19521036288 86033 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=-9175346895401034428 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 86033 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 86033 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 86033 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 344132 KiB

[startup+6.30021 s]
/proc/loadavg: 1.34 1.88 2.84 5/341 180075
/proc/meminfo: memFree=125553188/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=802888 CPUtime=9.02 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 26554 0 143 0 878 24 0 0 20 0 20 0 238119699 19521036288 200722 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 200722 5486 1 0 554800 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=0 CPUtime=6.07 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 6976 0 129 0 588 19 0 0 20 0 20 0 238119702 19521036288 200722 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 200722 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 200722 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 200722 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 802888 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 1.92 2.84 5/341 180075
/proc/meminfo: memFree=123143996/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=1308804 CPUtime=15.42 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 29890 0 143 0 1505 37 0 0 20 0 20 0 238119699 19521036288 327201 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 327201 5486 1 0 554800 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=10752 CPUtime=12.44 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 7947 0 129 0 1212 32 0 0 20 0 20 0 238119702 19521036288 327201 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=1308804 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 327201 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 327201 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=-9175346895401034428 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 327201 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 15.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1308804 KiB

[startup+25.5002 s]
/proc/loadavg: 2.32 2.07 2.88 5/341 180144
/proc/meminfo: memFree=123628460/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=1325200 CPUtime=28.21 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 32291 0 143 0 2775 46 0 0 20 0 20 0 238119699 19521036288 331300 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 331300 5486 1 0 554800 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=1308804 CPUtime=25.16 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 8899 0 129 0 2476 40 0 0 20 0 20 0 238119702 19521036288 331300 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 331300 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=1308804 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 331300 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=-9175346895401034428 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 331300 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 28.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325200 KiB

[startup+51.1056 s]
/proc/loadavg: 3.05 2.26 2.92 5/340 180145
/proc/meminfo: memFree=122853700/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=1333392 CPUtime=53.8 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 33484 0 143 0 5323 57 0 0 20 0 20 0 238119699 19521036288 333348 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 333348 5486 1 0 554800 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=-9175346895401034428 CPUtime=50.64 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 9645 0 129 0 5013 51 0 0 20 0 20 0 238119702 19521036288 333348 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0

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

[startup+3222.3 s]
/proc/loadavg: 4.22 4.23 4.18 5/341 180326
/proc/meminfo: memFree=88325112/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=2179200 CPUtime=3241.64 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 133571 0 143 0 322983 1181 0 0 20 0 20 0 238119699 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 544800 5486 1 0 556827 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=3328 CPUtime=3191.44 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 60347 0 129 0 318073 1071 0 0 20 0 20 0 238119702 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=2179200 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=2179200 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1442 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3241.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/342 180329
/proc/meminfo: memFree=87851840/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=2179200 CPUtime=3301.85 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 135405 0 143 0 328986 1199 0 0 20 0 20 0 238119699 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 544800 5486 1 0 556827 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=27264 CPUtime=3250.81 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 61868 0 129 0 323993 1088 0 0 20 0 20 0 238119702 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=2179200 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1442 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=2179200 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 544800 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3301.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179200 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.24 4.19 6/341 180332
/proc/meminfo: memFree=87370816/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=2179840 CPUtime=3362.39 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 138757 0 143 0 335020 1219 0 0 20 0 20 0 238119699 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 544960 5486 1 0 556956 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=2179200 CPUtime=3310.34 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 63870 0 129 0 329927 1107 0 0 20 0 20 0 238119702 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3362.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/341 180334
/proc/meminfo: memFree=86890324/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=2179840 CPUtime=3422.58 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 139552 0 143 0 341017 1241 0 0 20 0 20 0 238119699 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 544960 5486 1 0 556956 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=27264 CPUtime=3369.76 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 64267 0 129 0 335849 1127 0 0 20 0 20 0 238119702 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1539 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3422.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179840 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.24 4.19 5/341 180336
/proc/meminfo: memFree=86095648/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=2179840 CPUtime=3482.88 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 139579 0 143 0 347026 1262 0 0 20 0 20 0 238119699 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 544960 5486 1 0 556956 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=27264 CPUtime=3429.11 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 64268 0 129 0 341763 1148 0 0 20 0 20 0 238119702 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3482.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.23 4.18 5/341 180338
/proc/meminfo: memFree=85730496/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=2179840 CPUtime=3542.96 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 139902 0 143 0 353021 1275 0 0 20 0 20 0 238119699 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 544960 5486 1 0 556956 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=2179840 CPUtime=3488.7 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 64554 0 129 0 347711 1159 0 0 20 0 20 0 238119702 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3542.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3578.7 s]
/proc/loadavg: 4.19 4.22 4.18 5/341 180474
/proc/meminfo: memFree=92595972/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19063512 memory=2179840 CPUtime=3600.07 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 143252 0 143 0 358711 1296 0 0 20 0 20 0 238119699 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4765878 544960 5486 1 0 556956 0
[pid=179986/tid=180001] ppid=179980 vsize=19063512 memory=14464 CPUtime=3544.54 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) R 179980 179986 179930 0 -1 4194368 66256 0 129 0 353276 1178 0 0 20 0 20 0 238119702 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19063512 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119704 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180070] ppid=179980 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/179986/task/180070/stat : 180070 (Timer-0) S 179980 179986 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119721 19521036288 544960 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179840 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.24 s, system=12.9702 s

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

[startup+3578.8 s]
/proc/loadavg: 4.19 4.22 4.18 5/341 180474
/proc/meminfo: memFree=92595972/131250000 swapFree=33009904/33010684
[pid=179986] ppid=179980 vsize=19263204 memory=2180736 CPUtime=3600.2 cores=0,2
/proc/179986/stat : 179986 (java) S 179980 179986 179930 0 -1 4194304 145352 0 143 0 358724 1296 0 0 20 0 21 0 238119699 19725520896 545184 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
/proc/179986/statm: 4815801 545184 5518 1 0 557905 0
[pid=179986/tid=180001] ppid=179980 vsize=19263204 memory=4788 CPUtime=3544.55 cores=0,2
/proc/179986/task/180001/stat : 180001 (java) S 179980 179986 179930 0 -1 4194368 66495 0 129 0 353277 1178 0 0 20 0 21 0 238119702 19725520896 545184 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180030] ppid=179980 vsize=19263204 memory=2179840 CPUtime=0 cores=0,2
/proc/179986/task/180030/stat : 180030 (Finalizer) S 179980 179986 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238119704 19725520896 545184 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
[pid=179986/tid=180045] ppid=179980 vsize=19263204 memory=1920 CPUtime=0 cores=0,2
/proc/179986/task/180045/stat : 180045 (Common-Cleaner) S 179980 179986 179930 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 21 0 238119705 19725520896 545184 18446744073709551615 93933988745216 93933988748912 140724629104880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93933988756728 93933988757520 93934011293696 140724629109076 140724629109220 140724629109220 140724629114824 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2180736 KiB

Child status: 143

Real time (s): 3578.83
CPU time (s): 3600.21
CPU user time (s): 3587.24
CPU system time (s): 12.9702
CPU usage (%): 100.597
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2180736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.24
system time used= 12.9702
maximum resident set size= 2180864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145422
page faults= 143
swaps= 0
block input operations= 0
block output operations= 24040784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128162
involuntary context switches= 13518


# summary of solver processes directly reported to runsolver:
#   pid: 179986
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3587.24
#   total CPU system time (s): 12.9702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29444 second user time and 17.1936 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-23 00:46:43
IDJOB=4542862
IDBENCH=164739
IDSOLVER=3364
FILE ID=nodeC033/4542862-1753224403
RUNJOBID= nodeC033-1753224403-179940
SLURM_JOB_ID= 9687833
Free space on /tmp= 432592 MiB

SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542862-1753224403/watcher-4542862-1753224403 -o /tmp/evaluation-result-4542862-1753224403/solver-4542862-1753224403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179940 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542862-1753224403 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542862-1753224403.opb

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

MD5SUM BENCH= 069a73194ecd209cf604f34d8017c292
RANDOM SEED=703055408

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128185804 kB
MemAvailable:   129634492 kB
Buffers:            2128 kB
Cached:          2171596 kB
SwapCached:           64 kB
Active:          1293212 kB
Inactive:         944480 kB
Active(anon):      84912 kB
Inactive(anon):     5284 kB
Active(file):    1208300 kB
Inactive(file):   939196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               668 kB
Writeback:             0 kB
AnonPages:         65084 kB
Mapped:           108896 kB
Shmem:             26228 kB
KReclaimable:     280860 kB
Slab:             379108 kB
SReclaimable:     280860 kB
SUnreclaim:        98248 kB
KernelStack:        4160 kB
PageTables:         3004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     348936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 404208 MiB
End job on nodeC033 at 2025-07-23 01:46:22