Trace number 4543486

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.24 3600.62

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb
MD5SUMda5f48f37ada035f8ac21a7f4fc112f6
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.003931
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables70
Total number of constraints71
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint70
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 88
Number of bits of the biggest sum of numbers7
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4543486-1753227954.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.015s.
0.13/0.15	c declared #vars     70
0.13/0.15	c #constraints  71
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 70
0.13/0.15	c 71 constraints processed.
0.70/0.44	c cleaning 2501 clauses out of 5002 with flag 10988/5002
1.08/0.68	c cleaning 4246 clauses out of 8499 with flag 24232/11000
1.67/0.95	c cleaning 5627 clauses out of 11254 with flag 39778/18001
2.07/1.18	c cleaning 6811 clauses out of 13626 with flag 57384/26000
2.46/1.34	c cleaning 7908 clauses out of 15815 with flag 77102/35000
2.81/1.53	c cleaning 8949 clauses out of 17907 with flag 99229/45000
3.13/1.72	c cleaning 9975 clauses out of 19959 with flag 123734/56001
3.34/1.92	c cleaning 10987 clauses out of 21983 with flag 151148/68000
3.64/2.17	c cleaning 11994 clauses out of 23996 with flag 180733/81000
4.04/2.44	c cleaning 12992 clauses out of 26002 with flag 212599/95000
4.34/2.74	c cleaning 14002 clauses out of 28011 with flag 247348/110001
4.65/3.05	c cleaning 15002 clauses out of 30008 with flag 282833/126000
5.07/3.42	c cleaning 15996 clauses out of 32007 with flag 322236/143001
5.50/3.80	c cleaning 17000 clauses out of 34011 with flag 362366/161001
5.90/4.21	c cleaning 18000 clauses out of 36010 with flag 404743/180000
6.39/4.77	c cleaning 19003 clauses out of 38010 with flag 455175/200000
6.99/5.31	c cleaning 19999 clauses out of 40008 with flag 505353/221001
7.49/5.80	c cleaning 20998 clauses out of 42010 with flag 554779/243002
7.89/6.29	c cleaning 22001 clauses out of 44011 with flag 606087/266001
8.39/6.79	c cleaning 23005 clauses out of 46009 with flag 660153/290000
8.99/7.35	c cleaning 24003 clauses out of 48005 with flag 717586/315001
9.69/8.00	c cleaning 24999 clauses out of 50001 with flag 776753/341000
10.38/8.71	c cleaning 25996 clauses out of 52002 with flag 838273/368000
10.98/9.38	c cleaning 27000 clauses out of 54006 with flag 901197/396000
11.79/10.20	c cleaning 27999 clauses out of 56006 with flag 967471/425000
12.58/10.91	c cleaning 28999 clauses out of 58007 with flag 1033587/455000
13.39/11.72	c cleaning 29999 clauses out of 60008 with flag 1101852/486000
14.19/12.59	c cleaning 31005 clauses out of 62010 with flag 1173114/518001
15.18/13.59	c cleaning 32000 clauses out of 64005 with flag 1250092/551001
16.18/14.55	c cleaning 32995 clauses out of 66004 with flag 1327213/585000
17.07/15.41	c cleaning 34000 clauses out of 68010 with flag 1405431/620001
17.87/16.27	c cleaning 35002 clauses out of 70009 with flag 1485679/656000
18.79/17.19	c cleaning 36001 clauses out of 72007 with flag 1568622/693000
19.78/18.12	c cleaning 37001 clauses out of 74006 with flag 1653373/731000
20.78/19.11	c cleaning 38000 clauses out of 76005 with flag 1740319/770000
21.78/20.13	c cleaning 38998 clauses out of 78006 with flag 1828750/810001
22.97/21.37	c cleaning 40000 clauses out of 80008 with flag 1920021/851001
24.47/22.84	c cleaning 40999 clauses out of 82007 with flag 2020005/893000
25.88/24.20	c cleaning 42002 clauses out of 84008 with flag 2121281/936000
27.07/25.44	c cleaning 43002 clauses out of 86006 with flag 2222464/980000
28.38/26.74	c cleaning 44002 clauses out of 88004 with flag 2328630/1025000
29.57/28.00	c cleaning 44995 clauses out of 90002 with flag 2432629/1071000
30.97/29.35	c cleaning 46003 clauses out of 92010 with flag 2538296/1118003
32.46/30.82	c cleaning 46999 clauses out of 94004 with flag 2648550/1166000
33.87/32.23	c cleaning 47998 clauses out of 96006 with flag 2758424/1215001
35.27/33.69	c cleaning 48996 clauses out of 98007 with flag 2875168/1265000
36.86/35.27	c cleaning 49997 clauses out of 100011 with flag 2994201/1316000
38.76/37.17	c cleaning 51006 clauses out of 102015 with flag 3114338/1368001
40.66/39.07	c cleaning 52001 clauses out of 104008 with flag 3240752/1421000
42.77/41.12	c cleaning 52998 clauses out of 106007 with flag 3363834/1475000
45.36/43.79	c cleaning 54003 clauses out of 108012 with flag 3496867/1530003
47.45/45.84	c cleaning 55002 clauses out of 110006 with flag 3629392/1586000
49.65/48.05	c cleaning 55999 clauses out of 112005 with flag 3758036/1643001
51.84/50.28	c cleaning 57001 clauses out of 114006 with flag 3886867/1701001
54.24/52.64	c cleaning 58000 clauses out of 116004 with flag 4021955/1760000
56.83/55.20	c cleaning 58996 clauses out of 118004 with flag 4157396/1820000
59.12/57.51	c cleaning 59999 clauses out of 120008 with flag 4292353/1881000
61.22/59.67	c cleaning 60995 clauses out of 122010 with flag 4428745/1943001
63.32/61.76	c cleaning 62006 clauses out of 124014 with flag 4572083/2006000
65.32/63.78	c cleaning 63001 clauses out of 126009 with flag 4716636/2070001
67.62/66.04	c cleaning 64001 clauses out of 128008 with flag 4866561/2135001
70.81/69.21	c cleaning 64999 clauses out of 130006 with flag 5019373/2201000
74.42/72.82	c cleaning 65997 clauses out of 132007 with flag 5174451/2268000
77.11/75.59	c cleaning 67005 clauses out of 134011 with flag 5325162/2336001
80.30/78.72	c cleaning 67998 clauses out of 136005 with flag 5484587/2405000
83.99/82.40	c cleaning 69002 clauses out of 138008 with flag 5649658/2475001
86.61/85.08	c cleaning 69999 clauses out of 140005 with flag 5808100/2546000
88.90/87.35	c cleaning 71000 clauses out of 142008 with flag 5967733/2618002
91.90/90.38	c cleaning 72000 clauses out of 144006 with flag 6148246/2691000
95.41/93.83	c cleaning 73002 clauses out of 146006 with flag 6324626/2765000
100.30/98.72	c cleaning 73999 clauses out of 148007 with flag 6508914/2840003
103.60/102.05	c cleaning 74996 clauses out of 150005 with flag 6692171/2916000
108.68/107.15	c cleaning 75998 clauses out of 152009 with flag 6884640/2993000
113.27/111.73	c cleaning 76998 clauses out of 154011 with flag 7083214/3071000
118.05/116.52	c cleaning 77998 clauses out of 156013 with flag 7282964/3150000
122.24/120.77	c cleaning 79004 clauses out of 158016 with flag 7475256/3230001
127.15/125.64	c cleaning 80002 clauses out of 160011 with flag 7686474/3311000
133.14/131.66	c cleaning 81000 clauses out of 162010 with flag 7901719/3393001
137.53/136.01	c cleaning 82003 clauses out of 164010 with flag 8106258/3476001
141.34/139.89	c cleaning 83001 clauses out of 166006 with flag 8307126/3560000
145.54/144.10	c cleaning 83998 clauses out of 168007 with flag 8503369/3645002
150.03/148.59	c cleaning 84999 clauses out of 170007 with flag 8711037/3731000
154.83/153.34	c cleaning 86005 clauses out of 172009 with flag 8923909/3818001
160.31/158.86	c cleaning 86996 clauses out of 174003 with flag 9142380/3906000
166.10/164.64	c cleaning 87993 clauses out of 176008 with flag 9363748/3995001
171.11/169.63	c cleaning 88998 clauses out of 178014 with flag 9577486/4085000
175.90/174.46	c cleaning 90003 clauses out of 180016 with flag 9805939/4176000
181.28/179.89	c cleaning 91005 clauses out of 182013 with flag 10029441/4268000
187.69/186.27	c cleaning 92002 clauses out of 184009 with flag 10264265/4361001
195.77/194.36	c cleaning 92998 clauses out of 186007 with flag 10500407/4455001
203.69/202.26	c cleaning 94002 clauses out of 188009 with flag 10744264/4550001
210.37/208.95	c cleaning 94999 clauses out of 190007 with flag 10981109/4646001
217.05/215.62	c cleaning 95999 clauses out of 192007 with flag 11216840/4743000
223.37/221.99	c cleaning 97001 clauses out of 194008 with flag 11454120/4841000
229.55/228.14	c cleaning 98001 clauses out of 196008 with flag 11683892/4940001
235.73/234.39	c cleaning 98997 clauses out of 198006 with flag 11914862/5040000
241.76/240.35	c cleaning 100001 clauses out of 200009 with flag 12154912/5141000
248.64/247.24	c cleaning 101000 clauses out of 202009 with flag 12397430/5243001
255.07/253.68	c cleaning 101998 clauses out of 204009 with flag 12642187/5346001
261.36/259.91	c cleaning 103003 clauses out of 206011 with flag 12881618/5450001
267.95/266.54	c cleaning 103998 clauses out of 208007 with flag 13128650/5555000
273.37/271.97	c cleaning 105002 clauses out of 210009 with flag 13374738/5661000
281.45/280.05	c cleaning 106001 clauses out of 212008 with flag 13617562/5768001
287.18/285.73	c cleaning 107001 clauses out of 214006 with flag 13861938/5876000
300.04/298.62	c cleaning 107997 clauses out of 216005 with flag 14119547/5985000
305.29/303.82	c cleaning 108995 clauses out of 218008 with flag 14363931/6095000
312.36/310.95	c cleaning 110003 clauses out of 220014 with flag 14620632/6206001
321.70/320.25	c cleaning 111003 clauses out of 222011 with flag 14896040/6318001
328.78/327.34	c cleaning 112000 clauses out of 224008 with flag 15179206/6431001
339.55/338.17	c cleaning 112997 clauses out of 226007 with flag 15456208/6545000
353.37/351.97	c cleaning 114000 clauses out of 228010 with flag 15748699/6660000
363.64/362.27	c cleaning 114999 clauses out of 230010 with flag 16031123/6776000
373.06/371.60	c cleaning 116004 clauses out of 232012 with flag 16315282/6893001
388.13/386.75	c cleaning 116999 clauses out of 234008 with flag 16629848/7011001
399.35/397.95	c cleaning 117994 clauses out of 236009 with flag 16920188/7130001
413.42/412.04	c cleaning 119003 clauses out of 238015 with flag 17210965/7250001
428.85/427.40	c cleaning 119998 clauses out of 240011 with flag 17511063/7371000
444.81/443.45	c cleaning 121001 clauses out of 242013 with flag 17820387/7493000
458.74/457.39	c cleaning 122007 clauses out of 244013 with flag 18138669/7616001
471.41/470.04	c cleaning 122999 clauses out of 246006 with flag 18451498/7740001
484.94/483.58	c cleaning 124001 clauses out of 248007 with flag 18752473/7865001
501.59/500.26	c cleaning 124998 clauses out of 250006 with flag 19060450/7991001
521.52/520.16	c cleaning 126001 clauses out of 252007 with flag 19359006/8118000
536.07/534.78	c cleaning 126998 clauses out of 254006 with flag 19655506/8246000
547.60/546.26	c cleaning 128005 clauses out of 256009 with flag 19944897/8375001
563.95/562.68	c cleaning 128999 clauses out of 258004 with flag 20255385/8505001
577.88/576.50	c cleaning 129996 clauses out of 260005 with flag 20557009/8636001
595.04/593.74	c cleaning 130996 clauses out of 262009 with flag 20885757/8768001
606.36/605.08	c cleaning 132001 clauses out of 264012 with flag 21210587/8901000
622.61/621.35	c cleaning 133001 clauses out of 266011 with flag 21537448/9035000
634.92/633.64	c cleaning 134000 clauses out of 268010 with flag 21845992/9170000
650.89/649.65	c cleaning 135000 clauses out of 270010 with flag 22174161/9306000
670.41/669.12	c cleaning 136003 clauses out of 272010 with flag 22514947/9443000
687.34/686.08	c cleaning 136996 clauses out of 274007 with flag 22853314/9581000
702.60/701.31	c cleaning 138003 clauses out of 276011 with flag 23183188/9720000
717.53/716.23	c cleaning 139005 clauses out of 278009 with flag 23533261/9860001
731.21/729.96	c cleaning 140001 clauses out of 280004 with flag 23888640/10001001
744.64/743.32	c cleaning 140995 clauses out of 282003 with flag 24223589/10143001
754.81/753.54	c cleaning 141998 clauses out of 284007 with flag 24552123/10286000
764.06/762.71	c cleaning 143002 clauses out of 286010 with flag 24881718/10430001
772.92/771.52	c cleaning 143995 clauses out of 288007 with flag 25204127/10575000
783.99/782.66	c cleaning 145000 clauses out of 290012 with flag 25536667/10721000
796.13/794.70	c cleaning 146001 clauses out of 292013 with flag 25873837/10868001
809.41/808.00	c cleaning 146997 clauses out of 294011 with flag 26223107/11016000
821.32/819.99	c cleaning 148002 clauses out of 296016 with flag 26565797/11165002
834.60/833.25	c cleaning 149002 clauses out of 298012 with flag 26910938/11315000
848.32/846.93	c cleaning 149998 clauses out of 300011 with flag 27256088/11466001
860.97/859.54	c cleaning 151002 clauses out of 302012 with flag 27602120/11618000
874.63/873.27	c cleaning 152002 clauses out of 304011 with flag 27956323/11771001
886.18/884.73	c cleaning 153000 clauses out of 306009 with flag 28302964/11925001
897.83/896.32	c cleaning 154005 clauses out of 308009 with flag 28659516/12080001
910.01/908.52	c cleaning 154996 clauses out of 310003 with flag 29026757/12236000
924.03/922.57	c cleaning 156001 clauses out of 312008 with flag 29400501/12393001
938.94/937.41	c cleaning 156996 clauses out of 314007 with flag 29784300/12551001
953.10/951.63	c cleaning 158000 clauses out of 316010 with flag 30182099/12710000
969.11/967.64	c cleaning 159001 clauses out of 318010 with flag 30579590/12870000
984.67/983.29	c cleaning 159999 clauses out of 320009 with flag 30972504/13031000
998.98/997.58	c cleaning 160998 clauses out of 322010 with flag 31365298/13193000
1017.89/1016.46	c cleaning 162000 clauses out of 324012 with flag 31757460/13356000
1034.34/1032.95	c cleaning 163004 clauses out of 326012 with flag 32150150/13520000
1049.64/1048.21	c cleaning 163999 clauses out of 328008 with flag 32553328/13685000
1065.37/1063.94	c cleaning 165003 clauses out of 330009 with flag 32971039/13851000
1081.23/1079.83	c cleaning 165999 clauses out of 332006 with flag 33372164/14018000
1097.23/1095.87	c cleaning 167002 clauses out of 334007 with flag 33784014/14186000
1114.15/1112.78	c cleaning 167995 clauses out of 336005 with flag 34211710/14355000
1134.68/1133.28	c cleaning 169000 clauses out of 338011 with flag 34653715/14525001
1156.92/1155.51	c cleaning 170001 clauses out of 340010 with flag 35071938/14696000
1173.34/1171.99	c cleaning 171001 clauses out of 342009 with flag 35498656/14868000
1196.46/1195.09	c cleaning 171999 clauses out of 344010 with flag 35963467/15041002
1215.52/1214.15	c cleaning 173004 clauses out of 346010 with flag 36403930/15215001
1234.13/1232.75	c cleaning 173994 clauses out of 348006 with flag 36820239/15390001
1257.93/1256.56	c cleaning 175000 clauses out of 350011 with flag 37240557/15566000
1279.38/1278.02	c cleaning 175999 clauses out of 352012 with flag 37640470/15743001
1299.67/1298.31	c cleaning 176999 clauses out of 354012 with flag 38053587/15921000
1325.76/1324.41	c cleaning 177999 clauses out of 356013 with flag 38467708/16100000
1348.60/1347.35	c cleaning 179001 clauses out of 358014 with flag 38880540/16280000
1369.99/1368.78	c cleaning 180004 clauses out of 360013 with flag 39292415/16461000
1392.00/1390.77	c cleaning 180999 clauses out of 362010 with flag 39713660/16643001
1418.32/1417.09	c cleaning 182002 clauses out of 364011 with flag 40165531/16826001
1444.94/1443.60	c cleaning 183001 clauses out of 366009 with flag 40592868/17010001
1467.29/1466.06	c cleaning 183997 clauses out of 368008 with flag 41021668/17195001
1492.97/1491.76	c cleaning 185000 clauses out of 370011 with flag 41463315/17381001
1512.27/1511.10	c cleaning 186004 clauses out of 372011 with flag 41903504/17568001
1537.04/1535.89	c cleaning 186992 clauses out of 374007 with flag 42346381/17756001
1561.50/1560.31	c cleaning 187995 clauses out of 376014 with flag 42806143/17945000
1579.28/1578.16	c cleaning 189003 clauses out of 378020 with flag 43234585/18135001
1598.67/1597.50	c cleaning 190002 clauses out of 380017 with flag 43693838/18326001
1614.79/1613.69	c cleaning 191005 clauses out of 382015 with flag 44140625/18518001
1641.88/1640.71	c cleaning 192000 clauses out of 384010 with flag 44607916/18711001
1674.55/1673.45	c cleaning 193002 clauses out of 386010 with flag 45085561/18905001
1707.02/1705.96	c cleaning 193998 clauses out of 388009 with flag 45577403/19100002
1744.33/1743.33	c cleaning 194999 clauses out of 390010 with flag 46062712/19296001
1775.19/1774.22	c cleaning 196004 clauses out of 392010 with flag 46574720/19493000
1806.86/1805.93	c cleaning 197002 clauses out of 394007 with flag 47078725/19691001
1835.27/1834.31	c cleaning 197992 clauses out of 396004 with flag 47579229/19890000
1867.06/1866.10	c cleaning 199007 clauses out of 398013 with flag 48103088/20090001
1904.21/1903.39	c cleaning 199997 clauses out of 400005 with flag 48646199/20291000
1923.91/1923.02	c cleaning 200995 clauses out of 402008 with flag 49149649/20493000
1949.18/1948.39	c cleaning 201997 clauses out of 404015 with flag 49649602/20696002
1986.64/1985.86	c cleaning 203002 clauses out of 406016 with flag 50171144/20900000
2023.41/2022.63	c cleaning 204005 clauses out of 408014 with flag 50691128/21105000
2063.47/2062.57	c cleaning 205000 clauses out of 410009 with flag 51246493/21311000
2084.93/2084.02	c cleaning 205998 clauses out of 412009 with flag 51730265/21518000
2109.51/2108.66	c cleaning 206997 clauses out of 414012 with flag 52202266/21726001
2136.29/2135.46	c cleaning 208004 clauses out of 416014 with flag 52688981/21935000
2165.56/2164.77	c cleaning 209001 clauses out of 418010 with flag 53184968/22145000
2194.38/2193.65	c cleaning 209998 clauses out of 420009 with flag 53685750/22356000
2229.03/2228.32	c cleaning 211003 clauses out of 422011 with flag 54188736/22568000
2257.31/2256.68	c cleaning 212003 clauses out of 424011 with flag 54693031/22781003
2295.05/2294.47	c cleaning 212996 clauses out of 426005 with flag 55220543/22995000
2337.29/2336.78	c cleaning 213999 clauses out of 428010 with flag 55771848/23210001
2372.16/2371.64	c cleaning 215003 clauses out of 430010 with flag 56300460/23426000
2400.36/2399.87	c cleaning 215996 clauses out of 432007 with flag 56825040/23643000
2428.69/2428.21	c cleaning 216999 clauses out of 434011 with flag 57358409/23861000
2465.02/2464.62	c cleaning 218002 clauses out of 436013 with flag 57901646/24080001
2504.97/2504.62	c cleaning 219000 clauses out of 438011 with flag 58463655/24300001
2544.62/2544.34	c cleaning 220002 clauses out of 440011 with flag 59025241/24521001
2583.60/2583.38	c cleaning 220998 clauses out of 442009 with flag 59564887/24743001
2612.01/2611.76	c cleaning 221999 clauses out of 444010 with flag 60083494/24966000
2640.34/2640.08	c cleaning 223002 clauses out of 446011 with flag 60609187/25190000
2671.74/2671.41	c cleaning 224001 clauses out of 448009 with flag 61143054/25415000
2701.86/2701.64	c cleaning 224994 clauses out of 450009 with flag 61678530/25641001
2733.91/2733.77	c cleaning 226004 clauses out of 452016 with flag 62225863/25868002
2761.86/2761.74	c cleaning 226998 clauses out of 454010 with flag 62765263/26096000
2786.14/2786.03	c cleaning 227997 clauses out of 456012 with flag 63309554/26325000
2818.90/2818.81	c cleaning 229003 clauses out of 458016 with flag 63861871/26555001
2853.17/2853.12	c cleaning 230002 clauses out of 460012 with flag 64432913/26786000
2880.86/2880.84	c cleaning 231000 clauses out of 462010 with flag 64987889/27018000
2904.68/2904.60	c cleaning 232003 clauses out of 464010 with flag 65554154/27251000
2939.85/2939.83	c cleaning 232995 clauses out of 466009 with flag 66131635/27485002
2966.37/2966.38	c cleaning 234001 clauses out of 468013 with flag 66678966/27720001
2993.47/2993.49	c cleaning 235000 clauses out of 470011 with flag 67236791/27956000
3023.98/3023.98	c cleaning 235999 clauses out of 472011 with flag 67794362/28193000
3048.69/3048.66	c cleaning 237004 clauses out of 474012 with flag 68343408/28431000
3077.60/3077.50	c cleaning 237996 clauses out of 476008 with flag 68915361/28670000
3105.10/3105.05	c cleaning 238997 clauses out of 478012 with flag 69469101/28910000
3136.21/3136.23	c cleaning 240003 clauses out of 480015 with flag 70031109/29151000
3169.18/3169.24	c cleaning 240999 clauses out of 482012 with flag 70586495/29393000
3199.65/3199.79	c cleaning 242000 clauses out of 484013 with flag 71160549/29636000
3234.51/3234.68	c cleaning 243004 clauses out of 486013 with flag 71751327/29880000
3267.07/3267.27	c cleaning 243996 clauses out of 488010 with flag 72327292/30125001
3293.95/3294.19	c cleaning 245004 clauses out of 490014 with flag 72892784/30371001
3324.43/3324.60	c cleaning 245997 clauses out of 492009 with flag 73472890/30618000
3356.21/3356.48	c cleaning 247004 clauses out of 494012 with flag 74040662/30866000
3398.28/3398.50	c cleaning 248003 clauses out of 496009 with flag 74641123/31115001
3429.65/3429.97	c cleaning 248996 clauses out of 498005 with flag 75234955/31365000
3459.61/3459.95	c cleaning 250001 clauses out of 500009 with flag 75831794/31616000
3490.09/3490.44	c cleaning 250996 clauses out of 502009 with flag 76413424/31868001
3523.76/3524.18	c cleaning 252004 clauses out of 504013 with flag 77008193/32121001
3570.60/3571.08	c cleaning 253002 clauses out of 506009 with flag 77636213/32375001
3600.07/3600.52	c timeout
3600.07/3600.52	c starts		: 151
3600.07/3600.53	c conflicts		: 32564557
3600.07/3600.53	c decisions		: 47191988
3600.07/3600.53	c propagations		: 245835958
3600.07/3600.53	c inspects		: 38086423226
3600.07/3600.53	c shortcuts		: 0
3600.07/3600.53	c learnt literals	: 0
3600.07/3600.53	c learnt binary clauses	: 0
3600.07/3600.53	c learnt ternary clauses	: 0
3600.07/3600.53	c learnt constraints	: 32564557
3600.07/3600.53	c ignored constraints	: 0
3600.07/3600.53	c root simplifications	: 0
3600.07/3600.53	c removed literals (reason simplification)	: 53000003
3600.07/3600.53	c reason swapping (by a shorter reason)	: 0
3600.07/3600.53	c Calls to reduceDB	: 250
3600.07/3600.53	c Number of update (reduction) of LBD	: 2764802
3600.07/3600.53	c Imported unit clauses	: 0
3600.07/3600.53	c No decision after first conflict	: false
3600.07/3600.53	c number of reductions to clauses (during analyze)	: 0
3600.07/3600.53	c number of learned constraints concerned by reduction	: 0
3600.07/3600.53	c number of learning phase by resolution	: 0
3600.07/3600.53	c number of learning phase by cutting planes	: 0
3600.07/3600.53	c number of rounding to 1 operations	: 0
3600.07/3600.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3600.53	c number of reductions of the coefficients by power 2 	: 0
3600.07/3600.53	c number of right shift for reduction by power 2 	: 0
3600.07/3600.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3600.53	c number of ending skipping 	: 0
3600.07/3600.53	c number of internal skipping 	: 0
3600.07/3600.53	c number of derivation steps 	: 0
3600.07/3600.53	c number of skipped derivation steps 	: 0
3600.07/3600.53	c number of remaining unassigned 	: 0
3600.07/3600.53	c number of remaining assigned 	: 0
3600.07/3600.53	c number of falsified literals weakened from reason	: 0
3600.07/3600.53	c number of falsified literals weakened from conflict	: 0
3600.07/3600.53	c time for arithmetic operations	: 0
3600.07/3600.53	c minimum degree of deleted constraints	: null
3600.07/3600.53	c maximum degree of deleted constraints	: null
3600.07/3600.53	c number of deleted constraints	: 0
3600.07/3600.53	c speed (assignments/second)	: 68280.61561330939
3600.07/3600.53	c non guided choices	: 28
3600.07/3600.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 442563
3600.07/3600.60	s UNKNOWN
3600.07/3600.60	c Total wall clock time (in seconds): 3600.463

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=180453, runsolver pid=180450

[startup+0.100061 s]*
/proc/loadavg: 4.19 4.22 4.18 6/339 180471
/proc/meminfo: memFree=94172332/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=18930384 memory=55608 CPUtime=0.13 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 6542 0 0 0 11 2 0 0 20 0 18 0 238474780 19384713216 13902 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4732596 13902 5336 1 0 547603 0
[pid=180453/tid=180455] ppid=180450 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 238474781 19384713216 13902 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238474783 19384713216 13902 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=18930384 memory=60684515952020 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238474784 19384713216 13902 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55608 KiB

[startup+0.20567 s]*
/proc/loadavg: 4.19 4.22 4.18 6/340 180472
/proc/meminfo: memFree=94172332/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=18996948 memory=62396 CPUtime=0.31 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 7156 0 0 0 29 2 0 0 20 0 19 0 238474780 19452874752 15599 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4749237 15599 5432 1 0 548301 0
[pid=180453/tid=180455] ppid=180450 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 5338 0 0 0 16 1 0 0 20 0 19 0 238474781 19452874752 15599 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=18996948 memory=16898 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238474783 19452874752 15599 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=18996948 memory=59585004307431 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238474784 19452874752 15599 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238474796 19452874752 15599 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62396 KiB

[startup+0.305626 s]*
/proc/loadavg: 4.19 4.22 4.18 6/340 180472
/proc/meminfo: memFree=94152292/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=18996948 memory=85000 CPUtime=0.5 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 9092 0 0 0 47 3 0 0 20 0 19 0 238474780 19452874752 21250 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4749237 21250 5464 1 0 549229 0
[pid=180453/tid=180455] ppid=180450 vsize=18996948 memory=-9176196856527233724 CPUtime=0.26 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 5369 0 0 0 25 1 0 0 20 0 19 0 238474781 19452874752 21250 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238474783 19452874752 21250 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238474784 19452874752 21250 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238474796 19452874752 21250 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85000 KiB

[startup+0.700255 s]
/proc/loadavg: 4.19 4.22 4.18 6/340 180472
/proc/meminfo: memFree=94115304/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=18996948 memory=152748 CPUtime=1.27 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 13955 0 0 0 122 5 0 0 20 0 19 0 238474780 19452874752 38187 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4749237 38187 5464 1 0 552232 0
[pid=180453/tid=180455] ppid=180450 vsize=18996948 memory=27264 CPUtime=0.62 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 5441 0 0 0 60 2 0 0 20 0 19 0 238474781 19452874752 38187 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238474783 19452874752 38187 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238474784 19452874752 38187 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238474796 19452874752 38187 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152748 KiB

[startup+1.50025 s]
/proc/loadavg: 4.19 4.22 4.18 6/341 180473
/proc/meminfo: memFree=94065540/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=170100 CPUtime=2.81 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 18701 0 0 0 274 7 0 0 20 0 20 0 238474780 19521036288 42525 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 42525 5464 1 0 552522 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=0 CPUtime=1.41 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 5816 0 0 0 137 4 0 0 20 0 20 0 238474781 19521036288 42525 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 42525 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 42525 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 42525 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170100 KiB

[startup+3.10546 s]
/proc/loadavg: 4.19 4.22 4.18 5/341 180474
/proc/meminfo: memFree=93925260/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=309844 CPUtime=4.77 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 21271 0 0 0 465 12 0 0 20 0 20 0 238474780 19521036288 77461 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 77461 5464 1 0 552526 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=10752 CPUtime=2.99 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 6179 0 0 0 290 9 0 0 20 0 20 0 238474781 19521036288 77461 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=-9176196856527233724 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 77461 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 77461 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 77461 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 309844 KiB

[startup+6.3002 s]
/proc/loadavg: 4.17 4.22 4.18 5/341 180474
/proc/meminfo: memFree=93511552/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=689536 CPUtime=7.99 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 22057 0 0 0 774 25 0 0 20 0 20 0 238474780 19521036288 172384 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 172384 5464 1 0 552526 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=0 CPUtime=6.17 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 6913 0 0 0 595 22 0 0 20 0 20 0 238474781 19521036288 172384 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 172384 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 172384 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 172384 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 7.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 689536 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.23 4.18 5/341 180474
/proc/meminfo: memFree=92767412/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=1303948 CPUtime=14.38 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 24474 0 0 0 1391 47 0 0 20 0 20 0 238474780 19521036288 325987 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 325987 5464 1 0 552526 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=1303948 CPUtime=12.54 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 7666 0 0 0 1211 43 0 0 20 0 20 0 238474781 19521036288 325987 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 325987 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 325987 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=-9176196856527233724 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 325987 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 14.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1303948 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.22 4.18 6/341 180474
/proc/meminfo: memFree=92612100/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=1314204 CPUtime=27.17 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 27095 0 0 0 2652 65 0 0 20 0 20 0 238474780 19521036288 328551 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 328551 5464 1 0 552526 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=2696 CPUtime=25.28 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 8780 0 0 0 2467 61 0 0 20 0 20 0 238474781 19521036288 328551 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 328551 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=718208 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 328551 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 328551 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314204 KiB

[startup+51.1055 s]
/proc/loadavg: 4.25 4.23 4.19 5/340 180675
/proc/meminfo: memFree=123233288/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=1318308 CPUtime=52.75 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 29801 0 0 0 5180 95 0 0 20 0 20 0 238474780 19521036288 329577 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 329577 5464 1 0 552526 0

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

/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1671 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3222.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.22 4.25 5/339 180861
/proc/meminfo: memFree=63764876/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3282.17 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 91547 0 0 0 326612 1605 0 0 20 0 20 0 238474780 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 540482 5528 1 0 554075 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3266.53 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 40226 0 0 0 325129 1524 0 0 20 0 20 0 238474781 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=2173292 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3282.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.19 4.24 5/340 180870
/proc/meminfo: memFree=63117152/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3342.14 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 93136 0 0 0 332582 1632 0 0 20 0 20 0 238474780 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 540482 5528 1 0 554075 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=27264 CPUtime=3326.28 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 41306 0 0 0 331078 1550 0 0 20 0 20 0 238474781 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3342.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.23 4.25 5/341 180873
/proc/meminfo: memFree=62333920/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3402.13 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 93273 0 0 0 338556 1657 0 0 20 0 20 0 238474780 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 540482 5528 1 0 554075 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3386.03 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 41339 0 0 0 337030 1573 0 0 20 0 20 0 238474781 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=27264 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3402.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.23 4.25 5/340 180875
/proc/meminfo: memFree=61536784/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3462.06 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 93296 0 0 0 344523 1683 0 0 20 0 20 0 238474780 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 540482 5528 1 0 554075 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3445.75 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 41342 0 0 0 342976 1599 0 0 20 0 20 0 238474781 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=27264 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1768 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3462.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.38 4.27 4.26 5/341 180878
/proc/meminfo: memFree=60719488/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3521.97 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 93891 0 0 0 350489 1708 0 0 20 0 20 0 238474780 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 540482 5528 1 0 554075 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3505.53 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 41926 0 0 0 348930 1623 0 0 20 0 20 0 238474781 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1768 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3521.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.25 4.25 5/341 180881
/proc/meminfo: memFree=59810328/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3581.91 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 95434 0 0 0 356463 1728 0 0 20 0 20 0 238474780 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 540482 5528 1 0 554076 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=5504 CPUtime=3565.24 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 43050 0 0 0 354882 1642 0 0 20 0 20 0 238474781 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1875 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3581.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.5 s]
/proc/loadavg: 4.32 4.26 4.26 5/341 180882
/proc/meminfo: memFree=59548364/131250000 swapFree=33009904/33010684
[pid=180453] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3600.07 cores=1,3
/proc/180453/stat : 180453 (java) S 180450 180453 179930 0 -1 4194304 96107 0 0 0 358272 1735 0 0 20 0 20 0 238474780 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
/proc/180453/statm: 4765878 540482 5528 1 0 554076 0
[pid=180453/tid=180455] ppid=180450 vsize=19063512 memory=2161928 CPUtime=3583.38 cores=1,3
/proc/180453/task/180455/stat : 180455 (java) R 180450 180453 179930 0 -1 4194368 43708 0 0 0 356690 1648 0 0 20 0 20 0 238474781 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180464] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180464/stat : 180464 (Finalizer) S 180450 180453 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238474783 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180471] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180471/stat : 180471 (Common-Cleaner) S 180450 180453 179930 0 -1 4194368 1875 0 0 0 0 0 0 0 20 0 20 0 238474784 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
[pid=180453/tid=180472] ppid=180450 vsize=19063512 memory=2161928 CPUtime=0 cores=1,3
/proc/180453/task/180472/stat : 180472 (Timer-0) S 180450 180453 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238474796 19521036288 540482 18446744073709551615 94749408636928 94749408640624 140724124969616 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94749408648440 94749408649232 94749423063040 140724124977492 140724124977636 140724124977636 140724124983240 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161928 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.86 s, system=17.3717 s

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

[startup+3600.61 s]*
/proc/loadavg: 4.32 4.26 4.26 5/323 180885
/proc/meminfo: memFree=61636536/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3600.62
CPU time (s): 3600.24
CPU user time (s): 3582.86
CPU system time (s): 17.3717
CPU usage (%): 99.9895
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2161928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.87
system time used= 17.3717
maximum resident set size= 2162696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8734664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111057
involuntary context switches= 7594


# summary of solver processes directly reported to runsolver:
#   pid: 180453
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3582.86
#   total CPU system time (s): 17.3717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17866 second user time and 16.7812 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-23 01:45:54
IDJOB=4543486
IDBENCH=173469
IDSOLVER=3364
FILE ID=nodeC033/4543486-1753227954
RUNJOBID= nodeC033-1753224403-179942
SLURM_JOB_ID= 9687833
Free space on /tmp= 403916 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543486-1753227954/watcher-4543486-1753227954 -o /tmp/evaluation-result-4543486-1753227954/solver-4543486-1753227954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179942 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543486-1753227954 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543486-1753227954.opb

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

MD5SUM BENCH= da5f48f37ada035f8ac21a7f4fc112f6
RANDOM SEED=1437676060

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.070
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		: 3600.262
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		: 3603.300
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		: 3599.515
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		: 3599.996
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		: 3600.086
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.064
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		: 3417.387
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:        94198992 kB
MemAvailable:   123190896 kB
Buffers:            2128 kB
Cached:         29708188 kB
SwapCached:           64 kB
Active:          7767296 kB
Inactive:       28480668 kB
Active(anon):    6558980 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file): 28475384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50884 kB
Writeback:             4 kB
AnonPages:       6538996 kB
Mapped:           128860 kB
Shmem:             26228 kB
KReclaimable:     294888 kB
Slab:             393872 kB
SReclaimable:     294888 kB
SUnreclaim:        98984 kB
KernelStack:        5180 kB
PageTables:        16572 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7109252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6326272 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= 358692 MiB
End job on nodeC033 at 2025-07-23 02:45:54