Trace number 4517499

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 VeriPB 2025-06-06OPT cert.18 2215.84 2236.16

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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.11/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.21	c java.vm.version	22.0.1+8-16
0.11/0.21	c java.vm.vendor	Oracle Corporation
0.11/0.21	c sun.arch.data.model	64
0.11/0.21	c java.version		22.0.1
0.11/0.21	c os.name		Linux
0.11/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.21	c os.arch		amd64
0.11/0.22	c Free memory 		2104792832
0.11/0.22	c Max memory 		16282288128
0.11/0.22	c Total memory 		2113929216
0.28/0.23	c Number of processors 	2
0.28/0.32	c Pseudo Boolean Optimization by upper bound
0.28/0.32	c --- Begin Solver configuration ---
0.28/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.28/0.32	c Learn all clauses as in MiniSAT
0.28/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.32	c Expensive reason simplification
0.28/0.32	c Glucose 2.1 dynamic restart strategy
0.28/0.32	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.28/0.32	c timeout=2147483s
0.28/0.32	c DB Simplification allowed=false
0.28/0.32	c Listener: none
0.28/0.32	c --- End Solver configuration ---
0.28/0.32	c solving HOME/instance-4517499-1751535013.opb
0.28/0.32	c reading problem ... 
0.28/0.32	c using VERIPB proof format
0.44/0.33	c  objective function found
1.88/1.13	c ... done. Wall clock time 0.808s.
1.88/1.14	c declared #vars     650
1.88/1.14	c #constraints  72640
1.88/1.14	c constraints type 
1.88/1.14	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 20
1.88/1.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20
1.88/1.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 72600
1.88/1.14	c 72640 constraints processed.
1.88/1.15	c objective function length is 20 literals
2.41/1.46	c SATISFIABLE
2.41/1.46	c OPTIMIZING...
2.41/1.46	c Got one! Elapsed wall clock time (in seconds):1.147
2.41/1.46	o 18
4.00/2.25	c cleaning 2962 clauses out of 5953 with flag 30288/5953
5.20/2.83	c cleaning 4496 clauses out of 8991 with flag 59668/11953
6.39/3.45	c cleaning 5747 clauses out of 11495 with flag 107976/18953
7.78/4.16	c cleaning 6873 clauses out of 13748 with flag 165050/26953
8.95/4.81	c cleaning 7848 clauses out of 15875 with flag 219959/35953
9.74/5.45	c cleaning 9008 clauses out of 18028 with flag 283981/45954
11.15/6.31	c cleaning 9991 clauses out of 20019 with flag 346372/56953
12.04/7.24	c cleaning 10995 clauses out of 22042 with flag 444416/68967
13.92/9.19	c cleaning 12016 clauses out of 24033 with flag 507196/81953
15.25/10.41	c cleaning 12994 clauses out of 26017 with flag 769611/95953
16.64/11.88	c cleaning 14008 clauses out of 28023 with flag 985163/110953
18.04/13.21	c cleaning 14922 clauses out of 30015 with flag 1122652/126953
19.63/14.75	c cleaning 15841 clauses out of 32093 with flag 1241367/143953
21.10/16.03	c cleaning 17080 clauses out of 34252 with flag 1388575/161953
22.51/17.48	c cleaning 18062 clauses out of 36172 with flag 1495416/180953
24.00/18.98	c cleaning 19025 clauses out of 38110 with flag 1631660/200953
25.54/20.48	c cleaning 19948 clauses out of 40085 with flag 1965005/221953
27.24/22.06	c cleaning 21026 clauses out of 42137 with flag 2204941/243953
29.03/23.89	c cleaning 22051 clauses out of 44114 with flag 2445459/266956
30.93/25.79	c cleaning 23009 clauses out of 46060 with flag 2771054/290953
33.13/28.00	c cleaning 23948 clauses out of 48051 with flag 2937764/315953
35.35/30.18	c cleaning 25042 clauses out of 50105 with flag 3200249/341955
38.48/33.46	c cleaning 26026 clauses out of 52062 with flag 3346984/368954
40.77/35.72	c cleaning 27006 clauses out of 54035 with flag 3641439/396953
43.48/38.40	c cleaning 28004 clauses out of 56029 with flag 3851182/425953
46.27/41.28	c cleaning 28990 clauses out of 58025 with flag 4040028/455953
48.97/43.91	c cleaning 29927 clauses out of 60037 with flag 4584046/486955
52.69/47.67	c cleaning 31043 clauses out of 62113 with flag 4942208/518958
56.67/51.53	c cleaning 31789 clauses out of 64065 with flag 5316853/551953
59.69/54.59	c cleaning 33126 clauses out of 66276 with flag 5801035/585953
63.92/58.73	c cleaning 34039 clauses out of 68150 with flag 6330143/620953
67.22/62.03	c cleaning 35028 clauses out of 70111 with flag 6865518/656953
70.64/65.59	c cleaning 36037 clauses out of 72083 with flag 7314812/693953
74.33/69.23	c cleaning 37013 clauses out of 74046 with flag 7792188/731953
78.50/73.33	c cleaning 38003 clauses out of 76033 with flag 8092883/770953
82.31/77.12	c cleaning 38934 clauses out of 78030 with flag 8497679/810953
87.75/82.53	c cleaning 40017 clauses out of 80098 with flag 8838077/851955
91.65/86.46	c cleaning 41035 clauses out of 82080 with flag 9392266/893954
95.44/90.25	c cleaning 41865 clauses out of 84044 with flag 10094294/936953
99.70/94.50	c cleaning 43038 clauses out of 86179 with flag 10661518/980953
104.21/99.03	c cleaning 43911 clauses out of 88141 with flag 11358939/1025953
110.71/105.44	c cleaning 44997 clauses out of 90230 with flag 12818155/1071953
115.61/110.33	c cleaning 45946 clauses out of 92233 with flag 14732307/1118953
120.31/115.02	c cleaning 47021 clauses out of 94287 with flag 17088092/1166953
125.39/120.13	c cleaning 48101 clauses out of 96266 with flag 19333985/1215953
130.87/125.72	c cleaning 49051 clauses out of 98169 with flag 21682302/1265957
137.75/131.29	c cleaning 50049 clauses out of 100113 with flag 23802292/1316953
143.55/137.01	c cleaning 51004 clauses out of 102064 with flag 24353174/1368953
149.26/142.60	c cleaning 51980 clauses out of 104060 with flag 24856769/1421953
155.26/148.58	c cleaning 52963 clauses out of 106080 with flag 25311743/1475953
161.44/154.75	c cleaning 53926 clauses out of 108117 with flag 26457831/1530953
167.22/160.52	c cleaning 54977 clauses out of 110191 with flag 29314341/1586953
172.51/165.86	c cleaning 56009 clauses out of 112214 with flag 30876852/1643953
178.79/172.05	c cleaning 56921 clauses out of 114205 with flag 31403452/1701953
185.17/178.40	c cleaning 58137 clauses out of 116285 with flag 31896926/1760954
191.88/185.07	c cleaning 58962 clauses out of 118147 with flag 33046323/1820953
198.75/191.90	c cleaning 60021 clauses out of 120185 with flag 33735793/1881953
205.04/198.21	c cleaning 60955 clauses out of 122164 with flag 34607486/1943953
212.97/206.07	c cleaning 61942 clauses out of 124209 with flag 36678356/2006953
220.43/213.57	c cleaning 63129 clauses out of 126270 with flag 39487175/2070956
228.97/222.27	c cleaning 64059 clauses out of 128137 with flag 42580113/2135953
237.70/230.85	c cleaning 64973 clauses out of 130078 with flag 43317803/2201953
245.49/238.65	c cleaning 66049 clauses out of 132106 with flag 43822526/2268954
253.32/246.39	c cleaning 66901 clauses out of 134056 with flag 44562071/2336953
261.65/254.69	c cleaning 68069 clauses out of 136155 with flag 45378126/2405953
269.82/262.81	c cleaning 68988 clauses out of 138086 with flag 46039477/2475953
277.87/270.82	c cleaning 69990 clauses out of 140098 with flag 46915814/2546953
285.94/279.10	c cleaning 71038 clauses out of 142108 with flag 47602795/2618953
294.30/287.30	c cleaning 71973 clauses out of 144070 with flag 48431471/2691953
302.67/295.77	c cleaning 73019 clauses out of 146097 with flag 49220082/2765953
311.18/304.12	c cleaning 73944 clauses out of 148078 with flag 50635293/2840953
319.63/312.72	c cleaning 75036 clauses out of 150134 with flag 53881631/2916953
328.61/321.71	c cleaning 76033 clauses out of 152097 with flag 57171286/2993953
339.20/332.27	c cleaning 77019 clauses out of 154064 with flag 57910008/3071953
350.16/345.22	c cleaning 78005 clauses out of 156046 with flag 58693754/3150954
361.14/356.22	c cleaning 78877 clauses out of 158041 with flag 60921433/3230954
370.41/365.52	c cleaning 80029 clauses out of 160163 with flag 65523817/3311953
379.86/374.60	c cleaning 80999 clauses out of 162133 with flag 68330821/3393953
389.84/384.62	c cleaning 81898 clauses out of 164134 with flag 69583514/3476953
400.52/395.38	c cleaning 83103 clauses out of 166236 with flag 73498328/3560953
411.66/406.44	c cleaning 84040 clauses out of 168132 with flag 76598610/3645953
422.44/417.26	c cleaning 84864 clauses out of 170092 with flag 77712127/3731953
433.06/427.70	c cleaning 86078 clauses out of 172229 with flag 78750006/3818954
444.36/438.97	c cleaning 86965 clauses out of 174150 with flag 80378338/3906953
456.73/451.37	c cleaning 87943 clauses out of 176185 with flag 82468922/3995953
467.69/462.38	c cleaning 89053 clauses out of 178242 with flag 86756061/4085953
478.93/473.42	c cleaning 90068 clauses out of 180188 with flag 88480163/4176953
489.91/484.49	c cleaning 91052 clauses out of 182120 with flag 89469237/4268953
504.62/499.14	c cleaning 92004 clauses out of 184068 with flag 92670384/4361953
516.59/511.19	c cleaning 92964 clauses out of 186063 with flag 95583574/4455953
530.54/526.31	c cleaning 93955 clauses out of 188099 with flag 98737189/4550953
543.41/539.23	c cleaning 95015 clauses out of 190143 with flag 103318472/4646953
556.71/552.42	c cleaning 95957 clauses out of 192128 with flag 104328650/4743953
570.87/568.46	c cleaning 97033 clauses out of 194171 with flag 105367015/4841953
584.15/581.63	c cleaning 98068 clauses out of 196138 with flag 106517121/4940953
596.12/593.68	c cleaning 99015 clauses out of 198070 with flag 107740869/5040953
612.35/611.94	c cleaning 99949 clauses out of 200055 with flag 112329165/5141953
625.82/625.48	c cleaning 100932 clauses out of 202105 with flag 116697142/5243953
640.06/643.60	c cleaning 102084 clauses out of 204177 with flag 120416765/5346958
654.50/658.10	c cleaning 102966 clauses out of 206088 with flag 123310721/5450953
669.42/673.01	c cleaning 104023 clauses out of 208121 with flag 127217505/5555953
684.15/687.72	c cleaning 104889 clauses out of 210098 with flag 129810957/5661953
699.85/703.55	c cleaning 106104 clauses out of 212208 with flag 135011087/5768953
714.44/718.05	c cleaning 107003 clauses out of 214104 with flag 136159693/5876953
732.13/735.86	c cleaning 108050 clauses out of 216100 with flag 141659963/5985953
749.02/752.62	c cleaning 108969 clauses out of 218049 with flag 146380364/6095953
766.14/769.85	c cleaning 110036 clauses out of 220080 with flag 151407078/6206954
782.50/786.74	c cleaning 110966 clauses out of 222043 with flag 155658948/6318953
798.38/802.56	c cleaning 112029 clauses out of 224077 with flag 160593084/6431954
812.53/816.77	c cleaning 112963 clauses out of 226046 with flag 164086080/6545953
828.76/832.91	c cleaning 113955 clauses out of 228082 with flag 168899416/6660953
844.91/849.12	c cleaning 114989 clauses out of 230127 with flag 171214229/6776953
861.51/865.74	c cleaning 116005 clauses out of 232138 with flag 176869620/6893954
880.16/884.46	c cleaning 116977 clauses out of 234130 with flag 180918695/7011953
897.31/901.53	c cleaning 118048 clauses out of 236152 with flag 185383065/7130953
914.58/921.38	c cleaning 119031 clauses out of 238103 with flag 190529709/7250953
933.05/939.81	c cleaning 119946 clauses out of 240074 with flag 193855122/7371956
949.31/956.14	c cleaning 121051 clauses out of 242124 with flag 198384076/7493953
966.05/972.85	c cleaning 122019 clauses out of 244072 with flag 203305141/7616953
982.69/989.51	c cleaning 122917 clauses out of 246051 with flag 207868560/7740953
1000.42/1007.29	c cleaning 124065 clauses out of 248133 with flag 211312342/7865953
1018.86/1025.65	c cleaning 124900 clauses out of 250066 with flag 216124216/7991953
1036.99/1043.85	c cleaning 126083 clauses out of 252165 with flag 219318654/8118953
1054.83/1061.68	c cleaning 126856 clauses out of 254081 with flag 224283324/8246954
1073.05/1079.97	c cleaning 127936 clauses out of 256223 with flag 227918171/8375953
1092.25/1099.16	c cleaning 129139 clauses out of 258285 with flag 232990877/8505953
1110.61/1117.45	c cleaning 129886 clauses out of 260145 with flag 237078355/8636953
1128.54/1135.48	c cleaning 130915 clauses out of 262257 with flag 241277766/8768953
1147.30/1153.71	c cleaning 132117 clauses out of 264341 with flag 244699202/8901953
1166.01/1172.50	c cleaning 133065 clauses out of 266224 with flag 249283102/9035955
1183.90/1190.45	c cleaning 133955 clauses out of 268156 with flag 252961800/9170953
1202.17/1208.77	c cleaning 134947 clauses out of 270200 with flag 257328375/9306954
1221.12/1227.77	c cleaning 136110 clauses out of 272250 with flag 262168553/9443953
1239.40/1246.03	c cleaning 137052 clauses out of 274138 with flag 267170491/9581953
1256.91/1264.01	c cleaning 137874 clauses out of 276084 with flag 271736558/9720953
1276.34/1283.44	c cleaning 138993 clauses out of 278208 with flag 276714980/9860953
1297.06/1304.12	c cleaning 140087 clauses out of 280214 with flag 280587383/10001953
1316.00/1323.12	c cleaning 141054 clauses out of 282125 with flag 285445618/10143953
1336.23/1343.44	c cleaning 142032 clauses out of 284071 with flag 290211627/10286955
1356.14/1363.34	c cleaning 142980 clauses out of 286035 with flag 294851124/10430953
1375.59/1382.82	c cleaning 143995 clauses out of 288053 with flag 299805604/10575953
1394.25/1401.48	c cleaning 144866 clauses out of 290056 with flag 304589249/10721953
1414.68/1421.90	c cleaning 146088 clauses out of 292188 with flag 310067184/10868954
1435.78/1443.10	c cleaning 147043 clauses out of 294098 with flag 314455065/11016954
1454.63/1461.99	c cleaning 147990 clauses out of 296052 with flag 318981853/11165953
1475.76/1483.11	c cleaning 149029 clauses out of 298059 with flag 324176447/11315953
1495.08/1502.43	c cleaning 149999 clauses out of 300028 with flag 328584651/11466953
1515.34/1522.74	c cleaning 150963 clauses out of 302026 with flag 333360649/11618953
1536.39/1543.77	c cleaning 151920 clauses out of 304060 with flag 338818865/11771953
1556.82/1564.22	c cleaning 153058 clauses out of 306140 with flag 342742988/11925954
1577.58/1584.93	c cleaning 153943 clauses out of 308078 with flag 347428794/12080953
1597.79/1605.24	c cleaning 154994 clauses out of 310132 with flag 353198388/12236953
1618.30/1626.17	c cleaning 156053 clauses out of 312135 with flag 359096947/12393953
1639.43/1647.32	c cleaning 157022 clauses out of 314079 with flag 365017174/12551953
1660.75/1668.63	c cleaning 157995 clauses out of 316054 with flag 370803107/12710953
1681.28/1689.25	c cleaning 159005 clauses out of 318056 with flag 376177023/12870953
1702.23/1710.21	c cleaning 159971 clauses out of 320048 with flag 381419434/13031954
1723.34/1731.40	c cleaning 160983 clauses out of 322073 with flag 386291870/13193953
1745.19/1753.23	c cleaning 161960 clauses out of 324088 with flag 391095380/13356955
1765.94/1773.97	c cleaning 163043 clauses out of 326122 with flag 396471011/13520953
1785.81/1793.84	c cleaning 163983 clauses out of 328075 with flag 401546098/13685953
1807.27/1815.21	c cleaning 164920 clauses out of 330087 with flag 406999645/13851953
1828.77/1838.85	c cleaning 166019 clauses out of 332163 with flag 412573188/14018953
1851.35/1861.32	c cleaning 166964 clauses out of 334139 with flag 417807137/14186953
1872.78/1884.62	c cleaning 167996 clauses out of 336170 with flag 422957466/14355953
1896.28/1909.92	c cleaning 169044 clauses out of 338169 with flag 427644561/14525953
1919.10/1932.82	c cleaning 169969 clauses out of 340120 with flag 432887268/14696953
1940.70/1957.41	c cleaning 170959 clauses out of 342146 with flag 438119288/14868953
1962.42/1982.78	c cleaning 172031 clauses out of 344181 with flag 443315763/15041953
1982.97/2003.38	c cleaning 173067 clauses out of 346144 with flag 448629787/15215953
2003.83/2024.14	c cleaning 174021 clauses out of 348071 with flag 453861877/15390953
2023.96/2044.46	c cleaning 174934 clauses out of 350046 with flag 458967970/15566957
2045.27/2065.66	c cleaning 175962 clauses out of 352101 with flag 464003892/15743953
2064.47/2085.04	c cleaning 177053 clauses out of 354130 with flag 468632050/15921953
2084.81/2105.43	c cleaning 178023 clauses out of 356072 with flag 473195959/16100956
2105.98/2126.59	c cleaning 178986 clauses out of 358036 with flag 477761910/16280953
2126.58/2147.27	c cleaning 179930 clauses out of 360039 with flag 482097522/16461953
2149.34/2169.99	c cleaning 181038 clauses out of 362094 with flag 486073958/16643953
2169.59/2190.23	c cleaning 181966 clauses out of 364039 with flag 489960973/16826953
2189.69/2210.47	c cleaning 182971 clauses out of 366048 with flag 493386844/17010953
2212.30/2232.72	c cleaning 181469 clauses out of 368054 with flag 496294923/17195954
2215.66/2236.09	c starts		: 28905
2215.66/2236.09	c conflicts		: 17238715
2215.66/2236.09	c decisions		: 311491514
2215.66/2236.09	c propagations		: 1504053619
2215.66/2236.09	c inspects		: 23472104992
2215.66/2236.09	c shortcuts		: 0
2215.66/2236.09	c learnt literals	: 314
2215.66/2236.09	c learnt binary clauses	: 13499
2215.66/2236.09	c learnt ternary clauses	: 6763923
2215.66/2236.09	c learnt constraints	: 17238400
2215.66/2236.09	c ignored constraints	: 0
2215.66/2236.09	c root simplifications	: 0
2215.66/2236.09	c removed literals (reason simplification)	: 106680182
2215.66/2236.09	c reason swapping (by a shorter reason)	: 0
2215.66/2236.09	c Calls to reduceDB	: 181
2215.66/2236.09	c Number of update (reduction) of LBD	: 12420664
2215.66/2236.09	c Imported unit clauses	: 0
2215.66/2236.09	c No decision after first conflict	: false
2215.66/2236.09	c number of reductions to clauses (during analyze)	: 0
2215.66/2236.09	c number of learned constraints concerned by reduction	: 0
2215.66/2236.09	c number of learning phase by resolution	: 0
2215.66/2236.09	c number of learning phase by cutting planes	: 0
2215.66/2236.09	c number of rounding to 1 operations	: 0
2215.66/2236.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2215.66/2236.09	c number of reductions of the coefficients by power 2 	: 0
2215.66/2236.09	c number of right shift for reduction by power 2 	: 0
2215.66/2236.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
2215.66/2236.09	c number of ending skipping 	: 0
2215.66/2236.09	c number of internal skipping 	: 0
2215.66/2236.09	c number of derivation steps 	: 0
2215.66/2236.09	c number of skipped derivation steps 	: 0
2215.66/2236.09	c number of remaining unassigned 	: 0
2215.66/2236.09	c number of remaining assigned 	: 0
2215.66/2236.09	c number of falsified literals weakened from reason	: 0
2215.66/2236.09	c number of falsified literals weakened from conflict	: 0
2215.66/2236.09	c time for arithmetic operations	: 0
2215.66/2236.09	c minimum degree of deleted constraints	: null
2215.66/2236.09	c maximum degree of deleted constraints	: null
2215.66/2236.09	c number of deleted constraints	: 0
2215.66/2236.09	c speed (assignments/second)	: 672978.72809765
2215.66/2236.09	c non guided choices	: 2578
2215.66/2236.10	s OPTIMUM FOUND
2215.66/2236.10	c Found 1 solution(s)
2215.66/2236.10	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 
2215.66/2236.10	c objective function=18
2215.66/2236.10	c Total wall clock time (in seconds): 2235.78

Verifier Data 

OK	18

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Thu Jul  3 12:09:01 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 18 <= obj <= 18
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 18 <= obj <= 18
--summary--
ALL OK

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 (62418 MiB free)
  memory of node 1: 64507 MiB (60960 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517499-1751535013/watcher-4517499-1751535013 -o /tmp/evaluation-result-4517499-1751535013/solver-4517499-1751535013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81002 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517499-1751535013 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517499-1751535013.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81249, runsolver pid=81246
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 1.52 1.21 1.82 8/323 81267
/proc/meminfo: memFree=126305164/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=18930384 memory=48256 CPUtime=0.11 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 5765 0 0 0 8 3 0 0 20 0 18 0 69181007 19384713216 12064 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4732596 12064 5299 1 0 546995 0
[pid=81249/tid=81251] ppid=81246 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 4636 0 0 0 4 2 0 0 20 0 18 0 69181009 19384713216 12064 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69181014 19384713216 12064 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=18930384 memory=59593594265959 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69181015 19384713216 12064 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48256 KiB

[startup+0.214129 s]*
/proc/loadavg: 1.52 1.21 1.82 8/323 81267
/proc/meminfo: memFree=126276556/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=18930384 memory=53228 CPUtime=0.28 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 6462 0 0 0 25 3 0 0 20 0 18 0 69181007 19384713216 13307 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4732596 13307 5363 1 0 547553 0
[pid=81249/tid=81251] ppid=81246 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 5001 0 0 0 15 2 0 0 20 0 18 0 69181009 19384713216 13307 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=18930384 memory=1641 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69181014 19384713216 13307 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69181015 19384713216 13307 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53228 KiB

[startup+0.315554 s]*
/proc/loadavg: 1.52 1.21 1.82 9/323 81267
/proc/meminfo: memFree=126214236/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=18930384 memory=58760 CPUtime=0.44 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 6787 0 0 0 40 4 0 0 20 0 18 0 69181007 19384713216 14690 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4732596 14690 5363 1 0 547794 0
[pid=81249/tid=81251] ppid=81246 vsize=18930384 memory=-6000919481313422183 CPUtime=0.27 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 5224 0 0 0 25 2 0 0 20 0 18 0 69181009 19384713216 14690 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69181014 19384713216 14690 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69181015 19384713216 14690 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58760 KiB

[startup+0.70033 s]
/proc/loadavg: 1.52 1.21 1.82 7/324 81268
/proc/meminfo: memFree=126186888/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=18930384 memory=107328 CPUtime=1.1 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 8575 0 0 0 104 6 0 0 20 0 18 0 69181007 19384713216 26832 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4732596 26832 5427 1 0 548996 0
[pid=81249/tid=81251] ppid=81246 vsize=18930384 memory=18432 CPUtime=0.58 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 5305 0 0 0 54 4 0 0 20 0 18 0 69181009 19384713216 26832 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=18930384 memory=11136 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69181014 19384713216 26832 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=18930384 memory=3328 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69181015 19384713216 26832 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 107328 KiB

[startup+1.50025 s]
/proc/loadavg: 1.52 1.21 1.82 7/325 81269
/proc/meminfo: memFree=126089200/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=179268 CPUtime=2.61 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 18288 0 0 0 252 9 0 0 20 0 20 0 69181007 19521036288 44817 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 44817 5491 1 0 552816 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=3328 CPUtime=1.21 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 6819 0 0 0 116 5 0 0 20 0 20 0 69181009 19521036288 44817 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 44817 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 44817 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179268 KiB

[startup+3.1057 s]
/proc/loadavg: 1.52 1.21 1.82 6/326 81270
/proc/meminfo: memFree=125353456/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=202276 CPUtime=5.8 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 25192 0 0 0 568 12 0 0 20 0 20 0 69181007 19521036288 50569 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 50569 5523 1 0 556725 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=11136 CPUtime=2.74 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 7297 0 0 0 269 5 0 0 20 0 20 0 69181009 19521036288 50569 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 50569 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 50569 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 50569 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202276 KiB

[startup+6.30036 s]
/proc/loadavg: 1.80 1.27 1.84 6/326 81270
/proc/meminfo: memFree=124402948/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=349500 CPUtime=11.15 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 26936 0 0 0 1098 17 0 0 20 0 20 0 69181007 19521036288 87375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 87375 5523 1 0 557358 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=0 CPUtime=5.86 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 7530 0 0 0 577 9 0 0 20 0 20 0 69181009 19521036288 87375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=4283932234721037686 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 87375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=-6000919481313422183 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 87375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 87375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 349500 KiB

[startup+12.7005 s]
/proc/loadavg: 2.05 1.33 1.85 5/326 81270
/proc/meminfo: memFree=122591744/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=785052 CPUtime=17.54 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 29701 0 0 0 1726 28 0 0 20 0 20 0 69181007 19521036288 196263 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 196263 5523 1 0 688936 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=0 CPUtime=12.1 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 8709 0 0 0 1191 19 0 0 20 0 20 0 69181009 19521036288 196263 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=633500 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 196263 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 196263 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 196263 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 785052 KiB

[startup+25.5005 s]
/proc/loadavg: 2.57 1.48 1.89 5/328 81272
/proc/meminfo: memFree=120965648/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=1008560 CPUtime=30.73 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 36553 0 0 0 3035 38 0 0 20 0 20 0 69181007 19521036288 252140 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 252140 5555 1 0 688947 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=-6000919481313422183 CPUtime=24.59 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 9932 0 0 0 2432 27 0 0 20 0 20 0 69181009 19521036288 252140 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=3197 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 252140 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=993960 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 252140 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=993960 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 252140 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 30.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1008560 KiB

[startup+51.1141 s]
/proc/loadavg: 3.18 1.72 1.96 5/329 81274
/proc/meminfo: memFree=117350320/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=1774768 CPUtime=56.28 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 41138 0 0 0 5566 62 0 0 20 0 20 0 69181007 19521036288 443692 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 443692 5555 1 0 688953 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=1774768 CPUtime=49.56 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 12122 0 0 0 4909 47 0 0 20 0 20 0 69181009 19521036288 443692 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=-6000919481313422183 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 443692 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=1727448 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 443692 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=993960 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 443692 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0

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

/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1543 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=3236732 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2181.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236732 KiB

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

# cumulated CPU time of all completed processes:  user=2210.68 s, system=5.15591 s

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

[startup+2214.4 s]
/proc/loadavg: 4.17 4.15 4.02 5/335 81411
/proc/meminfo: memFree=72142716/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=3236732 CPUtime=2193.69 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 131780 0 0 0 218860 509 0 0 20 0 20 0 69181007 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 809183 5555 1 0 824625 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=-6000919481313422183 CPUtime=2165.95 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 57150 0 0 0 216228 367 0 0 20 0 20 0 69181009 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=3236732 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1543 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=21672 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2193.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236732 KiB

[startup+2227.2 s]
/proc/loadavg: 4.23 4.16 4.02 5/335 81412
/proc/meminfo: memFree=71951928/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=3236732 CPUtime=2206.6 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 132852 0 0 0 220149 511 0 0 20 0 20 0 69181007 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 809183 5555 1 0 824625 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=14336 CPUtime=2178.54 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 57218 0 0 0 217486 368 0 0 20 0 20 0 69181009 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=-6000919481313422183 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=4916 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2206.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236732 KiB

[startup+2230.4 s]
/proc/loadavg: 4.29 4.18 4.03 5/335 81412
/proc/meminfo: memFree=71952616/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=3236732 CPUtime=2209.75 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 132852 0 0 0 220464 511 0 0 20 0 20 0 69181007 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 809183 5555 1 0 824625 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=14336 CPUtime=2181.7 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 57218 0 0 0 217801 369 0 0 20 0 20 0 69181009 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=3236732 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=3236732 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809183 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2209.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236732 KiB

[startup+2233.6 s]
/proc/loadavg: 4.29 4.18 4.03 5/335 81412
/proc/meminfo: memFree=71913496/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=3236860 CPUtime=2213.2 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 135493 0 0 0 220808 512 0 0 20 0 20 0 69181007 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 809215 5555 1 0 824636 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=164 CPUtime=2184.88 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 57267 0 0 0 218119 369 0 0 20 0 20 0 69181009 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2213.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236860 KiB

[startup+2235.2 s]
/proc/loadavg: 4.27 4.17 4.03 5/335 81412
/proc/meminfo: memFree=71897400/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=3236860 CPUtime=2214.79 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 135494 0 0 0 220967 512 0 0 20 0 20 0 69181007 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 809215 5555 1 0 824636 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=1920 CPUtime=2186.48 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 57267 0 0 0 218279 369 0 0 20 0 20 0 69181009 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=5888 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2214.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236860 KiB

[startup+2235.6 s]
/proc/loadavg: 4.27 4.17 4.03 5/335 81412
/proc/meminfo: memFree=71897400/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=3236860 CPUtime=2215.19 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 135494 0 0 0 221007 512 0 0 20 0 20 0 69181007 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 809215 5555 1 0 824636 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=1920 CPUtime=2186.88 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 57267 0 0 0 218319 369 0 0 20 0 20 0 69181009 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=5888 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2215.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236860 KiB

[startup+2236 s]*
/proc/loadavg: 4.27 4.17 4.03 5/335 81412
/proc/meminfo: memFree=71896644/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19063512 memory=3236860 CPUtime=2215.66 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 135990 0 0 0 221054 512 0 0 20 0 20 0 69181007 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4765878 809215 5555 1 0 824636 0
[pid=81249/tid=81251] ppid=81246 vsize=19063512 memory=5044 CPUtime=2187.3 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) R 81246 81249 80991 0 -1 4194368 57594 0 0 0 218360 370 0 0 20 0 20 0 69181009 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19063512 memory=4916 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69181014 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 69181015 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81270] ppid=81246 vsize=19063512 memory=17752 CPUtime=0 cores=4,6
/proc/81249/task/81270/stat : 81270 (Timer-0) S 81246 81249 80991 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69181124 19521036288 809215 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2215.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3236860 KiB

[startup+2236.11 s]
/proc/loadavg: 4.27 4.17 4.03 5/335 81412
/proc/meminfo: memFree=71896644/131382116 swapFree=33010684/33010684
[pid=81249] ppid=81246 vsize=19196640 memory=3237500 CPUtime=2215.81 cores=4,6
/proc/81249/stat : 81249 (java) S 81246 81249 80991 0 -1 4194304 137885 0 0 0 221068 513 0 0 20 0 14 0 69181007 19657359360 809375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
/proc/81249/statm: 4799160 809375 5587 1 0 825273 0
[pid=81249/tid=81251] ppid=81246 vsize=19196640 memory=3236732 CPUtime=2187.36 cores=4,6
/proc/81249/task/81251/stat : 81251 (java) S 81246 81249 80991 0 -1 4194368 58713 0 0 0 218366 370 0 0 20 0 14 0 69181009 19657359360 809375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81260] ppid=81246 vsize=19196640 memory=3236732 CPUtime=0 cores=4,6
/proc/81249/task/81260/stat : 81260 (Finalizer) S 81246 81249 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 14 0 69181014 19657359360 809375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
[pid=81249/tid=81267] ppid=81246 vsize=19196640 memory=3236732 CPUtime=0 cores=4,6
/proc/81249/task/81267/stat : 81267 (Common-Cleaner) S 81246 81249 80991 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 14 0 69181015 19657359360 809375 18446744073709551615 94808612487168 94808612490864 140720714813536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94808612498680 94808612499472 94808634785792 140720714819888 140720714820070 140720714820070 140720714825672 0
Current children cumulated CPU time: 2215.81 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 3237500 KiB

Child status: 30

Real time (s): 2236.16
CPU time (s): 2215.84
CPU user time (s): 2210.68
CPU system time (s): 5.15591
CPU usage (%): 99.0915
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 3237500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2210.68
system time used= 5.15591
maximum resident set size= 3237628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5947256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71292
involuntary context switches= 6781


# summary of solver processes directly reported to runsolver:
#   pid: 81249
#   total CPU time (s): 2215.84
#   total CPU user time (s): 2210.68
#   total CPU system time (s): 5.15591

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2493 second user time and 24.3641 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-03 11:30:13
IDJOB=4517499
IDBENCH=176097
IDSOLVER=3364
FILE ID=nodeC011/4517499-1751535013
RUNJOBID= nodeC011-1751535003-81002
SLURM_JOB_ID= 9598684
Free space on /tmp= 430536 MiB

SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517499-1751535013/watcher-4517499-1751535013 -o /tmp/evaluation-result-4517499-1751535013/solver-4517499-1751535013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81002 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517499-1751535013 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517499-1751535013.opb

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

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=826212019

nodeC011 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		: 3591.875
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	: 6984.20
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.292
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	: 6984.20
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.578
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	: 6984.20
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.347
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	: 6984.20
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.546
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	: 6984.20
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.488
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	: 6984.20
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.294
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	: 6984.20
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		: 3492.108
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126340032 kB
MemAvailable:   128436740 kB
Buffers:            3276 kB
Cached:          2897928 kB
SwapCached:            0 kB
Active:          2002984 kB
Inactive:        2458804 kB
Active(anon):    1576456 kB
Inactive(anon):     2104 kB
Active(file):     426528 kB
Inactive(file):  2456700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             92628 kB
Writeback:             0 kB
AnonPages:       1563784 kB
Mapped:           123500 kB
Shmem:             17960 kB
KReclaimable:     105832 kB
Slab:             193924 kB
SReclaimable:     105832 kB
SUnreclaim:        88092 kB
KernelStack:        4960 kB
PageTables:         6736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8103228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150248 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1372160 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430532 MiB
End job on nodeC011 at 2025-07-03 12:07:29