Trace number 4542744

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.5 3599.37

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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.13	c Pseudo Boolean Optimization by upper bound
0.11/0.13	c --- Begin Solver configuration ---
0.11/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.13	c Learn all clauses as in MiniSAT
0.11/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.13	c Expensive reason simplification
0.11/0.13	c Glucose 2.1 dynamic restart strategy
0.11/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.13	c timeout=2147483s
0.11/0.13	c DB Simplification allowed=false
0.11/0.13	c Listener: none
0.11/0.13	c --- End Solver configuration ---
0.11/0.13	c solving HOME/instance-4542744-1753217361.opb
0.11/0.13	c reading problem ... 
0.11/0.14	c  no objective function found
0.11/0.18	c ... done. Wall clock time 0.044s.
0.11/0.18	c declared #vars     1057
0.11/0.18	c #constraints  530
0.11/0.18	c constraints type 
0.11/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.11/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 528
0.11/0.18	c 530 constraints processed.
0.70/0.46	c cleaning 2489 clauses out of 5000 with flag 17529/5000
1.46/0.80	c cleaning 4247 clauses out of 8512 with flag 42734/11001
1.86/1.07	c cleaning 5618 clauses out of 11264 with flag 75670/18000
2.16/1.27	c cleaning 6795 clauses out of 13647 with flag 113409/26001
2.70/1.50	c cleaning 7899 clauses out of 15851 with flag 143354/35000
3.04/1.71	c cleaning 8934 clauses out of 17952 with flag 187242/45000
3.36/2.07	c cleaning 9972 clauses out of 20018 with flag 245489/56000
3.85/2.52	c cleaning 10990 clauses out of 22046 with flag 316094/68000
4.35/3.05	c cleaning 11995 clauses out of 24056 with flag 394314/81000
4.75/3.40	c cleaning 12997 clauses out of 26063 with flag 459499/95002
4.98/3.64	c cleaning 14005 clauses out of 28064 with flag 518956/110000
5.28/3.98	c cleaning 15020 clauses out of 30060 with flag 580134/126001
5.80/4.42	c cleaning 15978 clauses out of 32039 with flag 654586/143000
6.22/4.86	c cleaning 16980 clauses out of 34062 with flag 726289/161001
6.62/5.22	c cleaning 17999 clauses out of 36081 with flag 795410/180000
7.02/5.62	c cleaning 18998 clauses out of 38082 with flag 871198/200000
7.42/6.07	c cleaning 19991 clauses out of 40085 with flag 952873/221001
8.12/6.77	c cleaning 21021 clauses out of 42093 with flag 1050507/243000
8.92/7.54	c cleaning 22013 clauses out of 44072 with flag 1144793/266000
10.02/8.61	c cleaning 23006 clauses out of 46060 with flag 1256890/290001
10.92/9.57	c cleaning 24017 clauses out of 48054 with flag 1366131/315001
11.42/10.08	c cleaning 24989 clauses out of 50036 with flag 1466989/341000
12.71/11.35	c cleaning 25995 clauses out of 52049 with flag 1612213/368002
14.11/12.74	c cleaning 26982 clauses out of 54052 with flag 1755503/396000
15.70/14.32	c cleaning 28008 clauses out of 56072 with flag 1914563/425002
17.50/16.18	c cleaning 28995 clauses out of 58064 with flag 2089129/455002
19.51/18.17	c cleaning 30000 clauses out of 60069 with flag 2260158/486002
21.80/20.48	c cleaning 31002 clauses out of 62068 with flag 2439042/518001
24.40/23.00	c cleaning 32001 clauses out of 64066 with flag 2630977/551001
26.39/25.09	c cleaning 33021 clauses out of 66064 with flag 2810678/585000
27.39/26.04	c cleaning 33984 clauses out of 68043 with flag 2940655/620000
28.17/26.82	c cleaning 34993 clauses out of 70060 with flag 3073690/656001
29.26/27.93	c cleaning 35988 clauses out of 72066 with flag 3233023/693000
30.77/29.43	c cleaning 36992 clauses out of 74078 with flag 3401246/731000
32.47/31.13	c cleaning 38032 clauses out of 76087 with flag 3581023/770001
34.07/32.76	c cleaning 38980 clauses out of 78054 with flag 3772097/810000
36.46/35.16	c cleaning 39992 clauses out of 80076 with flag 3939713/851002
38.46/37.15	c cleaning 41026 clauses out of 82084 with flag 4127352/893002
40.95/39.64	c cleaning 42009 clauses out of 84056 with flag 4337745/936000
43.38/42.04	c cleaning 43005 clauses out of 86048 with flag 4576493/980001
44.78/43.40	c cleaning 43988 clauses out of 88042 with flag 4757060/1025000
46.07/44.77	c cleaning 44992 clauses out of 90055 with flag 4943549/1071001
47.87/46.53	c cleaning 45995 clauses out of 92063 with flag 5133898/1118001
50.76/49.49	c cleaning 46994 clauses out of 94068 with flag 5362477/1166001
53.96/52.61	c cleaning 47999 clauses out of 96073 with flag 5615833/1215000
56.36/55.10	c cleaning 49004 clauses out of 98075 with flag 5855396/1265001
59.54/58.29	c cleaning 50005 clauses out of 100072 with flag 6088421/1316002
62.24/60.96	c cleaning 51004 clauses out of 102066 with flag 6335996/1368001
65.23/63.91	c cleaning 51997 clauses out of 104062 with flag 6588155/1421001
68.05/66.79	c cleaning 53007 clauses out of 106065 with flag 6856612/1475001
70.75/69.44	c cleaning 53995 clauses out of 108059 with flag 7088593/1530002
73.74/72.47	c cleaning 55006 clauses out of 110062 with flag 7357946/1586000
75.44/74.16	c cleaning 56005 clauses out of 112056 with flag 7577291/1643000
79.06/77.71	c cleaning 57017 clauses out of 114051 with flag 7821791/1701000
80.95/79.68	c cleaning 57977 clauses out of 116036 with flag 8064032/1760002
82.95/81.69	c cleaning 58995 clauses out of 118059 with flag 8315352/1820002
85.05/83.71	c cleaning 59989 clauses out of 120062 with flag 8555196/1881000
89.44/88.13	c cleaning 61001 clauses out of 122074 with flag 8851585/1943001
91.39/90.05	c cleaning 62025 clauses out of 124072 with flag 9087095/2006000
96.77/95.46	c cleaning 63008 clauses out of 126047 with flag 9397535/2070000
101.76/100.47	c cleaning 64010 clauses out of 128040 with flag 9732831/2135001
104.60/103.26	c cleaning 64976 clauses out of 130030 with flag 10004053/2201001
108.27/106.98	c cleaning 66006 clauses out of 132055 with flag 10286356/2268002
110.56/109.22	c cleaning 67001 clauses out of 134048 with flag 10553045/2336001
113.05/111.73	c cleaning 68015 clauses out of 136046 with flag 10813526/2405000
114.69/113.38	c cleaning 68988 clauses out of 138031 with flag 11075464/2475000
119.49/118.10	c cleaning 70001 clauses out of 140044 with flag 11388650/2546001
125.47/124.19	c cleaning 71000 clauses out of 142043 with flag 11734871/2618001
131.55/130.26	c cleaning 71996 clauses out of 144042 with flag 12086162/2691000
138.16/136.82	c cleaning 72997 clauses out of 146046 with flag 12456175/2765000
144.05/142.74	c cleaning 73998 clauses out of 148051 with flag 12835020/2840002
147.14/145.83	c cleaning 75008 clauses out of 150052 with flag 13172079/2916001
149.37/148.05	c cleaning 75985 clauses out of 152044 with flag 13449805/2993001
152.24/150.93	c cleaning 77014 clauses out of 154058 with flag 13749202/3071000
154.43/153.17	c cleaning 78007 clauses out of 156045 with flag 14033718/3150001
158.76/157.40	c cleaning 78997 clauses out of 158037 with flag 14353223/3230000
161.05/159.78	c cleaning 79965 clauses out of 160040 with flag 14663603/3311000
163.94/162.62	c cleaning 81029 clauses out of 162076 with flag 14978341/3393001
166.83/165.56	c cleaning 81982 clauses out of 164048 with flag 15308325/3476002
169.56/168.23	c cleaning 83008 clauses out of 166064 with flag 15624843/3560000
174.13/172.89	c cleaning 84008 clauses out of 168056 with flag 15992217/3645000
178.33/177.05	c cleaning 85007 clauses out of 170050 with flag 16353229/3731002
181.92/180.65	c cleaning 85981 clauses out of 172041 with flag 16704030/3818000
190.66/189.39	c cleaning 86987 clauses out of 174062 with flag 17131780/3906002
194.85/193.56	c cleaning 87983 clauses out of 176074 with flag 17523338/3995001
197.94/196.66	c cleaning 89010 clauses out of 178090 with flag 17895714/4085000
200.93/199.60	c cleaning 89994 clauses out of 180081 with flag 18258814/4176001
204.50/203.15	c cleaning 91020 clauses out of 182086 with flag 18614585/4268000
213.47/212.10	c cleaning 92014 clauses out of 184066 with flag 19104730/4361000
222.74/221.40	c cleaning 92999 clauses out of 186052 with flag 19626851/4455000
226.34/225.04	c cleaning 94020 clauses out of 188053 with flag 20032847/4550000
230.72/229.43	c cleaning 94968 clauses out of 190034 with flag 20418265/4646001
235.18/233.84	c cleaning 95963 clauses out of 192065 with flag 20792640/4743000
238.57/237.27	c cleaning 96990 clauses out of 194103 with flag 21179687/4841001
243.75/242.42	c cleaning 98023 clauses out of 196113 with flag 21564991/4940001
248.35/247.02	c cleaning 99001 clauses out of 198089 with flag 21964069/5040000
253.11/251.78	c cleaning 100005 clauses out of 200090 with flag 22392252/5141002
256.70/255.34	c cleaning 100995 clauses out of 202083 with flag 22798874/5243000
260.49/259.18	c cleaning 102028 clauses out of 204089 with flag 23249244/5346001
264.48/263.17	c cleaning 103022 clauses out of 206061 with flag 23678885/5450001
269.16/267.88	c cleaning 104002 clauses out of 208039 with flag 24082617/5555001
278.90/277.59	c cleaning 104990 clauses out of 210037 with flag 24556623/5661001
283.40/282.06	c cleaning 105992 clauses out of 212047 with flag 24989225/5768001
289.18/287.88	c cleaning 106987 clauses out of 214057 with flag 25457631/5876003
292.47/291.14	c cleaning 108008 clauses out of 216068 with flag 25863478/5985001
303.75/302.42	c cleaning 109010 clauses out of 218061 with flag 26407265/6095002
310.43/309.15	c cleaning 110006 clauses out of 220049 with flag 26935920/6206000
314.82/313.40	c cleaning 111002 clauses out of 222045 with flag 27364390/6318002
319.11/317.72	c cleaning 111969 clauses out of 224041 with flag 27830185/6431000
323.30/321.93	c cleaning 113025 clauses out of 226072 with flag 28296707/6545000
327.69/326.36	c cleaning 113966 clauses out of 228047 with flag 28752623/6660000
332.98/331.63	c cleaning 115023 clauses out of 230082 with flag 29236326/6776001
341.06/339.73	c cleaning 115995 clauses out of 232059 with flag 29791225/6893001
347.82/346.10	c cleaning 117011 clauses out of 234063 with flag 30335276/7011000
359.19/357.56	c cleaning 118011 clauses out of 236052 with flag 30908920/7130000
364.97/363.30	c cleaning 118980 clauses out of 238041 with flag 31400212/7250000
370.16/368.51	c cleaning 119990 clauses out of 240061 with flag 31872013/7371000
378.72/377.01	c cleaning 121018 clauses out of 242071 with flag 32392696/7493000
384.81/383.17	c cleaning 122007 clauses out of 244054 with flag 32896140/7616001
393.78/392.13	c cleaning 122984 clauses out of 246048 with flag 33444364/7740002
408.04/406.41	c cleaning 124014 clauses out of 248063 with flag 34093175/7865001
413.65/412.06	c cleaning 125013 clauses out of 250049 with flag 34631731/7991001
423.42/421.82	c cleaning 125975 clauses out of 252037 with flag 35216271/8118002
434.49/432.81	c cleaning 127002 clauses out of 254060 with flag 35785019/8246000
446.26/444.65	c cleaning 128015 clauses out of 256059 with flag 36429551/8375001
453.44/451.88	c cleaning 128985 clauses out of 258043 with flag 37030378/8505000
458.13/456.57	c cleaning 130000 clauses out of 260059 with flag 37531550/8636001
468.02/466.42	c cleaning 130991 clauses out of 262058 with flag 38172444/8768000
483.60/481.92	c cleaning 131990 clauses out of 264067 with flag 38956332/8901000
493.08/491.44	c cleaning 133002 clauses out of 266077 with flag 39558308/9035000
501.46/499.83	c cleaning 134023 clauses out of 268077 with flag 40141342/9170002
506.54/504.92	c cleaning 134984 clauses out of 270052 with flag 40669853/9306000
512.93/511.37	c cleaning 136017 clauses out of 272069 with flag 41236816/9443001
518.81/517.20	c cleaning 136996 clauses out of 274051 with flag 41801146/9581000
525.98/524.36	c cleaning 137996 clauses out of 276057 with flag 42395903/9720002
531.47/529.83	c cleaning 139010 clauses out of 278060 with flag 42922809/9860001
536.15/534.52	c cleaning 140017 clauses out of 280050 with flag 43469834/10001001
542.83/541.23	c cleaning 140976 clauses out of 282032 with flag 44074981/10143000
550.11/548.58	c cleaning 141978 clauses out of 284056 with flag 44694780/10286000
558.15/556.59	c cleaning 143016 clauses out of 286079 with flag 45305407/10430001
565.34/563.73	c cleaning 143996 clauses out of 288062 with flag 45951188/10575000
571.22/569.65	c cleaning 145027 clauses out of 290068 with flag 46551280/10721002
581.80/580.29	c cleaning 145999 clauses out of 292039 with flag 47208388/10868000
589.28/587.78	c cleaning 147009 clauses out of 294040 with flag 47812824/11016000
598.56/597.04	c cleaning 147984 clauses out of 296032 with flag 48457376/11165001
604.75/603.28	c cleaning 148986 clauses out of 298047 with flag 49041239/11315000
614.93/613.36	c cleaning 150003 clauses out of 300061 with flag 49716872/11466000
623.41/621.87	c cleaning 151011 clauses out of 302059 with flag 50399596/11618001
633.89/632.32	c cleaning 151997 clauses out of 304047 with flag 51030025/11771000
643.57/642.02	c cleaning 153004 clauses out of 306050 with flag 51656750/11925000
651.55/650.02	c cleaning 153975 clauses out of 308046 with flag 52312263/12080000
662.23/660.74	c cleaning 155006 clauses out of 310072 with flag 52998518/12236001
675.69/674.21	c cleaning 156006 clauses out of 312065 with flag 53752796/12393000
684.57/683.12	c cleaning 157006 clauses out of 314059 with flag 54432319/12551000
697.54/696.13	c cleaning 158017 clauses out of 316055 with flag 55176816/12710002
717.68/716.34	c cleaning 159001 clauses out of 318036 with flag 55954902/12870000
727.76/726.29	c cleaning 159975 clauses out of 320035 with flag 56655105/13031000
737.83/736.34	c cleaning 161002 clauses out of 322062 with flag 57336747/13193002
745.71/744.24	c cleaning 162008 clauses out of 324058 with flag 57984106/13356000
760.38/758.99	c cleaning 162992 clauses out of 326051 with flag 58723559/13520001
783.82/782.45	c cleaning 164016 clauses out of 328060 with flag 59559034/13685002
793.01/791.10	c cleaning 165006 clauses out of 330042 with flag 60244080/13851000
800.79/798.96	c cleaning 165969 clauses out of 332038 with flag 60907518/14018002
808.77/807.00	c cleaning 166991 clauses out of 334067 with flag 61622529/14186000
818.25/816.47	c cleaning 168024 clauses out of 336076 with flag 62305396/14355000
828.02/826.24	c cleaning 168972 clauses out of 338052 with flag 63050056/14525000
839.66/837.84	c cleaning 170001 clauses out of 340080 with flag 63799461/14696000
849.24/847.42	c cleaning 171023 clauses out of 342079 with flag 64542692/14868000
860.11/858.33	c cleaning 172010 clauses out of 344057 with flag 65281355/15041001
869.19/867.42	c cleaning 172989 clauses out of 346046 with flag 66035806/15215000
877.68/875.99	c cleaning 174000 clauses out of 348057 with flag 66763596/15390000
888.85/887.15	c cleaning 174986 clauses out of 350057 with flag 67504744/15566000
899.92/898.26	c cleaning 175981 clauses out of 352072 with flag 68303587/15743001
915.21/913.42	c cleaning 177007 clauses out of 354092 with flag 69126953/15921002
923.19/921.48	c cleaning 178024 clauses out of 356083 with flag 69879463/16100000
938.86/937.13	c cleaning 179020 clauses out of 358061 with flag 70689878/16280002
946.64/944.95	c cleaning 180008 clauses out of 360040 with flag 71398519/16461001
956.31/954.69	c cleaning 180963 clauses out of 362031 with flag 72117504/16643000
966.98/965.32	c cleaning 182016 clauses out of 364069 with flag 72947908/16826001
977.66/976.01	c cleaning 182989 clauses out of 366052 with flag 73725709/17010000
987.46/985.76	c cleaning 184014 clauses out of 368066 with flag 74498542/17195003
995.54/993.89	c cleaning 184993 clauses out of 370049 with flag 75250351/17381000
1019.20/1017.59	c cleaning 185994 clauses out of 372058 with flag 76304608/17568002
1031.07/1029.46	c cleaning 187004 clauses out of 374063 with flag 77148256/17756001
1040.55/1038.91	c cleaning 188015 clauses out of 376061 with flag 77924235/17945003
1050.23/1048.61	c cleaning 188961 clauses out of 378044 with flag 78718397/18135001
1061.90/1060.35	c cleaning 189984 clauses out of 380082 with flag 79502675/18326000
1072.48/1070.94	c cleaning 190998 clauses out of 382098 with flag 80280765/18518000
1084.14/1082.50	c cleaning 192016 clauses out of 384101 with flag 81121233/18711001
1100.50/1098.92	c cleaning 192996 clauses out of 386085 with flag 82044676/18905001
1117.17/1115.65	c cleaning 194014 clauses out of 388088 with flag 83002182/19100000
1128.94/1127.45	c cleaning 194990 clauses out of 390074 with flag 83883867/19296000
1139.62/1138.15	c cleaning 196004 clauses out of 392085 with flag 84737278/19493001
1151.88/1150.48	c cleaning 197024 clauses out of 394080 with flag 85561540/19691000
1163.36/1161.99	c cleaning 197997 clauses out of 396057 with flag 86399992/19890001
1178.50/1176.97	c cleaning 198985 clauses out of 398059 with flag 87281613/20090000
1192.86/1191.35	c cleaning 199996 clauses out of 400075 with flag 88239968/20291001
1202.53/1201.06	c cleaning 200996 clauses out of 402079 with flag 89051191/20493001
1215.90/1214.48	c cleaning 202024 clauses out of 404083 with flag 89930320/20696001
1231.65/1230.22	c cleaning 203010 clauses out of 406058 with flag 90933276/20900000
1243.53/1242.16	c cleaning 203984 clauses out of 408051 with flag 91840081/21105003
1257.12/1255.65	c cleaning 204993 clauses out of 410064 with flag 92703010/21311000
1268.40/1267.00	c cleaning 205975 clauses out of 412071 with flag 93571766/21518000
1278.58/1277.16	c cleaning 207022 clauses out of 414096 with flag 94400305/21726000
1290.06/1288.68	c cleaning 207987 clauses out of 416074 with flag 95284920/21935000
1302.03/1300.61	c cleaning 209000 clauses out of 418088 with flag 96198327/22145001
1326.62/1324.86	c cleaning 210022 clauses out of 420087 with flag 97262616/22356000
1342.09/1340.35	c cleaning 211005 clauses out of 422066 with flag 98241215/22568001
1355.85/1354.14	c cleaning 212018 clauses out of 424060 with flag 99169573/22781000
1378.29/1376.63	c cleaning 213000 clauses out of 426042 with flag 100068064/22995000
1399.56/1397.86	c cleaning 213978 clauses out of 428043 with flag 100985765/23210001
1409.23/1407.54	c cleaning 215018 clauses out of 430065 with flag 101837347/23426001
1436.87/1435.27	c cleaning 215967 clauses out of 432046 with flag 102842289/23643000
1447.75/1446.19	c cleaning 217001 clauses out of 434079 with flag 103691901/23861000
1459.13/1457.52	c cleaning 218024 clauses out of 436079 with flag 104570775/24080001
1474.09/1472.50	c cleaning 218969 clauses out of 438054 with flag 105511908/24300000
1486.58/1484.95	c cleaning 220027 clauses out of 440085 with flag 106418604/24521000
1498.56/1496.97	c cleaning 220987 clauses out of 442060 with flag 107346586/24743002
1510.14/1508.57	c cleaning 222024 clauses out of 444072 with flag 108243952/24966001
1526.80/1525.20	c cleaning 222995 clauses out of 446048 with flag 109312457/25190001
1541.46/1539.98	c cleaning 223986 clauses out of 448054 with flag 110271313/25415002
1555.93/1554.46	c cleaning 225012 clauses out of 450066 with flag 111284477/25641000
1568.54/1566.92	c cleaning 225987 clauses out of 452054 with flag 112233000/25868000
1583.80/1582.28	c cleaning 226996 clauses out of 454067 with flag 113212172/26096000
1596.96/1595.45	c cleaning 228000 clauses out of 456072 with flag 114211307/26325001
1611.93/1610.44	c cleaning 228997 clauses out of 458072 with flag 115167531/26555001
1624.69/1623.29	c cleaning 229997 clauses out of 460074 with flag 116108992/26786000
1639.36/1637.91	c cleaning 231024 clauses out of 462078 with flag 117172089/27018001
1651.29/1649.72	c cleaning 232019 clauses out of 464055 with flag 118104928/27251002
1669.54/1668.07	c cleaning 233002 clauses out of 466034 with flag 119095324/27485000
1685.89/1684.46	c cleaning 234001 clauses out of 468034 with flag 120092956/27720002
1713.32/1711.94	c cleaning 234968 clauses out of 470031 with flag 121287529/27956000
1728.18/1726.86	c cleaning 236005 clauses out of 472064 with flag 122256773/28193001
1740.36/1739.07	c cleaning 237012 clauses out of 474059 with flag 123223485/28431001
1754.47/1753.08	c cleaning 237996 clauses out of 476048 with flag 124229637/28670002
1772.92/1771.53	c cleaning 239001 clauses out of 478050 with flag 125321701/28910000
1788.68/1787.37	c cleaning 239980 clauses out of 480050 with flag 126377329/29151001
1803.04/1801.77	c cleaning 241011 clauses out of 482069 with flag 127365255/29393000
1817.41/1816.18	c cleaning 242011 clauses out of 484058 with flag 128356584/29636000
1833.00/1831.67	c cleaning 242981 clauses out of 486047 with flag 129355307/29880000
1845.67/1844.37	c cleaning 244014 clauses out of 488068 with flag 130356770/30125002
1858.36/1857.02	c cleaning 244983 clauses out of 490053 with flag 131349160/30371001
1879.10/1877.81	c cleaning 246016 clauses out of 492071 with flag 132456805/30618002
1919.72/1918.56	c cleaning 247013 clauses out of 494055 with flag 133944419/30866002
1935.82/1934.51	c cleaning 247977 clauses out of 496042 with flag 135097808/31115002
1953.58/1952.36	c cleaning 248965 clauses out of 498063 with flag 136246357/31365000
1973.13/1971.97	c cleaning 250010 clauses out of 500098 with flag 137460287/31616000
1989.11/1987.93	c cleaning 251013 clauses out of 502088 with flag 138509606/31868000
2011.19/2009.41	c cleaning 252016 clauses out of 504076 with flag 139631361/32121001
2039.02/2037.36	c cleaning 252982 clauses out of 506059 with flag 140789544/32375000
2061.97/2060.33	c cleaning 254002 clauses out of 508079 with flag 142007942/32630002
2079.62/2077.95	c cleaning 254991 clauses out of 510077 with flag 143076648/32886002
2099.97/2098.32	c cleaning 256023 clauses out of 512084 with flag 144239364/33143000
2126.31/2124.71	c cleaning 256996 clauses out of 514061 with flag 145482137/33401000
2141.88/2140.33	c cleaning 258013 clauses out of 516067 with flag 146519012/33660002
2158.98/2157.33	c cleaning 259015 clauses out of 518054 with flag 147642612/33920002
2233.40/2231.90	c cleaning 260015 clauses out of 520037 with flag 149087307/34181000
2277.28/2275.90	c cleaning 260979 clauses out of 522023 with flag 150595389/34443001
2296.93/2295.67	c cleaning 262001 clauses out of 524043 with flag 151769154/34706000
2312.47/2311.01	c cleaning 262971 clauses out of 526042 with flag 152845760/34970000
2328.03/2326.67	c cleaning 263979 clauses out of 528071 with flag 153955352/35235000
2344.59/2343.27	c cleaning 264994 clauses out of 530093 with flag 155080443/35501001
2359.96/2358.62	c cleaning 266018 clauses out of 532098 with flag 156154424/35768000
2377.67/2376.26	c cleaning 267011 clauses out of 534080 with flag 157272846/36036000
2392.33/2390.92	c cleaning 268011 clauses out of 536070 with flag 158393366/36305001
2409.30/2407.93	c cleaning 269001 clauses out of 538058 with flag 159478589/36575000
2432.74/2431.46	c cleaning 270013 clauses out of 540057 with flag 160679592/36846000
2446.60/2445.37	c cleaning 271010 clauses out of 542046 with flag 161728457/37118002
2463.09/2461.81	c cleaning 271972 clauses out of 544037 with flag 162858083/37391003
2477.63/2476.39	c cleaning 273015 clauses out of 546064 with flag 163962393/37665002
2497.28/2496.07	c cleaning 273993 clauses out of 548048 with flag 165112959/37940001
2523.52/2522.39	c cleaning 275007 clauses out of 550054 with flag 166422742/38216000
2537.99/2536.81	c cleaning 275973 clauses out of 552047 with flag 167516263/38493000
2556.63/2555.54	c cleaning 276982 clauses out of 554075 with flag 168789950/38771001
2576.73/2575.58	c cleaning 277997 clauses out of 556093 with flag 169990021/39050001
2602.57/2601.43	c cleaning 279037 clauses out of 558095 with flag 171195948/39330000
2619.32/2618.27	c cleaning 280013 clauses out of 560060 with flag 172343123/39611002
2636.08/2635.02	c cleaning 281002 clauses out of 562045 with flag 173501683/39893000
2653.42/2652.41	c cleaning 282003 clauses out of 564043 with flag 174617242/40176000
2670.68/2669.60	c cleaning 282991 clauses out of 566040 with flag 175780848/40460000
2686.43/2685.48	c cleaning 284003 clauses out of 568049 with flag 176925559/40745000
2708.09/2707.17	c cleaning 284989 clauses out of 570046 with flag 178184473/41031000
2727.94/2727.04	c cleaning 286007 clauses out of 572058 with flag 179384154/41318001
2750.80/2749.89	c cleaning 287010 clauses out of 574053 with flag 180621133/41606003
2778.13/2777.22	c cleaning 288002 clauses out of 576043 with flag 181879385/41895003
2799.08/2798.23	c cleaning 288999 clauses out of 578039 with flag 183144250/42185001
2819.04/2818.25	c cleaning 289998 clauses out of 580042 with flag 184445405/42476003
2836.65/2835.14	c cleaning 290960 clauses out of 582042 with flag 185598344/42768001
2856.39/2854.94	c cleaning 292027 clauses out of 584083 with flag 186918804/43061002
2872.24/2870.81	c cleaning 293009 clauses out of 586054 with flag 188090431/43355000
2900.21/2898.82	c cleaning 294004 clauses out of 588046 with flag 189376114/43650001
2920.47/2919.17	c cleaning 294984 clauses out of 590041 with flag 190636017/43946000
2950.49/2949.28	c cleaning 296005 clauses out of 592057 with flag 191987056/44243000
2970.14/2968.97	c cleaning 297013 clauses out of 594054 with flag 193315408/44541002
2995.09/2993.91	c cleaning 297970 clauses out of 596040 with flag 194683634/44840001
3031.73/3030.56	c cleaning 299015 clauses out of 598069 with flag 196161455/45140000
3057.36/3056.26	c cleaning 299978 clauses out of 600054 with flag 197501390/45441000
3077.01/3075.95	c cleaning 301023 clauses out of 602076 with flag 198761044/45743000
3094.47/3093.47	c cleaning 302013 clauses out of 604053 with flag 200012897/46046000
3111.91/3110.96	c cleaning 302999 clauses out of 606041 with flag 201228266/46350001
3141.81/3140.77	c cleaning 304000 clauses out of 608043 with flag 202616044/46655002
3164.66/3163.61	c cleaning 305000 clauses out of 610043 with flag 203972203/46961002
3197.38/3196.43	c cleaning 305978 clauses out of 612041 with flag 205267184/47268000
3240.68/3239.81	c cleaning 306981 clauses out of 614064 with flag 206656634/47576001
3272.71/3271.93	c cleaning 308011 clauses out of 616083 with flag 208056931/47885001
3294.70/3293.78	c cleaning 309022 clauses out of 618071 with flag 209451102/48195000
3358.45/3357.68	c cleaning 309999 clauses out of 620050 with flag 210939932/48506001
3380.10/3379.31	c cleaning 310985 clauses out of 622050 with flag 212246214/48818000
3402.87/3402.17	c cleaning 311998 clauses out of 624066 with flag 213546333/49131001
3426.79/3425.94	c cleaning 312993 clauses out of 626067 with flag 214943005/49445000
3445.95/3445.13	c cleaning 313982 clauses out of 628074 with flag 216220612/49760000
3470.68/3469.98	c cleaning 314990 clauses out of 630092 with flag 217571619/50076000
3493.43/3492.75	c cleaning 316020 clauses out of 632102 with flag 218911728/50393000
3521.23/3520.55	c cleaning 317028 clauses out of 634083 with flag 220322916/50711001
3546.78/3546.18	c cleaning 318001 clauses out of 636055 with flag 221687955/51030001
3568.11/3567.54	c cleaning 319006 clauses out of 638054 with flag 222994144/51350001
3600.17/3599.26	c starts		: 14484
3600.17/3599.26	c conflicts		: 51621125
3600.17/3599.26	c decisions		: 67689471
3600.17/3599.26	c propagations		: 589480521
3600.17/3599.26	c inspects		: 54683955380
3600.17/3599.26	c shortcuts		: 0
3600.17/3599.26	c learnt literals	: 0
3600.17/3599.26	c learnt binary clauses	: 0
3600.17/3599.26	c learnt ternary clauses	: 0
3600.17/3599.26	c learnt constraints	: 51621125
3600.17/3599.26	c ignored constraints	: 0
3600.17/3599.26	c root simplifications	: 0
3600.17/3599.26	c removed literals (reason simplification)	: 39601670
3600.17/3599.26	c reason swapping (by a shorter reason)	: 0
3600.17/3599.26	c Calls to reduceDB	: 316
3600.17/3599.26	c Number of update (reduction) of LBD	: 14827802
3600.17/3599.26	c Imported unit clauses	: 0
3600.17/3599.26	c No decision after first conflict	: false
3600.17/3599.26	c number of reductions to clauses (during analyze)	: 0
3600.17/3599.26	c number of learned constraints concerned by reduction	: 0
3600.17/3599.26	c number of learning phase by resolution	: 0
3600.17/3599.26	c number of learning phase by cutting planes	: 0
3600.17/3599.26	c number of rounding to 1 operations	: 0
3600.17/3599.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.17/3599.26	c number of reductions of the coefficients by power 2 	: 0
3600.17/3599.26	c number of right shift for reduction by power 2 	: 0
3600.17/3599.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.17/3599.26	c number of ending skipping 	: 0
3600.17/3599.26	c number of internal skipping 	: 0
3600.17/3599.26	c number of derivation steps 	: 0
3600.17/3599.26	c number of skipped derivation steps 	: 0
3600.17/3599.26	c number of remaining unassigned 	: 0
3600.17/3599.26	c number of remaining assigned 	: 0
3600.17/3599.26	c number of falsified literals weakened from reason	: 0
3600.17/3599.26	c number of falsified literals weakened from conflict	: 0
3600.17/3599.26	c time for arithmetic operations	: 0
3600.17/3599.27	c minimum degree of deleted constraints	: null
3600.17/3599.27	c maximum degree of deleted constraints	: null
3600.17/3599.27	c number of deleted constraints	: 0
3600.17/3599.28	c speed (assignments/second)	: 163786.3546871119
3600.17/3599.28	c non guided choices	: 4010594
3600.17/3599.29	c timeout
3600.38/3599.35	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 590172
3600.38/3599.35	s UNKNOWN
3600.38/3599.35	c Total wall clock time (in seconds): 3599.216

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542744-1753217361/watcher-4542744-1753217361 -o /tmp/evaluation-result-4542744-1753217361/solver-4542744-1753217361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157168 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542744-1753217361.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100061 s]*
/proc/loadavg: 4.23 4.15 4.16 7/337 158058
/proc/meminfo: memFree=78841828/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=18930384 memory=55556 CPUtime=0.11 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 6524 0 0 0 10 1 0 0 20 0 18 0 237413710 19384713216 13889 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4732596 13889 5350 1 0 547604 0
[pid=158040/tid=158042] ppid=158037 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 5039 0 0 0 6 1 0 0 20 0 18 0 237413711 19384713216 13889 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237413713 19384713216 13889 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=18930384 memory=55186957824150 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 237413713 19384713216 13889 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55556 KiB

[startup+0.205814 s]*
/proc/loadavg: 4.23 4.15 4.16 7/338 158059
/proc/meminfo: memFree=78828532/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=18996948 memory=68220 CPUtime=0.31 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 7066 0 0 0 29 2 0 0 20 0 19 0 237413710 19452874752 17055 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4749237 17055 5446 1 0 548226 0
[pid=158040/tid=158042] ppid=158037 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 5311 0 0 0 16 1 0 0 20 0 19 0 237413711 19452874752 17055 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=18996948 memory=17146 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 17055 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=18996948 memory=54087446168546 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 17055 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413728 19452874752 17055 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68220 KiB

[startup+0.305709 s]*
/proc/loadavg: 4.23 4.15 4.16 6/338 158059
/proc/meminfo: memFree=78819964/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=18996948 memory=75452 CPUtime=0.51 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 10695 0 0 0 48 3 0 0 20 0 19 0 237413710 19452874752 18863 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4749237 18863 5446 1 0 550110 0
[pid=158040/tid=158042] ppid=158037 vsize=18996948 memory=-8672361011952263868 CPUtime=0.27 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 5320 0 0 0 26 1 0 0 20 0 19 0 237413711 19452874752 18863 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 18863 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 18863 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413728 19452874752 18863 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75452 KiB

[startup+0.700256 s]
/proc/loadavg: 4.23 4.15 4.16 6/338 158059
/proc/meminfo: memFree=78800180/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=18996948 memory=91444 CPUtime=1.27 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 14581 0 0 0 123 4 0 0 20 0 19 0 237413710 19452874752 22861 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4749237 22861 5446 1 0 552816 0
[pid=158040/tid=158042] ppid=158037 vsize=18996948 memory=27136 CPUtime=0.63 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 5395 0 0 0 62 1 0 0 20 0 19 0 237413711 19452874752 22861 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 22861 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 22861 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413728 19452874752 22861 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91444 KiB

[startup+1.50025 s]
/proc/loadavg: 4.23 4.15 4.16 6/338 158059
/proc/meminfo: memFree=78792240/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=18996948 memory=102080 CPUtime=2.7 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 18573 0 0 0 265 5 0 0 20 0 19 0 237413710 19452874752 25520 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4749237 25520 5446 1 0 552819 0
[pid=158040/tid=158042] ppid=158037 vsize=18996948 memory=0 CPUtime=1.42 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 5786 0 0 0 140 2 0 0 20 0 19 0 237413711 19452874752 25520 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 25520 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 25520 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413728 19452874752 25520 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102080 KiB

[startup+3.1056 s]
/proc/loadavg: 4.21 4.15 4.16 5/338 158059
/proc/meminfo: memFree=78747636/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=18996948 memory=116548 CPUtime=4.45 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 19298 0 0 0 440 5 0 0 20 0 19 0 237413710 19452874752 29137 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4749237 29137 5446 1 0 552837 0
[pid=158040/tid=158042] ppid=158037 vsize=18996948 memory=10752 CPUtime=3.01 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 6094 0 0 0 299 2 0 0 20 0 19 0 237413711 19452874752 29137 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=18996948 memory=-8672361011952263868 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 29137 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 29137 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413728 19452874752 29137 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 4.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116548 KiB

[startup+6.30023 s]
/proc/loadavg: 4.21 4.15 4.16 5/339 158060
/proc/meminfo: memFree=78657240/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=18996948 memory=162276 CPUtime=7.72 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 19978 0 0 0 766 6 0 0 20 0 19 0 237413710 19452874752 40569 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4749237 40569 5478 1 0 552838 0
[pid=158040/tid=158042] ppid=158037 vsize=18996948 memory=0 CPUtime=6.18 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 6439 0 0 0 615 3 0 0 20 0 19 0 237413711 19452874752 40569 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 40569 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237413713 19452874752 40569 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=18996948 memory=104132 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413728 19452874752 40569 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 7.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162276 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.15 4.15 5/339 158127
/proc/meminfo: memFree=86701940/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=177056 CPUtime=14.11 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 21890 0 0 0 1404 7 0 0 20 0 20 0 237413710 19521036288 44264 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 44264 5542 1 0 553127 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=104132 CPUtime=12.54 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 7105 0 0 0 1251 3 0 0 20 0 20 0 237413711 19521036288 44264 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 44264 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 44264 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=-8672361011952263868 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 44264 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 14.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177056 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.15 4/319 158131
/proc/meminfo: memFree=89946136/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=185332 CPUtime=26.89 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 23849 0 0 0 2681 8 0 0 20 0 20 0 237413710 19521036288 46333 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 46333 5542 1 0 553127 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=0 CPUtime=25.28 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 7675 0 0 0 2525 3 0 0 20 0 20 0 237413711 19521036288 46333 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=-8672361011952263868 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 46333 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=185332 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 46333 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=-8672361011952263868 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 46333 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 26.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185332 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.14 4.15 5/341 158199
/proc/meminfo: memFree=89539032/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=249088 CPUtime=52.46 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 25071 0 0 0 5236 10 0 0 20 0 20 0 237413710 19521036288 62272 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 62272 5542 1 0 553127 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=16508 CPUtime=50.74 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/339 158378
/proc/meminfo: memFree=81097448/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=2199236 CPUtime=3283.32 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 98054 0 0 0 328210 122 0 0 20 0 20 0 237413710 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 549809 5542 1 0 562486 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=27136 CPUtime=3267.47 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 46685 0 0 0 326719 28 0 0 20 0 20 0 237413711 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=2198980 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1525 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=2199236 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3283.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/339 158380
/proc/meminfo: memFree=81096916/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=2199236 CPUtime=3343.19 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 98892 0 0 0 334195 124 0 0 20 0 20 0 237413710 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 549809 5542 1 0 562486 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=16508 CPUtime=3327.3 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 47426 0 0 0 332702 28 0 0 20 0 20 0 237413711 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=2199236 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1602 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=2199236 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 549809 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3343.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/340 158383
/proc/meminfo: memFree=81096788/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=2199364 CPUtime=3403.07 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 99944 0 0 0 340182 125 0 0 20 0 20 0 237413710 19521036288 549841 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 549841 5542 1 0 562486 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=5632 CPUtime=3387.15 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 48367 0 0 0 338686 29 0 0 20 0 20 0 237413711 19521036288 549841 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549841 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=2199236 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549841 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=-8672361011952263868 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 549841 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3403.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199364 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/341 158386
/proc/meminfo: memFree=81096988/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=2199492 CPUtime=3463.11 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 100434 0 0 0 346184 127 0 0 20 0 20 0 237413710 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 549873 5542 1 0 562501 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=5632 CPUtime=3446.82 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 48420 0 0 0 344653 29 0 0 20 0 20 0 237413711 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=2199492 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=2199492 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3463.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/341 158388
/proc/meminfo: memFree=81096700/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=2199492 CPUtime=3523.03 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 100457 0 0 0 352175 128 0 0 20 0 20 0 237413710 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 549873 5542 1 0 562501 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=2199492 CPUtime=3506.56 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 48420 0 0 0 350626 30 0 0 20 0 20 0 237413711 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=2199492 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=2199492 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3523.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199492 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/341 158390
/proc/meminfo: memFree=81096940/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=2199492 CPUtime=3582.87 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 100958 0 0 0 358157 130 0 0 20 0 20 0 237413710 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 549873 5542 1 0 562501 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=2199492 CPUtime=3566.38 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 48916 0 0 0 356608 30 0 0 20 0 20 0 237413711 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=-8672361011952263868 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=-8672361011952263868 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=2199492 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3582.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.2 s]
/proc/loadavg: 4.06 4.11 4.10 6/341 158390
/proc/meminfo: memFree=81096964/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19063512 memory=2199492 CPUtime=3600.17 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 102479 0 0 0 359886 131 0 0 20 0 20 0 237413710 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4765878 549873 5542 1 0 562501 0
[pid=158040/tid=158042] ppid=158037 vsize=19063512 memory=27136 CPUtime=3583.06 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) R 158037 158040 157157 0 -1 4194368 49445 0 0 0 358276 30 0 0 20 0 20 0 237413711 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 237413713 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158059] ppid=158037 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/158040/task/158059/stat : 158059 (Timer-0) S 158037 158040 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413728 19521036288 549873 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2199492 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.17 s, system=1.33219 s

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

[startup+3599.3 s]
/proc/loadavg: 4.06 4.11 4.10 6/341 158390
/proc/meminfo: memFree=81096964/131249988 swapFree=33010160/33010684
[pid=158040] ppid=158037 vsize=19263204 memory=2202848 CPUtime=3600.38 cores=4,6
/proc/158040/stat : 158040 (java) S 158037 158040 157157 0 -1 4194304 105027 0 0 0 359906 132 0 0 20 0 21 0 237413710 19725520896 550712 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
/proc/158040/statm: 4815801 550712 5574 1 0 594760 0
[pid=158040/tid=158042] ppid=158037 vsize=19263204 memory=10752 CPUtime=3583.11 cores=4,6
/proc/158040/task/158042/stat : 158042 (java) S 158037 158040 157157 0 -1 4194368 49494 0 0 0 358281 30 0 0 20 0 21 0 237413711 19725520896 550712 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158051] ppid=158037 vsize=19263204 memory=0 CPUtime=0 cores=4,6
/proc/158040/task/158051/stat : 158051 (Finalizer) S 158037 158040 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237413713 19725520896 550712 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
[pid=158040/tid=158058] ppid=158037 vsize=19263204 memory=2199492 CPUtime=0 cores=4,6
/proc/158040/task/158058/stat : 158058 (Common-Cleaner) S 158037 158040 157157 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 21 0 237413713 19725520896 550712 18446744073709551615 93866733047808 93866733051504 140722407499632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93866733059320 93866733060112 93866759135232 140722407504255 140722407504356 140722407504356 140722407509960 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2202848 KiB

Child status: 143

Real time (s): 3599.37
CPU time (s): 3600.5
CPU user time (s): 3599.17
CPU system time (s): 1.33219
CPU usage (%): 100.032
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2202848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.17
system time used= 1.33219
maximum resident set size= 2202848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106704
involuntary context switches= 20322


# summary of solver processes directly reported to runsolver:
#   pid: 158040
#   total CPU time (s): 3600.5
#   total CPU user time (s): 3599.17
#   total CPU system time (s): 1.33219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68572 second user time and 16.5979 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-22 22:49:21
IDJOB=4542744
IDBENCH=164570
IDSOLVER=3363
FILE ID=nodeC020/4542744-1753217361
RUNJOBID= nodeC020-1753210180-157168
SLURM_JOB_ID= 9687784
Free space on /tmp= 432868 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542744-1753217361/watcher-4542744-1753217361 -o /tmp/evaluation-result-4542744-1753217361/solver-4542744-1753217361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157168 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542744-1753217361.opb

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

MD5SUM BENCH= 7e4e500c6ecf133c3cb12e0c5a9fdd4f
RANDOM SEED=1611087539

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        78875536 kB
MemAvailable:   118123084 kB
Buffers:            2128 kB
Cached:         40004696 kB
SwapCached:            4 kB
Active:         12491208 kB
Inactive:       39150480 kB
Active(anon):   11636576 kB
Inactive(anon):    24536 kB
Active(file):     854632 kB
Inactive(file): 39125944 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1776 kB
Writeback:            20 kB
AnonPages:      11637792 kB
Mapped:           128648 kB
Shmem:             26244 kB
KReclaimable:     212420 kB
Slab:             308796 kB
SReclaimable:     212420 kB
SUnreclaim:        96376 kB
KernelStack:        5228 kB
PageTables:        26580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   15601272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11376640 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432888 MiB
End job on nodeC020 at 2025-07-22 23:49:21