Trace number 4542979

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
MD5SUMf232403836dcde587a139eecc4d77a9a
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.086058
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables337
Total number of constraints170
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.11/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.10	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.15	c Pseudo Boolean Optimization by upper bound
0.11/0.15	c --- Begin Solver configuration ---
0.11/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.15	c Learn all clauses as in MiniSAT
0.11/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.15	c Expensive reason simplification
0.11/0.15	c Glucose 2.1 dynamic restart strategy
0.11/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.15	c timeout=2147483s
0.11/0.15	c DB Simplification allowed=false
0.11/0.15	c Listener: none
0.11/0.15	c --- End Solver configuration ---
0.11/0.15	c solving HOME/instance-4542979-1753224403.opb
0.11/0.15	c reading problem ... 
0.11/0.15	c using VERIPB proof format
0.11/0.15	c  no objective function found
0.11/0.18	c ... done. Wall clock time 0.029s.
0.11/0.18	c declared #vars     337
0.11/0.18	c #constraints  170
0.11/0.18	c constraints type 
0.11/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.11/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 168
0.11/0.18	c 170 constraints processed.
1.05/0.62	c cleaning 2490 clauses out of 5002 with flag 15445/5002
2.04/1.11	c cleaning 4250 clauses out of 8510 with flag 37128/11000
2.42/1.39	c cleaning 5621 clauses out of 11260 with flag 56623/18000
3.02/1.63	c cleaning 6813 clauses out of 13639 with flag 80781/26000
3.42/1.86	c cleaning 7908 clauses out of 15826 with flag 112817/35000
3.83/2.08	c cleaning 8950 clauses out of 17920 with flag 144214/45002
4.41/2.36	c cleaning 9977 clauses out of 19968 with flag 182270/56000
4.91/2.67	c cleaning 10986 clauses out of 21992 with flag 224977/68001
5.35/3.03	c cleaning 11984 clauses out of 24006 with flag 271318/81001
5.75/3.46	c cleaning 12998 clauses out of 26021 with flag 317108/95000
6.25/3.97	c cleaning 13988 clauses out of 28023 with flag 370188/110000
6.65/4.38	c cleaning 15002 clauses out of 30035 with flag 422982/126000
7.17/4.80	c cleaning 16001 clauses out of 32037 with flag 479913/143004
7.71/5.33	c cleaning 16995 clauses out of 34033 with flag 548378/161001
8.21/5.81	c cleaning 18004 clauses out of 36038 with flag 613623/180001
8.88/6.30	c cleaning 19009 clauses out of 38033 with flag 679079/200000
9.50/6.92	c cleaning 19999 clauses out of 40024 with flag 751918/221000
10.11/7.55	c cleaning 20993 clauses out of 42025 with flag 825107/243000
10.90/8.38	c cleaning 22004 clauses out of 44034 with flag 906406/266002
11.79/9.22	c cleaning 22995 clauses out of 46028 with flag 990733/290000
12.50/9.99	c cleaning 24002 clauses out of 48033 with flag 1079373/315000
14.01/11.45	c cleaning 25002 clauses out of 50031 with flag 1187919/341000
15.20/12.67	c cleaning 25996 clauses out of 52029 with flag 1298998/368000
16.00/13.49	c cleaning 27003 clauses out of 54033 with flag 1404965/396000
17.50/14.91	c cleaning 28001 clauses out of 56032 with flag 1537775/425002
18.99/16.47	c cleaning 29003 clauses out of 58029 with flag 1679944/455000
20.30/17.76	c cleaning 29989 clauses out of 60026 with flag 1809435/486000
21.40/18.88	c cleaning 30996 clauses out of 62037 with flag 1927444/518000
23.20/20.64	c cleaning 32006 clauses out of 64041 with flag 2071313/551000
24.60/22.05	c cleaning 33001 clauses out of 66037 with flag 2213852/585002
25.99/23.41	c cleaning 34000 clauses out of 68034 with flag 2344366/620000
27.70/25.11	c cleaning 35008 clauses out of 70036 with flag 2474099/656002
29.10/26.52	c cleaning 36001 clauses out of 72029 with flag 2614613/693003
30.50/27.91	c cleaning 37000 clauses out of 74027 with flag 2763230/731002
32.69/30.10	c cleaning 37993 clauses out of 76025 with flag 2935376/770000
33.78/31.27	c cleaning 39000 clauses out of 78034 with flag 3065202/810002
35.08/32.54	c cleaning 39999 clauses out of 80032 with flag 3193052/851000
36.38/33.87	c cleaning 41000 clauses out of 82034 with flag 3333716/893001
38.27/35.78	c cleaning 42010 clauses out of 84034 with flag 3490269/936001
40.08/37.56	c cleaning 42991 clauses out of 86023 with flag 3658399/980000
41.58/39.05	c cleaning 44001 clauses out of 88035 with flag 3803414/1025003
45.47/42.95	c cleaning 45003 clauses out of 90032 with flag 4003584/1071001
48.59/46.10	c cleaning 46004 clauses out of 92028 with flag 4205173/1118000
50.37/47.88	c cleaning 46995 clauses out of 94025 with flag 4368083/1166001
52.17/49.60	c cleaning 48002 clauses out of 96029 with flag 4527133/1215000
53.77/51.27	c cleaning 49008 clauses out of 98029 with flag 4681828/1265002
55.68/53.11	c cleaning 49976 clauses out of 100019 with flag 4858655/1316000
58.17/55.60	c cleaning 51006 clauses out of 102044 with flag 5063420/1368001
59.97/57.44	c cleaning 52007 clauses out of 104038 with flag 5240348/1421001
61.97/59.40	c cleaning 53007 clauses out of 106030 with flag 5410512/1475000
63.96/61.42	c cleaning 54004 clauses out of 108026 with flag 5585878/1530003
66.26/63.72	c cleaning 54992 clauses out of 110019 with flag 5781942/1586000
68.68/66.18	c cleaning 55985 clauses out of 112028 with flag 5977206/1643001
71.26/68.74	c cleaning 57009 clauses out of 114042 with flag 6192760/1701000
73.76/71.29	c cleaning 58006 clauses out of 116035 with flag 6407354/1760002
76.67/74.18	c cleaning 58996 clauses out of 118027 with flag 6622803/1820000
79.36/76.81	c cleaning 60001 clauses out of 120033 with flag 6852931/1881002
81.88/79.30	c cleaning 61007 clauses out of 122031 with flag 7056336/1943001
84.96/82.43	c cleaning 62003 clauses out of 124025 with flag 7293252/2006002
87.46/84.99	c cleaning 62997 clauses out of 126020 with flag 7501915/2070000
90.17/87.64	c cleaning 63999 clauses out of 128024 with flag 7710778/2135001
93.16/90.68	c cleaning 64999 clauses out of 130024 with flag 7940354/2201000
95.98/93.48	c cleaning 66002 clauses out of 132026 with flag 8154597/2268001
98.87/96.36	c cleaning 66990 clauses out of 134023 with flag 8370402/2336000
102.76/100.27	c cleaning 67985 clauses out of 136034 with flag 8629410/2405001
106.07/103.53	c cleaning 69009 clauses out of 138049 with flag 8877694/2475001
109.06/106.56	c cleaning 70016 clauses out of 140040 with flag 9102003/2546001
112.88/110.33	c cleaning 71001 clauses out of 142024 with flag 9354275/2618001
116.07/113.58	c cleaning 71994 clauses out of 144022 with flag 9588849/2691000
119.98/117.41	c cleaning 72998 clauses out of 146030 with flag 9860530/2765002
123.17/120.64	c cleaning 73994 clauses out of 148032 with flag 10105257/2840002
126.80/124.26	c cleaning 75004 clauses out of 150038 with flag 10362028/2916002
130.29/127.72	c cleaning 76005 clauses out of 152033 with flag 10613881/2993001
135.10/132.55	c cleaning 76998 clauses out of 154028 with flag 10926316/3071001
140.09/137.50	c cleaning 78001 clauses out of 156030 with flag 11240418/3150001
145.51/142.91	c cleaning 79003 clauses out of 158029 with flag 11531986/3230001
149.30/146.70	c cleaning 80007 clauses out of 160027 with flag 11798471/3311002
154.12/151.60	c cleaning 80999 clauses out of 162018 with flag 12090969/3393000
158.11/155.58	c cleaning 81995 clauses out of 164019 with flag 12357085/3476000
163.03/160.42	c cleaning 82999 clauses out of 166024 with flag 12683047/3560000
167.13/164.52	c cleaning 83999 clauses out of 168027 with flag 12965203/3645002
171.46/168.86	c cleaning 84990 clauses out of 170027 with flag 13260200/3731001
176.25/173.62	c cleaning 86004 clauses out of 172036 with flag 13587181/3818000
181.07/178.47	c cleaning 87008 clauses out of 174032 with flag 13882422/3906000
186.01/183.31	c cleaning 87999 clauses out of 176025 with flag 14184923/3995001
191.00/188.36	c cleaning 88999 clauses out of 178025 with flag 14503263/4085000
196.03/193.37	c cleaning 89999 clauses out of 180027 with flag 14802910/4176001
201.73/199.04	c cleaning 90998 clauses out of 182028 with flag 15131380/4268001
207.05/204.32	c cleaning 91990 clauses out of 184031 with flag 15470196/4361002
212.30/209.54	c cleaning 93005 clauses out of 186041 with flag 15795631/4455002
217.67/214.91	c cleaning 94007 clauses out of 188034 with flag 16122415/4550000
223.21/220.46	c cleaning 94991 clauses out of 190027 with flag 16470228/4646000
230.59/227.89	c cleaning 96001 clauses out of 192036 with flag 16827090/4743000
236.72/233.97	c cleaning 96996 clauses out of 194035 with flag 17164796/4841000
243.75/240.94	c cleaning 98002 clauses out of 196039 with flag 17549712/4940000
251.54/248.78	c cleaning 99010 clauses out of 198039 with flag 17966141/5040002
257.90/255.08	c cleaning 100001 clauses out of 200027 with flag 18309166/5141000
263.96/261.01	c cleaning 101000 clauses out of 202028 with flag 18645648/5243002
270.13/267.20	c cleaning 102001 clauses out of 204026 with flag 18996812/5346000
279.88/276.91	c cleaning 103005 clauses out of 206026 with flag 19390837/5450001
286.32/283.32	c cleaning 103995 clauses out of 208022 with flag 19744247/5555002
292.41/289.43	c cleaning 104997 clauses out of 210027 with flag 20085804/5661002
299.21/296.28	c cleaning 105997 clauses out of 212029 with flag 20466896/5768001
306.45/303.40	c cleaning 106997 clauses out of 214031 with flag 20854462/5876000
313.43/310.43	c cleaning 107997 clauses out of 216034 with flag 21231889/5985000
320.17/317.14	c cleaning 109006 clauses out of 218039 with flag 21638430/6095002
327.79/324.79	c cleaning 110007 clauses out of 220033 with flag 22096766/6206002
334.65/331.52	c cleaning 110985 clauses out of 222024 with flag 22455871/6318000
341.94/338.82	c cleaning 112006 clauses out of 224039 with flag 22873931/6431000
350.87/347.79	c cleaning 112999 clauses out of 226034 with flag 23278783/6545001
364.78/361.65	c cleaning 113994 clauses out of 228034 with flag 23767678/6660000
372.14/368.97	c cleaning 115000 clauses out of 230043 with flag 24171539/6776003
382.17/379.10	c cleaning 116006 clauses out of 232041 with flag 24659501/6893001
390.61/387.47	c cleaning 116996 clauses out of 234034 with flag 25104203/7011000
399.24/396.04	c cleaning 118010 clauses out of 236038 with flag 25571219/7130000
407.49/404.24	c cleaning 119005 clauses out of 238029 with flag 26007788/7250001
416.43/413.15	c cleaning 119988 clauses out of 240023 with flag 26436437/7371000
428.06/424.75	c cleaning 121002 clauses out of 242035 with flag 26972737/7493000
436.73/433.44	c cleaning 121990 clauses out of 244033 with flag 27431328/7616000
445.16/441.85	c cleaning 123013 clauses out of 246043 with flag 27829610/7740000
454.70/451.31	c cleaning 123995 clauses out of 248032 with flag 28289858/7865002
463.83/460.44	c cleaning 125010 clauses out of 250035 with flag 28763636/7991000
472.87/469.41	c cleaning 126012 clauses out of 252025 with flag 29239435/8118000
481.94/478.53	c cleaning 127000 clauses out of 254015 with flag 29705094/8246002
491.16/487.70	c cleaning 127983 clauses out of 256013 with flag 30167363/8375000
505.05/501.63	c cleaning 128993 clauses out of 258033 with flag 30816515/8505003
514.27/510.84	c cleaning 130002 clauses out of 260038 with flag 31289853/8636001
523.19/519.76	c cleaning 130999 clauses out of 262035 with flag 31734389/8768000
532.73/529.20	c cleaning 131997 clauses out of 264036 with flag 32211910/8901000
543.45/539.94	c cleaning 133000 clauses out of 266039 with flag 32692632/9035000
554.59/551.05	c cleaning 134000 clauses out of 268041 with flag 33164552/9170002
565.65/562.16	c cleaning 135008 clauses out of 270041 with flag 33670450/9306002
575.87/572.34	c cleaning 135994 clauses out of 272031 with flag 34151086/9443000
585.88/582.38	c cleaning 137010 clauses out of 274037 with flag 34638494/9581000
597.31/593.75	c cleaning 137998 clauses out of 276027 with flag 35152101/9720000
608.34/604.78	c cleaning 139010 clauses out of 278029 with flag 35666331/9860000
620.85/617.25	c cleaning 139994 clauses out of 280019 with flag 36203185/10001000
632.10/628.46	c cleaning 140994 clauses out of 282027 with flag 36751429/10143002
643.04/639.35	c cleaning 142005 clauses out of 284031 with flag 37251942/10286000
655.65/651.90	c cleaning 142998 clauses out of 286026 with flag 37785207/10430000
683.95/680.26	c cleaning 144001 clauses out of 288028 with flag 38504757/10575000
703.07/699.35	c cleaning 144994 clauses out of 290028 with flag 39246740/10721001
714.52/710.74	c cleaning 146011 clauses out of 292035 with flag 39767994/10868002
727.34/723.52	c cleaning 146992 clauses out of 294024 with flag 40323570/11016002
738.59/734.71	c cleaning 147993 clauses out of 296030 with flag 40848130/11165000
750.31/746.49	c cleaning 149008 clauses out of 298038 with flag 41400596/11315001
762.72/758.85	c cleaning 149998 clauses out of 300029 with flag 41916123/11466000
774.95/771.03	c cleaning 150995 clauses out of 302031 with flag 42496565/11618000
787.77/783.89	c cleaning 152008 clauses out of 304036 with flag 43059325/11771000
799.78/795.80	c cleaning 152994 clauses out of 306029 with flag 43582135/11925001
813.48/809.53	c cleaning 154007 clauses out of 308035 with flag 44189015/12080001
826.49/822.51	c cleaning 154991 clauses out of 310027 with flag 44745883/12236000
839.00/835.09	c cleaning 156010 clauses out of 312037 with flag 45313821/12393001
851.76/847.71	c cleaning 156998 clauses out of 314026 with flag 45847255/12551000
866.47/862.45	c cleaning 157993 clauses out of 316028 with flag 46470233/12710000
881.78/877.70	c cleaning 159008 clauses out of 318035 with flag 47091238/12870000
896.10/892.04	c cleaning 160000 clauses out of 320027 with flag 47661279/13031000
917.13/913.16	c cleaning 160996 clauses out of 322028 with flag 48313565/13193001
930.03/925.99	c cleaning 161998 clauses out of 324032 with flag 48880451/13356001
944.68/940.47	c cleaning 163008 clauses out of 326033 with flag 49529249/13520000
958.96/954.80	c cleaning 163999 clauses out of 328025 with flag 50156709/13685000
972.36/968.14	c cleaning 164998 clauses out of 330027 with flag 50761294/13851001
989.58/985.32	c cleaning 165999 clauses out of 332028 with flag 51411098/14018000
1005.08/1000.86	c cleaning 167008 clauses out of 334030 with flag 52026474/14186001
1019.03/1014.74	c cleaning 167999 clauses out of 336022 with flag 52627091/14355001
1040.52/1036.27	c cleaning 168997 clauses out of 338022 with flag 53335673/14525000
1055.97/1051.62	c cleaning 170005 clauses out of 340026 with flag 53980632/14696001
1070.88/1066.57	c cleaning 170996 clauses out of 342021 with flag 54568928/14868001
1086.77/1082.26	c cleaning 172008 clauses out of 344027 with flag 55200025/15041003
1101.69/1097.14	c cleaning 173002 clauses out of 346017 with flag 55801737/15215001
1116.89/1112.34	c cleaning 173983 clauses out of 348016 with flag 56464080/15390002
1132.49/1127.92	c cleaning 175003 clauses out of 350031 with flag 57088307/15566000
1150.69/1146.19	c cleaning 175985 clauses out of 352028 with flag 57798379/15743000
1165.75/1161.21	c cleaning 177010 clauses out of 354043 with flag 58406854/15921000
1181.15/1176.69	c cleaning 177995 clauses out of 356033 with flag 59007123/16100000
1197.89/1193.37	c cleaning 179008 clauses out of 358040 with flag 59653998/16280002
1215.18/1210.67	c cleaning 180006 clauses out of 360031 with flag 60316766/16461001
1234.07/1229.57	c cleaning 181002 clauses out of 362024 with flag 61036937/16643000
1251.48/1246.97	c cleaning 181986 clauses out of 364024 with flag 61704640/16826002
1268.79/1264.22	c cleaning 183008 clauses out of 366037 with flag 62378450/17010001
1288.43/1283.80	c cleaning 184001 clauses out of 368028 with flag 63094047/17195000
1306.44/1301.90	c cleaning 185007 clauses out of 370027 with flag 63769980/17381000
1334.71/1330.18	c cleaning 186001 clauses out of 372023 with flag 64549105/17568003
1353.02/1348.48	c cleaning 187001 clauses out of 374021 with flag 65273934/17756002
1370.81/1366.13	c cleaning 187997 clauses out of 376018 with flag 65927390/17945000
1390.74/1386.08	c cleaning 188999 clauses out of 378021 with flag 66653412/18135000
1408.95/1404.24	c cleaning 189987 clauses out of 380022 with flag 67311911/18326000
1427.87/1423.10	c cleaning 191002 clauses out of 382035 with flag 68002724/18518000
1447.11/1442.31	c cleaning 192002 clauses out of 384034 with flag 68698317/18711001
1467.43/1462.62	c cleaning 193008 clauses out of 386033 with flag 69412528/18905002
1486.98/1482.20	c cleaning 194000 clauses out of 388024 with flag 70154007/19100001
1507.24/1502.40	c cleaning 195001 clauses out of 390025 with flag 70942004/19296002
1526.64/1521.82	c cleaning 195998 clauses out of 392023 with flag 71664594/19493001
1544.74/1539.93	c cleaning 196999 clauses out of 394024 with flag 72361527/19691000
1564.64/1559.83	c cleaning 198004 clauses out of 396028 with flag 73129598/19890003
1584.31/1579.42	c cleaning 198991 clauses out of 398024 with flag 73865523/20090003
1603.41/1598.59	c cleaning 200007 clauses out of 400031 with flag 74621038/20291001
1624.58/1619.78	c cleaning 200994 clauses out of 402023 with flag 75372016/20493000
1647.48/1642.68	c cleaning 201991 clauses out of 404029 with flag 76148195/20696000
1667.98/1663.14	c cleaning 203003 clauses out of 406038 with flag 76907352/20900000
1687.77/1682.91	c cleaning 204000 clauses out of 408037 with flag 77622114/21105002
1708.36/1703.52	c cleaning 205006 clauses out of 410037 with flag 78346589/21311002
1730.46/1725.69	c cleaning 206002 clauses out of 412031 with flag 79112671/21518002
1751.94/1747.15	c cleaning 206997 clauses out of 414027 with flag 79868536/21726000
1773.69/1768.69	c cleaning 208003 clauses out of 416030 with flag 80624147/21935000
1794.98/1790.00	c cleaning 208998 clauses out of 418028 with flag 81361235/22145001
1817.25/1812.28	c cleaning 209995 clauses out of 420032 with flag 82146398/22356003
1840.17/1835.11	c cleaning 211005 clauses out of 422034 with flag 82996443/22568000
1861.27/1856.24	c cleaning 212000 clauses out of 424030 with flag 83770727/22781001
1884.81/1879.76	c cleaning 212985 clauses out of 426029 with flag 84573187/22995000
1907.42/1902.35	c cleaning 214011 clauses out of 428044 with flag 85366160/23210000
1933.04/1927.91	c cleaning 215004 clauses out of 430033 with flag 86233377/23426000
1957.33/1952.29	c cleaning 216000 clauses out of 432032 with flag 87054841/23643003
1982.33/1977.21	c cleaning 217000 clauses out of 434029 with flag 87878947/23861000
2004.59/1999.42	c cleaning 218004 clauses out of 436031 with flag 88617252/24080002
2027.79/2022.62	c cleaning 218998 clauses out of 438026 with flag 89429430/24300001
2052.32/2047.16	c cleaning 219982 clauses out of 440028 with flag 90262624/24521001
2077.80/2072.60	c cleaning 221011 clauses out of 442046 with flag 91111700/24743001
2101.65/2096.42	c cleaning 222003 clauses out of 444035 with flag 91951294/24966001
2126.14/2120.94	c cleaning 223002 clauses out of 446033 with flag 92737409/25190002
2151.06/2145.84	c cleaning 224005 clauses out of 448029 with flag 93568818/25415000
2173.84/2168.66	c cleaning 225002 clauses out of 450024 with flag 94368636/25641000
2201.65/2196.40	c cleaning 225999 clauses out of 452022 with flag 95214212/25868000
2227.92/2222.65	c cleaning 227002 clauses out of 454024 with flag 96091595/26096001
2252.33/2247.06	c cleaning 228007 clauses out of 456021 with flag 96947347/26325000
2276.44/2271.15	c cleaning 228993 clauses out of 458014 with flag 97776687/26555000
2301.05/2295.79	c cleaning 230000 clauses out of 460021 with flag 98585413/26786000
2325.83/2320.55	c cleaning 230990 clauses out of 462021 with flag 99430353/27018000
2350.52/2345.26	c cleaning 231996 clauses out of 464032 with flag 100294512/27251001
2375.23/2369.99	c cleaning 232999 clauses out of 466035 with flag 101125907/27485000
2402.00/2396.71	c cleaning 234001 clauses out of 468037 with flag 101967382/27720001
2429.68/2424.49	c cleaning 235004 clauses out of 470036 with flag 102828685/27956001
2455.10/2449.84	c cleaning 235998 clauses out of 472033 with flag 103649958/28193002
2481.96/2476.76	c cleaning 237009 clauses out of 474034 with flag 104502717/28431001
2509.12/2503.99	c cleaning 237992 clauses out of 476024 with flag 105346297/28670000
2536.11/2530.98	c cleaning 239000 clauses out of 478033 with flag 106189124/28910001
2562.81/2557.62	c cleaning 239999 clauses out of 480032 with flag 107043863/29151000
2589.88/2584.70	c cleaning 240997 clauses out of 482033 with flag 107881611/29393000
2616.26/2611.13	c cleaning 242005 clauses out of 484036 with flag 108738451/29636000
2645.44/2640.31	c cleaning 243005 clauses out of 486032 with flag 109664576/29880001
2672.46/2667.33	c cleaning 244003 clauses out of 488026 with flag 110533974/30125000
2700.68/2695.50	c cleaning 245000 clauses out of 490023 with flag 111454781/30371000
2729.54/2724.48	c cleaning 245995 clauses out of 492024 with flag 112323354/30618001
2758.72/2753.63	c cleaning 247005 clauses out of 494028 with flag 113214094/30866000
2792.40/2787.31	c cleaning 247999 clauses out of 496023 with flag 114176486/31115000
2821.00/2815.93	c cleaning 248999 clauses out of 498026 with flag 115082037/31365002
2850.00/2844.92	c cleaning 250000 clauses out of 500025 with flag 115968245/31616000
2879.58/2874.55	c cleaning 251003 clauses out of 502025 with flag 116912348/31868000
2907.98/2902.96	c cleaning 251997 clauses out of 504022 with flag 117813635/32121000
2937.50/2932.42	c cleaning 253005 clauses out of 506026 with flag 118720649/32375001
2967.02/2961.94	c cleaning 253981 clauses out of 508020 with flag 119634560/32630000
2996.93/2991.87	c cleaning 255010 clauses out of 510039 with flag 120578340/32886000
3028.54/3023.42	c cleaning 256005 clauses out of 512032 with flag 121585859/33143003
3058.24/3053.19	c cleaning 257000 clauses out of 514029 with flag 122471700/33401005
3088.85/3083.79	c cleaning 257996 clauses out of 516025 with flag 123404836/33660001
3120.96/3115.82	c cleaning 258995 clauses out of 518028 with flag 124387083/33920000
3152.03/3146.63	c cleaning 260000 clauses out of 520033 with flag 125306916/34181000
3183.40/3178.00	c cleaning 261005 clauses out of 522035 with flag 126261386/34443002
3217.31/3211.92	c cleaning 261997 clauses out of 524029 with flag 127247589/34706001
3251.35/3246.01	c cleaning 263000 clauses out of 526031 with flag 128242620/34970000
3286.11/3280.88	c cleaning 263996 clauses out of 528031 with flag 129236785/35235000
3319.12/3313.83	c cleaning 265007 clauses out of 530036 with flag 130210361/35501001
3351.35/3346.05	c cleaning 265999 clauses out of 532030 with flag 131162551/35768002
3386.59/3381.30	c cleaning 267004 clauses out of 534029 with flag 132144945/36036000
3421.14/3415.97	c cleaning 267992 clauses out of 536025 with flag 133142761/36305000
3455.66/3450.41	c cleaning 269008 clauses out of 538034 with flag 134125462/36575001
3488.57/3483.33	c cleaning 269995 clauses out of 540027 with flag 135117411/36846002
3522.22/3517.03	c cleaning 271001 clauses out of 542030 with flag 136126877/37118000
3558.97/3553.84	c cleaning 271999 clauses out of 544030 with flag 137162829/37391001
3591.70/3586.55	c cleaning 273005 clauses out of 546031 with flag 138141871/37665001
3600.07/3594.91	c starts		: 40256
3600.07/3594.91	c timeout
3600.07/3594.92	c conflicts		: 37751410
3600.07/3594.92	c decisions		: 50297227
3600.07/3594.92	c propagations		: 414169161
3600.07/3594.92	c inspects		: 56098598832
3600.07/3594.92	c shortcuts		: 0
3600.07/3594.92	c learnt literals	: 0
3600.07/3594.92	c learnt binary clauses	: 0
3600.07/3594.92	c learnt ternary clauses	: 0
3600.07/3594.92	c learnt constraints	: 37751410
3600.07/3594.92	c ignored constraints	: 0
3600.07/3594.92	c root simplifications	: 0
3600.07/3594.92	c removed literals (reason simplification)	: 20027431
3600.07/3594.92	c reason swapping (by a shorter reason)	: 0
3600.07/3594.92	c Calls to reduceDB	: 270
3600.07/3594.92	c Number of update (reduction) of LBD	: 8920401
3600.07/3594.92	c Imported unit clauses	: 0
3600.07/3594.92	c No decision after first conflict	: false
3600.07/3594.92	c number of reductions to clauses (during analyze)	: 0
3600.07/3594.92	c number of learned constraints concerned by reduction	: 0
3600.07/3594.92	c number of learning phase by resolution	: 0
3600.07/3594.92	c number of learning phase by cutting planes	: 0
3600.07/3594.92	c number of rounding to 1 operations	: 0
3600.07/3594.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3594.92	c number of reductions of the coefficients by power 2 	: 0
3600.07/3594.92	c number of right shift for reduction by power 2 	: 0
3600.07/3594.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3594.92	c number of ending skipping 	: 0
3600.07/3594.92	c number of internal skipping 	: 0
3600.07/3594.92	c number of derivation steps 	: 0
3600.07/3594.92	c number of skipped derivation steps 	: 0
3600.07/3594.92	c number of remaining unassigned 	: 0
3600.07/3594.92	c number of remaining assigned 	: 0
3600.07/3594.92	c number of falsified literals weakened from reason	: 0
3600.07/3594.92	c number of falsified literals weakened from conflict	: 0
3600.07/3594.92	c time for arithmetic operations	: 0
3600.07/3594.92	c minimum degree of deleted constraints	: null
3600.07/3594.92	c maximum degree of deleted constraints	: null
3600.07/3594.92	c number of deleted constraints	: 0
3600.07/3594.93	c speed (assignments/second)	: 115215.29951671066
3600.07/3594.93	c non guided choices	: 1122836
3600.07/3594.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 359435
3600.07/3594.99	s UNKNOWN
3600.07/3594.99	c Total wall clock time (in seconds): 3594.839

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542979-1753224403/watcher-4542979-1753224403 -o /tmp/evaluation-result-4542979-1753224403/solver-4542979-1753224403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179943 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542979-1753224403 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542979-1753224403.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
Current StackSize limit: 8192 KiB

solver pid=179994, runsolver pid=179982

[startup+0.100061 s]*
/proc/loadavg: 1.02 1.83 2.82 8/333 180067
/proc/meminfo: memFree=128103988/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=18930384 memory=53156 CPUtime=0.11 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 6380 0 132 0 9 2 0 0 20 0 18 0 238119701 19384713216 13289 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4732596 13289 5321 1 0 547531 0
[pid=179994/tid=180012] ppid=179982 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 4896 0 132 0 5 1 0 0 20 0 18 0 238119703 19384713216 13289 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=18930384 memory=16898 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238119705 19384713216 13289 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238119706 19384713216 13289 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53156 KiB

[startup+0.20588 s]*
/proc/loadavg: 1.02 1.83 2.82 14/336 180070
/proc/meminfo: memFree=128052380/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=18996948 memory=62068 CPUtime=0.28 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 7004 0 132 0 26 2 0 0 20 0 19 0 238119701 19452874752 15517 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4749237 15517 5417 1 0 548220 0
[pid=179994/tid=180012] ppid=179982 vsize=18996948 memory=4026990876 CPUtime=0.15 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 5252 0 132 0 14 1 0 0 20 0 19 0 238119703 19452874752 15517 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=18996948 memory=16898 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 15517 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119706 19452874752 15517 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119720 19452874752 15517 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62068 KiB

[startup+0.305992 s]*
/proc/loadavg: 1.02 1.83 2.82 11/337 180071
/proc/meminfo: memFree=128002980/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=18996948 memory=72460 CPUtime=0.47 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 8883 0 132 0 45 2 0 0 20 0 19 0 238119701 19452874752 18115 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4749237 18115 5449 1 0 549166 0
[pid=179994/tid=180012] ppid=179982 vsize=18996948 memory=-8959174113287250620 CPUtime=0.23 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 5284 0 132 0 22 1 0 0 20 0 19 0 238119703 19452874752 18115 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 18115 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119706 19452874752 18115 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119720 19452874752 18115 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72460 KiB

[startup+0.700226 s]
/proc/loadavg: 1.02 1.83 2.82 9/337 180071
/proc/meminfo: memFree=127846732/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=18996948 memory=145792 CPUtime=1.24 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 14413 0 132 0 119 5 0 0 20 0 19 0 238119701 19452874752 36448 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4749237 36448 5449 1 0 553026 0
[pid=179994/tid=180012] ppid=179982 vsize=18996948 memory=27264 CPUtime=0.58 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 5359 0 132 0 55 3 0 0 20 0 19 0 238119703 19452874752 36448 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238119705 19452874752 36448 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238119706 19452874752 36448 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238119720 19452874752 36448 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145792 KiB

[startup+1.50023 s]
/proc/loadavg: 1.02 1.83 2.82 9/341 180075
/proc/meminfo: memFree=127620408/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=176684 CPUtime=2.83 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 22911 0 132 0 275 8 0 0 20 0 20 0 238119701 19521036288 44171 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 44171 5481 1 0 554084 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=0 CPUtime=1.34 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 5840 0 132 0 130 4 0 0 20 0 20 0 238119703 19521036288 44171 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 44171 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 44171 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 44171 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176684 KiB

[startup+3.1057 s]
/proc/loadavg: 1.02 1.83 2.82 6/341 180075
/proc/meminfo: memFree=127135612/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=267548 CPUtime=5.45 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 24977 0 132 0 533 12 0 0 20 0 20 0 238119701 19521036288 66887 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 66887 5481 1 0 554103 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=10752 CPUtime=2.92 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 6295 0 132 0 284 8 0 0 20 0 20 0 238119703 19521036288 66887 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=-9031231707325178556 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 66887 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 66887 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 66887 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 5.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 267548 KiB

[startup+6.30022 s]
/proc/loadavg: 1.34 1.88 2.84 5/341 180075
/proc/meminfo: memFree=125544996/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=679244 CPUtime=8.88 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 26119 0 132 0 863 25 0 0 20 0 20 0 238119701 19521036288 169811 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 169811 5481 1 0 554103 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=0 CPUtime=6.09 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 6854 0 132 0 589 20 0 0 20 0 20 0 238119703 19521036288 169811 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 169811 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 169811 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=176684 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 169811 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 8.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 679244 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 1.92 2.84 5/341 180075
/proc/meminfo: memFree=123143996/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=1315600 CPUtime=15.3 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 29528 0 132 0 1487 43 0 0 20 0 20 0 238119701 19521036288 328900 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 328900 5481 1 0 554103 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=176684 CPUtime=12.47 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 8026 0 132 0 1209 38 0 0 20 0 20 0 238119703 19521036288 328900 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=1315600 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 328900 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 328900 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 328900 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315600 KiB

[startup+25.5002 s]
/proc/loadavg: 2.32 2.07 2.88 5/341 180144
/proc/meminfo: memFree=123628460/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=1317780 CPUtime=28.09 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 32690 0 132 0 2757 52 0 0 20 0 20 0 238119701 19521036288 329445 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 329445 5513 1 0 554103 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=1315600 CPUtime=25.21 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 9543 0 132 0 2474 47 0 0 20 0 20 0 238119703 19521036288 329445 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 329445 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 329445 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=3474590030418219515 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 329445 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 28.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1317780 KiB

[startup+51.1056 s]
/proc/loadavg: 3.05 2.26 2.92 5/340 180145
/proc/meminfo: memFree=122853700/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=1334184 CPUtime=53.68 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 35616 0 132 0 5296 72 0 0 20 0 20 0 238119701 19521036288 333546 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0

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

/proc/meminfo: memFree=87851840/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3287.61 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 110190 0 132 0 327296 1465 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3260.61 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 42976 0 132 0 324679 1382 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=-9031231707325178556 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1313 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3287.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.24 4.19 6/341 180332
/proc/meminfo: memFree=87370816/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3347.59 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 110201 0 132 0 333270 1489 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3320.32 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 42979 0 132 0 330627 1405 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=2696 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=4480 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1313 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3347.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/341 180334
/proc/meminfo: memFree=86890324/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3407.55 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 110679 0 132 0 339242 1513 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3380 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 43386 0 132 0 336571 1429 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=27264 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1313 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3407.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.24 4.19 5/341 180336
/proc/meminfo: memFree=86095648/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3467.58 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 112576 0 132 0 345219 1539 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3439.58 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 44517 0 132 0 342505 1453 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1407 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3467.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.23 4.18 5/341 180338
/proc/meminfo: memFree=85730496/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3527.51 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 113625 0 132 0 351191 1560 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3499.27 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 44999 0 132 0 348454 1473 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=27264 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1505 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3527.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.23 4.19 6/341 180541
/proc/meminfo: memFree=106584580/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3587.51 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 113638 0 132 0 357168 1583 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=14464 CPUtime=3558.94 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 45001 0 132 0 354399 1495 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1506 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3587.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.9 s]
/proc/loadavg: 4.21 4.22 4.18 5/341 180541
/proc/meminfo: memFree=105402316/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3600.07 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 113639 0 132 0 358418 1589 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3571.49 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 45002 0 132 0 355649 1500 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1506 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=-9031231707325178556 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.31 s, system=15.9093 s

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

[startup+3594.9 s]
/proc/loadavg: 4.21 4.22 4.18 5/341 180541
/proc/meminfo: memFree=105402316/131250000 swapFree=33009904/33010684
[pid=179994] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3600.07 cores=5,7
/proc/179994/stat : 179994 (java) S 179982 179994 179930 0 -1 4194304 113639 0 132 0 358418 1589 0 0 20 0 20 0 238119701 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
/proc/179994/statm: 4765878 543402 5513 1 0 556165 0
[pid=179994/tid=180012] ppid=179982 vsize=19063512 memory=2173608 CPUtime=3571.49 cores=5,7
/proc/179994/task/180012/stat : 180012 (java) R 179982 179994 179930 0 -1 4194368 45002 0 132 0 355649 1500 0 0 20 0 20 0 238119703 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180051] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180051/stat : 180051 (Finalizer) S 179982 179994 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238119705 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180067] ppid=179982 vsize=19063512 memory=2173608 CPUtime=0 cores=5,7
/proc/179994/task/180067/stat : 180067 (Common-Cleaner) S 179982 179994 179930 0 -1 4194368 1506 0 0 0 0 0 0 0 20 0 20 0 238119706 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
[pid=179994/tid=180069] ppid=179982 vsize=19063512 memory=-9031231707325178556 CPUtime=0 cores=5,7
/proc/179994/task/180069/stat : 180069 (Timer-0) S 179982 179994 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238119720 19521036288 543402 18446744073709551615 93987714523136 93987714526832 140725831455440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93987714534648 93987714535440 93987741876224 140725831457108 140725831457252 140725831457252 140725831462856 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173608 KiB

Child status: 143

Real time (s): 3595
CPU time (s): 3600.21
CPU user time (s): 3584.31
CPU system time (s): 15.9093
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2173608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.31
system time used= 15.9093
maximum resident set size= 2174888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116522
page faults= 132
swaps= 0
block input operations= 0
block output operations= 14733664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118922
involuntary context switches= 9470


# summary of solver processes directly reported to runsolver:
#   pid: 179994
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3584.31
#   total CPU system time (s): 15.9093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73306 second user time and 16.4709 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= f232403836dcde587a139eecc4d77a9a
RANDOM SEED=703055408

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128183644 kB
MemAvailable:   129634292 kB
Buffers:            2128 kB
Cached:          2173556 kB
SwapCached:           64 kB
Active:          1293764 kB
Inactive:         946440 kB
Active(anon):      85464 kB
Inactive(anon):     5284 kB
Active(file):    1208300 kB
Inactive(file):   941156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2632 kB
Writeback:             0 kB
AnonPages:         65308 kB
Mapped:           108884 kB
Shmem:             26228 kB
KReclaimable:     280860 kB
Slab:             379552 kB
SReclaimable:     280860 kB
SUnreclaim:        98692 kB
KernelStack:        4160 kB
PageTables:         2976 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     350648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

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