Trace number 4542745

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.28 3575.61

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
MD5SUM7e4e500c6ecf133c3cb12e0c5a9fdd4f
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 benchmark12.5891
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1057
Total number of constraints530
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints522
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.08/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.20	c See www.sat4j.org for details.
0.08/0.22	c version PB25.v20250606
0.25/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.25	c java.vm.version	22.0.1+8-16
0.25/0.25	c java.vm.vendor	Oracle Corporation
0.25/0.25	c sun.arch.data.model	64
0.25/0.25	c java.version		22.0.1
0.25/0.25	c os.name		Linux
0.25/0.25	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.25	c os.arch		amd64
0.25/0.26	c Free memory 		2104792832
0.25/0.26	c Max memory 		16282288128
0.25/0.26	c Total memory 		2113929216
0.25/0.27	c Number of processors 	2
0.40/0.38	c Pseudo Boolean Optimization by upper bound
0.40/0.38	c --- Begin Solver configuration ---
0.40/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.38	c Learn all clauses as in MiniSAT
0.40/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.38	c Expensive reason simplification
0.40/0.38	c Glucose 2.1 dynamic restart strategy
0.40/0.38	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.40/0.38	c timeout=2147483s
0.40/0.38	c DB Simplification allowed=false
0.40/0.38	c Listener: none
0.40/0.38	c --- End Solver configuration ---
0.40/0.38	c solving HOME/instance-4542745-1753222705.opb
0.40/0.38	c reading problem ... 
0.40/0.38	c using VERIPB proof format
0.40/0.39	c  no objective function found
0.58/0.51	c ... done. Wall clock time 0.121s.
0.58/0.51	c declared #vars     1057
0.58/0.51	c #constraints  530
0.58/0.51	c constraints type 
0.58/0.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.58/0.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 528
0.58/0.51	c 530 constraints processed.
2.49/1.44	c cleaning 2489 clauses out of 5000 with flag 17529/5000
3.68/2.07	c cleaning 4247 clauses out of 8512 with flag 42734/11001
4.47/2.48	c cleaning 5618 clauses out of 11264 with flag 75670/18000
5.26/2.82	c cleaning 6795 clauses out of 13647 with flag 113409/26001
5.86/3.14	c cleaning 7899 clauses out of 15851 with flag 143354/35000
6.64/3.58	c cleaning 8934 clauses out of 17952 with flag 187242/45000
7.63/4.03	c cleaning 9972 clauses out of 20018 with flag 245489/56000
8.29/4.55	c cleaning 10990 clauses out of 22046 with flag 316094/68000
8.91/5.15	c cleaning 11995 clauses out of 24056 with flag 394314/81000
9.31/5.59	c cleaning 12997 clauses out of 26063 with flag 459499/95002
9.83/5.98	c cleaning 14005 clauses out of 28064 with flag 518956/110000
10.79/6.46	c cleaning 15020 clauses out of 30060 with flag 580134/126001
11.34/7.00	c cleaning 15978 clauses out of 32039 with flag 654586/143000
12.00/7.57	c cleaning 16980 clauses out of 34062 with flag 726289/161001
12.52/8.07	c cleaning 17999 clauses out of 36081 with flag 795410/180000
13.12/8.61	c cleaning 18998 clauses out of 38082 with flag 871198/200000
13.71/9.27	c cleaning 19991 clauses out of 40085 with flag 952873/221001
14.51/10.08	c cleaning 21021 clauses out of 42093 with flag 1050507/243000
15.41/10.97	c cleaning 22013 clauses out of 44072 with flag 1144793/266000
16.70/12.21	c cleaning 23006 clauses out of 46060 with flag 1256890/290001
17.70/13.29	c cleaning 24017 clauses out of 48054 with flag 1366131/315001
18.39/13.98	c cleaning 24989 clauses out of 50036 with flag 1466989/341000
19.79/15.39	c cleaning 25995 clauses out of 52049 with flag 1612213/368002
21.39/17.01	c cleaning 26982 clauses out of 54052 with flag 1755503/396000
23.18/18.74	c cleaning 28008 clauses out of 56072 with flag 1914563/425002
25.18/20.73	c cleaning 28995 clauses out of 58064 with flag 2089129/455002
27.27/22.81	c cleaning 30000 clauses out of 60069 with flag 2260158/486002
29.67/25.20	c cleaning 31002 clauses out of 62068 with flag 2439042/518001
32.27/27.86	c cleaning 32001 clauses out of 64066 with flag 2630977/551001
34.48/30.05	c cleaning 33021 clauses out of 66064 with flag 2810678/585000
35.57/31.16	c cleaning 33984 clauses out of 68043 with flag 2940655/620000
36.57/32.13	c cleaning 34993 clauses out of 70060 with flag 3073690/656001
37.85/33.48	c cleaning 35988 clauses out of 72066 with flag 3233023/693000
39.46/35.11	c cleaning 36992 clauses out of 74078 with flag 3401246/731000
41.34/36.98	c cleaning 38032 clauses out of 76087 with flag 3581023/770001
43.23/38.88	c cleaning 38980 clauses out of 78054 with flag 3772097/810000
46.82/42.45	c cleaning 39992 clauses out of 80076 with flag 3939713/851002
49.02/44.60	c cleaning 41026 clauses out of 82084 with flag 4127352/893002
51.61/47.23	c cleaning 42009 clauses out of 84056 with flag 4337745/936000
54.19/49.90	c cleaning 43005 clauses out of 86048 with flag 4576493/980001
55.79/51.48	c cleaning 43988 clauses out of 88042 with flag 4757060/1025000
57.40/53.07	c cleaning 44992 clauses out of 90055 with flag 4943549/1071001
59.50/55.14	c cleaning 45995 clauses out of 92063 with flag 5133898/1118001
62.57/58.28	c cleaning 46994 clauses out of 94068 with flag 5362477/1166001
65.87/61.56	c cleaning 47999 clauses out of 96073 with flag 5615833/1215000
68.66/64.31	c cleaning 49004 clauses out of 98075 with flag 5855396/1265001
71.96/67.69	c cleaning 50005 clauses out of 100072 with flag 6088421/1316002
74.95/70.65	c cleaning 51004 clauses out of 102066 with flag 6335996/1368001
78.24/73.91	c cleaning 51997 clauses out of 104062 with flag 6588155/1421001
82.63/78.33	c cleaning 53007 clauses out of 106065 with flag 6856612/1475001
85.62/81.36	c cleaning 53995 clauses out of 108059 with flag 7088593/1530002
88.91/84.65	c cleaning 55006 clauses out of 110062 with flag 7357946/1586000
90.91/86.61	c cleaning 56005 clauses out of 112056 with flag 7577291/1643000
94.60/90.32	c cleaning 57017 clauses out of 114051 with flag 7821791/1701000
96.79/92.54	c cleaning 57977 clauses out of 116036 with flag 8064032/1760002
99.19/94.93	c cleaning 58995 clauses out of 118059 with flag 8315352/1820002
101.40/97.18	c cleaning 59989 clauses out of 120062 with flag 8555196/1881000
106.17/101.90	c cleaning 61001 clauses out of 122074 with flag 8851585/1943001
108.38/104.11	c cleaning 62025 clauses out of 124072 with flag 9087095/2006000
113.95/109.78	c cleaning 63008 clauses out of 126047 with flag 9397535/2070000
119.13/114.94	c cleaning 64010 clauses out of 128040 with flag 9732831/2135001
122.13/117.96	c cleaning 64976 clauses out of 130030 with flag 10004053/2201001
126.12/121.93	c cleaning 66006 clauses out of 132055 with flag 10286356/2268002
128.61/124.47	c cleaning 67001 clauses out of 134048 with flag 10553045/2336001
131.60/127.40	c cleaning 68015 clauses out of 136046 with flag 10813526/2405000
133.59/129.44	c cleaning 68988 clauses out of 138031 with flag 11075464/2475000
138.61/134.46	c cleaning 70001 clauses out of 140044 with flag 11388650/2546001
145.01/140.84	c cleaning 71000 clauses out of 142043 with flag 11734871/2618001
151.59/147.42	c cleaning 71996 clauses out of 144042 with flag 12086162/2691000
158.30/154.11	c cleaning 72997 clauses out of 146046 with flag 12456175/2765000
164.47/160.39	c cleaning 73998 clauses out of 148051 with flag 12835020/2840002
168.87/164.73	c cleaning 75008 clauses out of 150052 with flag 13172079/2916001
171.87/167.79	c cleaning 75985 clauses out of 152044 with flag 13449805/2993001
175.38/171.23	c cleaning 77014 clauses out of 154058 with flag 13749202/3071000
178.08/173.90	c cleaning 78007 clauses out of 156045 with flag 14033718/3150001
182.72/178.58	c cleaning 78997 clauses out of 158037 with flag 14353223/3230000
185.85/181.63	c cleaning 79965 clauses out of 160040 with flag 14663603/3311000
189.14/184.91	c cleaning 81029 clauses out of 162076 with flag 14978341/3393001
192.62/188.39	c cleaning 81982 clauses out of 164048 with flag 15308325/3476002
195.81/191.55	c cleaning 83008 clauses out of 166064 with flag 15624843/3560000
201.06/196.70	c cleaning 84008 clauses out of 168056 with flag 15992217/3645000
205.83/201.49	c cleaning 85007 clauses out of 170050 with flag 16353229/3731002
210.02/205.65	c cleaning 85981 clauses out of 172041 with flag 16704030/3818000
219.37/214.99	c cleaning 86987 clauses out of 174062 with flag 17131780/3906002
225.05/220.58	c cleaning 87983 clauses out of 176074 with flag 17523338/3995001
229.24/224.77	c cleaning 89010 clauses out of 178090 with flag 17895714/4085000
233.32/228.75	c cleaning 89994 clauses out of 180081 with flag 18258814/4176001
237.55/232.98	c cleaning 91020 clauses out of 182086 with flag 18614585/4268000
247.24/242.67	c cleaning 92014 clauses out of 184066 with flag 19104730/4361000
257.70/253.08	c cleaning 92999 clauses out of 186052 with flag 19626851/4455000
262.36/257.61	c cleaning 94020 clauses out of 188053 with flag 20032847/4550000
267.46/262.72	c cleaning 94968 clauses out of 190034 with flag 20418265/4646001
272.55/267.73	c cleaning 95963 clauses out of 192065 with flag 20792640/4743000
276.64/271.83	c cleaning 96990 clauses out of 194103 with flag 21179687/4841001
282.83/277.95	c cleaning 98023 clauses out of 196113 with flag 21564991/4940001
288.39/283.43	c cleaning 99001 clauses out of 198089 with flag 21964069/5040000
293.77/288.81	c cleaning 100005 clauses out of 200090 with flag 22392252/5141002
298.50/293.40	c cleaning 100995 clauses out of 202083 with flag 22798874/5243000
303.41/298.24	c cleaning 102028 clauses out of 204089 with flag 23249244/5346001
308.10/302.94	c cleaning 103022 clauses out of 206061 with flag 23678885/5450001
313.89/308.61	c cleaning 104002 clauses out of 208039 with flag 24082617/5555001
324.28/319.10	c cleaning 104990 clauses out of 210037 with flag 24556623/5661001
329.93/324.65	c cleaning 105992 clauses out of 212047 with flag 24989225/5768001
336.72/331.34	c cleaning 106987 clauses out of 214057 with flag 25457631/5876003
340.71/335.35	c cleaning 108008 clauses out of 216068 with flag 25863478/5985001
353.38/347.98	c cleaning 109010 clauses out of 218061 with flag 26407265/6095002
362.46/356.92	c cleaning 110006 clauses out of 220049 with flag 26935920/6206000
367.80/362.18	c cleaning 111002 clauses out of 222045 with flag 27364390/6318002
372.98/367.30	c cleaning 111969 clauses out of 224041 with flag 27830185/6431000
378.26/372.57	c cleaning 113025 clauses out of 226072 with flag 28296707/6545000
383.65/377.86	c cleaning 113966 clauses out of 228047 with flag 28752623/6660000
389.63/383.88	c cleaning 115023 clauses out of 230082 with flag 29236326/6776001
398.81/392.99	c cleaning 115995 clauses out of 232059 with flag 29791225/6893001
407.27/401.39	c cleaning 117011 clauses out of 234063 with flag 30335276/7011000
420.27/414.21	c cleaning 118011 clauses out of 236052 with flag 30908920/7130000
426.85/420.82	c cleaning 118980 clauses out of 238041 with flag 31400212/7250000
433.03/426.93	c cleaning 119990 clauses out of 240061 with flag 31872013/7371000
443.61/437.48	c cleaning 121018 clauses out of 242071 with flag 32392696/7493000
451.00/444.71	c cleaning 122007 clauses out of 244054 with flag 32896140/7616001
460.98/454.79	c cleaning 122984 clauses out of 246048 with flag 33444364/7740002
477.54/471.28	c cleaning 124014 clauses out of 248063 with flag 34093175/7865001
484.62/478.21	c cleaning 125013 clauses out of 250049 with flag 34631731/7991001
496.53/490.02	c cleaning 125975 clauses out of 252037 with flag 35216271/8118002
509.49/502.99	c cleaning 127002 clauses out of 254060 with flag 35785019/8246000
522.77/516.29	c cleaning 128015 clauses out of 256059 with flag 36429551/8375001
531.24/524.66	c cleaning 128985 clauses out of 258043 with flag 37030378/8505000
537.02/530.39	c cleaning 130000 clauses out of 260059 with flag 37531550/8636001
548.15/541.40	c cleaning 130991 clauses out of 262058 with flag 38172444/8768000
564.93/558.13	c cleaning 131990 clauses out of 264067 with flag 38956332/8901000
575.50/568.69	c cleaning 133002 clauses out of 266077 with flag 39558308/9035000
585.27/578.37	c cleaning 134023 clauses out of 268077 with flag 40141342/9170002
591.66/584.69	c cleaning 134984 clauses out of 270052 with flag 40669853/9306000
600.31/593.28	c cleaning 136017 clauses out of 272069 with flag 41236816/9443001
607.45/600.36	c cleaning 136996 clauses out of 274051 with flag 41801146/9581000
615.93/608.71	c cleaning 137996 clauses out of 276057 with flag 42395903/9720002
623.59/616.37	c cleaning 139010 clauses out of 278060 with flag 42922809/9860001
630.73/623.45	c cleaning 140017 clauses out of 280050 with flag 43469834/10001001
638.58/631.24	c cleaning 140976 clauses out of 282032 with flag 44074981/10143000
647.33/639.94	c cleaning 141978 clauses out of 284056 with flag 44694780/10286000
656.40/648.92	c cleaning 143016 clauses out of 286079 with flag 45305407/10430001
664.86/657.31	c cleaning 143996 clauses out of 288062 with flag 45951188/10575000
673.12/665.53	c cleaning 145027 clauses out of 290068 with flag 46551280/10721002
686.76/679.00	c cleaning 145999 clauses out of 292039 with flag 47208388/10868000
695.42/687.54	c cleaning 147009 clauses out of 294040 with flag 47812824/11016000
705.86/697.94	c cleaning 147984 clauses out of 296032 with flag 48457376/11165001
713.12/705.18	c cleaning 148986 clauses out of 298047 with flag 49041239/11315000
724.27/716.29	c cleaning 150003 clauses out of 300061 with flag 49716872/11466000
734.06/725.93	c cleaning 151011 clauses out of 302059 with flag 50399596/11618001
745.81/737.62	c cleaning 151997 clauses out of 304047 with flag 51030025/11771000
756.63/748.47	c cleaning 153004 clauses out of 306050 with flag 51656750/11925000
765.78/757.51	c cleaning 153975 clauses out of 308046 with flag 52312263/12080000
777.73/769.40	c cleaning 155006 clauses out of 310072 with flag 52998518/12236001
792.81/784.42	c cleaning 156006 clauses out of 312065 with flag 53752796/12393000
804.22/795.76	c cleaning 157006 clauses out of 314059 with flag 54432319/12551000
818.10/809.57	c cleaning 158017 clauses out of 316055 with flag 55176816/12710002
840.95/832.37	c cleaning 159001 clauses out of 318036 with flag 55954902/12870000
851.93/843.29	c cleaning 159975 clauses out of 320035 with flag 56655105/13031000
864.51/855.74	c cleaning 161002 clauses out of 322062 with flag 57336747/13193002
873.60/864.74	c cleaning 162008 clauses out of 324058 with flag 57984106/13356000
889.74/880.81	c cleaning 162992 clauses out of 326051 with flag 58723559/13520001
915.00/906.03	c cleaning 164016 clauses out of 328060 with flag 59559034/13685002
925.11/916.03	c cleaning 165006 clauses out of 330042 with flag 60244080/13851000
934.19/925.03	c cleaning 165969 clauses out of 332038 with flag 60907518/14018002
943.64/934.46	c cleaning 166991 clauses out of 334067 with flag 61622529/14186000
954.43/945.13	c cleaning 168024 clauses out of 336076 with flag 62305396/14355000
966.76/957.41	c cleaning 168972 clauses out of 338052 with flag 63050056/14525000
979.61/970.25	c cleaning 170001 clauses out of 340080 with flag 63799461/14696000
990.50/981.06	c cleaning 171023 clauses out of 342079 with flag 64542692/14868000
1002.83/993.37	c cleaning 172010 clauses out of 344057 with flag 65281355/15041001
1014.32/1004.63	c cleaning 172989 clauses out of 346046 with flag 66035806/15215000
1024.72/1014.90	c cleaning 174000 clauses out of 348057 with flag 66763596/15390000
1037.07/1027.28	c cleaning 174986 clauses out of 350057 with flag 67504744/15566000
1049.64/1039.77	c cleaning 175981 clauses out of 352072 with flag 68303587/15743001
1067.48/1057.54	c cleaning 177007 clauses out of 354092 with flag 69126953/15921002
1077.45/1067.39	c cleaning 178024 clauses out of 356083 with flag 69879463/16100000
1095.70/1085.50	c cleaning 179020 clauses out of 358061 with flag 70689878/16280002
1105.87/1095.69	c cleaning 180008 clauses out of 360040 with flag 71398519/16461001
1118.40/1108.04	c cleaning 180963 clauses out of 362031 with flag 72117504/16643000
1130.56/1120.18	c cleaning 182016 clauses out of 364069 with flag 72947908/16826001
1142.68/1132.21	c cleaning 182989 clauses out of 366052 with flag 73725709/17010000
1154.00/1143.43	c cleaning 184014 clauses out of 368066 with flag 74498542/17195003
1164.68/1154.10	c cleaning 184993 clauses out of 370049 with flag 75250351/17381000
1190.33/1179.68	c cleaning 185994 clauses out of 372058 with flag 76304608/17568002
1203.70/1192.91	c cleaning 187004 clauses out of 374063 with flag 77148256/17756001
1216.33/1205.22	c cleaning 188015 clauses out of 376061 with flag 77924235/17945003
1227.35/1216.26	c cleaning 188961 clauses out of 378044 with flag 78718397/18135001
1240.68/1229.54	c cleaning 189984 clauses out of 380082 with flag 79502675/18326000
1252.69/1241.53	c cleaning 190998 clauses out of 382098 with flag 80280765/18518000
1265.85/1254.61	c cleaning 192016 clauses out of 384101 with flag 81121233/18711001
1284.21/1272.98	c cleaning 192996 clauses out of 386085 with flag 82044676/18905001
1304.03/1292.79	c cleaning 194014 clauses out of 388088 with flag 83002182/19100000
1318.16/1306.63	c cleaning 194990 clauses out of 390074 with flag 83883867/19296000
1331.44/1319.80	c cleaning 196004 clauses out of 392085 with flag 84737278/19493001
1345.10/1333.46	c cleaning 197024 clauses out of 394080 with flag 85561540/19691000
1359.28/1347.59	c cleaning 197997 clauses out of 396057 with flag 86399992/19890001
1376.64/1364.71	c cleaning 198985 clauses out of 398059 with flag 87281613/20090000
1393.90/1382.00	c cleaning 199996 clauses out of 400075 with flag 88239968/20291001
1405.27/1393.24	c cleaning 200996 clauses out of 402079 with flag 89051191/20493001
1420.32/1408.26	c cleaning 202024 clauses out of 404083 with flag 89930320/20696001
1438.12/1426.00	c cleaning 203010 clauses out of 406058 with flag 90933276/20900000
1451.71/1439.41	c cleaning 203984 clauses out of 408051 with flag 91840081/21105003
1466.74/1454.46	c cleaning 204993 clauses out of 410064 with flag 92703010/21311000
1480.08/1467.63	c cleaning 205975 clauses out of 412071 with flag 93571766/21518000
1491.76/1479.26	c cleaning 207022 clauses out of 414096 with flag 94400305/21726000
1504.89/1492.31	c cleaning 207987 clauses out of 416074 with flag 95284920/21935000
1519.84/1507.17	c cleaning 209000 clauses out of 418088 with flag 96198327/22145001
1546.11/1533.36	c cleaning 210022 clauses out of 420087 with flag 97262616/22356000
1563.39/1550.51	c cleaning 211005 clauses out of 422066 with flag 98241215/22568001
1579.07/1566.11	c cleaning 212018 clauses out of 424060 with flag 99169573/22781000
1603.62/1590.50	c cleaning 213000 clauses out of 426042 with flag 100068064/22995000
1626.86/1613.61	c cleaning 213978 clauses out of 428043 with flag 100985765/23210001
1638.04/1624.71	c cleaning 215018 clauses out of 430065 with flag 101837347/23426001
1668.04/1654.77	c cleaning 215967 clauses out of 432046 with flag 102842289/23643000
1680.93/1667.46	c cleaning 217001 clauses out of 434079 with flag 103691901/23861000
1693.78/1680.26	c cleaning 218024 clauses out of 436079 with flag 104570775/24080001
1710.43/1696.89	c cleaning 218969 clauses out of 438054 with flag 105511908/24300000
1724.77/1711.02	c cleaning 220027 clauses out of 440085 with flag 106418604/24521000
1739.76/1726.03	c cleaning 220987 clauses out of 442060 with flag 107346586/24743002
1754.03/1739.62	c cleaning 222024 clauses out of 444072 with flag 108243952/24966001
1772.64/1758.29	c cleaning 222995 clauses out of 446048 with flag 109312457/25190001
1789.79/1775.19	c cleaning 223986 clauses out of 448054 with flag 110271313/25415002
1807.28/1792.69	c cleaning 225012 clauses out of 450066 with flag 111284477/25641000
1821.21/1806.57	c cleaning 225987 clauses out of 452054 with flag 112233000/25868000
1838.37/1823.69	c cleaning 226996 clauses out of 454067 with flag 113212172/26096000
1853.24/1838.46	c cleaning 228000 clauses out of 456072 with flag 114211307/26325001
1870.36/1855.45	c cleaning 228997 clauses out of 458072 with flag 115167531/26555001
1886.27/1871.26	c cleaning 229997 clauses out of 460074 with flag 116108992/26786000
1902.60/1887.52	c cleaning 231024 clauses out of 462078 with flag 117172089/27018001
1918.38/1903.22	c cleaning 232019 clauses out of 464055 with flag 118104928/27251002
1940.01/1924.89	c cleaning 233002 clauses out of 466034 with flag 119095324/27485000
1958.14/1942.98	c cleaning 234001 clauses out of 468034 with flag 120092956/27720002
1988.40/1973.02	c cleaning 234968 clauses out of 470031 with flag 121287529/27956000
2006.28/1990.84	c cleaning 236005 clauses out of 472064 with flag 122256773/28193001
2020.53/2004.96	c cleaning 237012 clauses out of 474059 with flag 123223485/28431001
2036.50/2020.88	c cleaning 237996 clauses out of 476048 with flag 124229637/28670002
2058.26/2042.51	c cleaning 239001 clauses out of 478050 with flag 125321701/28910000
2077.11/2061.39	c cleaning 239980 clauses out of 480050 with flag 126377329/29151001
2095.30/2078.76	c cleaning 241011 clauses out of 482069 with flag 127365255/29393000
2112.64/2096.03	c cleaning 242011 clauses out of 484058 with flag 128356584/29636000
2129.91/2113.23	c cleaning 242981 clauses out of 486047 with flag 129355307/29880000
2144.71/2127.95	c cleaning 244014 clauses out of 488068 with flag 130356770/30125002
2158.94/2142.15	c cleaning 244983 clauses out of 490053 with flag 131349160/30371001
2183.27/2166.42	c cleaning 246016 clauses out of 492071 with flag 132456805/30618002
2226.91/2209.90	c cleaning 247013 clauses out of 494055 with flag 133944419/30866002
2245.81/2228.74	c cleaning 247977 clauses out of 496042 with flag 135097808/31115002
2265.85/2248.69	c cleaning 248965 clauses out of 498063 with flag 136246357/31365000
2287.59/2270.33	c cleaning 250010 clauses out of 500098 with flag 137460287/31616000
2306.85/2289.48	c cleaning 251013 clauses out of 502088 with flag 138509606/31868000
2330.42/2312.84	c cleaning 252016 clauses out of 504076 with flag 139631361/32121001
2360.47/2342.82	c cleaning 252982 clauses out of 506059 with flag 140789544/32375000
2386.15/2368.35	c cleaning 254002 clauses out of 508079 with flag 142007942/32630002
2405.84/2387.93	c cleaning 254991 clauses out of 510077 with flag 143076648/32886002
2428.77/2410.74	c cleaning 256023 clauses out of 512084 with flag 144239364/33143000
2458.93/2440.01	c cleaning 256996 clauses out of 514061 with flag 145482137/33401000
2476.68/2457.61	c cleaning 258013 clauses out of 516067 with flag 146519012/33660002
2496.65/2477.50	c cleaning 259015 clauses out of 518054 with flag 147642612/33920002
2574.24/2555.29	c cleaning 260015 clauses out of 520037 with flag 149087307/34181000
2621.66/2602.51	c cleaning 260979 clauses out of 522023 with flag 150595389/34443001
2644.92/2625.64	c cleaning 262001 clauses out of 524043 with flag 151769154/34706000
2661.86/2642.55	c cleaning 262971 clauses out of 526042 with flag 152845760/34970000
2680.70/2661.38	c cleaning 263979 clauses out of 528071 with flag 153955352/35235000
2699.67/2680.22	c cleaning 264994 clauses out of 530093 with flag 155080443/35501001
2718.29/2698.73	c cleaning 266018 clauses out of 532098 with flag 156154424/35768000
2737.63/2718.11	c cleaning 267011 clauses out of 534080 with flag 157272846/36036000
2754.70/2735.01	c cleaning 268011 clauses out of 536070 with flag 158393366/36305001
2773.90/2754.11	c cleaning 269001 clauses out of 538058 with flag 159478589/36575000
2799.42/2779.65	c cleaning 270013 clauses out of 540057 with flag 160679592/36846000
2816.71/2796.82	c cleaning 271010 clauses out of 542046 with flag 161728457/37118002
2836.54/2816.54	c cleaning 271972 clauses out of 544037 with flag 162858083/37391003
2852.98/2832.90	c cleaning 273015 clauses out of 546064 with flag 163962393/37665002
2875.03/2855.00	c cleaning 273993 clauses out of 548048 with flag 165112959/37940001
2906.62/2886.49	c cleaning 275007 clauses out of 550054 with flag 166422742/38216000
2924.58/2904.21	c cleaning 275973 clauses out of 552047 with flag 167516263/38493000
2945.34/2924.97	c cleaning 276982 clauses out of 554075 with flag 168789950/38771001
2969.25/2948.85	c cleaning 277997 clauses out of 556093 with flag 169990021/39050001
3001.46/2980.94	c cleaning 279037 clauses out of 558095 with flag 171195948/39330000
3020.79/3000.19	c cleaning 280013 clauses out of 560060 with flag 172343123/39611002
3040.47/3018.71	c cleaning 281002 clauses out of 562045 with flag 173501683/39893000
3059.68/3037.92	c cleaning 282003 clauses out of 564043 with flag 174617242/40176000
3080.15/3058.32	c cleaning 282991 clauses out of 566040 with flag 175780848/40460000
3098.44/3076.53	c cleaning 284003 clauses out of 568049 with flag 176925559/40745000
3123.05/3101.08	c cleaning 284989 clauses out of 570046 with flag 178184473/41031000
3144.98/3122.96	c cleaning 286007 clauses out of 572058 with flag 179384154/41318001
3171.74/3149.60	c cleaning 287010 clauses out of 574053 with flag 180621133/41606003
3201.66/3179.42	c cleaning 288002 clauses out of 576043 with flag 181879385/41895003
3226.56/3204.14	c cleaning 288999 clauses out of 578039 with flag 183144250/42185001
3249.60/3227.09	c cleaning 289998 clauses out of 580042 with flag 184445405/42476003
3268.11/3245.59	c cleaning 290960 clauses out of 582042 with flag 185598344/42768001
3291.76/3269.12	c cleaning 292027 clauses out of 584083 with flag 186918804/43061002
3310.13/3287.46	c cleaning 293009 clauses out of 586054 with flag 188090431/43355000
3340.79/3318.08	c cleaning 294004 clauses out of 588046 with flag 189376114/43650001
3365.57/3342.65	c cleaning 294984 clauses out of 590041 with flag 190636017/43946000
3398.32/3375.29	c cleaning 296005 clauses out of 592057 with flag 191987056/44243000
3422.71/3398.73	c cleaning 297013 clauses out of 594054 with flag 193315408/44541002
3449.94/3425.95	c cleaning 297970 clauses out of 596040 with flag 194683634/44840001
3491.30/3467.26	c cleaning 299015 clauses out of 598069 with flag 196161455/45140000
3519.82/3495.66	c cleaning 299978 clauses out of 600054 with flag 197501390/45441000
3543.12/3518.79	c cleaning 301023 clauses out of 602076 with flag 198761044/45743000
3563.43/3538.93	c cleaning 302013 clauses out of 604053 with flag 200012897/46046000
3583.41/3558.82	c cleaning 302999 clauses out of 606041 with flag 201228266/46350001
3600.02/3575.42	c timeout
3600.02/3575.43	c starts		: 13131
3600.02/3575.44	c conflicts		: 46490495
3600.02/3575.44	c decisions		: 61004023
3600.02/3575.44	c propagations		: 532001446
3600.02/3575.44	c inspects		: 47567177545
3600.02/3575.44	c shortcuts		: 0
3600.02/3575.44	c learnt literals	: 0
3600.02/3575.44	c learnt binary clauses	: 0
3600.02/3575.44	c learnt ternary clauses	: 0
3600.02/3575.44	c learnt constraints	: 46490495
3600.02/3575.44	c ignored constraints	: 0
3600.02/3575.44	c root simplifications	: 0
3600.02/3575.44	c removed literals (reason simplification)	: 35891833
3600.02/3575.44	c reason swapping (by a shorter reason)	: 0
3600.02/3575.44	c Calls to reduceDB	: 300
3600.02/3575.44	c Number of update (reduction) of LBD	: 13354425
3600.02/3575.44	c Imported unit clauses	: 0
3600.02/3575.44	c No decision after first conflict	: false
3600.02/3575.44	c number of reductions to clauses (during analyze)	: 0
3600.02/3575.44	c number of learned constraints concerned by reduction	: 0
3600.02/3575.44	c number of learning phase by resolution	: 0
3600.02/3575.44	c number of learning phase by cutting planes	: 0
3600.02/3575.44	c number of rounding to 1 operations	: 0
3600.02/3575.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3575.44	c number of reductions of the coefficients by power 2 	: 0
3600.02/3575.44	c number of right shift for reduction by power 2 	: 0
3600.02/3575.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3575.44	c number of ending skipping 	: 0
3600.02/3575.44	c number of internal skipping 	: 0
3600.02/3575.44	c number of derivation steps 	: 0
3600.02/3575.44	c number of skipped derivation steps 	: 0
3600.02/3575.44	c number of remaining unassigned 	: 0
3600.02/3575.44	c number of remaining assigned 	: 0
3600.02/3575.44	c number of falsified literals weakened from reason	: 0
3600.02/3575.44	c number of falsified literals weakened from conflict	: 0
3600.02/3575.44	c time for arithmetic operations	: 0
3600.02/3575.44	c minimum degree of deleted constraints	: null
3600.02/3575.45	c maximum degree of deleted constraints	: null
3600.02/3575.45	c number of deleted constraints	: 0
3600.02/3575.45	c speed (assignments/second)	: 148814.4655099637
3600.02/3575.45	c non guided choices	: 3635320
3600.17/3575.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 443536
3600.17/3575.57	s UNKNOWN
3600.17/3575.58	c Total wall clock time (in seconds): 3575.196

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=159049, runsolver pid=159037

[startup+0.100266 s]*
/proc/loadavg: 1.13 1.16 1.94 17/319 159121
/proc/meminfo: memFree=128808696/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=18930288 memory=47184 CPUtime=0.08 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 5391 0 54 0 5 3 0 0 20 0 18 0 237950316 19384614912 11796 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4732572 11796 4843 1 0 546671 0
[pid=159049/tid=159058] ppid=159037 vsize=18930288 memory=4026532124 CPUtime=0.05 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) D 159037 159049 158984 0 -1 4194368 4523 0 48 0 3 2 0 0 20 0 18 0 237950320 19384614912 11796 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=18930288 memory=16142 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950325 19384614912 11796 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=18930288 memory=58494082614266 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384614912 11796 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930288 KiB
Current children cumulated memory: 47184 KiB

[startup+0.215299 s]*
/proc/loadavg: 1.13 1.16 1.94 8/320 159122
/proc/meminfo: memFree=128798868/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=18930384 memory=53676 CPUtime=0.25 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 6044 0 54 0 20 5 0 0 20 0 18 0 237950316 19384713216 13419 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4732596 13419 5355 1 0 547219 0
[pid=159049/tid=159058] ppid=159037 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 4922 0 48 0 13 3 0 0 20 0 18 0 237950320 19384713216 13419 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=18930384 memory=16142 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 13419 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 13419 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53676 KiB

[startup+0.314668 s]*
/proc/loadavg: 1.13 1.16 1.94 14/320 159122
/proc/meminfo: memFree=128777760/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=18930384 memory=59600 CPUtime=0.4 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 6520 0 54 0 35 5 0 0 20 0 18 0 237950316 19384713216 14900 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4732596 14900 5355 1 0 547676 0
[pid=159049/tid=159058] ppid=159037 vsize=18930384 memory=-8600303413619368636 CPUtime=0.24 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 5084 0 48 0 21 3 0 0 20 0 18 0 237950320 19384713216 14900 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 14900 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 14900 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59600 KiB

[startup+0.70144 s]
/proc/loadavg: 1.13 1.16 1.94 14/323 159125
/proc/meminfo: memFree=128759108/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=18996948 memory=75444 CPUtime=1.11 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 7767 0 54 0 103 8 0 0 20 0 19 0 237950316 19452874752 18861 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4749237 18861 5419 1 0 548706 0
[pid=159049/tid=159058] ppid=159037 vsize=18996948 memory=26880 CPUtime=0.55 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 5336 0 48 0 50 5 0 0 20 0 19 0 237950320 19452874752 18861 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950325 19452874752 18861 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950326 19452874752 18861 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237950368 19452874752 18861 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75444 KiB

[startup+1.50037 s]
/proc/loadavg: 1.13 1.16 1.94 9/324 159126
/proc/meminfo: memFree=128623256/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=18996948 memory=159000 CPUtime=2.68 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 21253 0 54 0 253 15 0 0 20 0 19 0 237950316 19452874752 39750 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4749237 39750 5451 1 0 553717 0
[pid=159049/tid=159058] ppid=159037 vsize=18996948 memory=0 CPUtime=1.27 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 6347 0 48 0 119 8 0 0 20 0 19 0 237950320 19452874752 39750 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950325 19452874752 39750 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950326 19452874752 39750 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237950368 19452874752 39750 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159000 KiB

[startup+3.1062 s]
/proc/loadavg: 1.68 1.27 1.97 9/328 159130
/proc/meminfo: memFree=128269872/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=180420 CPUtime=5.86 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 23838 0 54 0 568 18 0 0 20 0 20 0 237950316 19521036288 45105 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 45105 5483 1 0 554352 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=10624 CPUtime=2.82 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 6730 0 48 0 273 9 0 0 20 0 20 0 237950320 19521036288 45105 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=-8672361007657296572 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 45105 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 45105 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 45105 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180420 KiB

[startup+6.30042 s]
/proc/loadavg: 1.68 1.27 1.97 7/328 159130
/proc/meminfo: memFree=126550232/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=544000 CPUtime=10.61 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 26347 0 54 0 1032 29 0 0 20 0 20 0 237950316 19521036288 136000 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 136000 5483 1 0 554383 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=0 CPUtime=5.99 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 7251 0 48 0 580 19 0 0 20 0 20 0 237950320 19521036288 136000 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 136000 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 136000 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=171036 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 136000 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 10.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 544000 KiB

[startup+12.7005 s]
/proc/loadavg: 1.87 1.32 1.98 7/328 159130
/proc/meminfo: memFree=124693912/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=1025612 CPUtime=17.19 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 30074 0 54 0 1676 43 0 0 20 0 20 0 237950316 19521036288 256403 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 256403 5515 1 0 554407 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=171036 CPUtime=12.26 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 8173 0 48 0 1193 33 0 0 20 0 20 0 237950320 19521036288 256403 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=1025612 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 256403 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=1019468 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 256403 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 256403 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 17.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1025612 KiB

[startup+25.5005 s]
/proc/loadavg: 2.41 1.47 2.02 7/328 159130
/proc/meminfo: memFree=123323824/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=1279592 CPUtime=29.97 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 32557 0 54 0 2942 55 0 0 20 0 20 0 237950316 19521036288 319898 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 319898 5515 1 0 554407 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=1025612 CPUtime=24.91 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) S 159037 159049 158984 0 -1 4194368 9208 0 48 0 2448 43 0 0 20 0 20 0 237950320 19521036288 319898 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=1156712 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 319898 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 319898 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=1156712 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 319898 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1279592 KiB

[startup+51.1136 s]
/proc/loadavg: 3.14 1.72 2.09 7/328 159131
/proc/meminfo: memFree=122589160/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=1326704 CPUtime=55.51 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 33662 0 54 0 5479 72 0 0 20 0 20 0 237950316 19521036288 331676 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 331676 5515 1 0 554407 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=1326704 CPUtime=50.21 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 9855 0 48 0 4963 58 0 0 20 0 20 0 237950320 19521036288 331676 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=1326704 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 331676 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=2764 CPUtime=0 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.24 4.26 4.20 7/326 159300
/proc/meminfo: memFree=79158700/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=2611640 CPUtime=3244.8 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 124602 0 54 0 323076 1404 0 0 20 0 20 0 237950316 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 652910 5515 1 0 665073 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=22004 CPUtime=3182.67 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 61912 0 48 0 317075 1192 0 0 20 0 20 0 237950320 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=2611640 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1736 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3244.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.27 4.21 7/325 159302
/proc/meminfo: memFree=78239732/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=2611640 CPUtime=3305.04 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 126764 0 54 0 329073 1431 0 0 20 0 20 0 237950316 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 652910 5515 1 0 665073 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=2611640 CPUtime=3241.82 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 63500 0 48 0 322965 1217 0 0 20 0 20 0 237950320 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=2611640 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1785 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3305.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.25 4.20 7/326 159305
/proc/meminfo: memFree=77880084/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=2611640 CPUtime=3365.27 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 127011 0 54 0 335073 1454 0 0 20 0 20 0 237950316 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 652910 5515 1 0 665073 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=14560 CPUtime=3300.99 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 63543 0 48 0 328862 1237 0 0 20 0 20 0 237950320 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=2611640 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=2611640 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 652910 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3365.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.20 7/327 159314
/proc/meminfo: memFree=77395512/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=2612280 CPUtime=3426.33 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 132675 0 54 0 341155 1478 0 0 20 0 20 0 237950316 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 653070 5515 1 0 665235 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=2611640 CPUtime=3360.57 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 67371 0 48 0 334801 1256 0 0 20 0 20 0 237950320 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1798 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=2612280 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3426.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2612280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.25 4.20 7/328 159317
/proc/meminfo: memFree=76774628/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=2612280 CPUtime=3486.41 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 132977 0 54 0 347144 1497 0 0 20 0 20 0 237950316 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 653070 5515 1 0 665235 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=14560 CPUtime=3420 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 67562 0 48 0 340728 1272 0 0 20 0 20 0 237950320 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=2612280 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1798 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=2612280 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 653070 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3486.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2612280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.28 4.21 7/328 159319
/proc/meminfo: memFree=76116176/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=2612408 CPUtime=3546.7 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 135511 0 54 0 353151 1519 0 0 20 0 20 0 237950316 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 653102 5515 1 0 665235 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=2612408 CPUtime=3479.25 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 69370 0 48 0 346634 1291 0 0 20 0 20 0 237950320 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=2612280 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1798 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=2612408 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3546.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2612408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.4 s]
/proc/loadavg: 4.38 4.28 4.21 6/328 159524
/proc/meminfo: memFree=92397400/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19063512 memory=2612408 CPUtime=3600.02 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 137682 0 54 0 358461 1541 0 0 20 0 20 0 237950316 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4765878 653102 5515 1 0 665235 0
[pid=159049/tid=159058] ppid=159037 vsize=19063512 memory=-8672361007657296572 CPUtime=3531.64 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) R 159037 159049 158984 0 -1 4194368 71035 0 48 0 351853 1311 0 0 20 0 20 0 237950320 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19063512 memory=-9105545499256857276 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19063512 memory=7024 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1848 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159125] ppid=159037 vsize=19063512 memory=6896 CPUtime=0 cores=1,3
/proc/159049/task/159125/stat : 159125 (Timer-0) S 159037 159049 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950368 19521036288 653102 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2612408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.84 s, system=15.4441 s

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

[startup+3575.5 s]
/proc/loadavg: 4.38 4.28 4.21 6/328 159524
/proc/meminfo: memFree=92397400/131382112 swapFree=33010160/33010684
[pid=159049] ppid=159037 vsize=19263204 memory=2613176 CPUtime=3600.17 cores=1,3
/proc/159049/stat : 159049 (java) S 159037 159049 158984 0 -1 4194304 139884 0 54 0 358475 1542 0 0 20 0 21 0 237950316 19725520896 653294 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
/proc/159049/statm: 4815801 653294 5515 1 0 666164 0
[pid=159049/tid=159058] ppid=159037 vsize=19263204 memory=2612408 CPUtime=3531.66 cores=1,3
/proc/159049/task/159058/stat : 159058 (java) S 159037 159049 158984 0 -1 4194368 71342 0 48 0 351855 1311 0 0 20 0 21 0 237950320 19725520896 653294 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159104] ppid=159037 vsize=19263204 memory=2612408 CPUtime=0 cores=1,3
/proc/159049/task/159104/stat : 159104 (Finalizer) S 159037 159049 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 237950325 19725520896 653294 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
[pid=159049/tid=159121] ppid=159037 vsize=19263204 memory=14560 CPUtime=0 cores=1,3
/proc/159049/task/159121/stat : 159121 (Common-Cleaner) S 159037 159049 158984 0 -1 4194368 1848 0 0 0 0 0 0 0 20 0 21 0 237950326 19725520896 653294 18446744073709551615 93982847590400 93982847594096 140735482113424 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982847601912 93982847602704 93982877310976 140735482120532 140735482120676 140735482120676 140735482126280 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2613176 KiB

Child status: 143

Real time (s): 3575.61
CPU time (s): 3600.28
CPU user time (s): 3584.84
CPU system time (s): 15.4441
CPU usage (%): 100.69
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2613176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.84
system time used= 15.4441
maximum resident set size= 2613304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140063
page faults= 54
swaps= 0
block input operations= 0
block output operations= 21189952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121545
involuntary context switches= 10266


# summary of solver processes directly reported to runsolver:
#   pid: 159049
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3584.84
#   total CPU system time (s): 15.4441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.9296 second user time and 34.0741 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-23 00:18:25
IDJOB=4542745
IDBENCH=164570
IDSOLVER=3364
FILE ID=nodeC009/4542745-1753222705
RUNJOBID= nodeC009-1753222705-158996
SLURM_JOB_ID= 9687823
Free space on /tmp= 432296 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542745-1753222705/watcher-4542745-1753222705 -o /tmp/evaluation-result-4542745-1753222705/solver-4542745-1753222705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158996 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542745-1753222705 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542745-1753222705.opb

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

MD5SUM BENCH= 7e4e500c6ecf133c3cb12e0c5a9fdd4f
RANDOM SEED=639994482

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128846468 kB
MemAvailable:   129761832 kB
Buffers:            2144 kB
Cached:          1632680 kB
SwapCached:           24 kB
Active:          1206396 kB
Inactive:         495348 kB
Active(anon):      88968 kB
Inactive(anon):     4080 kB
Active(file):    1117428 kB
Inactive(file):   491268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3360 kB
Writeback:             8 kB
AnonPages:         70048 kB
Mapped:           108056 kB
Shmem:             26128 kB
KReclaimable:     292204 kB
Slab:             385176 kB
SReclaimable:     292204 kB
SUnreclaim:        92972 kB
KernelStack:        3920 kB
PageTables:         3004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     341748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 397244 MiB
End job on nodeC009 at 2025-07-23 01:18:01