Trace number 4543290

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.33 3475.86

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
MD5SUM0942a69f21bd48da4c21a008e6f37b2a
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.980711
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables980
Total number of constraints981
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint980
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 245
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 1225
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2106806208
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.43/0.35	c Pseudo Boolean Optimization by upper bound
0.43/0.35	c --- Begin Solver configuration ---
0.43/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.35	c Learn all clauses as in MiniSAT
0.43/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.35	c Expensive reason simplification
0.43/0.35	c Glucose 2.1 dynamic restart strategy
0.43/0.35	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.43/0.35	c timeout=2147483s
0.43/0.35	c DB Simplification allowed=false
0.43/0.35	c Listener: none
0.43/0.35	c --- End Solver configuration ---
0.43/0.35	c solving HOME/instance-4543290-1753227196.opb
0.43/0.35	c reading problem ... 
0.43/0.36	c  no objective function found
0.79/0.53	c ... done. Wall clock time 0.151s.
0.79/0.53	c declared #vars     980
0.79/0.53	c #constraints  981
0.79/0.53	c constraints type 
0.79/0.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.79/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 980
0.79/0.53	c 981 constraints processed.
2.91/1.60	c cleaning 2494 clauses out of 5000 with flag 10807/5000
3.40/1.97	c cleaning 4247 clauses out of 8508 with flag 23697/11002
3.89/2.32	c cleaning 5622 clauses out of 11260 with flag 38665/18001
4.72/2.90	c cleaning 6813 clauses out of 13637 with flag 55822/26000
5.12/3.37	c cleaning 7907 clauses out of 15825 with flag 75286/35001
5.98/4.06	c cleaning 8951 clauses out of 17917 with flag 97304/45000
6.46/4.57	c cleaning 9977 clauses out of 19967 with flag 121226/56001
7.16/5.18	c cleaning 10987 clauses out of 21991 with flag 147239/68002
7.74/5.73	c cleaning 11994 clauses out of 24003 with flag 175421/81001
9.01/6.93	c cleaning 12993 clauses out of 26008 with flag 205991/95000
10.10/7.91	c cleaning 13998 clauses out of 28015 with flag 238267/110000
11.61/9.40	c cleaning 14998 clauses out of 30018 with flag 273182/126001
13.12/10.86	c cleaning 16000 clauses out of 32020 with flag 310662/143001
14.19/11.81	c cleaning 17002 clauses out of 34020 with flag 349975/161001
15.30/12.84	c cleaning 17998 clauses out of 36018 with flag 391470/180001
16.22/13.75	c cleaning 18999 clauses out of 38020 with flag 435015/200001
17.95/15.45	c cleaning 20001 clauses out of 40021 with flag 480371/221001
19.38/16.76	c cleaning 21001 clauses out of 42019 with flag 527841/243000
21.47/18.80	c cleaning 21997 clauses out of 44018 with flag 577897/266000
23.56/20.84	c cleaning 23000 clauses out of 46021 with flag 630403/290000
24.84/22.15	c cleaning 24000 clauses out of 48023 with flag 685371/315002
27.07/24.36	c cleaning 25001 clauses out of 50024 with flag 741970/341003
29.54/26.61	c cleaning 25999 clauses out of 52021 with flag 801185/368001
31.04/28.12	c cleaning 27002 clauses out of 54021 with flag 862527/396000
33.30/30.38	c cleaning 28000 clauses out of 56019 with flag 926326/425000
35.29/32.25	c cleaning 29002 clauses out of 58020 with flag 992171/455001
37.10/34.04	c cleaning 29999 clauses out of 60018 with flag 1060768/486001
39.11/35.96	c cleaning 30997 clauses out of 62019 with flag 1131488/518001
41.55/38.21	c cleaning 32000 clauses out of 64021 with flag 1203901/551000
43.79/40.34	c cleaning 32999 clauses out of 66021 with flag 1279450/585000
45.99/42.54	c cleaning 34002 clauses out of 68023 with flag 1356372/620001
48.49/44.96	c cleaning 35004 clauses out of 70021 with flag 1434778/656001
50.99/47.23	c cleaning 35997 clauses out of 72017 with flag 1515710/693001
53.09/49.35	c cleaning 37001 clauses out of 74020 with flag 1598267/731001
56.90/53.01	c cleaning 38004 clauses out of 76018 with flag 1684023/770000
60.32/56.39	c cleaning 38995 clauses out of 78014 with flag 1771551/810000
62.80/58.89	c cleaning 40001 clauses out of 80019 with flag 1861917/851000
66.12/62.04	c cleaning 40996 clauses out of 82018 with flag 1954008/893000
68.75/64.53	c cleaning 42003 clauses out of 84025 with flag 2048372/936003
71.73/67.31	c cleaning 42997 clauses out of 86019 with flag 2144880/980000
74.33/69.99	c cleaning 44001 clauses out of 88023 with flag 2243586/1025001
77.85/73.34	c cleaning 45000 clauses out of 90021 with flag 2343616/1071000
82.43/77.28	c cleaning 46005 clauses out of 92021 with flag 2446233/1118000
85.55/80.29	c cleaning 46998 clauses out of 94017 with flag 2550833/1166001
88.50/83.10	c cleaning 48003 clauses out of 96020 with flag 2658560/1215002
91.38/85.98	c cleaning 48999 clauses out of 98016 with flag 2767265/1265001
95.25/89.70	c cleaning 49994 clauses out of 100017 with flag 2878304/1316001
98.79/93.05	c cleaning 50999 clauses out of 102022 with flag 2992087/1368000
102.75/96.94	c cleaning 52004 clauses out of 104023 with flag 3108827/1421000
108.40/102.49	c cleaning 53001 clauses out of 106020 with flag 3227664/1475001
112.51/106.34	c cleaning 53997 clauses out of 108018 with flag 3347255/1530000
115.90/109.75	c cleaning 55000 clauses out of 110021 with flag 3469516/1586000
119.96/113.79	c cleaning 56000 clauses out of 112021 with flag 3595053/1643000
123.77/117.41	c cleaning 57003 clauses out of 114021 with flag 3721939/1701000
128.34/122.00	c cleaning 57998 clauses out of 116019 with flag 3850491/1760001
132.33/125.85	c cleaning 58998 clauses out of 118020 with flag 3981873/1820000
136.74/130.17	c cleaning 59998 clauses out of 120023 with flag 4115434/1881001
141.53/134.80	c cleaning 61000 clauses out of 122025 with flag 4250694/1943001
147.09/140.26	c cleaning 62001 clauses out of 124024 with flag 4388697/2006000
151.83/144.86	c cleaning 63000 clauses out of 126023 with flag 4527743/2070000
157.56/150.44	c cleaning 64002 clauses out of 128023 with flag 4669853/2135000
163.49/155.52	c cleaning 64997 clauses out of 130021 with flag 4813695/2201000
168.24/160.11	c cleaning 66001 clauses out of 132025 with flag 4959116/2268001
172.39/164.11	c cleaning 67002 clauses out of 134023 with flag 5106656/2336000
176.43/168.09	c cleaning 67994 clauses out of 136021 with flag 5256805/2405000
181.07/172.57	c cleaning 69003 clauses out of 138028 with flag 5409761/2475001
186.45/177.80	c cleaning 69999 clauses out of 140026 with flag 5565897/2546002
192.69/183.90	c cleaning 71000 clauses out of 142025 with flag 5723704/2618000
198.28/189.41	c cleaning 72006 clauses out of 144025 with flag 5883287/2691000
204.17/195.08	c cleaning 73000 clauses out of 146020 with flag 6046867/2765001
209.97/200.69	c cleaning 73999 clauses out of 148021 with flag 6210888/2840002
216.92/207.42	c cleaning 75001 clauses out of 150023 with flag 6377976/2916003
224.30/214.66	c cleaning 76001 clauses out of 152022 with flag 6546722/2993003
231.04/221.28	c cleaning 76999 clauses out of 154019 with flag 6716308/3071001
239.52/228.22	c cleaning 77997 clauses out of 156020 with flag 6887699/3150001
246.20/234.73	c cleaning 79000 clauses out of 158022 with flag 7061608/3230000
251.59/240.07	c cleaning 79994 clauses out of 160022 with flag 7236874/3311000
257.35/245.72	c cleaning 81005 clauses out of 162029 with flag 7415793/3393001
263.59/251.77	c cleaning 81999 clauses out of 164024 with flag 7596940/3476001
269.24/257.24	c cleaning 82996 clauses out of 166024 with flag 7780325/3560000
274.30/262.19	c cleaning 83999 clauses out of 168028 with flag 7966401/3645000
281.57/269.09	c cleaning 85003 clauses out of 170029 with flag 8153609/3731000
286.77/274.07	c cleaning 85998 clauses out of 172027 with flag 8342127/3818001
293.76/280.98	c cleaning 86998 clauses out of 174028 with flag 8534318/3906000
300.33/287.18	c cleaning 88003 clauses out of 176030 with flag 8727892/3995000
306.07/292.78	c cleaning 89004 clauses out of 178028 with flag 8924293/4085001
314.08/300.41	c cleaning 89998 clauses out of 180023 with flag 9123161/4176000
321.24/307.34	c cleaning 91002 clauses out of 182025 with flag 9324897/4268000
328.91/314.80	c cleaning 91999 clauses out of 184025 with flag 9527934/4361002
337.00/322.58	c cleaning 93001 clauses out of 186024 with flag 9732975/4455000
343.81/329.18	c cleaning 94004 clauses out of 188023 with flag 9939506/4550000
352.09/337.38	c cleaning 95001 clauses out of 190019 with flag 10150616/4646000
360.88/345.83	c cleaning 96000 clauses out of 192018 with flag 10361824/4743000
368.88/353.76	c cleaning 96999 clauses out of 194018 with flag 10575961/4841000
376.29/360.78	c cleaning 97996 clauses out of 196019 with flag 10791428/4940000
384.48/367.05	c cleaning 98999 clauses out of 198023 with flag 11009982/5040000
392.45/374.77	c cleaning 100002 clauses out of 200025 with flag 11230874/5141001
399.18/381.39	c cleaning 101002 clauses out of 202023 with flag 11452932/5243001
406.55/388.57	c cleaning 101999 clauses out of 204020 with flag 11676609/5346000
415.16/396.53	c cleaning 102997 clauses out of 206022 with flag 11903665/5450001
423.01/404.14	c cleaning 103992 clauses out of 208024 with flag 12132529/5555000
432.98/413.91	c cleaning 105005 clauses out of 210033 with flag 12361681/5661001
442.21/422.92	c cleaning 106002 clauses out of 212027 with flag 12595279/5768000
449.55/430.06	c cleaning 107000 clauses out of 214025 with flag 12830558/5876000
457.67/437.87	c cleaning 108003 clauses out of 216026 with flag 13067100/5985001
465.30/445.29	c cleaning 108998 clauses out of 218022 with flag 13306984/6095000
475.62/455.38	c cleaning 110000 clauses out of 220024 with flag 13549869/6206000
484.70/464.28	c cleaning 111001 clauses out of 222026 with flag 13793777/6318002
495.31/474.21	c cleaning 111998 clauses out of 224023 with flag 14042672/6431000
503.64/482.39	c cleaning 113003 clauses out of 226025 with flag 14292587/6545000
511.42/489.90	c cleaning 114001 clauses out of 228022 with flag 14543129/6660000
520.80/499.29	c cleaning 115000 clauses out of 230021 with flag 14795757/6776000
530.09/508.17	c cleaning 116001 clauses out of 232023 with flag 15050420/6893002
539.90/517.76	c cleaning 117002 clauses out of 234020 with flag 15306776/7011000
548.14/525.87	c cleaning 117992 clauses out of 236019 with flag 15566391/7130001
556.13/533.31	c cleaning 119002 clauses out of 238027 with flag 15827059/7250001
566.03/543.05	c cleaning 120002 clauses out of 240026 with flag 16090532/7371002
576.59/551.50	c cleaning 120995 clauses out of 242023 with flag 16356420/7493001
585.80/560.63	c cleaning 122001 clauses out of 244029 with flag 16623676/7616002
597.14/571.45	c cleaning 123000 clauses out of 246026 with flag 16894355/7740000
606.77/580.78	c cleaning 123998 clauses out of 248026 with flag 17167347/7865000
616.84/590.53	c cleaning 124999 clauses out of 250028 with flag 17442747/7991000
627.48/600.94	c cleaning 126004 clauses out of 252030 with flag 17719464/8118001
636.55/609.89	c cleaning 127006 clauses out of 254028 with flag 17999277/8246003
646.45/619.11	c cleaning 127999 clauses out of 256020 with flag 18279226/8375001
656.48/628.84	c cleaning 128994 clauses out of 258020 with flag 18562031/8505000
668.01/640.06	c cleaning 129996 clauses out of 260026 with flag 18849384/8636000
677.10/648.85	c cleaning 131003 clauses out of 262030 with flag 19135775/8768000
688.58/659.86	c cleaning 132004 clauses out of 264027 with flag 19426621/8901000
700.51/671.46	c cleaning 132998 clauses out of 266023 with flag 19718872/9035000
710.92/681.61	c cleaning 134004 clauses out of 268026 with flag 20011245/9170001
721.49/692.05	c cleaning 134999 clauses out of 270021 with flag 20307267/9306000
731.17/701.20	c cleaning 135994 clauses out of 272022 with flag 20604987/9443000
741.05/710.85	c cleaning 137004 clauses out of 274029 with flag 20905644/9581001
751.56/721.13	c cleaning 138001 clauses out of 276026 with flag 21210461/9720002
763.44/732.38	c cleaning 139004 clauses out of 278023 with flag 21514255/9860000
773.70/742.22	c cleaning 139995 clauses out of 280020 with flag 21821467/10001001
784.10/752.37	c cleaning 140995 clauses out of 282024 with flag 22130972/10143000
795.72/763.47	c cleaning 142001 clauses out of 284030 with flag 22443640/10286001
806.00/773.31	c cleaning 143009 clauses out of 286031 with flag 22755965/10430003
819.78/784.86	c cleaning 144000 clauses out of 288019 with flag 23071388/10575000
831.58/796.35	c cleaning 144997 clauses out of 290019 with flag 23390332/10721000
842.64/807.10	c cleaning 145998 clauses out of 292023 with flag 23708287/10868001
855.26/819.59	c cleaning 147000 clauses out of 294026 with flag 24029051/11016002
868.03/832.12	c cleaning 147999 clauses out of 296025 with flag 24353727/11165001
879.27/843.19	c cleaning 149001 clauses out of 298025 with flag 24680911/11315000
891.82/855.47	c cleaning 150008 clauses out of 300025 with flag 25010900/11466001
906.78/869.51	c cleaning 150997 clauses out of 302017 with flag 25344840/11618001
920.98/883.27	c cleaning 151997 clauses out of 304020 with flag 25679469/11771001
933.62/895.57	c cleaning 152996 clauses out of 306022 with flag 26015818/11925000
947.20/908.85	c cleaning 154000 clauses out of 308026 with flag 26352507/12080000
960.31/921.53	c cleaning 155003 clauses out of 310027 with flag 26691898/12236001
972.09/933.17	c cleaning 156002 clauses out of 312023 with flag 27034889/12393000
984.50/945.41	c cleaning 157001 clauses out of 314021 with flag 27380053/12551000
998.23/958.93	c cleaning 157998 clauses out of 316020 with flag 27727618/12710000
1011.49/971.31	c cleaning 158999 clauses out of 318022 with flag 28075612/12870000
1024.82/984.28	c cleaning 160001 clauses out of 320023 with flag 28426727/13031000
1038.74/997.84	c cleaning 160999 clauses out of 322022 with flag 28780405/13193000
1052.66/1011.38	c cleaning 162000 clauses out of 324026 with flag 29136510/13356003
1066.62/1024.96	c cleaning 163000 clauses out of 326023 with flag 29494063/13520000
1080.71/1038.07	c cleaning 164001 clauses out of 328024 with flag 29854265/13685001
1094.31/1051.17	c cleaning 164998 clauses out of 330023 with flag 30214967/13851001
1106.85/1063.36	c cleaning 166003 clauses out of 332024 with flag 30579422/14018000
1121.18/1077.23	c cleaning 166998 clauses out of 334021 with flag 30945570/14186000
1137.12/1093.05	c cleaning 168002 clauses out of 336025 with flag 31313571/14355002
1153.02/1108.35	c cleaning 168995 clauses out of 338021 with flag 31684077/14525000
1166.79/1121.68	c cleaning 170004 clauses out of 340027 with flag 32057276/14696001
1185.66/1137.82	c cleaning 171001 clauses out of 342022 with flag 32431948/14868000
1200.40/1152.20	c cleaning 171999 clauses out of 344021 with flag 32808953/15041000
1216.25/1167.99	c cleaning 172995 clauses out of 346023 with flag 33189013/15215001
1229.47/1181.08	c cleaning 174001 clauses out of 348028 with flag 33571053/15390001
1244.59/1195.52	c cleaning 175002 clauses out of 350027 with flag 33954238/15566001
1258.34/1208.75	c cleaning 175998 clauses out of 352024 with flag 34340410/15743000
1275.83/1225.87	c cleaning 177001 clauses out of 354027 with flag 34729355/15921001
1289.78/1239.46	c cleaning 177995 clauses out of 356025 with flag 35122118/16100000
1305.24/1254.62	c cleaning 179003 clauses out of 358030 with flag 35514360/16280000
1319.53/1268.54	c cleaning 180002 clauses out of 360028 with flag 35908444/16461001
1334.15/1282.48	c cleaning 180997 clauses out of 362025 with flag 36302769/16643000
1348.10/1295.99	c cleaning 182001 clauses out of 364028 with flag 36703059/16826000
1364.56/1312.03	c cleaning 183000 clauses out of 366028 with flag 37103236/17010001
1378.93/1326.07	c cleaning 183999 clauses out of 368027 with flag 37508449/17195000
1401.68/1348.16	c cleaning 185005 clauses out of 370028 with flag 37914679/17381000
1417.30/1363.27	c cleaning 185998 clauses out of 372023 with flag 38321634/17568000
1432.29/1377.85	c cleaning 187002 clauses out of 374025 with flag 38731335/17756000
1448.81/1394.02	c cleaning 188000 clauses out of 376023 with flag 39144587/17945000
1465.73/1410.05	c cleaning 189000 clauses out of 378023 with flag 39560682/18135000
1480.20/1424.03	c cleaning 190000 clauses out of 380024 with flag 39977374/18326001
1497.08/1440.66	c cleaning 191004 clauses out of 382025 with flag 40394817/18518002
1514.59/1458.09	c cleaning 191996 clauses out of 384019 with flag 40814358/18711000
1529.76/1472.68	c cleaning 193002 clauses out of 386025 with flag 41235576/18905002
1545.31/1487.83	c cleaning 193999 clauses out of 388022 with flag 41660358/19100001
1562.01/1504.23	c cleaning 195000 clauses out of 390023 with flag 42088073/19296001
1583.21/1521.69	c cleaning 195994 clauses out of 392022 with flag 42517401/19493000
1601.31/1539.19	c cleaning 197003 clauses out of 394030 with flag 42949407/19691002
1620.04/1557.23	c cleaning 198003 clauses out of 396028 with flag 43383834/19890003
1635.99/1572.78	c cleaning 198995 clauses out of 398023 with flag 43819486/20090001
1652.48/1588.99	c cleaning 200004 clauses out of 400027 with flag 44256135/20291000
1667.81/1603.90	c cleaning 201000 clauses out of 402023 with flag 44696225/20493000
1683.78/1619.77	c cleaning 201999 clauses out of 404023 with flag 45137863/20696000
1699.55/1635.31	c cleaning 202997 clauses out of 406024 with flag 45583079/20900000
1718.45/1653.39	c cleaning 204002 clauses out of 408028 with flag 46028987/21105001
1738.01/1672.45	c cleaning 205002 clauses out of 410025 with flag 46481667/21311000
1754.25/1688.29	c cleaning 206003 clauses out of 412023 with flag 46931891/21518000
1770.36/1703.91	c cleaning 207001 clauses out of 414021 with flag 47386812/21726001
1788.75/1722.05	c cleaning 207997 clauses out of 416020 with flag 47842878/21935001
1805.05/1738.17	c cleaning 208999 clauses out of 418023 with flag 48300145/22145001
1822.22/1754.39	c cleaning 209999 clauses out of 420023 with flag 48759016/22356000
1839.32/1770.89	c cleaning 210999 clauses out of 422024 with flag 49222606/22568000
1858.90/1789.92	c cleaning 211999 clauses out of 424025 with flag 49687535/22781000
1876.97/1807.69	c cleaning 212996 clauses out of 426027 with flag 50156039/22995001
1895.61/1826.02	c cleaning 214001 clauses out of 428030 with flag 50624210/23210000
1913.07/1843.37	c cleaning 215000 clauses out of 430029 with flag 51095920/23426000
1930.99/1860.66	c cleaning 216001 clauses out of 432031 with flag 51568096/23643002
1948.84/1877.95	c cleaning 216999 clauses out of 434028 with flag 52043602/23861000
1966.44/1895.15	c cleaning 218004 clauses out of 436029 with flag 52519908/24080000
1985.28/1913.85	c cleaning 219002 clauses out of 438028 with flag 52998364/24300003
2010.71/1935.56	c cleaning 220003 clauses out of 440023 with flag 53478679/24521000
2030.18/1954.44	c cleaning 220995 clauses out of 442021 with flag 53962690/24743001
2047.66/1971.58	c cleaning 222001 clauses out of 444025 with flag 54449188/24966000
2068.63/1992.21	c cleaning 222999 clauses out of 446024 with flag 54935701/25190000
2093.31/2016.69	c cleaning 223997 clauses out of 448025 with flag 55430013/25415000
2114.40/2036.74	c cleaning 225003 clauses out of 450029 with flag 55925530/25641001
2133.95/2055.84	c cleaning 225997 clauses out of 452025 with flag 56421067/25868000
2154.45/2076.05	c cleaning 226997 clauses out of 454028 with flag 56916300/26096000
2174.20/2094.86	c cleaning 228002 clauses out of 456031 with flag 57415801/26325000
2195.48/2115.57	c cleaning 228999 clauses out of 458030 with flag 57917472/26555001
2217.36/2137.02	c cleaning 230004 clauses out of 460031 with flag 58419561/26786001
2236.32/2155.51	c cleaning 231000 clauses out of 462026 with flag 58928204/27018000
2258.25/2176.49	c cleaning 231998 clauses out of 464027 with flag 59436369/27251001
2281.08/2198.86	c cleaning 232998 clauses out of 466028 with flag 59950989/27485000
2304.90/2222.21	c cleaning 234001 clauses out of 468030 with flag 60464023/27720000
2330.00/2246.39	c cleaning 234998 clauses out of 470029 with flag 60977203/27956000
2354.13/2270.02	c cleaning 236004 clauses out of 472031 with flag 61492041/28193000
2372.69/2288.39	c cleaning 237000 clauses out of 474027 with flag 62012077/28431000
2396.76/2311.60	c cleaning 238003 clauses out of 476027 with flag 62535222/28670000
2415.91/2330.30	c cleaning 239000 clauses out of 478025 with flag 63056714/28910001
2440.39/2351.62	c cleaning 239998 clauses out of 480024 with flag 63585165/29151000
2463.61/2374.16	c cleaning 241002 clauses out of 482027 with flag 64113067/29393001
2483.76/2393.83	c cleaning 242000 clauses out of 484024 with flag 64645141/29636000
2506.34/2416.02	c cleaning 243006 clauses out of 486025 with flag 65176735/29880001
2531.90/2440.95	c cleaning 243995 clauses out of 488019 with flag 65712038/30125001
2555.59/2464.32	c cleaning 245002 clauses out of 490024 with flag 66248671/30371001
2585.58/2493.88	c cleaning 245990 clauses out of 492021 with flag 66786490/30618000
2608.66/2516.12	c cleaning 247005 clauses out of 494033 with flag 67325308/30866002
2632.84/2539.99	c cleaning 248001 clauses out of 496026 with flag 67869356/31115000
2659.59/2565.85	c cleaning 249002 clauses out of 498027 with flag 68413664/31365002
2682.02/2587.71	c cleaning 249997 clauses out of 500023 with flag 68960349/31616000
2704.89/2610.27	c cleaning 250993 clauses out of 502026 with flag 69512792/31868000
2727.97/2632.22	c cleaning 252004 clauses out of 504034 with flag 70063903/32121001
2747.60/2651.49	c cleaning 253010 clauses out of 506029 with flag 70619216/32375000
2773.03/2676.07	c cleaning 253996 clauses out of 508019 with flag 71176356/32630000
2800.91/2703.43	c cleaning 255000 clauses out of 510025 with flag 71735176/32886002
2827.32/2729.42	c cleaning 255998 clauses out of 512024 with flag 72296094/33143001
2858.36/2759.81	c cleaning 256999 clauses out of 514025 with flag 72860500/33401000
2881.04/2782.18	c cleaning 258001 clauses out of 516026 with flag 73424792/33660000
2908.63/2806.83	c cleaning 258998 clauses out of 518025 with flag 73990639/33920000
2930.60/2828.38	c cleaning 260000 clauses out of 520027 with flag 74562705/34181000
2954.30/2851.15	c cleaning 260998 clauses out of 522028 with flag 75134862/34443001
2983.89/2880.22	c cleaning 261997 clauses out of 524029 with flag 75712659/34706000
3014.62/2909.98	c cleaning 262997 clauses out of 526032 with flag 76288992/34970000
3037.88/2932.74	c cleaning 264006 clauses out of 528035 with flag 76865051/35235000
3065.45/2959.37	c cleaning 265003 clauses out of 530031 with flag 77444573/35501002
3086.11/2979.40	c cleaning 265995 clauses out of 532026 with flag 78026857/35768000
3111.93/3004.36	c cleaning 267007 clauses out of 534031 with flag 78609348/36036000
3140.07/3031.92	c cleaning 268004 clauses out of 536026 with flag 79197188/36305002
3162.84/3053.71	c cleaning 269000 clauses out of 538022 with flag 79784962/36575002
3187.48/3077.84	c cleaning 269999 clauses out of 540020 with flag 80378633/36846000
3210.79/3100.17	c cleaning 270999 clauses out of 542022 with flag 80970914/37118001
3234.12/3122.98	c cleaning 271996 clauses out of 544023 with flag 81565587/37391001
3268.33/3152.50	c cleaning 273001 clauses out of 546026 with flag 82164091/37665000
3293.83/3177.70	c cleaning 273999 clauses out of 548026 with flag 82764217/37940001
3324.15/3207.17	c cleaning 274998 clauses out of 550027 with flag 83366233/38216001
3354.32/3237.01	c cleaning 276008 clauses out of 552030 with flag 83971865/38493002
3382.02/3263.96	c cleaning 277000 clauses out of 554021 with flag 84581501/38771001
3408.79/3290.29	c cleaning 277997 clauses out of 556022 with flag 85190303/39050002
3441.99/3322.24	c cleaning 279000 clauses out of 558023 with flag 85803082/39330000
3472.45/3351.54	c cleaning 280000 clauses out of 560023 with flag 86416002/39611000
3500.91/3379.46	c cleaning 281002 clauses out of 562023 with flag 87036320/39893000
3533.40/3410.70	c cleaning 282000 clauses out of 564022 with flag 87654928/40176001
3560.86/3437.72	c cleaning 282997 clauses out of 566021 with flag 88276803/40460000
3589.12/3465.13	c cleaning 283999 clauses out of 568025 with flag 88900594/40745001
3600.01/3475.62	c timeout
3600.01/3475.62	c starts		: 1
3600.01/3475.63	c conflicts		: 40919699
3600.01/3475.63	c decisions		: 58214413
3600.01/3475.63	c propagations		: 301461067
3600.01/3475.63	c inspects		: 13178826914
3600.01/3475.63	c shortcuts		: 0
3600.01/3475.63	c learnt literals	: 0
3600.01/3475.63	c learnt binary clauses	: 0
3600.01/3475.63	c learnt ternary clauses	: 0
3600.01/3475.63	c learnt constraints	: 40919699
3600.01/3475.63	c ignored constraints	: 0
3600.01/3475.63	c root simplifications	: 0
3600.01/3475.63	c removed literals (reason simplification)	: 7477684
3600.01/3475.63	c reason swapping (by a shorter reason)	: 0
3600.01/3475.63	c Calls to reduceDB	: 281
3600.01/3475.63	c Number of update (reduction) of LBD	: 3230750
3600.01/3475.63	c Imported unit clauses	: 0
3600.01/3475.64	c No decision after first conflict	: false
3600.01/3475.64	c number of reductions to clauses (during analyze)	: 0
3600.01/3475.64	c number of learned constraints concerned by reduction	: 0
3600.01/3475.64	c number of learning phase by resolution	: 0
3600.01/3475.64	c number of learning phase by cutting planes	: 0
3600.01/3475.64	c number of rounding to 1 operations	: 0
3600.01/3475.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3475.64	c number of reductions of the coefficients by power 2 	: 0
3600.01/3475.64	c number of right shift for reduction by power 2 	: 0
3600.01/3475.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3475.64	c number of ending skipping 	: 0
3600.01/3475.64	c number of internal skipping 	: 0
3600.01/3475.64	c number of derivation steps 	: 0
3600.01/3475.64	c number of skipped derivation steps 	: 0
3600.01/3475.64	c number of remaining unassigned 	: 0
3600.01/3475.64	c number of remaining assigned 	: 0
3600.01/3475.64	c number of falsified literals weakened from reason	: 0
3600.01/3475.64	c number of falsified literals weakened from conflict	: 0
3600.01/3475.64	c time for arithmetic operations	: 0
3600.01/3475.65	c minimum degree of deleted constraints	: null
3600.01/3475.65	c maximum degree of deleted constraints	: null
3600.01/3475.65	c number of deleted constraints	: 0
3600.01/3475.65	c speed (assignments/second)	: 86748.78996427158
3600.01/3475.65	c non guided choices	: 263
3600.17/3475.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 458724
3600.17/3475.79	s UNKNOWN
3600.27/3475.80	c Total wall clock time (in seconds): 3475.441

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543290-1753227196/watcher-4543290-1753227196 -o /tmp/evaluation-result-4543290-1753227196/solver-4543290-1753227196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753227196-200364 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543290-1753227196.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=200417, runsolver pid=200405
Current StackSize limit: 8192 KiB


[startup+0.102922 s]*
/proc/loadavg: 1.21 2.61 4.55 15/319 200490
/proc/meminfo: memFree=128983752/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=18930344 memory=48308 CPUtime=0.1 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 5619 0 0 0 6 4 0 0 20 0 18 0 238399340 19384672256 12077 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4732586 12077 4923 1 0 546864 0
[pid=200417/tid=200433] ppid=200405 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 4570 0 0 0 3 2 0 0 20 0 18 0 238399342 19384672256 12109 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=18930344 memory=1707 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399347 19384672256 12173 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=18930344 memory=56295059358712 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238399349 19384672256 12173 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 48308 KiB

[startup+0.214085 s]*
/proc/loadavg: 1.21 2.61 4.55 9/319 200490
/proc/meminfo: memFree=128975988/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=18930384 memory=51636 CPUtime=0.27 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 6088 0 0 0 22 5 0 0 20 0 18 0 238399340 19384713216 12909 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4732596 12909 5339 1 0 547243 0
[pid=200417/tid=200433] ppid=200405 vsize=18930384 memory=4027056412 CPUtime=0.17 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 4967 0 0 0 14 3 0 0 20 0 18 0 238399342 19384713216 12909 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=18930384 memory=1707 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399347 19384713216 12909 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=18930384 memory=56295059358712 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238399349 19384713216 12909 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51636 KiB

[startup+0.315359 s]*
/proc/loadavg: 1.21 2.61 4.55 10/319 200490
/proc/meminfo: memFree=128961192/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=18930384 memory=57792 CPUtime=0.43 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 6585 0 0 0 37 6 0 0 20 0 18 0 238399340 19384713216 14448 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4732596 14448 5339 1 0 547707 0
[pid=200417/tid=200433] ppid=200405 vsize=18930384 memory=-8745258667317371580 CPUtime=0.27 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 5155 0 0 0 23 4 0 0 20 0 18 0 238399342 19384713216 14448 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399347 19384713216 14448 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238399349 19384713216 14448 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57792 KiB

[startup+0.700384 s]
/proc/loadavg: 1.21 2.61 4.55 13/322 200493
/proc/meminfo: memFree=128939592/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=18996948 memory=64556 CPUtime=1.13 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 7390 0 0 0 106 7 0 0 20 0 19 0 238399340 19452874752 16139 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4749237 16139 5467 1 0 548452 0
[pid=200417/tid=200433] ppid=200405 vsize=18996948 memory=27392 CPUtime=0.53 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 5301 0 0 0 49 4 0 0 20 0 19 0 238399342 19452874752 16139 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399347 19452874752 16139 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238399349 19452874752 16139 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64556 KiB

[startup+1.50028 s]
/proc/loadavg: 1.21 2.61 4.55 5/279 200514
/proc/meminfo: memFree=128991252/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=18996948 memory=93816 CPUtime=2.7 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 14569 0 0 0 260 10 0 0 20 0 19 0 238399340 19452874752 23454 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4749237 23454 5467 1 0 551097 0
[pid=200417/tid=200433] ppid=200405 vsize=18996948 memory=3200 CPUtime=1.3 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 5550 0 0 0 125 5 0 0 20 0 19 0 238399342 19452874752 23454 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399347 19452874752 23454 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238399349 19452874752 23454 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=18996948 memory=14636 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399395 19452874752 23454 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93816 KiB

[startup+3.10789 s]
/proc/loadavg: 1.21 2.61 4.55 9/322 200623
/proc/meminfo: memFree=128775904/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19063512 memory=204044 CPUtime=4.93 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 17524 0 0 0 479 14 0 0 20 0 20 0 238399340 19521036288 51011 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4765878 51011 5499 1 0 551630 0
[pid=200417/tid=200433] ppid=200405 vsize=19063512 memory=10752 CPUtime=2.82 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 6690 0 0 0 275 7 0 0 20 0 20 0 238399342 19521036288 51011 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19063512 memory=14636 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19521036288 51011 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238399349 19521036288 51011 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19521036288 51011 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 204044 KiB

[startup+6.30032 s]
/proc/loadavg: 1.59 2.67 4.55 5/324 200625
/proc/meminfo: memFree=128432960/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19063512 memory=387632 CPUtime=8.41 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 17840 0 0 0 823 18 0 0 20 0 20 0 238399340 19521036288 96908 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4765878 96908 5499 1 0 551630 0
[pid=200417/tid=200433] ppid=200405 vsize=19063512 memory=0 CPUtime=5.75 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 6704 0 0 0 568 7 0 0 20 0 20 0 238399342 19521036288 96908 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19521036288 96908 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238399349 19521036288 96908 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19063512 memory=204044 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19521036288 96908 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 387632 KiB

[startup+12.7004 s]
/proc/loadavg: 1.78 2.69 4.55 5/327 200628
/proc/meminfo: memFree=127999948/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19063512 memory=775792 CPUtime=15.2 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 22421 0 0 0 1494 26 0 0 20 0 20 0 238399340 19521036288 193948 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4765878 193948 5499 1 0 879572 0
[pid=200417/tid=200433] ppid=200405 vsize=19063512 memory=10752 CPUtime=11.8 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 7466 0 0 0 1170 10 0 0 20 0 20 0 238399342 19521036288 193948 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19063512 memory=204044 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19521036288 193948 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19063512 memory=628300 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238399349 19521036288 193948 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19063512 memory=14636 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19521036288 193948 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 775792 KiB

[startup+25.5004 s]
/proc/loadavg: 2.28 2.76 4.54 6/327 200628
/proc/meminfo: memFree=127279688/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19063512 memory=1485748 CPUtime=28.46 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 24633 0 0 0 2805 41 0 0 20 0 20 0 238399340 19521036288 371437 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4765878 371437 5499 1 0 1009084 0
[pid=200417/tid=200433] ppid=200405 vsize=19063512 memory=628300 CPUtime=23.67 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 8250 0 0 0 2353 14 0 0 20 0 20 0 238399342 19521036288 371437 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19063512 memory=14636 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19521036288 371437 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238399349 19521036288 371437 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19063512 memory=14636 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19521036288 371437 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 28.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1485748 KiB

[startup+51.109 s]
/proc/loadavg: 3.07 2.91 4.54 6/327 200629
/proc/meminfo: memFree=125644424/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19063512 memory=2627068 CPUtime=55 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 28017 0 0 0 5434 66 0 0 20 0 20 0 238399340 19521036288 656767 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4765878 656767 5499 1 0 1270199 0
[pid=200417/tid=200433] ppid=200405 vsize=19063512 memory=2506224 CPUtime=47.91 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 9358 0 0 0 4773 18 0 0 20 0 20 0 238399342 19521036288 656767 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19521036288 656767 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19063512 memory=775792 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238399349 19521036288 656767 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19063512 memory=8961 CPUtime=0 cores=4,6

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

[startup+3162.3 s]
/proc/loadavg: 5.02 4.38 4.25 7/327 200798
/proc/meminfo: memFree=107651760/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3278.42 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 353003 0 0 0 327337 505 0 0 20 0 20 0 238399340 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4782262 3730922 5499 1 0 4100733 0
[pid=200417/tid=200433] ppid=200405 vsize=19129048 memory=14923432 CPUtime=3043.11 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) S 200405 200417 197377 0 -1 4194368 202158 0 0 0 304203 108 0 0 20 0 20 0 238399342 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 877 0 0 0 0 0 0 0 20 0 20 0 238399349 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3278.42 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 14923688 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.27 4.22 5/303 200833
/proc/meminfo: memFree=109874232/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3339.73 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 357566 0 0 0 333464 509 0 0 20 0 20 0 238399340 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4782262 3730922 5499 1 0 4100733 0
[pid=200417/tid=200433] ppid=200405 vsize=19129048 memory=14923432 CPUtime=3101.18 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 204815 0 0 0 310009 109 0 0 20 0 20 0 238399342 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19129048 memory=14923432 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19129048 memory=0 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 885 0 0 0 0 0 0 0 20 0 20 0 238399349 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3339.73 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 14923688 KiB

[startup+3282.3 s]
/proc/loadavg: 3.52 4.06 4.15 4/303 200835
/proc/meminfo: memFree=109878576/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3400.89 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 362871 0 0 0 339577 512 0 0 20 0 20 0 238399340 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4782262 3730922 5499 1 0 4100733 0
[pid=200417/tid=200433] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3159.49 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 207709 0 0 0 315840 109 0 0 20 0 20 0 238399342 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 894 0 0 0 0 0 0 0 20 0 20 0 238399349 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3400.89 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 14923688 KiB

[startup+3342.3 s]
/proc/loadavg: 3.29 3.90 4.09 4/303 200837
/proc/meminfo: memFree=109878596/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3462.55 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 367059 0 0 0 345739 516 0 0 20 0 20 0 238399340 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4782262 3730922 5499 1 0 4100733 0
[pid=200417/tid=200433] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3217.28 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 209877 0 0 0 321619 109 0 0 20 0 20 0 238399342 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 907 0 0 0 0 0 0 0 20 0 20 0 238399349 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19129048 memory=27392 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3462.55 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 14923688 KiB

[startup+3402.3 s]
/proc/loadavg: 3.33 3.80 4.04 4/302 200839
/proc/meminfo: memFree=109878828/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3525.01 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 371394 0 0 0 351982 519 0 0 20 0 20 0 238399340 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4782262 3730922 5499 1 0 4100733 0
[pid=200417/tid=200433] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3274.49 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 212282 0 0 0 327339 110 0 0 20 0 20 0 238399342 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 907 0 0 0 0 0 0 0 20 0 20 0 238399349 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3525.01 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 14923688 KiB

[startup+3462.3 s]
/proc/loadavg: 3.24 3.68 3.98 5/301 200841
/proc/meminfo: memFree=109878816/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3586.31 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 375178 0 0 0 358108 523 0 0 20 0 20 0 238399340 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4782262 3730922 5499 1 0 4100733 0
[pid=200417/tid=200433] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3332.91 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 214722 0 0 0 333180 111 0 0 20 0 20 0 238399342 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 916 0 0 0 0 0 0 0 20 0 20 0 238399349 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 14923688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3475.6 s]
/proc/loadavg: 3.25 3.66 3.97 4/301 200842
/proc/meminfo: memFree=109879040/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19129048 memory=14923688 CPUtime=3600.01 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 375921 0 0 0 359477 524 0 0 20 0 20 0 238399340 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4782262 3730922 5499 1 0 4100733 0
[pid=200417/tid=200433] ppid=200405 vsize=19129048 memory=4352 CPUtime=3345.76 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) R 200405 200417 197377 0 -1 4194368 215286 0 0 0 334465 111 0 0 20 0 20 0 238399342 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399347 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19129048 memory=2764 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 916 0 0 0 0 0 0 0 20 0 20 0 238399349 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200494] ppid=200405 vsize=19129048 memory=14923688 CPUtime=0 cores=4,6
/proc/200417/task/200494/stat : 200494 (Timer-0) S 200405 200417 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399395 19588145152 3730922 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 14923688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.03 s, system=5.30097 s

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

[startup+3475.8 s]
/proc/loadavg: 3.25 3.66 3.97 4/301 200842
/proc/meminfo: memFree=109879040/131382112 swapFree=33010416/33010684
[pid=200417] ppid=200405 vsize=19328740 memory=14924456 CPUtime=3600.27 cores=4,6
/proc/200417/stat : 200417 (java) S 200405 200417 197377 0 -1 4194304 377293 0 0 0 359502 525 0 0 20 0 21 0 238399340 19792629760 3731114 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
/proc/200417/statm: 4832185 3731114 5531 1 0 4101642 0
[pid=200417/tid=200433] ppid=200405 vsize=19328740 memory=27392 CPUtime=3345.78 cores=4,6
/proc/200417/task/200433/stat : 200433 (java) S 200405 200417 197377 0 -1 4194368 215424 0 0 0 334467 111 0 0 20 0 21 0 238399342 19792629760 3731114 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200474] ppid=200405 vsize=19328740 memory=-8817316261355299516 CPUtime=0 cores=4,6
/proc/200417/task/200474/stat : 200474 (Finalizer) S 200405 200417 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238399347 19792629760 3731114 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
[pid=200417/tid=200490] ppid=200405 vsize=19328740 memory=27392 CPUtime=0 cores=4,6
/proc/200417/task/200490/stat : 200490 (Common-Cleaner) S 200405 200417 197377 0 -1 4194368 916 0 0 0 0 0 0 0 20 0 21 0 238399349 19792629760 3731114 18446744073709551615 94357702815744 94357702819440 140734842613344 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94357702827256 94357702828048 94357719285760 140734842620287 140734842620388 140734842620388 140734842625992 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19328740 KiB
Current children cumulated memory: 14924456 KiB

Child status: 143

Real time (s): 3475.86
CPU time (s): 3600.33
CPU user time (s): 3595.03
CPU system time (s): 5.30097
CPU usage (%): 103.581
Max. virtual memory (cumulated for all children) (KiB): 19328740
Max. memory (cumulated for all children) (KiB): 14924456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.03
system time used= 5.30097
maximum resident set size= 14924712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118830
involuntary context switches= 15856


# summary of solver processes directly reported to runsolver:
#   pid: 200417
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.03
#   total CPU system time (s): 5.30097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7149 second user time and 32.5373 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-23 01:33:16
IDJOB=4543290
IDBENCH=172509
IDSOLVER=3363
FILE ID=nodeC012/4543290-1753227196
RUNJOBID= nodeC012-1753227196-200364
SLURM_JOB_ID= 9687805
Free space on /tmp= 432928 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543290-1753227196/watcher-4543290-1753227196 -o /tmp/evaluation-result-4543290-1753227196/solver-4543290-1753227196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753227196-200364 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543290-1753227196.opb

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

MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=1683543657

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129033544 kB
MemAvailable:   129818764 kB
Buffers:            2136 kB
Cached:          1550760 kB
SwapCached:           12 kB
Active:          1274296 kB
Inactive:         347200 kB
Active(anon):      90056 kB
Inactive(anon):     4688 kB
Active(file):    1184240 kB
Inactive(file):   342512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:         69636 kB
Mapped:           108440 kB
Shmem:             26140 kB
KReclaimable:     195804 kB
Slab:             287544 kB
SReclaimable:     195804 kB
SUnreclaim:        91740 kB
KernelStack:        3840 kB
PageTables:         2856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     350396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432924 MiB
End job on nodeC012 at 2025-07-23 02:31:12