Trace number 4543485

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.18 3603.9

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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4543485-1753227706.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.014s.
0.13/0.14	c declared #vars     70
0.13/0.14	c #constraints  71
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 70
0.13/0.14	c 71 constraints processed.
0.32/0.30	c cleaning 2501 clauses out of 5002 with flag 10988/5002
0.70/0.45	c cleaning 4246 clauses out of 8499 with flag 24232/11000
1.09/0.61	c cleaning 5627 clauses out of 11254 with flag 39778/18001
1.47/0.86	c cleaning 6811 clauses out of 13626 with flag 57384/26000
1.87/1.00	c cleaning 7908 clauses out of 15815 with flag 77102/35000
2.07/1.14	c cleaning 8949 clauses out of 17907 with flag 99229/45000
2.38/1.30	c cleaning 9975 clauses out of 19959 with flag 123734/56001
2.47/1.46	c cleaning 10987 clauses out of 21983 with flag 151148/68000
2.76/1.65	c cleaning 11994 clauses out of 23996 with flag 180733/81000
3.02/1.86	c cleaning 12992 clauses out of 26002 with flag 212599/95000
3.33/2.11	c cleaning 14002 clauses out of 28011 with flag 247348/110001
3.52/2.36	c cleaning 15002 clauses out of 30008 with flag 282833/126000
3.86/2.65	c cleaning 15996 clauses out of 32007 with flag 322236/143001
4.16/2.96	c cleaning 17000 clauses out of 34011 with flag 362366/161001
4.45/3.29	c cleaning 18000 clauses out of 36010 with flag 404743/180000
4.96/3.75	c cleaning 19003 clauses out of 38010 with flag 455175/200000
5.36/4.19	c cleaning 19999 clauses out of 40008 with flag 505353/221001
5.75/4.57	c cleaning 20998 clauses out of 42010 with flag 554779/243002
6.15/4.93	c cleaning 22001 clauses out of 44011 with flag 606087/266001
6.55/5.32	c cleaning 23005 clauses out of 46009 with flag 660153/290000
6.95/5.76	c cleaning 24003 clauses out of 48005 with flag 717586/315001
7.45/6.29	c cleaning 24999 clauses out of 50001 with flag 776753/341000
8.05/6.89	c cleaning 25996 clauses out of 52002 with flag 838273/368000
8.66/7.41	c cleaning 27000 clauses out of 54006 with flag 901197/396000
9.26/8.09	c cleaning 27999 clauses out of 56006 with flag 967471/425000
9.85/8.67	c cleaning 28999 clauses out of 58007 with flag 1033587/455000
10.55/9.33	c cleaning 29999 clauses out of 60008 with flag 1101852/486000
11.26/10.05	c cleaning 31005 clauses out of 62010 with flag 1173114/518001
12.15/10.90	c cleaning 32000 clauses out of 64005 with flag 1250092/551001
12.95/11.72	c cleaning 32995 clauses out of 66004 with flag 1327213/585000
13.65/12.41	c cleaning 34000 clauses out of 68010 with flag 1405431/620001
14.35/13.11	c cleaning 35002 clauses out of 70009 with flag 1485679/656000
15.04/13.84	c cleaning 36001 clauses out of 72007 with flag 1568622/693000
15.84/14.64	c cleaning 37001 clauses out of 74006 with flag 1653373/731000
16.74/15.51	c cleaning 38000 clauses out of 76005 with flag 1740319/770000
17.54/16.39	c cleaning 38998 clauses out of 78006 with flag 1828750/810001
18.64/17.49	c cleaning 40000 clauses out of 80008 with flag 1920021/851001
20.04/18.83	c cleaning 40999 clauses out of 82007 with flag 2020005/893000
21.24/20.05	c cleaning 42002 clauses out of 84008 with flag 2121281/936000
22.33/21.15	c cleaning 43002 clauses out of 86006 with flag 2222464/980000
23.53/22.31	c cleaning 44002 clauses out of 88004 with flag 2328630/1025000
24.62/23.42	c cleaning 44995 clauses out of 90002 with flag 2432629/1071000
25.84/24.64	c cleaning 46003 clauses out of 92010 with flag 2538296/1118003
27.14/25.98	c cleaning 46999 clauses out of 94004 with flag 2648550/1166000
28.44/27.21	c cleaning 47998 clauses out of 96006 with flag 2758424/1215001
29.64/28.49	c cleaning 48996 clauses out of 98007 with flag 2875168/1265000
31.13/29.91	c cleaning 49997 clauses out of 100011 with flag 2994201/1316000
32.84/31.68	c cleaning 51006 clauses out of 102015 with flag 3114338/1368001
34.63/33.47	c cleaning 52001 clauses out of 104008 with flag 3240752/1421000
36.56/35.37	c cleaning 52998 clauses out of 106007 with flag 3363834/1475000
39.15/37.92	c cleaning 54003 clauses out of 108012 with flag 3496867/1530003
41.05/39.89	c cleaning 55002 clauses out of 110006 with flag 3629392/1586000
43.05/41.89	c cleaning 55999 clauses out of 112005 with flag 3758036/1643001
45.14/43.94	c cleaning 57001 clauses out of 114006 with flag 3886867/1701001
47.24/46.07	c cleaning 58000 clauses out of 116004 with flag 4021955/1760000
49.67/48.48	c cleaning 58996 clauses out of 118004 with flag 4157396/1820000
51.76/50.56	c cleaning 59999 clauses out of 120008 with flag 4292353/1881000
53.66/52.50	c cleaning 60995 clauses out of 122010 with flag 4428745/1943001
55.55/54.34	c cleaning 62006 clauses out of 124014 with flag 4572083/2006000
57.35/56.16	c cleaning 63001 clauses out of 126009 with flag 4716636/2070001
59.47/58.27	c cleaning 64001 clauses out of 128008 with flag 4866561/2135001
62.47/61.24	c cleaning 64999 clauses out of 130006 with flag 5019373/2201000
65.86/64.65	c cleaning 65997 clauses out of 132007 with flag 5174451/2268000
68.36/67.18	c cleaning 67005 clauses out of 134011 with flag 5325162/2336001
71.25/70.09	c cleaning 67998 clauses out of 136005 with flag 5484587/2405000
74.65/73.50	c cleaning 69002 clauses out of 138008 with flag 5649658/2475001
77.08/75.89	c cleaning 69999 clauses out of 140005 with flag 5808100/2546000
79.17/77.91	c cleaning 71000 clauses out of 142008 with flag 5967733/2618002
81.97/80.70	c cleaning 72000 clauses out of 144006 with flag 6148246/2691000
85.06/83.85	c cleaning 73002 clauses out of 146006 with flag 6324626/2765000
89.69/88.44	c cleaning 73999 clauses out of 148007 with flag 6508914/2840003
92.69/91.43	c cleaning 74996 clauses out of 150005 with flag 6692171/2916000
97.28/96.07	c cleaning 75998 clauses out of 152009 with flag 6884640/2993000
101.46/100.26	c cleaning 76998 clauses out of 154011 with flag 7083214/3071000
105.85/104.68	c cleaning 77998 clauses out of 156013 with flag 7282964/3150000
110.00/108.72	c cleaning 79004 clauses out of 158016 with flag 7475256/3230001
114.58/113.30	c cleaning 80002 clauses out of 160011 with flag 7686474/3311000
120.17/118.98	c cleaning 81000 clauses out of 162010 with flag 7901719/3393001
124.16/122.98	c cleaning 82003 clauses out of 164010 with flag 8106258/3476001
127.78/126.58	c cleaning 83001 clauses out of 166006 with flag 8307126/3560000
131.67/130.46	c cleaning 83998 clauses out of 168007 with flag 8503369/3645002
135.96/134.70	c cleaning 84999 clauses out of 170007 with flag 8711037/3731000
140.45/139.21	c cleaning 86005 clauses out of 172009 with flag 8923909/3818001
145.78/144.58	c cleaning 86996 clauses out of 174003 with flag 9142380/3906000
151.38/150.13	c cleaning 87993 clauses out of 176008 with flag 9363748/3995001
155.96/154.79	c cleaning 88998 clauses out of 178014 with flag 9577486/4085000
160.55/159.37	c cleaning 90003 clauses out of 180016 with flag 9805939/4176000
165.87/164.65	c cleaning 91005 clauses out of 182013 with flag 10029441/4268000
171.85/170.64	c cleaning 92002 clauses out of 184009 with flag 10264265/4361001
179.64/178.47	c cleaning 92998 clauses out of 186007 with flag 10500407/4455001
187.33/186.15	c cleaning 94002 clauses out of 188009 with flag 10744264/4550001
193.75/192.57	c cleaning 94999 clauses out of 190007 with flag 10981109/4646001
200.24/199.03	c cleaning 95999 clauses out of 192007 with flag 11216840/4743000
206.23/205.10	c cleaning 97001 clauses out of 194008 with flag 11454120/4841000
212.11/210.91	c cleaning 98001 clauses out of 196008 with flag 11683892/4940001
218.00/216.85	c cleaning 98997 clauses out of 198006 with flag 11914862/5040000
223.79/222.63	c cleaning 100001 clauses out of 200009 with flag 12154912/5141000
230.34/229.13	c cleaning 101000 clauses out of 202009 with flag 12397430/5243001
236.32/235.18	c cleaning 101998 clauses out of 204009 with flag 12642187/5346001
242.11/240.91	c cleaning 103003 clauses out of 206011 with flag 12881618/5450001
248.20/247.06	c cleaning 103998 clauses out of 208007 with flag 13128650/5555000
253.08/251.94	c cleaning 105002 clauses out of 210009 with flag 13374738/5661000
260.73/259.56	c cleaning 106001 clauses out of 212008 with flag 13617562/5768001
265.82/264.66	c cleaning 107001 clauses out of 214006 with flag 13861938/5876000
278.19/277.07	c cleaning 107997 clauses out of 216005 with flag 14119547/5985000
282.67/281.59	c cleaning 108995 clauses out of 218008 with flag 14363931/6095000
289.26/288.17	c cleaning 110003 clauses out of 220014 with flag 14620632/6206001
298.33/297.21	c cleaning 111003 clauses out of 222011 with flag 14896040/6318001
304.77/303.65	c cleaning 112000 clauses out of 224008 with flag 15179206/6431001
315.64/314.59	c cleaning 112997 clauses out of 226007 with flag 15456208/6545000
329.12/328.03	c cleaning 114000 clauses out of 228010 with flag 15748699/6660000
338.39/337.36	c cleaning 114999 clauses out of 230010 with flag 16031123/6776000
347.67/346.66	c cleaning 116004 clauses out of 232012 with flag 16315282/6893001
361.53/360.57	c cleaning 116999 clauses out of 234008 with flag 16629848/7011001
371.91/370.90	c cleaning 117994 clauses out of 236009 with flag 16920188/7130001
385.38/384.43	c cleaning 119003 clauses out of 238015 with flag 17210965/7250001
399.84/398.93	c cleaning 119998 clauses out of 240011 with flag 17511063/7371000
415.20/414.37	c cleaning 121001 clauses out of 242013 with flag 17820387/7493000
428.77/427.98	c cleaning 122007 clauses out of 244013 with flag 18138669/7616001
440.24/439.44	c cleaning 122999 clauses out of 246006 with flag 18451498/7740001
452.52/451.75	c cleaning 124001 clauses out of 248007 with flag 18752473/7865001
467.97/467.29	c cleaning 124998 clauses out of 250006 with flag 19060450/7991001
486.74/486.06	c cleaning 126001 clauses out of 252007 with flag 19359006/8118000
500.30/499.63	c cleaning 126998 clauses out of 254006 with flag 19655506/8246000
511.17/510.57	c cleaning 128005 clauses out of 256009 with flag 19944897/8375001
527.03/526.47	c cleaning 128999 clauses out of 258004 with flag 20255385/8505001
540.01/539.44	c cleaning 129996 clauses out of 260005 with flag 20557009/8636001
556.28/555.66	c cleaning 130996 clauses out of 262009 with flag 20885757/8768001
566.47/565.88	c cleaning 132001 clauses out of 264012 with flag 21210587/8901000
581.34/580.70	c cleaning 133001 clauses out of 266011 with flag 21537448/9035000
592.62/592.03	c cleaning 134000 clauses out of 268010 with flag 21845992/9170000
606.39/605.84	c cleaning 135000 clauses out of 270010 with flag 22174161/9306000
624.65/624.13	c cleaning 136003 clauses out of 272010 with flag 22514947/9443000
640.81/640.31	c cleaning 136996 clauses out of 274007 with flag 22853314/9581000
655.28/654.80	c cleaning 138003 clauses out of 276011 with flag 23183188/9720000
669.04/668.56	c cleaning 139005 clauses out of 278009 with flag 23533261/9860001
681.91/681.40	c cleaning 140001 clauses out of 280004 with flag 23888640/10001001
694.59/694.19	c cleaning 140995 clauses out of 282003 with flag 24223589/10143001
704.17/703.75	c cleaning 141998 clauses out of 284007 with flag 24552123/10286000
712.35/711.91	c cleaning 143002 clauses out of 286010 with flag 24881718/10430001
720.44/720.02	c cleaning 143995 clauses out of 288007 with flag 25204127/10575000
731.02/730.64	c cleaning 145000 clauses out of 290012 with flag 25536667/10721000
742.58/742.14	c cleaning 146001 clauses out of 292013 with flag 25873837/10868001
755.06/754.60	c cleaning 146997 clauses out of 294011 with flag 26223107/11016000
766.03/765.64	c cleaning 148002 clauses out of 296016 with flag 26565797/11165002
778.21/777.82	c cleaning 149002 clauses out of 298012 with flag 26910938/11315000
790.98/790.68	c cleaning 149998 clauses out of 300011 with flag 27256088/11466001
802.95/802.61	c cleaning 151002 clauses out of 302012 with flag 27602120/11618000
816.13/815.80	c cleaning 152002 clauses out of 304011 with flag 27956323/11771001
826.70/826.43	c cleaning 153000 clauses out of 306009 with flag 28302964/11925001
837.18/836.95	c cleaning 154005 clauses out of 308009 with flag 28659516/12080001
848.46/848.12	c cleaning 154996 clauses out of 310003 with flag 29026757/12236000
861.14/860.83	c cleaning 156001 clauses out of 312008 with flag 29400501/12393001
874.51/874.26	c cleaning 156996 clauses out of 314007 with flag 29784300/12551001
886.88/886.66	c cleaning 158000 clauses out of 316010 with flag 30182099/12710000
901.24/901.06	c cleaning 159001 clauses out of 318010 with flag 30579590/12870000
915.31/915.12	c cleaning 159999 clauses out of 320009 with flag 30972504/13031000
927.98/927.80	c cleaning 160998 clauses out of 322010 with flag 31365298/13193000
945.44/945.36	c cleaning 162000 clauses out of 324012 with flag 31757460/13356000
960.58/960.42	c cleaning 163004 clauses out of 326012 with flag 32150150/13520000
974.55/974.40	c cleaning 163999 clauses out of 328008 with flag 32553328/13685000
989.12/989.00	c cleaning 165003 clauses out of 330009 with flag 32971039/13851000
1003.39/1003.30	c cleaning 165999 clauses out of 332006 with flag 33372164/14018000
1018.16/1018.12	c cleaning 167002 clauses out of 334007 with flag 33784014/14186000
1033.63/1033.65	c cleaning 167995 clauses out of 336005 with flag 34211710/14355000
1052.59/1052.63	c cleaning 169000 clauses out of 338011 with flag 34653715/14525001
1073.24/1073.34	c cleaning 170001 clauses out of 340010 with flag 35071938/14696000
1088.21/1088.38	c cleaning 171001 clauses out of 342009 with flag 35498656/14868000
1110.11/1109.91	c cleaning 171999 clauses out of 344010 with flag 35963467/15041002
1128.06/1127.92	c cleaning 173004 clauses out of 346010 with flag 36403930/15215001
1144.82/1144.75	c cleaning 173994 clauses out of 348006 with flag 36820239/15390001
1166.17/1166.12	c cleaning 175000 clauses out of 350011 with flag 37240557/15566000
1185.52/1185.57	c cleaning 175999 clauses out of 352012 with flag 37640470/15743001
1203.98/1204.10	c cleaning 176999 clauses out of 354012 with flag 38053587/15921000
1228.11/1228.20	c cleaning 177999 clauses out of 356013 with flag 38467708/16100000
1249.17/1249.31	c cleaning 179001 clauses out of 358014 with flag 38880540/16280000
1268.12/1268.30	c cleaning 180004 clauses out of 360013 with flag 39292415/16461000
1289.15/1289.30	c cleaning 180999 clauses out of 362010 with flag 39713660/16643001
1314.19/1314.41	c cleaning 182002 clauses out of 364011 with flag 40165531/16826001
1338.85/1339.15	c cleaning 183001 clauses out of 366009 with flag 40592868/17010001
1359.70/1360.05	c cleaning 183997 clauses out of 368008 with flag 41021668/17195001
1384.15/1384.53	c cleaning 185000 clauses out of 370011 with flag 41463315/17381001
1401.92/1402.38	c cleaning 186004 clauses out of 372011 with flag 41903504/17568001
1425.46/1425.91	c cleaning 186992 clauses out of 374007 with flag 42346381/17756001
1448.02/1448.54	c cleaning 187995 clauses out of 376014 with flag 42806143/17945000
1464.59/1465.17	c cleaning 189003 clauses out of 378020 with flag 43234585/18135001
1482.74/1483.23	c cleaning 190002 clauses out of 380017 with flag 43693838/18326001
1497.61/1498.15	c cleaning 191005 clauses out of 382015 with flag 44140625/18518001
1523.34/1523.94	c cleaning 192000 clauses out of 384010 with flag 44607916/18711001
1552.98/1553.68	c cleaning 193002 clauses out of 386010 with flag 45085561/18905001
1583.60/1584.36	c cleaning 193998 clauses out of 388009 with flag 45577403/19100002
1620.01/1620.85	c cleaning 194999 clauses out of 390010 with flag 46062712/19296001
1649.15/1650.00	c cleaning 196004 clauses out of 392010 with flag 46574720/19493000
1678.78/1679.70	c cleaning 197002 clauses out of 394007 with flag 47078725/19691001
1704.12/1705.14	c cleaning 197992 clauses out of 396004 with flag 47579229/19890000
1733.77/1734.74	c cleaning 199007 clauses out of 398013 with flag 48103088/20090001
1768.49/1769.56	c cleaning 199997 clauses out of 400005 with flag 48646199/20291000
1786.25/1787.35	c cleaning 200995 clauses out of 402008 with flag 49149649/20493000
1809.81/1810.98	c cleaning 201997 clauses out of 404015 with flag 49649602/20696002
1844.23/1845.44	c cleaning 203002 clauses out of 406016 with flag 50171144/20900000
1878.36/1879.64	c cleaning 204005 clauses out of 408014 with flag 50691128/21105000
1915.08/1916.41	c cleaning 205000 clauses out of 410009 with flag 51246493/21311000
1935.54/1936.94	c cleaning 205998 clauses out of 412009 with flag 51730265/21518000
1959.91/1961.26	c cleaning 206997 clauses out of 414012 with flag 52202266/21726001
1984.35/1985.79	c cleaning 208004 clauses out of 416014 with flag 52688981/21935000
2011.20/2012.65	c cleaning 209001 clauses out of 418010 with flag 53184968/22145000
2038.54/2040.02	c cleaning 209998 clauses out of 420009 with flag 53685750/22356000
2070.67/2072.20	c cleaning 211003 clauses out of 422011 with flag 54188736/22568000
2097.61/2099.26	c cleaning 212003 clauses out of 424011 with flag 54693031/22781003
2133.02/2134.67	c cleaning 212996 clauses out of 426005 with flag 55220543/22995000
2173.23/2175.00	c cleaning 213999 clauses out of 428010 with flag 55771848/23210001
2206.46/2208.23	c cleaning 215003 clauses out of 430010 with flag 56300460/23426000
2232.60/2234.46	c cleaning 215996 clauses out of 432007 with flag 56825040/23643000
2258.55/2260.45	c cleaning 216999 clauses out of 434011 with flag 57358409/23861000
2293.57/2295.50	c cleaning 218002 clauses out of 436013 with flag 57901646/24080001
2331.40/2333.42	c cleaning 219000 clauses out of 438011 with flag 58463655/24300001
2368.31/2370.49	c cleaning 220002 clauses out of 440011 with flag 59025241/24521001
2405.12/2407.34	c cleaning 220998 clauses out of 442009 with flag 59564887/24743001
2431.56/2433.81	c cleaning 221999 clauses out of 444010 with flag 60083494/24966000
2458.52/2460.72	c cleaning 223002 clauses out of 446011 with flag 60609187/25190000
2488.06/2490.36	c cleaning 224001 clauses out of 448009 with flag 61143054/25415000
2516.29/2518.68	c cleaning 224994 clauses out of 450009 with flag 61678530/25641001
2545.64/2548.05	c cleaning 226004 clauses out of 452016 with flag 62225863/25868002
2571.69/2574.18	c cleaning 226998 clauses out of 454010 with flag 62765263/26096000
2593.94/2596.48	c cleaning 227997 clauses out of 456012 with flag 63309554/26325000
2624.17/2626.76	c cleaning 229003 clauses out of 458016 with flag 63861871/26555001
2655.62/2658.20	c cleaning 230002 clauses out of 460012 with flag 64432913/26786000
2681.66/2684.37	c cleaning 231000 clauses out of 462010 with flag 64987889/27018000
2703.92/2706.68	c cleaning 232003 clauses out of 464010 with flag 65554154/27251000
2737.35/2740.13	c cleaning 232995 clauses out of 466009 with flag 66131635/27485002
2762.52/2765.28	c cleaning 234001 clauses out of 468013 with flag 66678966/27720001
2789.07/2791.81	c cleaning 235000 clauses out of 470011 with flag 67236791/27956000
2816.82/2819.61	c cleaning 235999 clauses out of 472011 with flag 67794362/28193000
2839.07/2841.92	c cleaning 237004 clauses out of 474012 with flag 68343408/28431000
2866.51/2869.46	c cleaning 237996 clauses out of 476008 with flag 68915361/28670000
2893.96/2896.82	c cleaning 238997 clauses out of 478012 with flag 69469101/28910000
2922.50/2925.41	c cleaning 240003 clauses out of 480015 with flag 70031109/29151000
2953.83/2956.84	c cleaning 240999 clauses out of 482012 with flag 70586495/29393000
2982.47/2985.56	c cleaning 242000 clauses out of 484013 with flag 71160549/29636000
3014.89/3018.05	c cleaning 243004 clauses out of 486013 with flag 71751327/29880000
3045.71/3048.93	c cleaning 243996 clauses out of 488010 with flag 72327292/30125001
3070.65/3073.99	c cleaning 245004 clauses out of 490014 with flag 72892784/30371001
3099.44/3102.33	c cleaning 245997 clauses out of 492009 with flag 73472890/30618000
3128.58/3131.53	c cleaning 247004 clauses out of 494012 with flag 74040662/30866000
3168.00/3171.02	c cleaning 248003 clauses out of 496009 with flag 74641123/31115001
3197.83/3201.00	c cleaning 248996 clauses out of 498005 with flag 75234955/31365000
3225.78/3228.91	c cleaning 250001 clauses out of 500009 with flag 75831794/31616000
3253.62/3256.88	c cleaning 250996 clauses out of 502009 with flag 76413424/31868001
3285.65/3288.93	c cleaning 252004 clauses out of 504013 with flag 77008193/32121001
3330.06/3333.30	c cleaning 253002 clauses out of 506009 with flag 77636213/32375001
3379.46/3382.89	c cleaning 253996 clauses out of 508006 with flag 78308493/32630000
3415.98/3419.42	c cleaning 255000 clauses out of 510010 with flag 78913098/32886000
3459.09/3462.64	c cleaning 255996 clauses out of 512010 with flag 79581691/33143000
3509.59/3513.28	c cleaning 257003 clauses out of 514014 with flag 80211000/33401000
3543.02/3546.72	c cleaning 257997 clauses out of 516012 with flag 80830189/33660001
3579.59/3583.34	c cleaning 258999 clauses out of 518015 with flag 81427864/33920001
3600.03/3603.81	c timeout
3600.03/3603.82	c starts		: 157
3600.03/3603.82	c conflicts		: 34133603
3600.03/3603.82	c decisions		: 49475764
3600.03/3603.82	c propagations		: 257655258
3600.03/3603.82	c inspects		: 40470906484
3600.03/3603.82	c shortcuts		: 0
3600.03/3603.82	c learnt literals	: 0
3600.03/3603.82	c learnt binary clauses	: 0
3600.03/3603.82	c learnt ternary clauses	: 0
3600.03/3603.82	c learnt constraints	: 34133603
3600.03/3603.82	c ignored constraints	: 0
3600.03/3603.82	c root simplifications	: 0
3600.03/3603.82	c removed literals (reason simplification)	: 55174787
3600.03/3603.82	c reason swapping (by a shorter reason)	: 0
3600.03/3603.82	c Calls to reduceDB	: 256
3600.03/3603.82	c Number of update (reduction) of LBD	: 2902613
3600.03/3603.82	c Imported unit clauses	: 0
3600.03/3603.82	c No decision after first conflict	: false
3600.03/3603.82	c number of reductions to clauses (during analyze)	: 0
3600.03/3603.82	c number of learned constraints concerned by reduction	: 0
3600.03/3603.82	c number of learning phase by resolution	: 0
3600.03/3603.82	c number of learning phase by cutting planes	: 0
3600.03/3603.82	c number of rounding to 1 operations	: 0
3600.03/3603.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3603.82	c number of reductions of the coefficients by power 2 	: 0
3600.03/3603.82	c number of right shift for reduction by power 2 	: 0
3600.03/3603.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3603.82	c number of ending skipping 	: 0
3600.03/3603.82	c number of internal skipping 	: 0
3600.03/3603.82	c number of derivation steps 	: 0
3600.03/3603.82	c number of skipped derivation steps 	: 0
3600.03/3603.82	c number of remaining unassigned 	: 0
3600.03/3603.82	c number of remaining assigned 	: 0
3600.03/3603.82	c number of falsified literals weakened from reason	: 0
3600.03/3603.82	c number of falsified literals weakened from conflict	: 0
3600.03/3603.82	c time for arithmetic operations	: 0
3600.03/3603.82	c minimum degree of deleted constraints	: null
3600.03/3603.82	c maximum degree of deleted constraints	: null
3600.03/3603.82	c number of deleted constraints	: 0
3600.03/3603.83	c speed (assignments/second)	: 71497.75882062879
3600.03/3603.83	c non guided choices	: 28
3600.03/3603.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 472618
3600.03/3603.89	s UNKNOWN
3600.03/3603.89	c Total wall clock time (in seconds): 3603.765

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543485-1753227706/watcher-4543485-1753227706 -o /tmp/evaluation-result-4543485-1753227706/solver-4543485-1753227706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216815 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543485-1753227706.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.15 4.10 4.05 6/337 217264
/proc/meminfo: memFree=121952552/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=18930384 memory=57972 CPUtime=0.13 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 6599 0 0 0 11 2 0 0 20 0 18 0 238449371 19384713216 14493 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4732596 14493 5367 1 0 547638 0
[pid=217233/tid=217238] ppid=217226 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) S 217226 217233 216805 0 -1 4194368 5091 0 0 0 7 1 0 0 20 0 18 0 238449372 19384713216 14493 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238449374 19384713216 14493 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=18930384 memory=57385981077077 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238449374 19384713216 14493 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57972 KiB

[startup+0.205603 s]*
/proc/loadavg: 4.15 4.10 4.05 6/319 217268
/proc/meminfo: memFree=121968920/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=18996948 memory=64728 CPUtime=0.32 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 7806 0 0 0 30 2 0 0 20 0 19 0 238449371 19452874752 16182 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4749237 16182 5431 1 0 548329 0
[pid=217233/tid=217238] ppid=217226 vsize=18997320 memory=4027056247 CPUtime=0.17 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 5302 0 0 0 16 1 0 0 20 0 19 0 238449372 19453255680 16214 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=18997320 memory=215637837014 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449374 19453255680 16246 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=18997320 memory=27141 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449374 19453255680 16246 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=18997320 memory=0 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449386 19453255680 16246 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64728 KiB

[startup+0.305491 s]*
/proc/loadavg: 4.15 4.10 4.05 5/296 217279
/proc/meminfo: memFree=126913748/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=18996948 memory=70612 CPUtime=0.51 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 10037 0 0 0 48 3 0 0 20 0 19 0 238449371 19452874752 17653 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4749237 17653 5431 1 0 549827 0
[pid=217233/tid=217238] ppid=217226 vsize=18996948 memory=-8672915174469640892 CPUtime=0.27 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 5338 0 0 0 25 2 0 0 20 0 19 0 238449372 19452874752 17653 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 17653 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 17653 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449386 19452874752 17653 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70612 KiB

[startup+0.700239 s]
/proc/loadavg: 4.15 4.10 4.05 5/294 217287
/proc/meminfo: memFree=126907492/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=18996948 memory=81628 CPUtime=1.28 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 12224 0 0 0 124 4 0 0 20 0 19 0 238449371 19452874752 20407 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4749237 20407 5463 1 0 551434 0
[pid=217233/tid=217238] ppid=217226 vsize=18996948 memory=22144 CPUtime=0.63 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 5429 0 0 0 61 2 0 0 20 0 19 0 238449372 19452874752 20407 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 20407 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 20407 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449386 19452874752 20407 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 81628 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.10 4.05 4/294 217287
/proc/meminfo: memFree=126901380/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=18996948 memory=96452 CPUtime=2.57 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 15510 0 0 0 252 5 0 0 20 0 19 0 238449371 19452874752 24113 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4749237 24113 5463 1 0 551447 0
[pid=217233/tid=217238] ppid=217226 vsize=18996948 memory=0 CPUtime=1.41 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 5741 0 0 0 138 3 0 0 20 0 19 0 238449372 19452874752 24113 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 24113 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 24113 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449386 19452874752 24113 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96452 KiB

[startup+3.10534 s]
/proc/loadavg: 4.15 4.10 4.05 5/338 217398
/proc/meminfo: memFree=126730624/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=18996948 memory=121308 CPUtime=4.36 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 17107 0 0 0 430 6 0 0 20 0 19 0 238449371 19452874752 30327 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4749237 30327 5463 1 0 551450 0
[pid=217233/tid=217238] ppid=217226 vsize=18996948 memory=10752 CPUtime=2.99 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 6001 0 0 0 295 4 0 0 20 0 19 0 238449372 19452874752 30327 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=18996948 memory=-8744697886305657532 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 30327 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 30327 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449386 19452874752 30327 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121308 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.10 4.05 5/340 217400
/proc/meminfo: memFree=126559088/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=18996948 memory=154908 CPUtime=7.55 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 18203 0 0 0 747 8 0 0 20 0 19 0 238449371 19452874752 38727 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4749237 38727 5463 1 0 551450 0
[pid=217233/tid=217238] ppid=217226 vsize=18996948 memory=0 CPUtime=6.17 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 6506 0 0 0 612 5 0 0 20 0 19 0 238449372 19452874752 38727 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 38727 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449374 19452874752 38727 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=18996948 memory=98500 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449386 19452874752 38727 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154908 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.05 5/339 217467
/proc/meminfo: memFree=128880812/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=169708 CPUtime=13.94 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 20165 0 0 0 1385 9 0 0 20 0 20 0 238449371 19521036288 42427 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 42427 5495 1 0 551739 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=98500 CPUtime=12.55 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 6884 0 0 0 1249 6 0 0 20 0 20 0 238449372 19521036288 42427 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 42427 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=169708 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 42427 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 42427 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 13.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169708 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.05 5/340 217468
/proc/meminfo: memFree=128458268/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=198708 CPUtime=26.74 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 21711 0 0 0 2664 10 0 0 20 0 20 0 238449371 19521036288 49677 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 49677 5495 1 0 551739 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=0 CPUtime=25.29 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 7333 0 0 0 2523 6 0 0 20 0 20 0 238449372 19521036288 49677 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=198708 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 49677 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=-8744697886305657532 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 49677 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=175876 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 49677 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 26.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198708 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.04 5/340 217468
/proc/meminfo: memFree=127696168/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=266352 CPUtime=52.36 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 21826 0 0 0 5224 12 0 0 20 0 20 0 238449371 19521036288 66588 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 66588 5495 1 0 551739 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=266352 CPUtime=50.75 cores=0,2

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

/proc/meminfo: memFree=121375048/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1881160 CPUtime=3219.19 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 62081 0 0 0 321805 114 0 0 20 0 20 0 238449371 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 470290 5527 1 0 553924 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=1814968 CPUtime=3211.9 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 26617 0 0 0 321172 18 0 0 20 0 20 0 238449372 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=1814968 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=1881160 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 957 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=1881160 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3219.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1881160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/341 217639
/proc/meminfo: memFree=121375152/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1881160 CPUtime=3279.07 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 62703 0 0 0 327792 115 0 0 20 0 20 0 238449371 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 470290 5527 1 0 553924 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=1881160 CPUtime=3271.76 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 27186 0 0 0 327158 18 0 0 20 0 20 0 238449372 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=1881160 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=1881160 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 957 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=22272 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 470290 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3279.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1881160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 217641
/proc/meminfo: memFree=121362872/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1886296 CPUtime=3339.04 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 64092 0 0 0 333787 117 0 0 20 0 20 0 238449371 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 471574 5527 1 0 554150 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=1886296 CPUtime=3331.51 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 27768 0 0 0 333133 18 0 0 20 0 20 0 238449372 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=1881160 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=1886296 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 974 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=22272 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3339.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1886296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/340 217643
/proc/meminfo: memFree=121113572/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1886296 CPUtime=3398.91 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 64208 0 0 0 339773 118 0 0 20 0 20 0 238449371 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 471574 5527 1 0 554164 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=1886296 CPUtime=3391.36 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 27794 0 0 0 339118 18 0 0 20 0 20 0 238449372 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=22272 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 988 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=1886296 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3398.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1886296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 217645
/proc/meminfo: memFree=120921172/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1886296 CPUtime=3458.79 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 64243 0 0 0 345760 119 0 0 20 0 20 0 238449371 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 471574 5527 1 0 554173 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=1886296 CPUtime=3451.22 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 27817 0 0 0 345104 18 0 0 20 0 20 0 238449372 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 988 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=1886296 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 471574 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3458.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1886296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 217647
/proc/meminfo: memFree=120920800/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1886424 CPUtime=3518.66 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 64517 0 0 0 351747 119 0 0 20 0 20 0 238449371 19521036288 471606 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 471606 5527 1 0 554182 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=1886424 CPUtime=3511.08 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 28079 0 0 0 351090 18 0 0 20 0 20 0 238449372 19521036288 471606 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=1886424 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471606 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=1886424 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 988 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471606 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=-8744697886305657532 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 471606 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3518.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1886424 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/340 217649
/proc/meminfo: memFree=120920928/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1886552 CPUtime=3578.59 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 65410 0 0 0 357738 121 0 0 20 0 20 0 238449371 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 471638 5527 1 0 554189 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=1886424 CPUtime=3570.92 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 28673 0 0 0 357074 18 0 0 20 0 20 0 238449372 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=22272 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3578.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1886552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.8 s]
/proc/loadavg: 4.11 4.11 4.09 6/338 217846
/proc/meminfo: memFree=125274268/131249992 swapFree=33003724/33010684
[pid=217233] ppid=217226 vsize=19063512 memory=1886552 CPUtime=3600.03 cores=0,2
/proc/217233/stat : 217233 (java) S 217226 217233 216805 0 -1 4194304 65630 0 0 0 359882 121 0 0 20 0 20 0 238449371 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
/proc/217233/statm: 4765878 471638 5527 1 0 554189 0
[pid=217233/tid=217238] ppid=217226 vsize=19063512 memory=197212 CPUtime=3592.36 cores=0,2
/proc/217233/task/217238/stat : 217238 (java) R 217226 217233 216805 0 -1 4194368 28881 0 0 0 359218 18 0 0 20 0 20 0 238449372 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217257] ppid=217226 vsize=19063512 memory=3968 CPUtime=0 cores=0,2
/proc/217233/task/217257/stat : 217257 (Finalizer) S 217226 217233 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217264] ppid=217226 vsize=19063512 memory=-8672915174469640892 CPUtime=0 cores=0,2
/proc/217233/task/217264/stat : 217264 (Common-Cleaner) S 217226 217233 216805 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 238449374 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
[pid=217233/tid=217266] ppid=217226 vsize=19063512 memory=3072 CPUtime=0 cores=0,2
/proc/217233/task/217266/stat : 217266 (Timer-0) S 217226 217233 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449386 19521036288 471638 18446744073709551615 94708201750528 94708201754224 140725645195488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708201762040 94708201762832 94708213948416 140725645199743 140725645199844 140725645199844 140725645205448 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1886552 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.95 s, system=1.22339 s

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

Child status: 143

Real time (s): 3603.9
CPU time (s): 3600.18
CPU user time (s): 3598.95
CPU system time (s): 1.22339
CPU usage (%): 99.8966
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1886552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.22339
maximum resident set size= 1887576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103557
involuntary context switches= 5630


# summary of solver processes directly reported to runsolver:
#   pid: 217233
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.95
#   total CPU system time (s): 1.22339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36838 second user time and 16.3136 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 01:41:46
IDJOB=4543485
IDBENCH=173469
IDSOLVER=3363
FILE ID=nodeC025/4543485-1753227706
RUNJOBID= nodeC025-1753224118-216815
SLURM_JOB_ID= 9687832
Free space on /tmp= 431856 MiB

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

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

MD5SUM BENCH= da5f48f37ada035f8ac21a7f4fc112f6
RANDOM SEED=1674897472

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        122015052 kB
MemAvailable:   122225632 kB
Buffers:            2128 kB
Cached:           954320 kB
SwapCached:         2132 kB
Active:          8222332 kB
Inactive:         299652 kB
Active(anon):    7559532 kB
Inactive(anon):    27612 kB
Active(file):     662800 kB
Inactive(file):   272040 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1408 kB
Writeback:             0 kB
AnonPages:       7566464 kB
Mapped:           123068 kB
Shmem:             21600 kB
KReclaimable:     229960 kB
Slab:             327340 kB
SReclaimable:     229960 kB
SUnreclaim:        97380 kB
KernelStack:        4896 kB
PageTables:        18264 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8659804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151128 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7391232 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431852 MiB
End job on nodeC025 at 2025-07-23 02:41:50