Trace number 4517498

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06OPT18 1969.62 1968.84

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
MD5SUM06b87d46bf38d4b028e9a0f41f22c2e8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark3.31113
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables650
Total number of constraints72640
Number of constraints which are clauses72620
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint21
Number of terms in the objective function 20
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 20
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4517498-1751528320.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.90/0.55	c ... done. Wall clock time 0.406s.
0.90/0.55	c declared #vars     650
0.90/0.55	c #constraints  72640
0.90/0.55	c constraints type 
0.90/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 20
0.90/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20
0.90/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 72600
0.90/0.55	c 72640 constraints processed.
0.90/0.56	c objective function length is 20 literals
1.27/0.70	c SATISFIABLE
1.27/0.70	c OPTIMIZING...
1.27/0.70	c Got one! Elapsed wall clock time (in seconds):0.576
1.27/0.70	o 18
2.26/1.28	c cleaning 2962 clauses out of 5953 with flag 30288/5953
3.25/1.78	c cleaning 4496 clauses out of 8991 with flag 59668/11953
4.17/2.27	c cleaning 5747 clauses out of 11495 with flag 107976/18953
4.70/2.73	c cleaning 6873 clauses out of 13748 with flag 165050/26953
5.20/3.23	c cleaning 7848 clauses out of 15875 with flag 219959/35953
5.70/3.79	c cleaning 9008 clauses out of 18028 with flag 283981/45954
6.39/4.49	c cleaning 9991 clauses out of 20019 with flag 346372/56953
7.19/5.29	c cleaning 10995 clauses out of 22042 with flag 444416/68967
8.19/6.27	c cleaning 12016 clauses out of 24033 with flag 507196/81953
9.00/7.05	c cleaning 12994 clauses out of 26017 with flag 769611/95953
9.79/7.84	c cleaning 14008 clauses out of 28023 with flag 985163/110953
10.59/8.66	c cleaning 14922 clauses out of 30015 with flag 1122652/126953
11.92/9.97	c cleaning 15841 clauses out of 32093 with flag 1241367/143953
13.06/11.07	c cleaning 17080 clauses out of 34252 with flag 1388575/161953
14.35/12.33	c cleaning 18062 clauses out of 36172 with flag 1495416/180953
15.55/13.58	c cleaning 19025 clauses out of 38110 with flag 1631660/200953
16.94/14.96	c cleaning 19948 clauses out of 40085 with flag 1965005/221953
18.34/16.35	c cleaning 21026 clauses out of 42137 with flag 2204941/243953
19.84/17.84	c cleaning 22051 clauses out of 44114 with flag 2445459/266956
21.57/19.58	c cleaning 23009 clauses out of 46060 with flag 2771054/290953
23.57/21.52	c cleaning 23948 clauses out of 48051 with flag 2937764/315953
25.46/23.40	c cleaning 25042 clauses out of 50105 with flag 3200249/341955
27.86/25.87	c cleaning 26026 clauses out of 52062 with flag 3346984/368954
29.85/27.83	c cleaning 27006 clauses out of 54035 with flag 3641439/396953
32.00/29.97	c cleaning 28004 clauses out of 56029 with flag 3851182/425953
34.50/32.47	c cleaning 28990 clauses out of 58025 with flag 4040028/455953
36.89/34.84	c cleaning 29927 clauses out of 60037 with flag 4584046/486955
39.79/37.72	c cleaning 31043 clauses out of 62113 with flag 4942208/518958
42.52/40.40	c cleaning 31789 clauses out of 64065 with flag 5316853/551953
45.01/42.96	c cleaning 33126 clauses out of 66276 with flag 5801035/585953
47.61/45.54	c cleaning 34039 clauses out of 68150 with flag 6330143/620953
50.50/48.47	c cleaning 35028 clauses out of 70111 with flag 6865518/656953
53.54/51.41	c cleaning 36037 clauses out of 72083 with flag 7314812/693953
56.63/54.55	c cleaning 37013 clauses out of 74046 with flag 7792188/731953
60.23/58.14	c cleaning 38003 clauses out of 76033 with flag 8092883/770953
63.67/61.52	c cleaning 38934 clauses out of 78030 with flag 8497679/810953
67.26/65.11	c cleaning 40017 clauses out of 80098 with flag 8838077/851955
70.65/68.54	c cleaning 41035 clauses out of 82080 with flag 9392266/893954
74.08/71.94	c cleaning 41865 clauses out of 84044 with flag 10094294/936953
77.57/75.41	c cleaning 43038 clauses out of 86179 with flag 10661518/980953
81.67/79.51	c cleaning 43911 clauses out of 88141 with flag 11358939/1025953
86.56/84.40	c cleaning 44997 clauses out of 90230 with flag 12818155/1071953
91.20/89.03	c cleaning 45946 clauses out of 92233 with flag 14732307/1118953
95.68/93.55	c cleaning 47021 clauses out of 94287 with flag 17088092/1166953
100.57/98.45	c cleaning 48101 clauses out of 96266 with flag 19333985/1215953
105.67/103.53	c cleaning 49051 clauses out of 98169 with flag 21682302/1265957
110.76/108.34	c cleaning 50049 clauses out of 100113 with flag 23802292/1316953
115.90/113.49	c cleaning 51004 clauses out of 102064 with flag 24353174/1368953
120.69/118.20	c cleaning 51980 clauses out of 104060 with flag 24856769/1421953
125.33/122.82	c cleaning 52963 clauses out of 106080 with flag 25311743/1475953
130.63/128.18	c cleaning 53926 clauses out of 108117 with flag 26457831/1530953
136.21/133.70	c cleaning 54977 clauses out of 110191 with flag 29314341/1586953
141.01/138.51	c cleaning 56009 clauses out of 112214 with flag 30876852/1643953
146.42/143.95	c cleaning 56921 clauses out of 114205 with flag 31403452/1701953
152.11/149.66	c cleaning 58137 clauses out of 116285 with flag 31896926/1760954
157.61/155.19	c cleaning 58962 clauses out of 118147 with flag 33046323/1820953
163.43/160.95	c cleaning 60021 clauses out of 120185 with flag 33735793/1881953
169.22/166.78	c cleaning 60955 clauses out of 122164 with flag 34607486/1943953
176.51/174.05	c cleaning 61942 clauses out of 124209 with flag 36678356/2006953
183.59/181.15	c cleaning 63129 clauses out of 126270 with flag 39487175/2070956
191.77/189.39	c cleaning 64059 clauses out of 128137 with flag 42580113/2135953
198.41/195.97	c cleaning 64973 clauses out of 130078 with flag 43317803/2201953
205.30/202.88	c cleaning 66049 clauses out of 132106 with flag 43822526/2268954
211.99/209.59	c cleaning 66901 clauses out of 134056 with flag 44562071/2336953
218.14/215.66	c cleaning 68069 clauses out of 136155 with flag 45378126/2405953
225.42/222.99	c cleaning 68988 clauses out of 138086 with flag 46039477/2475953
232.61/230.12	c cleaning 69990 clauses out of 140098 with flag 46915814/2546953
240.06/237.53	c cleaning 71038 clauses out of 142108 with flag 47602795/2618953
247.34/244.85	c cleaning 71973 clauses out of 144070 with flag 48431471/2691953
255.03/252.52	c cleaning 73019 clauses out of 146097 with flag 49220082/2765953
262.42/259.98	c cleaning 73944 clauses out of 148078 with flag 50635293/2840953
270.57/268.06	c cleaning 75036 clauses out of 150134 with flag 53881631/2916953
278.84/276.37	c cleaning 76033 clauses out of 152097 with flag 57171286/2993953
287.42/284.93	c cleaning 77019 clauses out of 154064 with flag 57910008/3071953
295.70/293.21	c cleaning 78005 clauses out of 156046 with flag 58693754/3150954
305.50/303.09	c cleaning 78877 clauses out of 158041 with flag 60921433/3230954
314.35/311.82	c cleaning 80029 clauses out of 160163 with flag 65523817/3311953
321.67/319.16	c cleaning 80999 clauses out of 162133 with flag 68330821/3393953
330.96/328.41	c cleaning 81898 clauses out of 164134 with flag 69583514/3476953
341.03/338.59	c cleaning 83103 clauses out of 166236 with flag 73498328/3560953
350.21/347.73	c cleaning 84040 clauses out of 168132 with flag 76598610/3645953
360.00/357.53	c cleaning 84864 clauses out of 170092 with flag 77712127/3731953
369.36/366.88	c cleaning 86078 clauses out of 172229 with flag 78750006/3818954
379.64/377.11	c cleaning 86965 clauses out of 174150 with flag 80378338/3906953
391.31/388.85	c cleaning 87943 clauses out of 176185 with flag 82468922/3995953
401.78/399.33	c cleaning 89053 clauses out of 178242 with flag 86756061/4085953
411.87/409.46	c cleaning 90068 clauses out of 180188 with flag 88480163/4176953
422.41/419.66	c cleaning 91052 clauses out of 182120 with flag 89469237/4268953
434.68/431.90	c cleaning 92004 clauses out of 184068 with flag 92670384/4361953
445.66/442.97	c cleaning 92964 clauses out of 186063 with flag 95583574/4455953
457.74/455.02	c cleaning 93955 clauses out of 188099 with flag 98737189/4550953
469.82/467.15	c cleaning 95015 clauses out of 190143 with flag 103318472/4646953
481.49/478.89	c cleaning 95957 clauses out of 192128 with flag 104328650/4743953
493.63/490.93	c cleaning 97033 clauses out of 194171 with flag 105367015/4841953
505.71/503.03	c cleaning 98068 clauses out of 196138 with flag 106517121/4940953
516.58/513.91	c cleaning 99015 clauses out of 198070 with flag 107740869/5040953
530.35/527.72	c cleaning 99949 clauses out of 200055 with flag 112329165/5141953
543.13/540.55	c cleaning 100932 clauses out of 202105 with flag 116697142/5243953
555.71/553.13	c cleaning 102084 clauses out of 204177 with flag 120416765/5346958
569.48/566.87	c cleaning 102966 clauses out of 206088 with flag 123310721/5450953
582.96/580.39	c cleaning 104023 clauses out of 208121 with flag 127217505/5555953
596.64/594.08	c cleaning 104889 clauses out of 210098 with flag 129810957/5661953
611.40/608.87	c cleaning 106104 clauses out of 212208 with flag 135011087/5768953
624.58/622.00	c cleaning 107003 clauses out of 214104 with flag 136159693/5876953
641.34/638.89	c cleaning 108050 clauses out of 216100 with flag 141659963/5985953
657.20/654.75	c cleaning 108969 clauses out of 218049 with flag 146380364/6095953
673.35/670.83	c cleaning 110036 clauses out of 220080 with flag 151407078/6206954
688.43/685.91	c cleaning 110966 clauses out of 222043 with flag 155658948/6318953
703.10/700.69	c cleaning 112029 clauses out of 224077 with flag 160593084/6431954
716.47/714.05	c cleaning 112963 clauses out of 226046 with flag 164086080/6545953
732.44/730.02	c cleaning 113955 clauses out of 228082 with flag 168899416/6660953
747.41/745.08	c cleaning 114989 clauses out of 230127 with flag 171214229/6776953
762.18/759.87	c cleaning 116005 clauses out of 232138 with flag 176869620/6893954
780.12/777.77	c cleaning 116977 clauses out of 234130 with flag 180918695/7011953
796.28/793.98	c cleaning 118048 clauses out of 236152 with flag 185383065/7130953
811.95/809.68	c cleaning 119031 clauses out of 238103 with flag 190529709/7250953
828.02/825.78	c cleaning 119946 clauses out of 240074 with flag 193855122/7371956
843.39/841.16	c cleaning 121051 clauses out of 242124 with flag 198384076/7493953
858.85/856.66	c cleaning 122019 clauses out of 244072 with flag 203305141/7616953
874.33/872.12	c cleaning 122917 clauses out of 246051 with flag 207868560/7740953
890.69/888.59	c cleaning 124065 clauses out of 248133 with flag 211312342/7865953
906.84/904.65	c cleaning 124900 clauses out of 250066 with flag 216124216/7991953
923.50/921.31	c cleaning 126083 clauses out of 252165 with flag 219318654/8118953
940.07/937.96	c cleaning 126856 clauses out of 254081 with flag 224283324/8246954
957.03/954.91	c cleaning 127936 clauses out of 256223 with flag 227918171/8375953
973.80/971.79	c cleaning 129139 clauses out of 258285 with flag 232990877/8505953
991.06/989.04	c cleaning 129886 clauses out of 260145 with flag 237078355/8636953
1007.82/1005.87	c cleaning 130915 clauses out of 262257 with flag 241277766/8768953
1024.69/1022.72	c cleaning 132117 clauses out of 264341 with flag 244699202/8901953
1042.14/1040.27	c cleaning 133065 clauses out of 266224 with flag 249283102/9035955
1059.38/1057.48	c cleaning 133955 clauses out of 268156 with flag 252961800/9170953
1076.44/1074.54	c cleaning 134947 clauses out of 270200 with flag 257328375/9306954
1094.60/1092.78	c cleaning 136110 clauses out of 272250 with flag 262168553/9443953
1111.98/1110.11	c cleaning 137052 clauses out of 274138 with flag 267170491/9581953
1128.23/1126.43	c cleaning 137874 clauses out of 276084 with flag 271736558/9720953
1146.59/1144.84	c cleaning 138993 clauses out of 278208 with flag 276714980/9860953
1164.56/1162.89	c cleaning 140087 clauses out of 280214 with flag 280587383/10001953
1182.51/1180.89	c cleaning 141054 clauses out of 282125 with flag 285445618/10143953
1201.58/1199.94	c cleaning 142032 clauses out of 284071 with flag 290211627/10286955
1220.53/1218.86	c cleaning 142980 clauses out of 286035 with flag 294851124/10430953
1238.69/1237.05	c cleaning 143995 clauses out of 288053 with flag 299805604/10575953
1256.54/1254.99	c cleaning 144866 clauses out of 290056 with flag 304589249/10721953
1275.90/1274.30	c cleaning 146088 clauses out of 292188 with flag 310067184/10868954
1294.46/1292.96	c cleaning 147043 clauses out of 294098 with flag 314455065/11016954
1312.32/1310.88	c cleaning 147990 clauses out of 296052 with flag 318981853/11165953
1331.08/1329.60	c cleaning 149029 clauses out of 298059 with flag 324176447/11315953
1349.14/1347.75	c cleaning 149999 clauses out of 300028 with flag 328584651/11466953
1367.70/1366.33	c cleaning 150963 clauses out of 302026 with flag 333360649/11618953
1386.26/1384.94	c cleaning 151920 clauses out of 304060 with flag 338818865/11771953
1404.22/1402.97	c cleaning 153058 clauses out of 306140 with flag 342742988/11925954
1422.57/1421.38	c cleaning 153943 clauses out of 308078 with flag 347428794/12080953
1440.46/1439.16	c cleaning 154994 clauses out of 310132 with flag 353198388/12236953
1458.02/1456.70	c cleaning 156053 clauses out of 312135 with flag 359096947/12393953
1476.17/1474.94	c cleaning 157022 clauses out of 314079 with flag 365017174/12551953
1494.13/1492.90	c cleaning 157995 clauses out of 316054 with flag 370803107/12710953
1511.99/1510.81	c cleaning 159005 clauses out of 318056 with flag 376177023/12870953
1530.03/1528.98	c cleaning 159971 clauses out of 320048 with flag 381419434/13031954
1548.98/1547.91	c cleaning 160983 clauses out of 322073 with flag 386291870/13193953
1567.73/1566.77	c cleaning 161960 clauses out of 324088 with flag 391095380/13356955
1586.49/1585.51	c cleaning 163043 clauses out of 326122 with flag 396471011/13520953
1603.95/1603.10	c cleaning 163983 clauses out of 328075 with flag 401546098/13685953
1622.80/1621.92	c cleaning 164920 clauses out of 330087 with flag 406999645/13851953
1641.05/1640.29	c cleaning 166019 clauses out of 332163 with flag 412573188/14018953
1659.70/1659.00	c cleaning 166964 clauses out of 334139 with flag 417807137/14186953
1677.46/1676.78	c cleaning 167996 clauses out of 336170 with flag 422957466/14355953
1696.94/1695.73	c cleaning 169044 clauses out of 338169 with flag 427644561/14525953
1715.38/1714.23	c cleaning 169969 clauses out of 340120 with flag 432887268/14696953
1733.34/1732.20	c cleaning 170959 clauses out of 342146 with flag 438119288/14868953
1751.90/1750.83	c cleaning 172031 clauses out of 344181 with flag 443315763/15041953
1768.95/1767.93	c cleaning 173067 clauses out of 346144 with flag 448629787/15215953
1787.01/1786.08	c cleaning 174021 clauses out of 348071 with flag 453861877/15390953
1804.96/1804.07	c cleaning 174934 clauses out of 350046 with flag 458967970/15566957
1822.81/1821.99	c cleaning 175962 clauses out of 352101 with flag 464003892/15743953
1839.97/1839.16	c cleaning 177053 clauses out of 354130 with flag 468632050/15921953
1857.93/1857.17	c cleaning 178023 clauses out of 356072 with flag 473195959/16100956
1875.98/1875.26	c cleaning 178986 clauses out of 358036 with flag 477761910/16280953
1894.33/1893.64	c cleaning 179930 clauses out of 360039 with flag 482097522/16461953
1913.20/1912.42	c cleaning 181038 clauses out of 362094 with flag 486073958/16643953
1930.97/1930.25	c cleaning 181966 clauses out of 364039 with flag 489960973/16826953
1948.63/1947.94	c cleaning 182971 clauses out of 366048 with flag 493386844/17010953
1966.54/1965.87	c cleaning 181469 clauses out of 368054 with flag 496294923/17195954
1969.45/1968.79	c starts		: 28905
1969.57/1968.80	c conflicts		: 17238715
1969.57/1968.80	c decisions		: 311491514
1969.57/1968.80	c propagations		: 1504053619
1969.57/1968.80	c inspects		: 23472104992
1969.57/1968.80	c shortcuts		: 0
1969.57/1968.80	c learnt literals	: 314
1969.57/1968.80	c learnt binary clauses	: 13499
1969.57/1968.80	c learnt ternary clauses	: 6763923
1969.57/1968.80	c learnt constraints	: 17238400
1969.57/1968.80	c ignored constraints	: 0
1969.57/1968.80	c root simplifications	: 0
1969.57/1968.80	c removed literals (reason simplification)	: 106680182
1969.57/1968.80	c reason swapping (by a shorter reason)	: 0
1969.57/1968.80	c Calls to reduceDB	: 181
1969.57/1968.80	c Number of update (reduction) of LBD	: 12420664
1969.57/1968.80	c Imported unit clauses	: 0
1969.57/1968.80	c No decision after first conflict	: false
1969.57/1968.80	c number of reductions to clauses (during analyze)	: 0
1969.57/1968.80	c number of learned constraints concerned by reduction	: 0
1969.57/1968.80	c number of learning phase by resolution	: 0
1969.57/1968.80	c number of learning phase by cutting planes	: 0
1969.57/1968.80	c number of rounding to 1 operations	: 0
1969.57/1968.80	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1969.57/1968.80	c number of reductions of the coefficients by power 2 	: 0
1969.57/1968.80	c number of right shift for reduction by power 2 	: 0
1969.57/1968.80	c number of reductions of the coefficients by GCD over coefficients 	: 0
1969.57/1968.80	c number of ending skipping 	: 0
1969.57/1968.80	c number of internal skipping 	: 0
1969.57/1968.80	c number of derivation steps 	: 0
1969.57/1968.80	c number of skipped derivation steps 	: 0
1969.57/1968.80	c number of remaining unassigned 	: 0
1969.57/1968.80	c number of remaining assigned 	: 0
1969.57/1968.80	c number of falsified literals weakened from reason	: 0
1969.57/1968.80	c number of falsified literals weakened from conflict	: 0
1969.57/1968.80	c time for arithmetic operations	: 0
1969.57/1968.80	c minimum degree of deleted constraints	: null
1969.57/1968.80	c maximum degree of deleted constraints	: null
1969.57/1968.80	c number of deleted constraints	: 0
1969.57/1968.80	c speed (assignments/second)	: 764160.5325155482
1969.57/1968.80	c non guided choices	: 2578
1969.57/1968.80	s OPTIMUM FOUND
1969.57/1968.80	c Found 1 solution(s)
1969.57/1968.81	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 x26 x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 x116 x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 x172 x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 x614 x615 -x616 x617 -x618 x619 -x620 x621 -x622 x623 -x624 -x625 x626 x627 -x628 x629 -x630 x631 -x632 x633 -x634 x635 -x636 -x637 x638 x639 -x640 -x641 x642 x643 -x644 x645 -x646 x647 -x648 -x649 x650 
1969.57/1968.81	c objective function=18
1969.57/1968.81	c Total wall clock time (in seconds): 1968.681

Verifier Data 

OK	18

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517498-1751528320/watcher-4517498-1751528320 -o /tmp/evaluation-result-4517498-1751528320/solver-4517498-1751528320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72930 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517498-1751528320.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.10 4.16 4.17 5/338 74177
/proc/meminfo: memFree=110299192/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=18930384 memory=57732 CPUtime=0.12 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 6582 0 0 0 11 1 0 0 20 0 18 0 68510621 19384713216 14433 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4732596 14433 5332 1 0 547621 0
[pid=74159/tid=74161] ppid=74156 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 5078 0 0 0 7 1 0 0 20 0 18 0 68510622 19384713216 14433 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68510624 19384713216 14433 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=18930384 memory=61784027576291 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68510624 19384713216 14465 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57732 KiB

[startup+0.205771 s]*
/proc/loadavg: 4.10 4.16 4.17 7/338 74177
/proc/meminfo: memFree=110286904/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=18930384 memory=74340 CPUtime=0.33 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 7050 0 0 0 31 2 0 0 20 0 18 0 68510621 19384713216 18585 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4732596 18585 5428 1 0 547911 0
[pid=74159/tid=74161] ppid=74156 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 5273 0 0 0 17 1 0 0 20 0 18 0 68510622 19384713216 18585 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68510624 19384713216 18585 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68510624 19384713216 18585 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 74340 KiB

[startup+0.305718 s]*
/proc/loadavg: 4.10 4.16 4.17 6/338 74177
/proc/meminfo: memFree=110246272/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=18930384 memory=115636 CPUtime=0.53 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 8618 0 0 0 50 3 0 0 20 0 18 0 68510621 19384713216 28909 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4732596 28909 5428 1 0 549006 0
[pid=74159/tid=74161] ppid=74156 vsize=18930384 memory=-6000919481296709736 CPUtime=0.28 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 5291 0 0 0 27 1 0 0 20 0 18 0 68510622 19384713216 28909 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68510624 19384713216 28909 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68510624 19384713216 28909 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 115636 KiB

[startup+0.700244 s]
/proc/loadavg: 4.10 4.16 4.17 6/339 74178
/proc/meminfo: memFree=110197120/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=168512 CPUtime=1.27 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 11030 0 0 0 122 5 0 0 20 0 20 0 68510621 19521036288 42128 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 42128 5492 1 0 551204 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=18432 CPUtime=0.62 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 5426 0 0 0 59 3 0 0 20 0 20 0 68510622 19521036288 42128 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 42128 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 42128 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168512 KiB

[startup+1.50026 s]
/proc/loadavg: 4.17 4.17 4.18 6/340 74179
/proc/meminfo: memFree=110183008/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=178544 CPUtime=2.86 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 20197 0 0 0 279 7 0 0 20 0 20 0 68510621 19521036288 44636 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 44636 5524 1 0 553528 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=3200 CPUtime=1.39 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 6345 0 0 0 136 3 0 0 20 0 20 0 68510622 19521036288 44636 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 44636 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 44636 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 44636 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178544 KiB

[startup+3.10551 s]
/proc/loadavg: 4.17 4.17 4.18 5/340 74179
/proc/meminfo: memFree=110169088/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=187644 CPUtime=5.1 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 23767 0 0 0 502 8 0 0 20 0 20 0 68510621 19521036288 46911 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 46911 5524 1 0 554132 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=16580 CPUtime=2.97 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 6665 0 0 0 294 3 0 0 20 0 20 0 68510622 19521036288 46911 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 46911 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 46911 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 46911 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187644 KiB

[startup+6.30024 s]
/proc/loadavg: 4.16 4.17 4.17 5/340 74179
/proc/meminfo: memFree=110169160/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=180432 CPUtime=8.3 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 25609 0 0 0 821 9 0 0 20 0 20 0 68510621 19521036288 45108 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 45108 5524 1 0 554132 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=0 CPUtime=6.15 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 7286 0 0 0 612 3 0 0 20 0 20 0 68510622 19521036288 45108 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 45108 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 45108 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=178780 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 45108 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.20 4.18 5/340 74246
/proc/meminfo: memFree=110638176/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=190692 CPUtime=14.75 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 29470 0 0 0 1463 12 0 0 20 0 20 0 68510621 19521036288 47673 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 47673 5524 1 0 554132 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=178780 CPUtime=12.5 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 7912 0 0 0 1245 5 0 0 20 0 20 0 68510622 19521036288 47673 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 47673 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 47673 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 47673 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190692 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.19 4.18 5/339 74246
/proc/meminfo: memFree=110552408/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=225784 CPUtime=27.56 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 30895 0 0 0 2743 13 0 0 20 0 20 0 68510621 19521036288 56446 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 56446 5556 1 0 554132 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=16580 CPUtime=25.24 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 8287 0 0 0 2518 6 0 0 20 0 20 0 68510622 19521036288 56446 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 56446 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=225784 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 56446 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=225784 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 56446 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 27.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225784 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.17 4.18 5/340 74248
/proc/meminfo: memFree=110294116/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=379812 CPUtime=53.24 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 31215 0 0 0 5307 17 0 0 20 0 20 0 68510621 19521036288 94953 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 94953 5556 1 0 554132 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=190692 CPUtime=50.63 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 8332 0 0 0 5057 6 0 0 20 0 20 0 68510622 19521036288 94953 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=330560 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 94953 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=330560 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 94953 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=281312 CPUtime=0 cores=0,2

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

/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 580 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1783.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1825668 KiB

[startup+1842.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/341 74485
/proc/meminfo: memFree=108777624/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=1825668 CPUtime=1843.16 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 69238 0 0 0 184218 98 0 0 20 0 20 0 68510621 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 456417 5556 1 0 556894 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=1825668 CPUtime=1835.42 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 22529 0 0 0 183526 16 0 0 20 0 20 0 68510622 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 580 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=1825668 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1843.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1825668 KiB

[startup+1902.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/341 74487
/proc/meminfo: memFree=108650280/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=1825668 CPUtime=1903.01 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 69938 0 0 0 190201 100 0 0 20 0 20 0 68510621 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 456417 5556 1 0 556896 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=1825668 CPUtime=1895.24 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 23095 0 0 0 189508 16 0 0 20 0 20 0 68510622 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 580 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=16580 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 456417 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1903.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1825668 KiB

[startup+1962.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/341 74489
/proc/meminfo: memFree=108560064/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=1829832 CPUtime=1963 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 71189 0 0 0 196198 102 0 0 20 0 20 0 68510621 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 457458 5556 1 0 556896 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=1829832 CPUtime=1954.96 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 23518 0 0 0 195480 16 0 0 20 0 20 0 68510622 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 602 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=-6000919481296709736 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1963 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1829832 KiB

[startup+1968.84 s]
# the end of solver process 74159 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1968.58 s, system=1.03722 s

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

[startup+1964.8 s]
/proc/loadavg: 4.10 4.12 4.16 5/341 74489
/proc/meminfo: memFree=108551872/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=1829832 CPUtime=1965.49 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 71189 0 0 0 196447 102 0 0 20 0 20 0 68510621 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 457458 5556 1 0 556896 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=16580 CPUtime=1957.45 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 23518 0 0 0 195729 16 0 0 20 0 20 0 68510622 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 602 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1965.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1829832 KiB

[startup+1966.4 s]
/proc/loadavg: 4.10 4.12 4.16 5/341 74489
/proc/meminfo: memFree=108478152/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=1829832 CPUtime=1967.14 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 71557 0 0 0 196612 102 0 0 20 0 20 0 68510621 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 457458 5556 1 0 556908 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=18432 CPUtime=1959.05 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 23549 0 0 0 195889 16 0 0 20 0 20 0 68510622 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 602 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1967.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1829832 KiB

[startup+1968 s]*
/proc/loadavg: 4.10 4.12 4.16 5/341 74489
/proc/meminfo: memFree=108478152/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=1829832 CPUtime=1968.74 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 71557 0 0 0 196772 102 0 0 20 0 20 0 68510621 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 457458 5556 1 0 556908 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=-6000919477018323048 CPUtime=1960.65 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 23549 0 0 0 196049 16 0 0 20 0 20 0 68510622 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=7024 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 602 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=1829832 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1968.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1829832 KiB

[startup+1968.4 s]
/proc/loadavg: 4.10 4.12 4.16 5/341 74489
/proc/meminfo: memFree=108478152/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19063512 memory=1829832 CPUtime=1969.14 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 71557 0 0 0 196812 102 0 0 20 0 20 0 68510621 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4765878 457458 5556 1 0 556908 0
[pid=74159/tid=74161] ppid=74156 vsize=19063512 memory=-6000919481296709736 CPUtime=1961.04 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) R 74156 74159 72920 0 -1 4194368 23549 0 0 0 196088 16 0 0 20 0 20 0 68510622 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19063512 memory=2708 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 602 0 0 0 0 0 0 0 20 0 20 0 68510624 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74179] ppid=74156 vsize=19063512 memory=17516 CPUtime=0 cores=0,2
/proc/74159/task/74179/stat : 74179 (Timer-0) S 74156 74159 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68510677 19521036288 457458 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1969.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1829832 KiB

[startup+1968.8 s]
/proc/loadavg: 4.10 4.12 4.16 5/341 74489
/proc/meminfo: memFree=108478152/131249996 swapFree=33010160/33010684
[pid=74159] ppid=74156 vsize=19196640 memory=1830216 CPUtime=1969.57 cores=0,2
/proc/74159/stat : 74159 (java) S 74156 74159 72920 0 -1 4194304 72910 0 0 0 196855 102 0 0 20 0 20 0 68510621 19657359360 457554 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
/proc/74159/statm: 4799160 457554 5556 1 0 557528 0
[pid=74159/tid=74161] ppid=74156 vsize=19196640 memory=-6000919481296709736 CPUtime=1961.44 cores=0,2
/proc/74159/task/74161/stat : 74161 (java) S 74156 74159 72920 0 -1 4194368 24614 0 0 0 196127 17 0 0 20 0 20 0 68510622 19657359360 457554 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74170] ppid=74156 vsize=19196640 memory=18432 CPUtime=0 cores=0,2
/proc/74159/task/74170/stat : 74170 (Finalizer) S 74156 74159 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68510624 19657359360 457554 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
[pid=74159/tid=74177] ppid=74156 vsize=19196640 memory=11136 CPUtime=0 cores=0,2
/proc/74159/task/74177/stat : 74177 (Common-Cleaner) S 74156 74159 72920 0 -1 4194368 602 0 0 0 0 0 0 0 20 0 20 0 68510624 19657359360 457554 18446744073709551615 94534831894528 94534831898224 140725465638480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94534831906040 94534831906832 94534831984640 140725465643393 140725465643494 140725465643494 140725465649096 0
Current children cumulated CPU time: 1969.57 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1830216 KiB

Child status: 30

Real time (s): 1968.84
CPU time (s): 1969.62
CPU user time (s): 1968.58
CPU system time (s): 1.03722
CPU usage (%): 100.039
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1830216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1968.58
system time used= 1.03722
maximum resident set size= 1830472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73318
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60494
involuntary context switches= 5609


# summary of solver processes directly reported to runsolver:
#   pid: 74159
#   total CPU time (s): 1969.62
#   total CPU user time (s): 1968.58
#   total CPU system time (s): 1.03722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.19552 second user time and 9.39187 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-03 09:38:40
IDJOB=4517498
IDBENCH=176097
IDSOLVER=3363
FILE ID=nodeC032/4517498-1751528320
RUNJOBID= nodeC032-1751521141-72930
SLURM_JOB_ID= 9598644
Free space on /tmp= 430556 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517498-1751528320/watcher-4517498-1751528320 -o /tmp/evaluation-result-4517498-1751528320/solver-4517498-1751528320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72930 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4517498-1751528320.opb

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

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=396784920

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        110330556 kB
MemAvailable:   126684608 kB
Buffers:            2728 kB
Cached:         17033212 kB
SwapCached:           20 kB
Active:          3405676 kB
Inactive:       16663732 kB
Active(anon):    3048392 kB
Inactive(anon):     3124 kB
Active(file):     357284 kB
Inactive(file): 16660608 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2696 kB
Writeback:             0 kB
AnonPages:       3036380 kB
Mapped:           123776 kB
Shmem:             18048 kB
KReclaimable:     350800 kB
Slab:             444496 kB
SReclaimable:     350800 kB
SUnreclaim:        93696 kB
KernelStack:        5132 kB
PageTables:         9704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9191048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2803712 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430564 MiB
End job on nodeC032 at 2025-07-03 10:11:29