Trace number 4542823

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.27 3576.14

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.08/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.20	c See www.sat4j.org for details.
0.08/0.21	c version PB25.v20250606
0.25/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.24	c java.vm.version	22.0.1+8-16
0.25/0.24	c java.vm.vendor	Oracle Corporation
0.25/0.24	c sun.arch.data.model	64
0.25/0.24	c java.version		22.0.1
0.25/0.24	c os.name		Linux
0.25/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.24	c os.arch		amd64
0.25/0.25	c Free memory 		2104792832
0.25/0.25	c Max memory 		16282288128
0.25/0.25	c Total memory 		2113929216
0.25/0.26	c Number of processors 	2
0.40/0.39	c Pseudo Boolean Optimization by upper bound
0.40/0.39	c --- Begin Solver configuration ---
0.40/0.39	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.39	c Learn all clauses as in MiniSAT
0.40/0.39	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.39	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.39	c Expensive reason simplification
0.40/0.39	c Glucose 2.1 dynamic restart strategy
0.40/0.39	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.40/0.39	c timeout=2147483s
0.40/0.39	c DB Simplification allowed=false
0.40/0.39	c Listener: none
0.40/0.39	c --- End Solver configuration ---
0.40/0.39	c solving HOME/instance-4542823-1753222705.opb
0.40/0.39	c reading problem ... 
0.40/0.39	c using VERIPB proof format
0.40/0.40	c  no objective function found
0.57/0.48	c ... done. Wall clock time 0.087s.
0.57/0.48	c declared #vars     421
0.57/0.48	c #constraints  212
0.57/0.48	c constraints type 
0.57/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.57/0.48	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 210
0.57/0.48	c 212 constraints processed.
2.27/1.31	c cleaning 2493 clauses out of 5000 with flag 18317/5000
3.07/1.73	c cleaning 4239 clauses out of 8508 with flag 40423/11001
4.26/2.32	c cleaning 5615 clauses out of 11268 with flag 75505/18000
4.65/2.59	c cleaning 6822 clauses out of 13653 with flag 105288/26000
5.66/3.08	c cleaning 7910 clauses out of 15831 with flag 136951/35000
6.44/3.41	c cleaning 8952 clauses out of 17922 with flag 174685/45001
7.42/3.90	c cleaning 9971 clauses out of 19969 with flag 227955/56000
7.91/4.34	c cleaning 10978 clauses out of 21998 with flag 286155/68000
8.21/4.65	c cleaning 12000 clauses out of 24021 with flag 332783/81001
8.73/5.16	c cleaning 12988 clauses out of 26021 with flag 399826/95001
9.42/5.83	c cleaning 13984 clauses out of 28032 with flag 466415/110000
10.22/6.65	c cleaning 14996 clauses out of 30048 with flag 541797/126000
11.21/7.58	c cleaning 15994 clauses out of 32052 with flag 622513/143000
12.37/8.63	c cleaning 17001 clauses out of 34058 with flag 711948/161000
13.57/9.83	c cleaning 18004 clauses out of 36059 with flag 810496/180002
14.96/11.25	c cleaning 18997 clauses out of 38053 with flag 924763/200000
15.57/11.88	c cleaning 20010 clauses out of 40057 with flag 1003696/221001
16.15/12.47	c cleaning 20999 clauses out of 42046 with flag 1086954/243000
16.80/13.10	c cleaning 21997 clauses out of 44047 with flag 1171206/266000
17.39/13.69	c cleaning 23026 clauses out of 46051 with flag 1258036/290001
18.08/14.34	c cleaning 23999 clauses out of 48024 with flag 1344960/315000
18.89/15.17	c cleaning 24988 clauses out of 50026 with flag 1447619/341001
19.81/16.09	c cleaning 25998 clauses out of 52038 with flag 1548397/368001
20.60/16.89	c cleaning 26991 clauses out of 54039 with flag 1652648/396000
21.40/17.66	c cleaning 27994 clauses out of 56050 with flag 1754560/425002
22.31/18.58	c cleaning 29003 clauses out of 58055 with flag 1863068/455001
23.31/19.56	c cleaning 30009 clauses out of 60051 with flag 1984212/486000
24.31/20.57	c cleaning 31005 clauses out of 62043 with flag 2110660/518001
25.31/21.57	c cleaning 31992 clauses out of 64037 with flag 2240619/551000
26.30/22.53	c cleaning 33007 clauses out of 66045 with flag 2360808/585000
27.30/23.57	c cleaning 33988 clauses out of 68038 with flag 2489520/620000
28.30/24.60	c cleaning 34996 clauses out of 70050 with flag 2622099/656000
29.39/25.68	c cleaning 35996 clauses out of 72054 with flag 2757137/693000
30.69/26.90	c cleaning 36991 clauses out of 74059 with flag 2896211/731001
31.90/28.14	c cleaning 38015 clauses out of 76068 with flag 3040953/770001
33.29/29.57	c cleaning 39010 clauses out of 78053 with flag 3204845/810001
34.69/30.92	c cleaning 40007 clauses out of 80042 with flag 3363949/851000
36.18/32.45	c cleaning 41007 clauses out of 82035 with flag 3521200/893000
37.79/34.10	c cleaning 41999 clauses out of 84028 with flag 3685204/936000
39.17/35.47	c cleaning 42991 clauses out of 86029 with flag 3849397/980000
40.79/37.08	c cleaning 44002 clauses out of 88038 with flag 4022678/1025000
42.56/38.89	c cleaning 44991 clauses out of 90038 with flag 4211675/1071002
44.26/40.53	c cleaning 46009 clauses out of 92045 with flag 4384242/1118000
45.96/42.23	c cleaning 47000 clauses out of 94038 with flag 4568618/1166002
47.76/44.06	c cleaning 48019 clauses out of 96038 with flag 4767049/1215002
49.65/45.91	c cleaning 48988 clauses out of 98017 with flag 4966652/1265000
51.75/48.07	c cleaning 49993 clauses out of 100029 with flag 5197384/1316000
53.64/49.94	c cleaning 50990 clauses out of 102036 with flag 5397464/1368000
55.43/51.76	c cleaning 52010 clauses out of 104048 with flag 5597714/1421002
57.23/53.58	c cleaning 53003 clauses out of 106036 with flag 5795050/1475000
59.33/55.62	c cleaning 54001 clauses out of 108033 with flag 5996914/1530000
61.32/57.65	c cleaning 54996 clauses out of 110032 with flag 6204867/1586000
63.61/59.94	c cleaning 55995 clauses out of 112036 with flag 6428407/1643000
65.83/62.11	c cleaning 56998 clauses out of 114041 with flag 6648729/1701000
68.31/64.69	c cleaning 57997 clauses out of 116044 with flag 6882522/1760001
70.70/67.09	c cleaning 59008 clauses out of 118046 with flag 7115509/1820000
73.09/69.49	c cleaning 60006 clauses out of 120040 with flag 7352272/1881002
75.48/71.89	c cleaning 61010 clauses out of 122033 with flag 7600744/1943001
77.88/74.22	c cleaning 61992 clauses out of 124023 with flag 7836672/2006001
81.26/77.65	c cleaning 63006 clauses out of 126030 with flag 8133246/2070000
84.06/80.44	c cleaning 63992 clauses out of 128025 with flag 8401069/2135001
86.66/83.08	c cleaning 65006 clauses out of 130033 with flag 8653478/2201001
89.66/86.04	c cleaning 65994 clauses out of 132026 with flag 8927388/2268000
92.44/88.84	c cleaning 66999 clauses out of 134032 with flag 9195876/2336000
96.01/92.44	c cleaning 68001 clauses out of 136034 with flag 9504879/2405001
99.31/95.71	c cleaning 68994 clauses out of 138032 with flag 9792179/2475000
102.20/98.65	c cleaning 69994 clauses out of 140038 with flag 10056261/2546000
105.20/101.64	c cleaning 71006 clauses out of 142044 with flag 10326455/2618000
108.98/105.49	c cleaning 71995 clauses out of 144038 with flag 10638977/2691000
112.47/108.94	c cleaning 73002 clauses out of 146044 with flag 10953954/2765001
116.08/112.52	c cleaning 73997 clauses out of 148041 with flag 11246917/2840000
119.17/115.60	c cleaning 75015 clauses out of 150045 with flag 11548033/2916001
124.26/120.79	c cleaning 75980 clauses out of 152029 with flag 11896595/2993000
127.75/124.21	c cleaning 77025 clauses out of 154049 with flag 12201813/3071000
131.35/127.80	c cleaning 77998 clauses out of 156026 with flag 12491493/3150002
135.05/131.52	c cleaning 78998 clauses out of 158026 with flag 12804771/3230000
141.47/137.90	c cleaning 79998 clauses out of 160028 with flag 13209600/3311000
146.58/143.03	c cleaning 80993 clauses out of 162030 with flag 13599344/3393000
150.67/147.11	c cleaning 82002 clauses out of 164037 with flag 13907398/3476000
154.56/151.09	c cleaning 82989 clauses out of 166035 with flag 14227102/3560000
163.65/160.14	c cleaning 84003 clauses out of 168047 with flag 14676747/3645001
172.45/168.96	c cleaning 85000 clauses out of 170044 with flag 15177460/3731001
181.65/178.15	c cleaning 85999 clauses out of 172044 with flag 15683917/3818001
186.78/183.24	c cleaning 87007 clauses out of 174045 with flag 16078463/3906001
192.20/188.68	c cleaning 87992 clauses out of 176037 with flag 16432473/3995000
198.46/194.86	c cleaning 89000 clauses out of 178046 with flag 16790608/4085001
203.44/199.86	c cleaning 90001 clauses out of 180045 with flag 17179208/4176000
210.24/206.63	c cleaning 91002 clauses out of 182044 with flag 17586983/4268000
216.21/211.93	c cleaning 91991 clauses out of 184044 with flag 17975863/4361002
221.33/217.04	c cleaning 93005 clauses out of 186051 with flag 18348023/4455000
226.90/222.61	c cleaning 94000 clauses out of 188047 with flag 18772632/4550001
232.83/228.54	c cleaning 95013 clauses out of 190046 with flag 19183340/4646000
239.86/235.54	c cleaning 95990 clauses out of 192035 with flag 19588303/4743002
246.65/242.38	c cleaning 97003 clauses out of 194043 with flag 20045785/4841000
253.01/248.66	c cleaning 98013 clauses out of 196042 with flag 20471112/4940002
258.63/254.23	c cleaning 99002 clauses out of 198029 with flag 20882147/5040002
264.72/260.25	c cleaning 99991 clauses out of 200027 with flag 21297022/5141002
271.71/267.18	c cleaning 100992 clauses out of 202038 with flag 21790189/5243004
277.48/273.00	c cleaning 102008 clauses out of 204043 with flag 22221282/5346001
283.12/278.59	c cleaning 102995 clauses out of 206034 with flag 22616004/5450000
289.19/284.52	c cleaning 104009 clauses out of 208041 with flag 23034777/5555002
294.93/290.20	c cleaning 105001 clauses out of 210030 with flag 23456229/5661000
302.00/296.54	c cleaning 105996 clauses out of 212030 with flag 23910742/5768001
307.96/302.45	c cleaning 106996 clauses out of 214033 with flag 24333681/5876000
314.62/309.03	c cleaning 108004 clauses out of 216039 with flag 24803471/5985002
321.37/315.79	c cleaning 109003 clauses out of 218034 with flag 25257140/6095001
328.75/323.09	c cleaning 110004 clauses out of 220030 with flag 25735032/6206000
335.53/329.86	c cleaning 110993 clauses out of 222029 with flag 26193403/6318003
342.89/337.11	c cleaning 111995 clauses out of 224033 with flag 26663739/6431000
349.73/343.98	c cleaning 112990 clauses out of 226039 with flag 27135715/6545001
357.91/352.10	c cleaning 114012 clauses out of 228048 with flag 27600729/6660000
365.08/359.13	c cleaning 114987 clauses out of 230036 with flag 28071151/6776000
372.25/366.33	c cleaning 115999 clauses out of 232051 with flag 28562813/6893002
379.48/373.53	c cleaning 117000 clauses out of 234050 with flag 29063185/7011000
386.43/380.47	c cleaning 118009 clauses out of 236050 with flag 29537530/7130000
393.77/387.76	c cleaning 119007 clauses out of 238044 with flag 30021437/7250003
401.39/395.37	c cleaning 120001 clauses out of 240034 with flag 30512095/7371000
410.43/404.32	c cleaning 120998 clauses out of 242033 with flag 31021376/7493000
425.87/419.79	c cleaning 121997 clauses out of 244038 with flag 31728606/7616003
435.15/428.95	c cleaning 122991 clauses out of 246038 with flag 32290468/7740000
442.82/436.54	c cleaning 123997 clauses out of 248048 with flag 32796945/7865001
451.50/445.24	c cleaning 125001 clauses out of 250050 with flag 33312701/7991000
459.53/453.27	c cleaning 126009 clauses out of 252051 with flag 33815278/8118002
478.73/472.47	c cleaning 127002 clauses out of 254040 with flag 34637331/8246000
495.77/489.44	c cleaning 127996 clauses out of 256038 with flag 35569320/8375000
505.93/499.56	c cleaning 128999 clauses out of 258044 with flag 36155174/8505002
517.13/510.76	c cleaning 129991 clauses out of 260044 with flag 36799482/8636001
526.93/520.53	c cleaning 131003 clauses out of 262052 with flag 37361882/8768000
535.39/528.97	c cleaning 132008 clauses out of 264049 with flag 37912698/8901000
544.84/538.33	c cleaning 133000 clauses out of 266041 with flag 38486356/9035000
553.71/547.15	c cleaning 133999 clauses out of 268042 with flag 39035684/9170001
564.31/556.90	c cleaning 135006 clauses out of 270042 with flag 39623844/9306000
573.36/565.91	c cleaning 136001 clauses out of 272037 with flag 40191233/9443001
583.58/576.13	c cleaning 136999 clauses out of 274035 with flag 40798070/9581000
594.00/586.55	c cleaning 137997 clauses out of 276036 with flag 41367798/9720000
603.81/596.33	c cleaning 139003 clauses out of 278039 with flag 41947711/9860000
613.52/606.04	c cleaning 139994 clauses out of 280036 with flag 42538326/10001000
623.75/616.24	c cleaning 140988 clauses out of 282042 with flag 43133512/10143000
634.69/627.12	c cleaning 142021 clauses out of 284054 with flag 43717548/10286000
645.91/638.30	c cleaning 142981 clauses out of 286034 with flag 44303955/10430001
655.75/648.19	c cleaning 144002 clauses out of 288052 with flag 44883394/10575000
666.95/659.31	c cleaning 144996 clauses out of 290051 with flag 45527385/10721001
677.05/669.40	c cleaning 146008 clauses out of 292056 with flag 46111370/10868002
687.21/679.47	c cleaning 146993 clauses out of 294046 with flag 46678446/11016000
697.15/689.34	c cleaning 148008 clauses out of 296055 with flag 47272811/11165002
707.68/699.83	c cleaning 149011 clauses out of 298047 with flag 47864486/11315002
717.98/710.16	c cleaning 150000 clauses out of 300034 with flag 48497472/11466000
728.55/720.79	c cleaning 151001 clauses out of 302034 with flag 49123625/11618000
742.30/734.16	c cleaning 151986 clauses out of 304033 with flag 49839206/11771000
753.55/745.32	c cleaning 153003 clauses out of 306047 with flag 50458699/11925000
764.89/756.68	c cleaning 153995 clauses out of 308044 with flag 51087898/12080000
775.92/767.65	c cleaning 155003 clauses out of 310050 with flag 51724493/12236001
796.10/787.71	c cleaning 156003 clauses out of 312047 with flag 52622742/12393001
807.49/799.10	c cleaning 156993 clauses out of 314043 with flag 53262651/12551000
818.89/810.42	c cleaning 157997 clauses out of 316052 with flag 53911460/12710002
830.66/822.12	c cleaning 158997 clauses out of 318053 with flag 54552996/12870000
842.36/833.85	c cleaning 160003 clauses out of 320056 with flag 55194646/13031000
853.89/845.32	c cleaning 161005 clauses out of 322054 with flag 55825103/13193001
865.01/856.49	c cleaning 162006 clauses out of 324048 with flag 56461284/13356000
876.39/867.84	c cleaning 162993 clauses out of 326043 with flag 57110720/13520001
889.63/881.02	c cleaning 164003 clauses out of 328049 with flag 57798513/13685000
902.89/894.33	c cleaning 165012 clauses out of 330047 with flag 58530566/13851001
915.89/907.28	c cleaning 166001 clauses out of 332034 with flag 59203555/14018000
928.72/920.05	c cleaning 166997 clauses out of 334034 with flag 59928503/14186001
942.56/933.78	c cleaning 167989 clauses out of 336036 with flag 60616350/14355000
955.38/946.59	c cleaning 169010 clauses out of 338047 with flag 61318217/14525000
971.96/963.15	c cleaning 169997 clauses out of 340040 with flag 62207864/14696003
987.60/978.75	c cleaning 171001 clauses out of 342042 with flag 62899224/14868002
1000.94/992.10	c cleaning 172002 clauses out of 344041 with flag 63602754/15041002
1015.55/1006.63	c cleaning 172990 clauses out of 346038 with flag 64353966/15215001
1029.67/1020.73	c cleaning 174009 clauses out of 348047 with flag 65064366/15390000
1043.74/1034.81	c cleaning 175012 clauses out of 350040 with flag 65775970/15566002
1057.75/1048.85	c cleaning 176001 clauses out of 352027 with flag 66502027/15743001
1072.77/1063.88	c cleaning 176979 clauses out of 354025 with flag 67271789/15921000
1087.13/1078.19	c cleaning 178007 clauses out of 356047 with flag 68022752/16100001
1100.73/1091.80	c cleaning 179001 clauses out of 358040 with flag 68725048/16280001
1114.64/1105.68	c cleaning 179996 clauses out of 360038 with flag 69495845/16461000
1128.73/1119.77	c cleaning 180995 clauses out of 362042 with flag 70219713/16643000
1145.62/1136.62	c cleaning 182006 clauses out of 364049 with flag 71022232/16826002
1160.12/1151.17	c cleaning 182991 clauses out of 366041 with flag 71762637/17010000
1175.49/1166.58	c cleaning 184003 clauses out of 368050 with flag 72535182/17195000
1192.14/1183.02	c cleaning 185003 clauses out of 370047 with flag 73295432/17381000
1207.45/1198.38	c cleaning 186009 clauses out of 372045 with flag 74081989/17568001
1224.93/1215.81	c cleaning 186994 clauses out of 374035 with flag 74933329/17756000
1247.41/1238.29	c cleaning 188007 clauses out of 376042 with flag 75866833/17945001
1263.78/1254.55	c cleaning 189002 clauses out of 378040 with flag 76669655/18135006
1279.19/1269.91	c cleaning 189983 clauses out of 380033 with flag 77430755/18326001
1297.20/1287.95	c cleaning 191009 clauses out of 382050 with flag 78311825/18518001
1313.77/1304.49	c cleaning 191995 clauses out of 384040 with flag 79141903/18711000
1330.65/1321.20	c cleaning 192999 clauses out of 386046 with flag 79971824/18905001
1349.04/1339.62	c cleaning 194007 clauses out of 388047 with flag 80816745/19100001
1366.49/1357.05	c cleaning 194991 clauses out of 390039 with flag 81666593/19296000
1382.52/1373.06	c cleaning 196004 clauses out of 392049 with flag 82465965/19493001
1400.60/1391.12	c cleaning 197006 clauses out of 394045 with flag 83304436/19691001
1417.45/1407.94	c cleaning 197995 clauses out of 396039 with flag 84111360/19890001
1433.99/1424.44	c cleaning 198994 clauses out of 398043 with flag 84906399/20090000
1451.11/1441.59	c cleaning 200001 clauses out of 400049 with flag 85771207/20291000
1468.17/1458.66	c cleaning 201008 clauses out of 402048 with flag 86603392/20493000
1487.89/1478.33	c cleaning 202001 clauses out of 404041 with flag 87460331/20696001
1506.08/1496.58	c cleaning 203002 clauses out of 406039 with flag 88345648/20900000
1525.10/1515.52	c cleaning 204009 clauses out of 408037 with flag 89295010/21105000
1543.23/1533.69	c cleaning 204999 clauses out of 410030 with flag 90169506/21311002
1562.40/1552.79	c cleaning 205994 clauses out of 412030 with flag 91099140/21518001
1580.02/1570.32	c cleaning 206999 clauses out of 414035 with flag 91972098/21726000
1599.05/1589.38	c cleaning 207994 clauses out of 416036 with flag 92815333/21935000
1616.87/1607.19	c cleaning 209003 clauses out of 418042 with flag 93660759/22145000
1636.55/1626.80	c cleaning 209998 clauses out of 420040 with flag 94551056/22356001
1658.21/1648.45	c cleaning 211009 clauses out of 422041 with flag 95535349/22568000
1677.74/1667.99	c cleaning 211994 clauses out of 424034 with flag 96483787/22781002
1696.93/1687.03	c cleaning 212997 clauses out of 426038 with flag 97411299/22995000
1716.73/1706.77	c cleaning 214005 clauses out of 428042 with flag 98352142/23210001
1735.63/1725.64	c cleaning 214987 clauses out of 430036 with flag 99253534/23426000
1757.07/1747.07	c cleaning 216002 clauses out of 432049 with flag 100226599/23643000
1777.45/1767.38	c cleaning 217005 clauses out of 434047 with flag 101174730/23861000
1797.85/1787.60	c cleaning 218001 clauses out of 436042 with flag 102060490/24080000
1817.04/1806.87	c cleaning 218997 clauses out of 438042 with flag 102973928/24300001
1836.12/1825.98	c cleaning 220002 clauses out of 440044 with flag 103873247/24521000
1855.24/1845.04	c cleaning 221008 clauses out of 442045 with flag 104762748/24743003
1879.39/1869.13	c cleaning 221994 clauses out of 444034 with flag 105754309/24966000
1899.78/1889.48	c cleaning 223006 clauses out of 446043 with flag 106689264/25190003
1919.86/1909.56	c cleaning 223994 clauses out of 448035 with flag 107593704/25415001
1940.42/1930.08	c cleaning 224986 clauses out of 450040 with flag 108520078/25641000
1962.31/1952.00	c cleaning 226001 clauses out of 452055 with flag 109489946/25868001
1984.12/1973.77	c cleaning 226997 clauses out of 454053 with flag 110442025/26096000
2007.49/1997.12	c cleaning 228003 clauses out of 456056 with flag 111474141/26325000
2030.19/2019.80	c cleaning 229006 clauses out of 458053 with flag 112480455/26555000
2053.21/2042.88	c cleaning 229998 clauses out of 460047 with flag 113515626/26786000
2075.74/2064.97	c cleaning 231011 clauses out of 462049 with flag 114515022/27018000
2098.71/2087.82	c cleaning 231998 clauses out of 464039 with flag 115485931/27251001
2123.54/2112.64	c cleaning 232997 clauses out of 466040 with flag 116533740/27485000
2145.97/2135.04	c cleaning 234003 clauses out of 468045 with flag 117519696/27720002
2176.31/2165.41	c cleaning 234997 clauses out of 470040 with flag 118711178/27956000
2203.61/2192.65	c cleaning 236000 clauses out of 472044 with flag 119777004/28193001
2227.51/2216.51	c cleaning 237015 clauses out of 474043 with flag 120824645/28431000
2255.47/2244.41	c cleaning 237973 clauses out of 476028 with flag 122072615/28670000
2280.25/2269.21	c cleaning 239015 clauses out of 478055 with flag 123111120/28910000
2306.33/2295.32	c cleaning 240005 clauses out of 480040 with flag 124128775/29151000
2333.42/2322.35	c cleaning 240997 clauses out of 482036 with flag 125171529/29393001
2359.40/2348.38	c cleaning 241997 clauses out of 484039 with flag 126256066/29636001
2384.38/2373.33	c cleaning 242994 clauses out of 486041 with flag 127326472/29880000
2408.59/2397.54	c cleaning 243991 clauses out of 488047 with flag 128348921/30125000
2433.06/2422.04	c cleaning 245000 clauses out of 490058 with flag 129395885/30371002
2459.26/2448.21	c cleaning 246013 clauses out of 492056 with flag 130506680/30618000
2483.44/2472.46	c cleaning 246987 clauses out of 494043 with flag 131565766/30866000
2515.35/2504.33	c cleaning 248012 clauses out of 496057 with flag 132724599/31115001
2541.10/2529.96	c cleaning 249002 clauses out of 498044 with flag 133741954/31365000
2567.58/2556.46	c cleaning 249995 clauses out of 500046 with flag 134777633/31616004
2595.15/2584.10	c cleaning 251012 clauses out of 502048 with flag 135870949/31868001
2621.81/2610.75	c cleaning 252007 clauses out of 504035 with flag 136952230/32121000
2648.49/2637.30	c cleaning 252985 clauses out of 506028 with flag 138012282/32375000
2673.75/2662.59	c cleaning 254006 clauses out of 508044 with flag 139053676/32630001
2699.52/2688.24	c cleaning 254990 clauses out of 510038 with flag 140135342/32886001
2725.03/2713.71	c cleaning 256010 clauses out of 512048 with flag 141188944/33143001
2753.17/2741.86	c cleaning 256986 clauses out of 514038 with flag 142278860/33401001
2779.81/2768.18	c cleaning 258005 clauses out of 516053 with flag 143351129/33660002
2806.99/2795.33	c cleaning 259006 clauses out of 518048 with flag 144419360/33920002
2833.00/2821.35	c cleaning 260001 clauses out of 520040 with flag 145505728/34181000
2860.14/2848.43	c cleaning 261004 clauses out of 522039 with flag 146609254/34443000
2889.36/2877.29	c cleaning 261996 clauses out of 524035 with flag 147707581/34706000
2918.99/2906.16	c cleaning 263005 clauses out of 526039 with flag 148821547/34970000
2952.06/2938.67	c cleaning 263994 clauses out of 528036 with flag 150099850/35235002
3003.53/2989.94	c cleaning 265001 clauses out of 530042 with flag 151653443/35501002
3035.69/3021.56	c cleaning 266003 clauses out of 532040 with flag 152748246/35768001
3064.92/3050.53	c cleaning 266989 clauses out of 534037 with flag 153873651/36036001
3096.48/3081.25	c cleaning 268006 clauses out of 536047 with flag 155010835/36305000
3126.92/3111.12	c cleaning 269006 clauses out of 538043 with flag 156159523/36575002
3159.41/3142.73	c cleaning 270008 clauses out of 540035 with flag 157333595/36846000
3190.95/3173.62	c cleaning 270994 clauses out of 542027 with flag 158584001/37118000
3222.13/3204.56	c cleaning 271991 clauses out of 544034 with flag 159704123/37391001
3254.65/3236.17	c cleaning 272998 clauses out of 546043 with flag 160868519/37665001
3288.16/3268.81	c cleaning 274007 clauses out of 548044 with flag 162116224/37940000
3318.49/3299.15	c cleaning 274999 clauses out of 550037 with flag 163244559/38216000
3352.02/3331.69	c cleaning 276002 clauses out of 552039 with flag 164417598/38493001
3384.71/3364.03	c cleaning 277003 clauses out of 554039 with flag 165546302/38771003
3416.63/3395.62	c cleaning 277990 clauses out of 556034 with flag 166725819/39050001
3450.97/3428.99	c cleaning 279009 clauses out of 558043 with flag 167944696/39330000
3489.59/3467.37	c cleaning 280009 clauses out of 560035 with flag 169271705/39611001
3523.08/3500.24	c cleaning 280991 clauses out of 562025 with flag 170464116/39893000
3554.86/3531.75	c cleaning 281999 clauses out of 564034 with flag 171703093/40176000
3587.55/3563.76	c cleaning 283009 clauses out of 566036 with flag 173010063/40460001
3600.05/3576.03	c timeout
3600.05/3576.04	c starts		: 39418
3600.05/3576.05	c conflicts		: 40575630
3600.05/3576.05	c decisions		: 55217177
3600.05/3576.05	c propagations		: 493622918
3600.05/3576.05	c inspects		: 51684096883
3600.05/3576.05	c shortcuts		: 0
3600.05/3576.05	c learnt literals	: 0
3600.05/3576.05	c learnt binary clauses	: 0
3600.05/3576.05	c learnt ternary clauses	: 0
3600.05/3576.05	c learnt constraints	: 40575630
3600.05/3576.05	c ignored constraints	: 0
3600.05/3576.05	c root simplifications	: 0
3600.05/3576.05	c removed literals (reason simplification)	: 23658045
3600.05/3576.05	c reason swapping (by a shorter reason)	: 0
3600.05/3576.05	c Calls to reduceDB	: 280
3600.05/3576.05	c Number of update (reduction) of LBD	: 11117188
3600.05/3576.05	c Imported unit clauses	: 0
3600.05/3576.05	c No decision after first conflict	: false
3600.05/3576.05	c number of reductions to clauses (during analyze)	: 0
3600.05/3576.05	c number of learned constraints concerned by reduction	: 0
3600.05/3576.05	c number of learning phase by resolution	: 0
3600.05/3576.05	c number of learning phase by cutting planes	: 0
3600.05/3576.05	c number of rounding to 1 operations	: 0
3600.05/3576.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3576.05	c number of reductions of the coefficients by power 2 	: 0
3600.05/3576.05	c number of right shift for reduction by power 2 	: 0
3600.05/3576.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3576.05	c number of ending skipping 	: 0
3600.05/3576.05	c number of internal skipping 	: 0
3600.05/3576.05	c number of derivation steps 	: 0
3600.05/3576.05	c number of skipped derivation steps 	: 0
3600.05/3576.05	c number of remaining unassigned 	: 0
3600.05/3576.05	c number of remaining assigned 	: 0
3600.05/3576.05	c number of falsified literals weakened from reason	: 0
3600.05/3576.05	c number of falsified literals weakened from conflict	: 0
3600.05/3576.05	c time for arithmetic operations	: 0
3600.05/3576.05	c minimum degree of deleted constraints	: null
3600.05/3576.05	c maximum degree of deleted constraints	: null
3600.05/3576.05	c number of deleted constraints	: 0
3600.05/3576.05	c speed (assignments/second)	: 138054.48368174437
3600.05/3576.05	c non guided choices	: 1664674
3600.23/3576.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 398656
3600.23/3576.12	s UNKNOWN
3600.23/3576.13	c Total wall clock time (in seconds): 3575.737

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62690 MiB free)
  memory of node 1: 64507 MiB (63151 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100139 s]*
/proc/loadavg: 1.13 1.16 1.94 15/319 159121
/proc/meminfo: memFree=128808696/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=18930344 memory=45328 CPUtime=0.08 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 5345 0 112 0 4 4 0 0 20 0 18 0 237950316 19384672256 11332 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4732586 11332 4893 1 0 546685 0
[pid=159053/tid=159057] ppid=159038 vsize=18930344 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 4487 0 92 0 3 2 0 0 20 0 18 0 237950320 19384672256 11332 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=18930344 memory=228522721619 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237950325 19384672256 11332 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=18930344 memory=59593594258114 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384672256 11332 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45328 KiB

[startup+0.216065 s]*
/proc/loadavg: 1.13 1.16 1.94 13/320 159122
/proc/meminfo: memFree=128798868/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=18930384 memory=51680 CPUtime=0.25 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 6030 0 112 0 20 5 0 0 20 0 18 0 237950316 19384713216 12920 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4732596 12920 5309 1 0 547214 0
[pid=159053/tid=159057] ppid=159038 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 4891 0 92 0 13 3 0 0 20 0 18 0 237950320 19384713216 12920 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 12920 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 12920 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51680 KiB

[startup+0.313484 s]*
/proc/loadavg: 1.13 1.16 1.94 13/320 159122
/proc/meminfo: memFree=128777760/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=18930384 memory=57704 CPUtime=0.4 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 6549 0 112 0 34 6 0 0 20 0 18 0 237950316 19384713216 14426 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4732596 14426 5309 1 0 547669 0
[pid=159053/tid=159057] ppid=159038 vsize=18930384 memory=-8600303413619368636 CPUtime=0.24 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 5051 0 92 0 21 3 0 0 20 0 18 0 237950320 19384713216 14426 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 14426 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 14426 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57704 KiB

[startup+0.701259 s]
/proc/loadavg: 1.13 1.16 1.94 14/322 159124
/proc/meminfo: memFree=128759108/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=18996948 memory=71216 CPUtime=1.09 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 8487 0 112 0 102 7 0 0 20 0 19 0 237950316 19452874752 17804 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4749237 17804 5437 1 0 548915 0
[pid=159053/tid=159057] ppid=159038 vsize=18996948 memory=26880 CPUtime=0.55 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 5296 0 92 0 51 4 0 0 20 0 19 0 237950320 19452874752 17804 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237950325 19452874752 17804 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950326 19452874752 17804 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237950365 19452874752 17804 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71216 KiB

[startup+1.50357 s]
/proc/loadavg: 1.13 1.16 1.94 11/324 159126
/proc/meminfo: memFree=128621240/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=169692 CPUtime=2.68 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 19560 0 112 0 253 15 0 0 20 0 20 0 237950316 19521036288 42423 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 42423 5469 1 0 552480 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=0 CPUtime=1.25 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 6340 0 92 0 117 8 0 0 20 0 20 0 237950320 19521036288 42423 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 42423 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 42423 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 42423 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169692 KiB

[startup+3.10526 s]
/proc/loadavg: 1.68 1.27 1.97 10/328 159130
/proc/meminfo: memFree=128265776/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=179092 CPUtime=5.86 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 24712 0 112 0 568 18 0 0 20 0 20 0 237950316 19521036288 44773 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 44773 5469 1 0 554145 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=10624 CPUtime=2.82 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 6928 0 92 0 272 10 0 0 20 0 20 0 237950320 19521036288 44773 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=-8600303413619368636 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 44773 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 44773 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 44773 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179092 KiB

[startup+6.3004 s]
/proc/loadavg: 1.68 1.27 1.97 8/328 159130
/proc/meminfo: memFree=126550232/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=600108 CPUtime=9.92 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 25369 0 112 0 963 29 0 0 20 0 20 0 237950316 19521036288 150027 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 150027 5469 1 0 554164 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=0 CPUtime=5.98 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 7374 0 92 0 577 21 0 0 20 0 20 0 237950320 19521036288 150027 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 150027 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 150027 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=169820 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 150027 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600108 KiB

[startup+12.7004 s]
/proc/loadavg: 1.87 1.32 1.98 8/328 159130
/proc/meminfo: memFree=124693912/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=847988 CPUtime=16.47 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 28828 0 112 0 1608 39 0 0 20 0 20 0 237950316 19521036288 211997 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 211997 5469 1 0 554164 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=169820 CPUtime=12.27 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 8382 0 92 0 1197 30 0 0 20 0 20 0 237950320 19521036288 211997 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=729160 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 211997 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=649288 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 211997 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=647240 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 211997 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 16.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 847988 KiB

[startup+25.5004 s]
/proc/loadavg: 2.41 1.47 2.02 8/328 159130
/proc/meminfo: memFree=123323824/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=1315108 CPUtime=29.29 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 32259 0 112 0 2867 62 0 0 20 0 20 0 237950316 19521036288 328777 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 328777 5501 1 0 554164 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=917620 CPUtime=24.96 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 9700 0 92 0 2444 52 0 0 20 0 20 0 237950320 19521036288 328777 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=1313060 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 328777 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 328777 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=981268 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 328777 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 29.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315108 KiB

[startup+51.1131 s]
/proc/loadavg: 3.14 1.72 2.09 8/328 159131
/proc/meminfo: memFree=122589160/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=1333556 CPUtime=54.85 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 34896 0 112 0 5398 87 0 0 20 0 20 0 237950316 19521036288 333389 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 333389 5501 1 0 554164 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=981268 CPUtime=50.17 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 10939 0 92 0 4942 75 0 0 20 0 20 0 237950320 19521036288 333389 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=1331500 CPUtime=0 cores=5,7

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

[startup+3222.3 s]
/proc/loadavg: 4.24 4.26 4.20 8/326 159300
/proc/meminfo: memFree=79158700/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=932236 CPUtime=3240.11 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 132162 0 112 0 322339 1672 0 0 20 0 20 0 237950316 19521036288 233059 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 233059 5533 1 0 243212 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=26880 CPUtime=3177.53 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 50045 0 92 0 316293 1460 0 0 20 0 20 0 237950320 19521036288 233059 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=932136 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 233059 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=1015584 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1383 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 233059 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=932236 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 233059 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3240.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 932236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.27 4.21 8/325 159302
/proc/meminfo: memFree=78239732/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=1171164 CPUtime=3301.64 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 132903 0 112 0 328460 1704 0 0 20 0 20 0 237950316 19521036288 292791 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 292791 5533 1 0 303764 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=990588 CPUtime=3236.15 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 50372 0 92 0 322128 1487 0 0 20 0 20 0 237950320 19521036288 292791 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=990588 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 292791 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1383 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 292791 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=26880 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 292791 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3301.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1171164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.25 4.20 8/326 159305
/proc/meminfo: memFree=77880084/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=1015716 CPUtime=3362.73 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 138100 0 112 0 334542 1731 0 0 20 0 20 0 237950316 19521036288 253929 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 253929 5533 1 0 264092 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=-8600303413619368636 CPUtime=3294.71 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 53672 0 92 0 327963 1508 0 0 20 0 20 0 237950320 19521036288 253929 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=1015716 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 253929 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=1015716 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1383 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 253929 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=1015716 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 253929 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3362.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1015716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.20 8/327 159314
/proc/meminfo: memFree=77395512/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=990644 CPUtime=3423.75 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 139242 0 112 0 340614 1761 0 0 20 0 20 0 237950316 19521036288 247661 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 247661 5533 1 0 257828 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=-8600303413619368636 CPUtime=3353.35 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 53978 0 92 0 333802 1533 0 0 20 0 20 0 237950320 19521036288 247661 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=1099076 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 247661 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=26880 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1414 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 247661 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=1048084 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 247661 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3423.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 990644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.25 4.20 8/328 159317
/proc/meminfo: memFree=76774628/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=1096404 CPUtime=3484.59 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 142433 0 112 0 346666 1793 0 0 20 0 20 0 237950316 19521036288 274101 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 274101 5533 1 0 284972 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=-8600303413619368636 CPUtime=3412.15 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 56943 0 92 0 339655 1560 0 0 20 0 20 0 237950320 19521036288 274101 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=1099076 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 274101 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=932412 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1414 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 274101 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=1053396 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 274101 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3484.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1096404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.28 4.21 8/328 159319
/proc/meminfo: memFree=76116176/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=1098976 CPUtime=3545.42 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 143309 0 112 0 352724 1818 0 0 20 0 20 0 237950316 19521036288 274744 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 274744 5533 1 0 284972 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=26880 CPUtime=3470.91 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 56953 0 92 0 345509 1582 0 0 20 0 20 0 237950320 19521036288 274744 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 274744 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=26880 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1417 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 274744 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 274744 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3545.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1098976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3576 s]*
/proc/loadavg: 4.38 4.28 4.21 5/305 159535
/proc/meminfo: memFree=94733048/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19063512 memory=990616 CPUtime=3600.05 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 143420 0 112 0 358162 1843 0 0 20 0 20 0 237950316 19521036288 247654 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4765878 247654 5533 1 0 257829 0
[pid=159053/tid=159057] ppid=159038 vsize=19063512 memory=-8742719860525277884 CPUtime=3523.67 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) R 159038 159053 158984 0 -1 4194368 56957 0 92 0 350765 1602 0 0 20 0 20 0 237950320 19521036288 247654 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19063512 memory=-9105545499256857276 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 247654 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19063512 memory=2188000 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1417 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 247654 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159124] ppid=159038 vsize=19063512 memory=2612408 CPUtime=0 cores=5,7
/proc/159053/task/159124/stat : 159124 (Timer-0) S 159038 159053 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 247654 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 990616 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.81 s, system=18.4601 s

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

[startup+3576.12 s]
/proc/loadavg: 4.38 4.28 4.21 5/305 159535
/proc/meminfo: memFree=94733048/131382112 swapFree=33010160/33010684
[pid=159053] ppid=159038 vsize=19263204 memory=991256 CPUtime=3600.23 cores=5,7
/proc/159053/stat : 159053 (java) S 159038 159053 158984 0 -1 4194304 144750 0 112 0 358179 1844 0 0 20 0 21 0 237950316 19725520896 247814 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
/proc/159053/statm: 4815801 247814 5533 1 0 258750 0
[pid=159053/tid=159057] ppid=159038 vsize=19263204 memory=26880 CPUtime=3523.69 cores=5,7
/proc/159053/task/159057/stat : 159057 (java) S 159038 159053 158984 0 -1 4194368 57177 0 92 0 350767 1602 0 0 20 0 21 0 237950320 19725520896 247814 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159103] ppid=159038 vsize=19263204 memory=14560 CPUtime=0 cores=5,7
/proc/159053/task/159103/stat : 159103 (Finalizer) S 159038 159053 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237950325 19725520896 247814 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
[pid=159053/tid=159120] ppid=159038 vsize=19263204 memory=1049060 CPUtime=0 cores=5,7
/proc/159053/task/159120/stat : 159120 (Common-Cleaner) S 159038 159053 158984 0 -1 4194368 1417 0 0 0 0 0 0 0 20 0 21 0 237950326 19725520896 247814 18446744073709551615 94600876351488 94600876355184 140722580724672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94600876363000 94600876363792 94600891510784 140722580732244 140722580732388 140722580732388 140722580737992 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 991256 KiB

Child status: 143

Real time (s): 3576.14
CPU time (s): 3600.27
CPU user time (s): 3581.81
CPU system time (s): 18.4601
CPU usage (%): 100.675
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2175032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.81
system time used= 18.4601
maximum resident set size= 2175032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144869
page faults= 112
swaps= 0
block input operations= 0
block output operations= 18716328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125558
involuntary context switches= 11761


# summary of solver processes directly reported to runsolver:
#   pid: 159053
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3581.81
#   total CPU system time (s): 18.4601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9961 second user time and 33.8332 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= d64fc744c65ccc2a81826d21c62acb02
RANDOM SEED=639994482

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

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

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

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

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

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

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

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

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

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


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

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