Trace number 4542822

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.2 3602.8

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb
MD5SUMd64fc744c65ccc2a81826d21c62acb02
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.326574
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables421
Total number of constraints212
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints210
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4542822-1753217388.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.15	c ... done. Wall clock time 0.03s.
0.14/0.15	c declared #vars     421
0.14/0.15	c #constraints  212
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.14/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 210
0.14/0.15	c 212 constraints processed.
0.52/0.40	c cleaning 2493 clauses out of 5000 with flag 18317/5000
1.10/0.63	c cleaning 4239 clauses out of 8508 with flag 40423/11001
1.67/0.96	c cleaning 5615 clauses out of 11268 with flag 75505/18000
1.97/1.11	c cleaning 6822 clauses out of 13653 with flag 105288/26000
2.56/1.45	c cleaning 7910 clauses out of 15831 with flag 136951/35000
2.94/1.66	c cleaning 8952 clauses out of 17922 with flag 174685/45001
3.39/2.03	c cleaning 9971 clauses out of 19969 with flag 227955/56000
3.69/2.37	c cleaning 10978 clauses out of 21998 with flag 286155/68000
3.89/2.58	c cleaning 12000 clauses out of 24021 with flag 332783/81001
4.29/2.97	c cleaning 12988 clauses out of 26021 with flag 399826/95001
4.89/3.51	c cleaning 13984 clauses out of 28032 with flag 466415/110000
5.49/4.17	c cleaning 14996 clauses out of 30048 with flag 541797/126000
6.32/4.99	c cleaning 15994 clauses out of 32052 with flag 622513/143000
7.34/5.92	c cleaning 17001 clauses out of 34058 with flag 711948/161000
8.34/6.98	c cleaning 18004 clauses out of 36059 with flag 810496/180002
9.64/8.24	c cleaning 18997 clauses out of 38053 with flag 924763/200000
10.14/8.72	c cleaning 20010 clauses out of 40057 with flag 1003696/221001
10.54/9.11	c cleaning 20999 clauses out of 42046 with flag 1086954/243000
10.96/9.58	c cleaning 21997 clauses out of 44047 with flag 1171206/266000
11.46/10.01	c cleaning 23026 clauses out of 46051 with flag 1258036/290001
11.86/10.49	c cleaning 23999 clauses out of 48024 with flag 1344960/315000
12.56/11.14	c cleaning 24988 clauses out of 50026 with flag 1447619/341001
13.26/11.81	c cleaning 25998 clauses out of 52038 with flag 1548397/368001
13.86/12.43	c cleaning 26991 clauses out of 54039 with flag 1652648/396000
14.46/13.02	c cleaning 27994 clauses out of 56050 with flag 1754560/425002
15.16/13.72	c cleaning 29003 clauses out of 58055 with flag 1863068/455001
15.96/14.50	c cleaning 30009 clauses out of 60051 with flag 1984212/486000
16.67/15.28	c cleaning 31005 clauses out of 62043 with flag 2110660/518001
17.47/16.03	c cleaning 31992 clauses out of 64037 with flag 2240619/551000
18.17/16.78	c cleaning 33007 clauses out of 66045 with flag 2360808/585000
19.06/17.64	c cleaning 33988 clauses out of 68038 with flag 2489520/620000
19.86/18.45	c cleaning 34996 clauses out of 70050 with flag 2622099/656000
20.76/19.32	c cleaning 35996 clauses out of 72054 with flag 2757137/693000
21.66/20.27	c cleaning 36991 clauses out of 74059 with flag 2896211/731001
22.78/21.31	c cleaning 38015 clauses out of 76068 with flag 3040953/770001
23.98/22.53	c cleaning 39010 clauses out of 78053 with flag 3204845/810001
25.07/23.67	c cleaning 40007 clauses out of 80042 with flag 3363949/851000
26.37/24.92	c cleaning 41007 clauses out of 82035 with flag 3521200/893000
27.77/26.38	c cleaning 41999 clauses out of 84028 with flag 3685204/936000
28.96/27.52	c cleaning 42991 clauses out of 86029 with flag 3849397/980000
30.36/28.91	c cleaning 44002 clauses out of 88038 with flag 4022678/1025000
31.88/30.42	c cleaning 44991 clauses out of 90038 with flag 4211675/1071002
33.28/31.81	c cleaning 46009 clauses out of 92045 with flag 4384242/1118000
34.69/33.26	c cleaning 47000 clauses out of 94038 with flag 4568618/1166002
36.18/34.75	c cleaning 48019 clauses out of 96038 with flag 4767049/1215002
37.78/36.33	c cleaning 48988 clauses out of 98017 with flag 4966652/1265000
39.71/38.27	c cleaning 49993 clauses out of 100029 with flag 5197384/1316000
41.20/39.78	c cleaning 50990 clauses out of 102036 with flag 5397464/1368000
42.80/41.32	c cleaning 52010 clauses out of 104048 with flag 5597714/1421002
44.29/42.86	c cleaning 53003 clauses out of 106036 with flag 5795050/1475000
45.99/44.52	c cleaning 54001 clauses out of 108033 with flag 5996914/1530000
47.72/46.27	c cleaning 54996 clauses out of 110032 with flag 6204867/1586000
49.72/48.29	c cleaning 55995 clauses out of 112036 with flag 6428407/1643000
51.52/50.06	c cleaning 56998 clauses out of 114041 with flag 6648729/1701000
53.81/52.35	c cleaning 57997 clauses out of 116044 with flag 6882522/1760001
56.04/54.50	c cleaning 59008 clauses out of 118046 with flag 7115509/1820000
57.93/56.48	c cleaning 60006 clauses out of 120040 with flag 7352272/1881002
60.03/58.57	c cleaning 61010 clauses out of 122033 with flag 7600744/1943001
62.12/60.61	c cleaning 61992 clauses out of 124023 with flag 7836672/2006001
65.12/63.66	c cleaning 63006 clauses out of 126030 with flag 8133246/2070000
67.64/66.18	c cleaning 63992 clauses out of 128025 with flag 8401069/2135001
69.83/68.38	c cleaning 65006 clauses out of 130033 with flag 8653478/2201001
72.42/71.00	c cleaning 65994 clauses out of 132026 with flag 8927388/2268000
75.05/73.50	c cleaning 66999 clauses out of 134032 with flag 9195876/2336000
78.14/76.62	c cleaning 68001 clauses out of 136034 with flag 9504879/2405001
81.04/79.53	c cleaning 68994 clauses out of 138032 with flag 9792179/2475000
83.54/82.00	c cleaning 69994 clauses out of 140038 with flag 10056261/2546000
86.16/84.63	c cleaning 71006 clauses out of 142044 with flag 10326455/2618000
89.26/87.73	c cleaning 71995 clauses out of 144038 with flag 10638977/2691000
92.25/90.77	c cleaning 73002 clauses out of 146044 with flag 10953954/2765001
95.34/93.88	c cleaning 73997 clauses out of 148041 with flag 11246917/2840000
98.17/96.60	c cleaning 75015 clauses out of 150045 with flag 11548033/2916001
102.76/101.29	c cleaning 75980 clauses out of 152029 with flag 11896595/2993000
105.75/104.28	c cleaning 77025 clauses out of 154049 with flag 12201813/3071000
108.88/107.34	c cleaning 77998 clauses out of 156026 with flag 12491493/3150002
112.17/110.66	c cleaning 78998 clauses out of 158026 with flag 12804771/3230000
118.07/116.53	c cleaning 79998 clauses out of 160028 with flag 13209600/3311000
122.80/121.21	c cleaning 80993 clauses out of 162030 with flag 13599344/3393000
126.19/124.61	c cleaning 82002 clauses out of 164037 with flag 13907398/3476000
129.58/128.10	c cleaning 82989 clauses out of 166035 with flag 14227102/3560000
137.76/136.20	c cleaning 84003 clauses out of 168047 with flag 14676747/3645001
145.89/144.32	c cleaning 85000 clauses out of 170044 with flag 15177460/3731001
154.47/152.98	c cleaning 85999 clauses out of 172044 with flag 15683917/3818001
158.86/157.33	c cleaning 87007 clauses out of 174045 with flag 16078463/3906001
162.75/161.23	c cleaning 87992 clauses out of 176037 with flag 16432473/3995000
166.71/165.13	c cleaning 89000 clauses out of 178046 with flag 16790608/4085001
170.99/169.42	c cleaning 90001 clauses out of 180045 with flag 17179208/4176000
176.78/175.28	c cleaning 91002 clauses out of 182044 with flag 17586983/4268000
181.17/179.63	c cleaning 91991 clauses out of 184044 with flag 17975863/4361002
185.52/183.93	c cleaning 93005 clauses out of 186051 with flag 18348023/4455000
190.31/188.75	c cleaning 94000 clauses out of 188047 with flag 18772632/4550001
195.40/193.89	c cleaning 95013 clauses out of 190046 with flag 19183340/4646000
200.28/198.78	c cleaning 95990 clauses out of 192035 with flag 19588303/4743002
206.27/204.71	c cleaning 97003 clauses out of 194043 with flag 20045785/4841000
211.62/210.05	c cleaning 98013 clauses out of 196042 with flag 20471112/4940002
216.11/214.57	c cleaning 99002 clauses out of 198029 with flag 20882147/5040002
221.29/219.72	c cleaning 99991 clauses out of 200027 with flag 21297022/5141002
227.18/225.62	c cleaning 100992 clauses out of 202038 with flag 21790189/5243004
232.17/230.66	c cleaning 102008 clauses out of 204043 with flag 22221282/5346001
237.03/235.44	c cleaning 102995 clauses out of 206034 with flag 22616004/5450000
242.03/240.47	c cleaning 104009 clauses out of 208041 with flag 23034777/5555002
246.81/245.22	c cleaning 105001 clauses out of 210030 with flag 23456229/5661000
252.20/250.63	c cleaning 105996 clauses out of 212030 with flag 23910742/5768001
257.09/255.58	c cleaning 106996 clauses out of 214033 with flag 24333681/5876000
262.82/261.28	c cleaning 108004 clauses out of 216039 with flag 24803471/5985002
268.31/266.77	c cleaning 109003 clauses out of 218034 with flag 25257140/6095001
274.60/273.01	c cleaning 110004 clauses out of 220030 with flag 25735032/6206000
280.48/278.90	c cleaning 110993 clauses out of 222029 with flag 26193403/6318003
286.67/285.14	c cleaning 111995 clauses out of 224033 with flag 26663739/6431000
292.45/291.00	c cleaning 112990 clauses out of 226039 with flag 27135715/6545001
298.44/296.95	c cleaning 114012 clauses out of 228048 with flag 27600729/6660000
304.48/303.00	c cleaning 114987 clauses out of 230036 with flag 28071151/6776000
310.76/309.20	c cleaning 115999 clauses out of 232051 with flag 28562813/6893002
316.85/315.40	c cleaning 117000 clauses out of 234050 with flag 29063185/7011000
322.83/321.32	c cleaning 118009 clauses out of 236050 with flag 29537530/7130000
328.82/327.37	c cleaning 119007 clauses out of 238044 with flag 30021437/7250003
335.21/333.79	c cleaning 120001 clauses out of 240034 with flag 30512095/7371000
341.99/340.53	c cleaning 120998 clauses out of 242033 with flag 31021376/7493000
355.73/354.23	c cleaning 121997 clauses out of 244038 with flag 31728606/7616003
363.72/362.22	c cleaning 122991 clauses out of 246038 with flag 32290468/7740000
370.20/368.70	c cleaning 123997 clauses out of 248048 with flag 32796945/7865001
377.59/376.15	c cleaning 125001 clauses out of 250050 with flag 33312701/7991000
384.58/383.12	c cleaning 126009 clauses out of 252051 with flag 33815278/8118002
400.44/399.05	c cleaning 127002 clauses out of 254040 with flag 34637331/8246000
415.50/414.15	c cleaning 127996 clauses out of 256038 with flag 35569320/8375000
423.75/421.91	c cleaning 128999 clauses out of 258044 with flag 36155174/8505002
433.32/431.56	c cleaning 129991 clauses out of 260044 with flag 36799482/8636001
440.71/438.91	c cleaning 131003 clauses out of 262052 with flag 37361882/8768000
448.00/446.27	c cleaning 132008 clauses out of 264049 with flag 37912698/8901000
455.97/454.20	c cleaning 133000 clauses out of 266041 with flag 38486356/9035000
463.55/461.84	c cleaning 133999 clauses out of 268042 with flag 39035684/9170001
471.63/469.99	c cleaning 135006 clauses out of 270042 with flag 39623844/9306000
479.37/477.67	c cleaning 136001 clauses out of 272037 with flag 40191233/9443001
488.25/486.53	c cleaning 136999 clauses out of 274035 with flag 40798070/9581000
496.03/494.35	c cleaning 137997 clauses out of 276036 with flag 41367798/9720000
504.51/502.88	c cleaning 139003 clauses out of 278039 with flag 41947711/9860000
513.09/511.40	c cleaning 139994 clauses out of 280036 with flag 42538326/10001000
521.87/520.21	c cleaning 140988 clauses out of 282042 with flag 43133512/10143000
530.05/528.46	c cleaning 142021 clauses out of 284054 with flag 43717548/10286000
539.01/537.31	c cleaning 142981 clauses out of 286034 with flag 44303955/10430001
547.59/545.99	c cleaning 144002 clauses out of 288052 with flag 44883394/10575000
557.47/555.84	c cleaning 144996 clauses out of 290051 with flag 45527385/10721001
566.25/564.67	c cleaning 146008 clauses out of 292056 with flag 46111370/10868002
575.13/573.53	c cleaning 146993 clauses out of 294046 with flag 46678446/11016000
583.92/582.31	c cleaning 148008 clauses out of 296055 with flag 47272811/11165002
593.00/591.45	c cleaning 149011 clauses out of 298047 with flag 47864486/11315002
602.07/600.52	c cleaning 150000 clauses out of 300034 with flag 48497472/11466000
611.34/609.89	c cleaning 151001 clauses out of 302034 with flag 49123625/11618000
623.22/621.77	c cleaning 151986 clauses out of 304033 with flag 49839206/11771000
633.09/631.67	c cleaning 153003 clauses out of 306047 with flag 50458699/11925000
643.07/641.61	c cleaning 153995 clauses out of 308044 with flag 51087898/12080000
652.93/651.45	c cleaning 155003 clauses out of 310050 with flag 51724493/12236001
671.10/669.69	c cleaning 156003 clauses out of 312047 with flag 52622742/12393001
681.28/679.88	c cleaning 156993 clauses out of 314043 with flag 53262651/12551000
691.46/690.06	c cleaning 157997 clauses out of 316052 with flag 53911460/12710002
701.73/700.33	c cleaning 158997 clauses out of 318053 with flag 54552996/12870000
712.01/710.61	c cleaning 160003 clauses out of 320056 with flag 55194646/13031000
722.08/720.70	c cleaning 161005 clauses out of 322054 with flag 55825103/13193001
732.07/730.73	c cleaning 162006 clauses out of 324048 with flag 56461284/13356000
742.15/740.86	c cleaning 162993 clauses out of 326043 with flag 57110720/13520001
753.72/752.48	c cleaning 164003 clauses out of 328049 with flag 57798513/13685000
765.69/764.32	c cleaning 165012 clauses out of 330047 with flag 58530566/13851001
776.96/775.64	c cleaning 166001 clauses out of 332034 with flag 59203555/14018000
788.13/786.87	c cleaning 166997 clauses out of 334034 with flag 59928503/14186001
799.11/797.86	c cleaning 167989 clauses out of 336036 with flag 60616350/14355000
810.68/809.40	c cleaning 169010 clauses out of 338047 with flag 61318217/14525000
825.25/824.10	c cleaning 169997 clauses out of 340040 with flag 62207864/14696003
837.02/835.81	c cleaning 171001 clauses out of 342042 with flag 62899224/14868002
848.89/847.78	c cleaning 172002 clauses out of 344041 with flag 63602754/15041002
862.04/860.88	c cleaning 172990 clauses out of 346038 with flag 64353966/15215001
874.72/873.55	c cleaning 174009 clauses out of 348047 with flag 65064366/15390000
887.29/886.19	c cleaning 175012 clauses out of 350040 with flag 65775970/15566002
899.56/898.49	c cleaning 176001 clauses out of 352027 with flag 66502027/15743001
913.14/912.09	c cleaning 176979 clauses out of 354025 with flag 67271789/15921000
926.01/924.91	c cleaning 178007 clauses out of 356047 with flag 68022752/16100001
938.18/937.12	c cleaning 179001 clauses out of 358040 with flag 68725048/16280001
950.65/949.68	c cleaning 179996 clauses out of 360038 with flag 69495845/16461000
963.42/962.41	c cleaning 180995 clauses out of 362042 with flag 70219713/16643000
977.39/976.43	c cleaning 182006 clauses out of 364049 with flag 71022232/16826002
990.36/989.42	c cleaning 182991 clauses out of 366041 with flag 71762637/17010000
1004.03/1003.14	c cleaning 184003 clauses out of 368050 with flag 72535182/17195000
1017.20/1016.39	c cleaning 185003 clauses out of 370047 with flag 73295432/17381000
1031.07/1030.22	c cleaning 186009 clauses out of 372045 with flag 74081989/17568001
1046.84/1046.03	c cleaning 186994 clauses out of 374035 with flag 74933329/17756000
1066.19/1065.41	c cleaning 188007 clauses out of 376042 with flag 75866833/17945001
1080.13/1079.25	c cleaning 189002 clauses out of 378040 with flag 76669655/18135006
1093.90/1093.01	c cleaning 189983 clauses out of 380033 with flag 77430755/18326001
1109.66/1108.87	c cleaning 191009 clauses out of 382050 with flag 78311825/18518001
1124.33/1123.52	c cleaning 191995 clauses out of 384040 with flag 79141903/18711000
1139.00/1138.29	c cleaning 192999 clauses out of 386046 with flag 79971824/18905001
1154.57/1153.89	c cleaning 194007 clauses out of 388047 with flag 80816745/19100001
1170.34/1169.51	c cleaning 194991 clauses out of 390039 with flag 81666593/19296000
1184.70/1183.97	c cleaning 196004 clauses out of 392049 with flag 82465965/19493001
1200.97/1200.28	c cleaning 197006 clauses out of 394045 with flag 83304436/19691001
1215.75/1215.10	c cleaning 197995 clauses out of 396039 with flag 84111360/19890001
1230.51/1229.81	c cleaning 198994 clauses out of 398043 with flag 84906399/20090000
1245.87/1245.22	c cleaning 200001 clauses out of 400049 with flag 85771207/20291000
1261.04/1260.43	c cleaning 201008 clauses out of 402048 with flag 86603392/20493000
1277.70/1277.16	c cleaning 202001 clauses out of 404041 with flag 87460331/20696001
1294.61/1293.99	c cleaning 203002 clauses out of 406039 with flag 88345648/20900000
1311.46/1310.89	c cleaning 204009 clauses out of 408037 with flag 89295010/21105000
1327.74/1327.13	c cleaning 204999 clauses out of 410030 with flag 90169506/21311002
1344.79/1344.25	c cleaning 205994 clauses out of 412030 with flag 91099140/21518001
1360.66/1360.18	c cleaning 206999 clauses out of 414035 with flag 91972098/21726000
1376.43/1375.99	c cleaning 207994 clauses out of 416036 with flag 92815333/21935000
1392.50/1392.02	c cleaning 209003 clauses out of 418042 with flag 93660759/22145000
1409.75/1409.00	c cleaning 209998 clauses out of 420040 with flag 94551056/22356001
1427.41/1426.68	c cleaning 211009 clauses out of 422041 with flag 95535349/22568000
1445.17/1444.43	c cleaning 211994 clauses out of 424034 with flag 96483787/22781002
1462.24/1461.58	c cleaning 212997 clauses out of 426038 with flag 97411299/22995000
1480.00/1479.38	c cleaning 214005 clauses out of 428042 with flag 98352142/23210001
1497.16/1496.57	c cleaning 214987 clauses out of 430036 with flag 99253534/23426000
1516.52/1515.96	c cleaning 216002 clauses out of 432049 with flag 100226599/23643000
1534.78/1534.28	c cleaning 217005 clauses out of 434047 with flag 101174730/23861000
1553.11/1552.57	c cleaning 218001 clauses out of 436042 with flag 102060490/24080000
1570.57/1570.09	c cleaning 218997 clauses out of 438042 with flag 102973928/24300001
1587.74/1587.27	c cleaning 220002 clauses out of 440044 with flag 103873247/24521000
1605.00/1604.53	c cleaning 221008 clauses out of 442045 with flag 104762748/24743003
1626.85/1626.44	c cleaning 221994 clauses out of 444034 with flag 105754309/24966000
1645.21/1644.83	c cleaning 223006 clauses out of 446043 with flag 106689264/25190003
1663.17/1662.82	c cleaning 223994 clauses out of 448035 with flag 107593704/25415001
1682.13/1681.87	c cleaning 224986 clauses out of 450040 with flag 108520078/25641000
1700.99/1700.77	c cleaning 226001 clauses out of 452055 with flag 109489946/25868001
1720.05/1719.82	c cleaning 226997 clauses out of 454053 with flag 110442025/26096000
1741.09/1740.85	c cleaning 228003 clauses out of 456056 with flag 111474141/26325000
1761.55/1761.35	c cleaning 229006 clauses out of 458053 with flag 112480455/26555000
1781.70/1781.59	c cleaning 229998 clauses out of 460047 with flag 113515626/26786000
1801.45/1801.37	c cleaning 231011 clauses out of 462049 with flag 114515022/27018000
1820.91/1820.86	c cleaning 231998 clauses out of 464039 with flag 115485931/27251001
1842.47/1842.45	c cleaning 232997 clauses out of 466040 with flag 116533740/27485000
1862.82/1862.89	c cleaning 234003 clauses out of 468045 with flag 117519696/27720002
1891.15/1891.27	c cleaning 234997 clauses out of 470040 with flag 118711178/27956000
1913.00/1913.14	c cleaning 236000 clauses out of 472044 with flag 119777004/28193001
1934.54/1934.79	c cleaning 237015 clauses out of 474043 with flag 120824645/28431000
1959.68/1959.95	c cleaning 237973 clauses out of 476028 with flag 122072615/28670000
1981.63/1981.74	c cleaning 239015 clauses out of 478055 with flag 123111120/28910000
2005.78/2005.92	c cleaning 240005 clauses out of 480040 with flag 124128775/29151000
2027.93/2028.14	c cleaning 240997 clauses out of 482036 with flag 125171529/29393001
2050.47/2050.70	c cleaning 241997 clauses out of 484039 with flag 126256066/29636001
2072.92/2073.22	c cleaning 242994 clauses out of 486041 with flag 127326472/29880000
2093.97/2094.33	c cleaning 243991 clauses out of 488047 with flag 128348921/30125000
2116.02/2116.40	c cleaning 245000 clauses out of 490058 with flag 129395885/30371002
2139.67/2140.13	c cleaning 246013 clauses out of 492056 with flag 130506680/30618000
2162.31/2162.85	c cleaning 246987 clauses out of 494043 with flag 131565766/30866000
2192.47/2192.93	c cleaning 248012 clauses out of 496057 with flag 132724599/31115001
2215.01/2215.50	c cleaning 249002 clauses out of 498044 with flag 133741954/31365000
2238.07/2238.62	c cleaning 249995 clauses out of 500046 with flag 134777633/31616004
2262.71/2263.32	c cleaning 251012 clauses out of 502048 with flag 135870949/31868001
2286.36/2287.00	c cleaning 252007 clauses out of 504035 with flag 136952230/32121000
2309.31/2310.00	c cleaning 252985 clauses out of 506028 with flag 138012282/32375000
2332.35/2333.15	c cleaning 254006 clauses out of 508044 with flag 139053676/32630001
2355.81/2356.64	c cleaning 254990 clauses out of 510038 with flag 140135342/32886001
2378.65/2379.51	c cleaning 256010 clauses out of 512048 with flag 141188944/33143001
2403.25/2404.01	c cleaning 256986 clauses out of 514038 with flag 142278860/33401001
2426.49/2427.35	c cleaning 258005 clauses out of 516053 with flag 143351129/33660002
2449.93/2450.80	c cleaning 259006 clauses out of 518048 with flag 144419360/33920002
2473.69/2474.60	c cleaning 260001 clauses out of 520040 with flag 145505728/34181000
2498.43/2499.40	c cleaning 261004 clauses out of 522039 with flag 146609254/34443000
2522.68/2523.76	c cleaning 261996 clauses out of 524035 with flag 147707581/34706000
2547.12/2548.27	c cleaning 263005 clauses out of 526039 with flag 148821547/34970000
2575.45/2576.56	c cleaning 263994 clauses out of 528036 with flag 150099850/35235002
2619.65/2620.88	c cleaning 265001 clauses out of 530042 with flag 151653443/35501002
2644.39/2645.64	c cleaning 266003 clauses out of 532040 with flag 152748246/35768001
2669.03/2670.31	c cleaning 266989 clauses out of 534037 with flag 153873651/36036001
2695.27/2696.65	c cleaning 268006 clauses out of 536047 with flag 155010835/36305000
2720.40/2721.82	c cleaning 269006 clauses out of 538043 with flag 156159523/36575002
2746.34/2747.88	c cleaning 270008 clauses out of 540035 with flag 157333595/36846000
2773.18/2774.76	c cleaning 270994 clauses out of 542027 with flag 158584001/37118000
2799.61/2801.24	c cleaning 271991 clauses out of 544034 with flag 159704123/37391001
2826.77/2828.34	c cleaning 272998 clauses out of 546043 with flag 160868519/37665001
2854.42/2856.02	c cleaning 274007 clauses out of 548044 with flag 162116224/37940000
2881.36/2883.08	c cleaning 274999 clauses out of 550037 with flag 163244559/38216000
2909.89/2911.64	c cleaning 276002 clauses out of 552039 with flag 164417598/38493001
2936.23/2938.01	c cleaning 277003 clauses out of 554039 with flag 165546302/38771003
2964.46/2966.39	c cleaning 277990 clauses out of 556034 with flag 166725819/39050001
2993.39/2995.35	c cleaning 279009 clauses out of 558043 with flag 167944696/39330000
3023.92/3025.97	c cleaning 280009 clauses out of 560035 with flag 169271705/39611001
3052.27/3054.27	c cleaning 280991 clauses out of 562025 with flag 170464116/39893000
3080.12/3082.15	c cleaning 281999 clauses out of 564034 with flag 171703093/40176000
3108.44/3110.58	c cleaning 283009 clauses out of 566036 with flag 173010063/40460001
3136.18/3138.36	c cleaning 284006 clauses out of 568026 with flag 174208813/40745000
3164.70/3166.94	c cleaning 284992 clauses out of 570020 with flag 175380408/41031000
3194.13/3196.49	c cleaning 285986 clauses out of 572029 with flag 176604273/41318001
3223.96/3226.30	c cleaning 287008 clauses out of 574044 with flag 177862169/41606002
3255.10/3257.04	c cleaning 287996 clauses out of 576034 with flag 179190365/41895000
3284.23/3286.23	c cleaning 288985 clauses out of 578038 with flag 180409275/42185000
3314.06/3316.16	c cleaning 290007 clauses out of 580056 with flag 181649407/42476003
3343.38/3345.58	c cleaning 290998 clauses out of 582046 with flag 182896891/42768000
3373.91/3376.18	c cleaning 292009 clauses out of 584050 with flag 184240452/43061002
3403.43/3405.77	c cleaning 293009 clauses out of 586039 with flag 185448749/43355000
3438.85/3441.27	c cleaning 294000 clauses out of 588030 with flag 186838075/43650000
3480.91/3483.36	c cleaning 294984 clauses out of 590030 with flag 188373615/43946000
3517.34/3519.84	c cleaning 296006 clauses out of 592046 with flag 189767489/44243000
3550.06/3552.67	c cleaning 296999 clauses out of 594041 with flag 191022211/44541001
3581.00/3583.60	c cleaning 298001 clauses out of 596041 with flag 192257948/44840000
3600.06/3602.71	c starts		: 43235
3600.06/3602.71	c conflicts		: 45045012
3600.06/3602.71	c decisions		: 61181005
3600.06/3602.71	c propagations		: 547777735
3600.06/3602.71	c inspects		: 59837585682
3600.06/3602.71	c shortcuts		: 0
3600.06/3602.71	c learnt literals	: 0
3600.06/3602.71	c learnt binary clauses	: 0
3600.06/3602.71	c learnt ternary clauses	: 0
3600.06/3602.71	c learnt constraints	: 45045012
3600.06/3602.71	c ignored constraints	: 0
3600.06/3602.71	c root simplifications	: 0
3600.06/3602.71	c removed literals (reason simplification)	: 26372865
3600.06/3602.71	c reason swapping (by a shorter reason)	: 0
3600.06/3602.71	c Calls to reduceDB	: 295
3600.06/3602.71	c Number of update (reduction) of LBD	: 12347038
3600.06/3602.71	c Imported unit clauses	: 0
3600.06/3602.71	c No decision after first conflict	: false
3600.06/3602.71	c number of reductions to clauses (during analyze)	: 0
3600.06/3602.71	c number of learned constraints concerned by reduction	: 0
3600.06/3602.71	c number of learning phase by resolution	: 0
3600.06/3602.71	c number of learning phase by cutting planes	: 0
3600.06/3602.71	c number of rounding to 1 operations	: 0
3600.06/3602.71	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3602.71	c number of reductions of the coefficients by power 2 	: 0
3600.06/3602.71	c number of right shift for reduction by power 2 	: 0
3600.06/3602.71	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3602.71	c number of ending skipping 	: 0
3600.06/3602.71	c number of internal skipping 	: 0
3600.06/3602.71	c number of derivation steps 	: 0
3600.06/3602.71	c number of skipped derivation steps 	: 0
3600.06/3602.71	c number of remaining unassigned 	: 0
3600.06/3602.71	c number of remaining assigned 	: 0
3600.06/3602.71	c number of falsified literals weakened from reason	: 0
3600.06/3602.72	c number of falsified literals weakened from conflict	: 0
3600.06/3602.72	c time for arithmetic operations	: 0
3600.06/3602.72	c minimum degree of deleted constraints	: null
3600.06/3602.72	c maximum degree of deleted constraints	: null
3600.06/3602.72	c number of deleted constraints	: 0
3600.06/3602.72	c speed (assignments/second)	: 152052.22920459684
3600.06/3602.72	c non guided choices	: 1829888
3600.06/3602.73	c timeout
3600.06/3602.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 503052
3600.06/3602.78	s UNKNOWN
3600.06/3602.78	c Total wall clock time (in seconds): 3602.66

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=158178, runsolver pid=158175

[startup+0.100057 s]*
/proc/loadavg: 4.15 4.14 4.15 6/339 158196
/proc/meminfo: memFree=89866916/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=18930384 memory=57980 CPUtime=0.14 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 6621 0 0 0 12 2 0 0 20 0 18 0 237416342 19384713216 14495 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4732596 14495 5374 1 0 547680 0
[pid=158178/tid=158180] ppid=158175 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 5112 0 0 0 7 1 0 0 20 0 18 0 237416343 19384713216 14495 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237416345 19384713216 14495 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237416345 19384713216 14495 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57980 KiB

[startup+0.208037 s]*
/proc/loadavg: 4.15 4.14 4.15 7/340 158197
/proc/meminfo: memFree=89862884/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=18996948 memory=64180 CPUtime=0.33 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 8379 0 0 0 31 2 0 0 20 0 19 0 237416342 19452874752 16045 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4749237 16045 5438 1 0 548783 0
[pid=158178/tid=158180] ppid=158175 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 5300 0 0 0 16 1 0 0 20 0 19 0 237416343 19452874752 16045 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=18996948 memory=17146 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 16045 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=18996948 memory=54087446168546 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 16045 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237416358 19452874752 16045 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64180 KiB

[startup+0.305701 s]*
/proc/loadavg: 4.15 4.14 4.15 6/340 158197
/proc/meminfo: memFree=89858788/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=18996948 memory=70164 CPUtime=0.52 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 8963 0 0 0 50 2 0 0 20 0 19 0 237416342 19452874752 17541 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4749237 17541 5438 1 0 549143 0
[pid=158178/tid=158180] ppid=158175 vsize=18996948 memory=-8815349200609649340 CPUtime=0.25 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 5303 0 0 0 24 1 0 0 20 0 19 0 237416343 19452874752 17541 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 17541 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 17541 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237416358 19452874752 17541 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70164 KiB

[startup+0.700219 s]
/proc/loadavg: 4.15 4.14 4.15 6/340 158197
/proc/meminfo: memFree=89846188/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=18996948 memory=89484 CPUtime=1.29 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 15774 0 0 0 126 3 0 0 20 0 19 0 237416342 19452874752 22371 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4749237 22371 5438 1 0 552891 0
[pid=158178/tid=158180] ppid=158175 vsize=18996948 memory=27136 CPUtime=0.6 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 5352 0 0 0 59 1 0 0 20 0 19 0 237416343 19452874752 22371 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 22371 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 22371 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237416358 19452874752 22371 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89484 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.14 4.15 6/340 158197
/proc/meminfo: memFree=89839572/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=18996948 memory=98188 CPUtime=2.76 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 19973 0 0 0 272 4 0 0 20 0 19 0 237416342 19452874752 24547 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4749237 24547 5438 1 0 552895 0
[pid=158178/tid=158180] ppid=158175 vsize=18996948 memory=0 CPUtime=1.39 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 5739 0 0 0 138 1 0 0 20 0 19 0 237416343 19452874752 24547 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 24547 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 24547 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237416358 19452874752 24547 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98188 KiB

[startup+3.10548 s]
/proc/loadavg: 4.22 4.15 4.16 5/340 158197
/proc/meminfo: memFree=89782460/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=18996948 memory=120844 CPUtime=4.49 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 20657 0 0 0 445 4 0 0 20 0 19 0 237416342 19452874752 30211 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4749237 30211 5438 1 0 552912 0
[pid=158178/tid=158180] ppid=158175 vsize=18996948 memory=10752 CPUtime=3 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 6045 0 0 0 298 2 0 0 20 0 19 0 237416343 19452874752 30211 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=18996948 memory=-8815349200609649340 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 30211 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 30211 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237416358 19452874752 30211 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120844 KiB

[startup+6.30016 s]
/proc/loadavg: 4.22 4.15 4.16 5/340 158197
/proc/meminfo: memFree=89762232/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=18996948 memory=137116 CPUtime=7.74 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 21011 0 0 0 769 5 0 0 20 0 19 0 237416342 19452874752 34279 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4749237 34279 5438 1 0 552912 0
[pid=158178/tid=158180] ppid=158175 vsize=18996948 memory=0 CPUtime=6.18 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 6138 0 0 0 616 2 0 0 20 0 19 0 237416343 19452874752 34279 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 34279 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237416345 19452874752 34279 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=18996948 memory=100236 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237416358 19452874752 34279 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137116 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.15 5/341 158198
/proc/meminfo: memFree=89639884/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=172540 CPUtime=14.16 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 25014 0 0 0 1410 6 0 0 20 0 20 0 237416342 19521036288 43135 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 43135 5502 1 0 553201 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=100236 CPUtime=12.55 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 7186 0 0 0 1253 2 0 0 20 0 20 0 237416343 19521036288 43135 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=172540 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 43135 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 43135 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 43135 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172540 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.15 5/341 158199
/proc/meminfo: memFree=89539032/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=207632 CPUtime=26.97 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 27318 0 0 0 2690 7 0 0 20 0 20 0 237416342 19521036288 51908 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 51908 5534 1 0 553201 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=172540 CPUtime=25.28 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 7764 0 0 0 2526 2 0 0 20 0 20 0 237416343 19521036288 51908 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 51908 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=178824 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 51908 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 51908 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 26.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207632 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.13 4.15 5/342 158202
/proc/meminfo: memFree=89014580/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=328728 CPUtime=52.62 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 28616 0 0 0 5252 10 0 0 20 0 20 0 237416342 19521036288 82182 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 82182 5534 1 0 553201 0

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

/proc/meminfo: memFree=81097504/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3280.33 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 100343 0 0 0 327931 102 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=16508 CPUtime=3270.72 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 47810 0 0 0 327051 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3280.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/340 158382
/proc/meminfo: memFree=81096684/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3340.19 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 100352 0 0 0 333916 103 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3330.55 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 47814 0 0 0 333034 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=-8815349200609649340 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3340.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/340 158384
/proc/meminfo: memFree=81096804/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3400.04 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 101315 0 0 0 339900 104 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3390.39 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 48659 0 0 0 339018 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3400.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/341 158386
/proc/meminfo: memFree=81097028/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3459.96 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 103151 0 0 0 345891 105 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3450.16 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 49338 0 0 0 344995 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 1915 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3459.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/341 158388
/proc/meminfo: memFree=81096772/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3519.83 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 103937 0 0 0 351877 106 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3510.01 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 49970 0 0 0 350980 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=-8815349200609649340 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 2001 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3519.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB

[startup+3582.3 s]
/proc/loadavg: 3.90 4.07 4.09 2/266 158492
/proc/meminfo: memFree=88305048/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3579.7 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 104387 0 0 0 357863 107 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3569.86 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 50415 0 0 0 356965 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 2001 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=2724 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3579.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.7 s]
/proc/loadavg: 3.14 3.89 4.03 2/266 158493
/proc/meminfo: memFree=88305176/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3600.06 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 104604 0 0 0 359899 107 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3590.21 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 50629 0 0 0 359000 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 2001 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=16508 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB

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

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

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

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

[startup+3602.7 s]
/proc/loadavg: 3.14 3.89 4.03 2/266 158493
/proc/meminfo: memFree=88305176/131249988 swapFree=33010160/33010684
[pid=158178] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3600.06 cores=0,2
/proc/158178/stat : 158178 (java) S 158175 158178 157157 0 -1 4194304 104604 0 0 0 359899 107 0 0 20 0 20 0 237416342 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
/proc/158178/statm: 4765878 542855 5534 1 0 557674 0
[pid=158178/tid=158180] ppid=158175 vsize=19063512 memory=2171420 CPUtime=3590.21 cores=0,2
/proc/158178/task/158180/stat : 158180 (java) R 158175 158178 157157 0 -1 4194368 50629 0 0 0 359000 21 0 0 20 0 20 0 237416343 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158189] ppid=158175 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/158178/task/158189/stat : 158189 (Finalizer) S 158175 158178 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158196] ppid=158175 vsize=19063512 memory=2171420 CPUtime=0 cores=0,2
/proc/158178/task/158196/stat : 158196 (Common-Cleaner) S 158175 158178 157157 0 -1 4194368 2001 0 0 0 0 0 0 0 20 0 20 0 237416345 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
[pid=158178/tid=158197] ppid=158175 vsize=19063512 memory=16508 CPUtime=0 cores=0,2
/proc/158178/task/158197/stat : 158197 (Timer-0) S 158175 158178 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237416358 19521036288 542855 18446744073709551615 94107437203456 94107437207152 140728852562496 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94107437214968 94107437215760 94107451174912 140728852564351 140728852564452 140728852564452 140728852570056 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171420 KiB

Child status: 143

Real time (s): 3602.8
CPU time (s): 3600.2
CPU user time (s): 3599.12
CPU system time (s): 1.08316
CPU usage (%): 99.928
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2171420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 1.08316
maximum resident set size= 2172444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104180
involuntary context switches= 6048


# summary of solver processes directly reported to runsolver:
#   pid: 158178
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 1.08316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50858 second user time and 16.3597 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-22 22:49:48
IDJOB=4542822
IDBENCH=164731
IDSOLVER=3363
FILE ID=nodeC020/4542822-1753217388
RUNJOBID= nodeC020-1753210180-157167
SLURM_JOB_ID= 9687784
Free space on /tmp= 432892 MiB

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

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

MD5SUM BENCH= d64fc744c65ccc2a81826d21c62acb02
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.184
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.889
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		: 3599.970
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		: 3600.319
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		: 3599.897
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.899
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		: 3594.680
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		: 3700.000
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:        89894260 kB
MemAvailable:   129120672 kB
Buffers:            2128 kB
Cached:         39983576 kB
SwapCached:            4 kB
Active:          1503228 kB
Inactive:       39129356 kB
Active(anon):     648596 kB
Inactive(anon):    24536 kB
Active(file):     854632 kB
Inactive(file): 39104820 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1888 kB
Writeback:             0 kB
AnonPages:        649580 kB
Mapped:           128544 kB
Shmem:             26244 kB
KReclaimable:     212396 kB
Slab:             308728 kB
SReclaimable:     212396 kB
SUnreclaim:        96332 kB
KernelStack:        5248 kB
PageTables:         4924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7079788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 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= 432892 MiB
End job on nodeC020 at 2025-07-22 23:49:51