Trace number 4449637

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 2024 2024-07-07SAT (TO)22 3600.26 3605.27

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=24-t=2.opb
MD5SUM585ad78207efe7b44b7f003a9b0d83f6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables924
Total number of constraints152976
Number of constraints which are clauses152952
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint25
Number of terms in the objective function 24
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 24
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 26
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4449637-1721843982.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
1.47/0.83	c ... done. Wall clock time 0.702s.
1.47/0.83	c declared #vars     924
1.47/0.83	c #constraints  152976
1.47/0.83	c constraints type 
1.47/0.83	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24
1.47/0.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
1.47/0.83	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 152928
1.47/0.83	c 152976 constraints processed.
1.47/0.84	c objective function length is 24 literals
1.67/0.98	c SATISFIABLE
1.67/0.98	c OPTIMIZING...
1.67/0.98	c Got one! Elapsed wall clock time (in seconds):0.858
1.67/0.98	o 22
3.43/1.86	c cleaning 2605 clauses out of 5222 with flag 34785/5222
4.81/2.58	c cleaning 4309 clauses out of 8617 with flag 71726/11222
6.74/3.54	c cleaning 5628 clauses out of 11308 with flag 123787/18222
8.04/4.54	c cleaning 6683 clauses out of 13680 with flag 165181/26222
8.81/5.21	c cleaning 7990 clauses out of 15997 with flag 256339/35222
9.51/5.92	c cleaning 8988 clauses out of 18008 with flag 543339/45223
11.22/7.43	c cleaning 9967 clauses out of 20019 with flag 621131/56222
12.62/8.82	c cleaning 11021 clauses out of 22052 with flag 735615/68222
13.61/9.81	c cleaning 12010 clauses out of 24032 with flag 1003641/81223
14.62/10.85	c cleaning 13005 clauses out of 26021 with flag 1225306/95222
16.51/12.70	c cleaning 14008 clauses out of 28019 with flag 1371836/110225
18.41/14.71	c cleaning 15004 clauses out of 30008 with flag 1452065/126222
20.19/16.33	c cleaning 16002 clauses out of 32004 with flag 1652133/143222
22.18/18.21	c cleaning 16953 clauses out of 34004 with flag 1869014/161224
23.87/19.96	c cleaning 17946 clauses out of 36049 with flag 2194297/180222
25.81/21.84	c cleaning 19039 clauses out of 38103 with flag 2383724/200222
28.41/24.40	c cleaning 19821 clauses out of 40064 with flag 2512352/221222
30.98/26.95	c cleaning 21064 clauses out of 42243 with flag 2817811/243222
33.68/29.67	c cleaning 22042 clauses out of 44180 with flag 2964812/266223
36.08/32.09	c cleaning 23021 clauses out of 46137 with flag 3223905/290222
38.77/34.82	c cleaning 24049 clauses out of 48116 with flag 3908847/315222
41.08/37.15	c cleaning 25004 clauses out of 50067 with flag 4159587/341222
43.92/39.93	c cleaning 26027 clauses out of 52065 with flag 4437611/368224
46.88/42.83	c cleaning 27018 clauses out of 54037 with flag 4849141/396223
50.27/46.28	c cleaning 27983 clauses out of 56018 with flag 5163159/425222
53.52/49.45	c cleaning 28977 clauses out of 58036 with flag 5402924/455223
56.71/52.63	c cleaning 30005 clauses out of 60058 with flag 5894323/486222
61.06/56.99	c cleaning 31022 clauses out of 62056 with flag 6156850/518225
65.68/61.47	c cleaning 31995 clauses out of 64031 with flag 6664169/551222
69.56/65.43	c cleaning 32862 clauses out of 66036 with flag 7674073/585222
73.66/69.45	c cleaning 34059 clauses out of 68174 with flag 8048405/620222
78.15/73.97	c cleaning 35056 clauses out of 70115 with flag 8335110/656222
82.43/78.17	c cleaning 36028 clauses out of 72059 with flag 8679638/693222
87.33/82.95	c cleaning 36995 clauses out of 74033 with flag 9136671/731224
91.43/87.08	c cleaning 37981 clauses out of 76036 with flag 9529068/770222
95.11/90.78	c cleaning 38995 clauses out of 78056 with flag 10169390/810223
100.49/96.12	c cleaning 40019 clauses out of 80060 with flag 10528660/851222
105.93/101.47	c cleaning 41005 clauses out of 82041 with flag 10871902/893222
111.21/106.78	c cleaning 41953 clauses out of 84036 with flag 11623181/936222
114.41/109.91	c cleaning 42998 clauses out of 86091 with flag 12093472/980230
120.22/115.68	c cleaning 44042 clauses out of 88085 with flag 12793673/1025222
125.32/120.72	c cleaning 45017 clauses out of 90043 with flag 13332157/1071222
132.15/127.57	c cleaning 46002 clauses out of 92026 with flag 13763311/1118222
138.58/133.86	c cleaning 47014 clauses out of 94029 with flag 14216539/1166227
145.17/140.43	c cleaning 47959 clauses out of 96010 with flag 14659300/1215222
152.37/147.59	c cleaning 48988 clauses out of 98051 with flag 15075677/1265222
158.87/154.02	c cleaning 50032 clauses out of 100063 with flag 15803106/1316222
166.11/161.21	c cleaning 51014 clauses out of 102031 with flag 16200782/1368222
173.46/168.42	c cleaning 52009 clauses out of 104017 with flag 16683503/1421222
180.65/175.61	c cleaning 52979 clauses out of 106008 with flag 17322940/1475222
188.26/183.16	c cleaning 54006 clauses out of 108029 with flag 17777031/1530222
194.85/189.89	c cleaning 54862 clauses out of 110023 with flag 18366491/1586222
202.98/197.80	c cleaning 56079 clauses out of 112165 with flag 18903889/1643226
210.53/205.28	c cleaning 57009 clauses out of 114082 with flag 19523453/1701222
217.88/212.69	c cleaning 58015 clauses out of 116073 with flag 20486390/1760222
224.52/219.24	c cleaning 59021 clauses out of 118058 with flag 21717284/1820222
232.80/227.54	c cleaning 59983 clauses out of 120037 with flag 22557375/1881222
241.13/235.71	c cleaning 60736 clauses out of 122054 with flag 23576183/1943222
249.57/244.07	c cleaning 62137 clauses out of 124318 with flag 24197548/2006222
257.00/251.60	c cleaning 62935 clauses out of 126181 with flag 25135547/2070222
265.65/260.10	c cleaning 64113 clauses out of 128247 with flag 26005173/2135223
272.63/267.16	c cleaning 65030 clauses out of 130133 with flag 27217646/2201222
282.38/276.89	c cleaning 66001 clauses out of 132103 with flag 27877628/2268222
290.74/285.12	c cleaning 67033 clauses out of 134102 with flag 29080882/2336222
299.72/294.12	c cleaning 67977 clauses out of 136069 with flag 29825748/2405222
311.31/305.64	c cleaning 68910 clauses out of 138092 with flag 31306200/2475222
321.93/316.28	c cleaning 69981 clauses out of 140182 with flag 32201955/2546222
331.77/325.97	c cleaning 71084 clauses out of 142201 with flag 33219060/2618222
342.37/336.42	c cleaning 72061 clauses out of 144121 with flag 34063480/2691226
351.66/345.74	c cleaning 73019 clauses out of 146056 with flag 35188625/2765222
362.42/356.16	c cleaning 73864 clauses out of 148037 with flag 36234771/2840222
373.15/366.87	c cleaning 75072 clauses out of 150173 with flag 37116547/2916222
384.13/377.83	c cleaning 76051 clauses out of 152101 with flag 38087782/2993222
395.83/389.49	c cleaning 77012 clauses out of 154050 with flag 39058665/3071222
405.79/399.47	c cleaning 77830 clauses out of 156038 with flag 40489881/3150222
417.01/410.63	c cleaning 79101 clauses out of 158216 with flag 41575167/3230230
427.48/421.03	c cleaning 79936 clauses out of 160107 with flag 42585977/3311222
438.81/432.31	c cleaning 81084 clauses out of 162171 with flag 43832584/3393222
450.22/443.74	c cleaning 81999 clauses out of 164087 with flag 44983539/3476222
462.99/456.58	c cleaning 83045 clauses out of 166090 with flag 46699889/3560224
474.70/468.27	c cleaning 83831 clauses out of 168043 with flag 47981855/3645222
487.61/481.03	c cleaning 85004 clauses out of 170212 with flag 49108378/3731222
500.93/494.23	c cleaning 86016 clauses out of 172208 with flag 50597808/3818222
516.68/509.93	c cleaning 87097 clauses out of 174200 with flag 52276060/3906230
528.75/522.05	c cleaning 87974 clauses out of 176095 with flag 53374667/3995222
540.81/534.00	c cleaning 88938 clauses out of 178121 with flag 54468069/4085222
553.57/546.75	c cleaning 90041 clauses out of 180183 with flag 56476129/4176222
566.02/559.11	c cleaning 91034 clauses out of 182142 with flag 58243809/4268222
579.12/572.13	c cleaning 92033 clauses out of 184108 with flag 59706864/4361222
594.59/587.72	c cleaning 93030 clauses out of 186075 with flag 61787699/4455222
605.79/598.87	c cleaning 94011 clauses out of 188045 with flag 62668336/4550222
617.48/610.48	c cleaning 94974 clauses out of 190034 with flag 64171865/4646222
631.38/624.47	c cleaning 95821 clauses out of 192060 with flag 66757108/4743222
648.49/641.48	c cleaning 97112 clauses out of 194239 with flag 69126503/4841222
663.73/656.63	c cleaning 98038 clauses out of 196127 with flag 70522705/4940222
678.86/671.66	c cleaning 99013 clauses out of 198089 with flag 71940191/5040222
693.99/686.72	c cleaning 100029 clauses out of 200080 with flag 73735161/5141226
709.21/701.87	c cleaning 100969 clauses out of 202047 with flag 75380575/5243222
725.82/718.46	c cleaning 102037 clauses out of 204080 with flag 77152383/5346224
741.31/733.86	c cleaning 103009 clauses out of 206041 with flag 78706774/5450222
755.82/748.36	c cleaning 103811 clauses out of 208036 with flag 80444303/5555226
772.76/765.27	c cleaning 105111 clauses out of 210224 with flag 81897937/5661225
788.45/780.95	c cleaning 106021 clauses out of 212110 with flag 83345496/5768222
805.30/797.75	c cleaning 107039 clauses out of 214089 with flag 85184274/5876222
821.59/814.09	c cleaning 108015 clauses out of 216050 with flag 87002661/5985222
837.64/830.07	c cleaning 109004 clauses out of 218036 with flag 88962251/6095223
853.36/845.67	c cleaning 109866 clauses out of 220031 with flag 90704398/6206222
868.86/861.15	c cleaning 111004 clauses out of 222165 with flag 92707641/6318222
886.75/879.59	c cleaning 112075 clauses out of 224161 with flag 95053338/6431222
903.37/896.25	c cleaning 113043 clauses out of 226086 with flag 96953456/6545222
920.80/913.62	c cleaning 114015 clauses out of 228044 with flag 99082768/6660223
938.45/931.37	c cleaning 115007 clauses out of 230028 with flag 100999647/6776222
956.70/949.60	c cleaning 115901 clauses out of 232021 with flag 103318319/6893222
975.53/968.50	c cleaning 117064 clauses out of 234136 with flag 105027452/7011238
994.15/987.12	c cleaning 117929 clauses out of 236056 with flag 106836655/7130222
1013.60/1006.36	c cleaning 119051 clauses out of 238127 with flag 108556419/7250222
1034.32/1027.19	c cleaning 119781 clauses out of 240077 with flag 114091074/7371223
1056.59/1049.34	c cleaning 121086 clauses out of 242296 with flag 125996225/7493223
1072.57/1065.04	c cleaning 121916 clauses out of 244208 with flag 130751985/7616222
1091.56/1084.03	c cleaning 122853 clauses out of 246292 with flag 132448292/7740222
1110.43/1102.83	c cleaning 124182 clauses out of 248439 with flag 134271055/7865222
1127.36/1119.78	c cleaning 125004 clauses out of 250257 with flag 136193443/7991222
1145.22/1137.51	c cleaning 126051 clauses out of 252254 with flag 138672309/8118223
1164.39/1156.67	c cleaning 127088 clauses out of 254203 with flag 142923178/8246223
1185.13/1177.47	c cleaning 127963 clauses out of 256114 with flag 147939418/8375222
1204.16/1196.36	c cleaning 129028 clauses out of 258151 with flag 150734443/8505222
1222.85/1215.13	c cleaning 130047 clauses out of 260123 with flag 152915711/8636222
1242.74/1234.89	c cleaning 131037 clauses out of 262076 with flag 154776938/8768222
1260.51/1253.74	c cleaning 131981 clauses out of 264039 with flag 156513191/8901222
1280.17/1273.59	c cleaning 132999 clauses out of 266058 with flag 158663778/9035222
1298.15/1293.33	c cleaning 133995 clauses out of 268063 with flag 160680760/9170226
1320.67/1315.95	c cleaning 134891 clauses out of 270064 with flag 166019236/9306222
1345.41/1340.64	c cleaning 136078 clauses out of 272172 with flag 177452755/9443222
1365.10/1360.26	c cleaning 136888 clauses out of 274094 with flag 179040811/9581222
1384.81/1379.92	c cleaning 137903 clauses out of 276207 with flag 180784589/9720223
1403.78/1398.87	c cleaning 139052 clauses out of 278303 with flag 182569454/9860222
1421.92/1417.02	c cleaning 139997 clauses out of 280252 with flag 184617506/10001223
1442.28/1437.19	c cleaning 141116 clauses out of 282255 with flag 186636430/10143223
1460.22/1455.06	c cleaning 141928 clauses out of 284138 with flag 188661974/10286222
1481.14/1475.97	c cleaning 143040 clauses out of 286210 with flag 191293426/10430222
1500.88/1495.69	c cleaning 143957 clauses out of 288170 with flag 193524702/10575222
1520.62/1515.30	c cleaning 144999 clauses out of 290213 with flag 195195313/10721222
1540.18/1534.80	c cleaning 146081 clauses out of 292214 with flag 196907307/10868222
1559.92/1554.63	c cleaning 147032 clauses out of 294133 with flag 198604779/11016222
1580.41/1574.94	c cleaning 147743 clauses out of 296101 with flag 200772234/11165222
1605.78/1603.40	c cleaning 148881 clauses out of 298358 with flag 209716606/11315222
1629.41/1627.09	c cleaning 150228 clauses out of 300476 with flag 217648883/11466222
1650.34/1647.95	c cleaning 151090 clauses out of 302248 with flag 219725924/11618222
1672.03/1669.51	c cleaning 152069 clauses out of 304158 with flag 222996897/11771222
1693.75/1691.26	c cleaning 152870 clauses out of 306089 with flag 224408439/11925222
1716.84/1714.03	c cleaning 154077 clauses out of 308219 with flag 226171998/12080222
1741.75/1738.99	c cleaning 154916 clauses out of 310142 with flag 229265227/12236222
1763.75/1761.06	c cleaning 156007 clauses out of 312226 with flag 231079961/12393222
1785.68/1782.92	c cleaning 156968 clauses out of 314219 with flag 233186857/12551222
1806.77/1804.00	c cleaning 158114 clauses out of 316251 with flag 235174398/12710222
1836.12/1833.44	c cleaning 159064 clauses out of 318138 with flag 244223799/12870224
1867.63/1864.91	c cleaning 159974 clauses out of 320071 with flag 254171900/13031222
1890.77/1888.04	c cleaning 160757 clauses out of 322097 with flag 255981179/13193222
1914.13/1911.49	c cleaning 162068 clauses out of 324340 with flag 257981895/13356222
1942.47/1939.77	c cleaning 162883 clauses out of 326272 with flag 266736568/13520222
1969.39/1966.65	c cleaning 164127 clauses out of 328389 with flag 274628841/13685222
1994.20/1991.47	c cleaning 165111 clauses out of 330261 with flag 280829495/13851222
2022.54/2019.74	c cleaning 165746 clauses out of 332150 with flag 286070627/14018222
2051.49/2048.75	c cleaning 166982 clauses out of 334403 with flag 294627484/14186222
2074.68/2071.98	c cleaning 168130 clauses out of 336421 with flag 296657164/14355222
2100.40/2097.58	c cleaning 169074 clauses out of 338291 with flag 298476603/14525222
2126.27/2123.33	c cleaning 169888 clauses out of 340219 with flag 300102216/14696224
2150.81/2147.82	c cleaning 170998 clauses out of 342329 with flag 302398392/14868222
2179.47/2176.50	c cleaning 171944 clauses out of 344331 with flag 311133860/15041222
2210.18/2207.26	c cleaning 173163 clauses out of 346386 with flag 320597484/15215222
2238.02/2235.14	c cleaning 173878 clauses out of 348223 with flag 325712661/15390222
2263.91/2261.04	c cleaning 174940 clauses out of 350345 with flag 330868265/15566222
2291.40/2288.54	c cleaning 176178 clauses out of 352404 with flag 337283011/15743222
2317.57/2314.61	c cleaning 177099 clauses out of 354226 with flag 339250551/15921222
2344.08/2341.24	c cleaning 177987 clauses out of 356130 with flag 341650379/16100225
2370.05/2367.42	c cleaning 178704 clauses out of 358140 with flag 344409729/16280222
2397.34/2394.73	c cleaning 180210 clauses out of 360437 with flag 346000584/16461223
2431.35/2428.87	c cleaning 181009 clauses out of 362228 with flag 356701658/16643224
2457.53/2455.07	c cleaning 182090 clauses out of 364220 with flag 359824198/16826226
2493.80/2491.37	c cleaning 183059 clauses out of 366125 with flag 368657849/17010222
2529.61/2527.14	c cleaning 183949 clauses out of 368067 with flag 376996004/17195224
2569.52/2567.06	c cleaning 185037 clauses out of 370115 with flag 387003852/17381222
2597.19/2598.84	c cleaning 185738 clauses out of 372078 with flag 389899945/17568222
2625.55/2628.01	c cleaning 186888 clauses out of 374340 with flag 392817303/17756222
2654.07/2656.59	c cleaning 188206 clauses out of 376453 with flag 395288361/17945223
2683.09/2685.34	c cleaning 188789 clauses out of 378247 with flag 397783752/18135223
2713.72/2716.00	c cleaning 190002 clauses out of 380458 with flag 403553510/18326223
2746.60/2748.99	c cleaning 187718 clauses out of 382454 with flag 411672542/18518222
2777.28/2779.61	c cleaning 191292 clauses out of 387736 with flag 414189671/18711222
2806.77/2809.17	c cleaning 191819 clauses out of 390444 with flag 416460032/18905222
2843.77/2846.17	c cleaning 193901 clauses out of 393624 with flag 424802839/19100222
2873.57/2875.82	c cleaning 194029 clauses out of 395723 with flag 427406725/19296222
2903.31/2905.59	c cleaning 193894 clauses out of 398695 with flag 429637335/19493223
2945.27/2947.59	c cleaning 197452 clauses out of 402799 with flag 440261354/19691222
2976.78/2979.08	c cleaning 197244 clauses out of 404347 with flag 442814017/19890222
3009.66/3012.14	c cleaning 197237 clauses out of 407103 with flag 444889543/20090222
3046.73/3049.24	c cleaning 200206 clauses out of 410865 with flag 454180353/20291222
3087.24/3092.21	c cleaning 201407 clauses out of 412658 with flag 463268470/20493222
3121.77/3126.72	c cleaning 201284 clauses out of 414251 with flag 468494259/20696222
3157.70/3162.61	c cleaning 203116 clauses out of 416970 with flag 475668248/20900225
3190.24/3195.15	c cleaning 202606 clauses out of 418851 with flag 478066638/21105222
3224.80/3229.85	c cleaning 204187 clauses out of 422245 with flag 480126409/21311222
3258.76/3263.83	c cleaning 204494 clauses out of 425058 with flag 482777036/21518222
3295.07/3300.18	c cleaning 205661 clauses out of 428564 with flag 485904764/21726222
3329.33/3334.56	c cleaning 206004 clauses out of 431904 with flag 488203282/21935223
3367.53/3372.74	c cleaning 208931 clauses out of 435899 with flag 496142242/22145222
3404.42/3409.64	c cleaning 209893 clauses out of 437967 with flag 502623748/22356222
3446.52/3451.77	c cleaning 211501 clauses out of 440073 with flag 512574909/22568222
3488.73/3493.96	c cleaning 211505 clauses out of 441571 with flag 522409205/22781222
3531.54/3536.84	c cleaning 212488 clauses out of 444065 with flag 531851596/22995222
3566.38/3571.53	c cleaning 212043 clauses out of 446577 with flag 534361997/23210222
3600.02/3605.11	c starts		: 42027
3600.02/3605.13	c conflicts		: 23419301
3600.02/3605.13	c decisions		: 875871934
3600.02/3605.13	c propagations		: 3277576156
3600.02/3605.13	c inspects		: 37321647114
3600.02/3605.13	c shortcuts		: 0
3600.02/3605.13	c learnt literals	: 22
3600.02/3605.13	c learnt binary clauses	: 11278
3600.02/3605.13	c learnt ternary clauses	: 10113101
3600.02/3605.13	c learnt constraints	: 23419279
3600.02/3605.13	c ignored constraints	: 0
3600.02/3605.13	c root simplifications	: 0
3600.02/3605.13	c removed literals (reason simplification)	: 220283034
3600.02/3605.13	c reason swapping (by a shorter reason)	: 0
3600.02/3605.13	c Calls to reduceDB	: 211
3600.02/3605.13	c Number of update (reduction) of LBD	: 18414941
3600.02/3605.13	c Imported unit clauses	: 0
3600.02/3605.13	c No decision after first conflict	: false
3600.02/3605.13	c number of reductions to clauses (during analyze)	: 0
3600.02/3605.13	c number of learned constraints concerned by reduction	: 0
3600.02/3605.13	c number of learning phase by resolution	: 0
3600.02/3605.13	c number of learning phase by cutting planes	: 0
3600.02/3605.13	c number of rounding to 1 operations	: 0
3600.02/3605.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3605.13	c number of reductions of the coefficients by power 2 	: 0
3600.02/3605.13	c number of right shift for reduction by power 2 	: 0
3600.02/3605.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3605.13	c number of ending skipping 	: 0
3600.02/3605.13	c number of internal skipping 	: 0
3600.02/3605.13	c number of derivation steps 	: 0
3600.02/3605.13	c number of skipped derivation steps 	: 0
3600.02/3605.13	c number of remaining unassigned 	: 0
3600.02/3605.13	c number of remaining assigned 	: 0
3600.02/3605.13	c number of falsified literals weakened from reason	: 0
3600.02/3605.13	c number of falsified literals weakened from conflict	: 0
3600.02/3605.13	c time for arithmetic operations	: 0
3600.02/3605.13	c minimum degree of deleted constraints	: null
3600.02/3605.13	c maximum degree of deleted constraints	: null
3600.02/3605.13	c number of deleted constraints	: 0
3600.02/3605.13	c speed (assignments/second)	: 909358.2108352473
3600.02/3605.13	c non guided choices	: 20092
3600.02/3605.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 432335
3600.22/3605.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 11278
3600.22/3605.21	s SATISFIABLE
3600.22/3605.21	c Found 1 solution(s)
3600.22/3605.21	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 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 x879 -x880 x881 -x882 x883 -x884 x885 -x886 x887 -x888 x889 -x890 x891 -x892 x893 -x894 x895 -x896 x897 -x898 x899 -x900 -x901 x902 x903 -x904 -x905 x906 x907 -x908 x909 -x910 x911 -x912 x913 -x914 x915 -x916 x917 -x918 x919 -x920 x921 -x922 -x923 x924 
3600.22/3605.21	c objective function=22
3600.22/3605.21	c Total wall clock time (in seconds): 3605.085

Verifier Data 

OK	22

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: 63968 MiB (45647 MiB free)
  memory of node 1: 64473 MiB (56406 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449637-1721843982/watcher-4449637-1721843982 -o /tmp/evaluation-result-4449637-1721843982/solver-4449637-1721843982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250671 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4449637-1721843982 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449637-1721843982.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=253649, runsolver pid=253646

[startup+0.100962 s]*
/proc/loadavg: 4.11 4.12 4.09 7/337 253667
/proc/meminfo: memFree=104456372/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=18975048 memory=66308 CPUtime=0.13 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 7104 0 0 0 11 2 0 0 20 0 18 0 20921160 19430449152 16577 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4743762 16577 5567 1 0 549321 0
[pid=253649/tid=253651] ppid=253646 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 1077936192 5674 0 0 0 7 1 0 0 20 0 18 0 20921160 19430449152 16577 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20921163 19430449152 16577 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20921163 19430449152 16577 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66308 KiB

[startup+0.206799 s]*
/proc/loadavg: 4.11 4.12 4.09 7/337 253667
/proc/meminfo: memFree=104441032/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=18975048 memory=82124 CPUtime=0.33 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 7859 0 0 0 31 2 0 0 20 0 18 0 20921160 19430449152 20531 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4743762 20531 5795 1 0 549814 0
[pid=253649/tid=253651] ppid=253646 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 5859 0 0 0 16 2 0 0 20 0 18 0 20921160 19430449152 20531 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=18975048 memory=770575 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20921163 19430449152 20531 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20921163 19430449152 20531 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82124 KiB

[startup+0.305841 s]*
/proc/loadavg: 4.26 4.16 4.10 7/337 253667
/proc/meminfo: memFree=104400472/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=18975048 memory=122000 CPUtime=0.52 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 9034 0 0 0 49 3 0 0 20 0 18 0 20921160 19430449152 30500 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4743762 30500 5795 1 0 550564 0
[pid=253649/tid=253651] ppid=253646 vsize=18975048 memory=-8744130555418485436 CPUtime=0.27 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 5878 0 0 0 25 2 0 0 20 0 18 0 20921160 19430449152 30500 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20921163 19430449152 30500 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20921163 19430449152 30500 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 122000 KiB

[startup+0.700784 s]
/proc/loadavg: 4.26 4.16 4.10 7/338 253668
/proc/meminfo: memFree=104345976/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19041612 memory=197480 CPUtime=1.28 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 17309 0 0 0 122 6 0 0 20 0 19 0 20921160 19498610688 49370 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4760403 49370 5795 1 0 556621 0
[pid=253649/tid=253651] ppid=253646 vsize=19041612 memory=5592 CPUtime=0.61 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 5901 0 0 0 58 3 0 0 20 0 19 0 20921160 19498610688 49370 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19041612 memory=12264 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20921163 19498610688 49370 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20921163 19498610688 49370 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 197480 KiB

[startup+1.50079 s]
/proc/loadavg: 4.26 4.16 4.10 7/339 253669
/proc/meminfo: memFree=104311832/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=215328 CPUtime=2.83 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 18224 0 0 0 277 6 0 0 20 0 20 0 20921160 19566772224 53832 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 53832 5865 1 0 557099 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=12264 CPUtime=1.27 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 6038 0 0 0 124 3 0 0 20 0 20 0 20921160 19566772224 53832 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 53832 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 53832 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 53832 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215328 KiB

[startup+3.11679 s]
/proc/loadavg: 4.26 4.16 4.10 6/339 253671
/proc/meminfo: memFree=104129168/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=384344 CPUtime=6.01 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 19572 0 0 0 589 12 0 0 20 0 20 0 20921160 19566772224 96086 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 96086 5865 1 0 956095 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=0 CPUtime=2.83 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 6169 0 0 0 275 8 0 0 20 0 20 0 20921160 19566772224 96086 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 96086 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 96086 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 96086 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 384344 KiB

[startup+6.30027 s]
/proc/loadavg: 4.24 4.15 4.10 7/339 253671
/proc/meminfo: memFree=103989104/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=497448 CPUtime=10.11 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 29733 0 0 0 996 15 0 0 20 0 20 0 20921160 19566772224 124362 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 124362 5865 1 0 956158 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=0 CPUtime=5.94 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 7127 0 0 0 584 10 0 0 20 0 20 0 20921160 19566772224 124362 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 124362 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 124362 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=72196 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 124362 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 497448 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.15 4.10 5/339 253672
/proc/meminfo: memFree=102978400/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=1613656 CPUtime=16.51 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 31088 0 0 0 1610 41 0 0 20 0 20 0 20921160 19566772224 403414 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 403414 5865 1 0 956158 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=205936 CPUtime=12.32 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 8408 0 0 0 1197 35 0 0 20 0 20 0 20921160 19566772224 403414 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=1400664 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 403414 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=406872 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 403414 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 403414 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 16.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1613656 KiB

[startup+25.5088 s]
/proc/loadavg: 4.18 4.14 4.10 4/339 253674
/proc/meminfo: memFree=101913092/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=2390136 CPUtime=29.53 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 37718 0 0 0 2893 60 0 0 20 0 20 0 20921160 19566772224 597534 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 597534 5865 1 0 956169 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=1400664 CPUtime=24.96 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) S 253646 253649 250658 0 -1 1077936192 9854 0 0 0 2443 53 0 0 20 0 20 0 20921160 19566772224 597534 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=2342988 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 597534 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 597534 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 597534 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 29.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2390136 KiB

[startup+51.1059 s]
/proc/loadavg: 4.11 4.13 4.09 5/338 253677
/proc/meminfo: memFree=101598376/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=2517356 CPUtime=55.23 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 41892 0 0 0 5449 74 0 0 20 0 20 0 20921160 19566772224 629339 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 629339 5865 1 0 956170 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=2439472 CPUtime=50.03 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 12040 0 0 0 4941 62 0 0 20 0 20 0 20921160 19566772224 629339 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=2439472 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 629339 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 629339 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0

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

[startup+3282.3 s]
/proc/loadavg: 1.10 1.11 1.31 2/257 255162
/proc/meminfo: memFree=106471184/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=3784800 CPUtime=3277.29 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 317708 0 0 0 326753 976 0 0 20 0 20 0 20921160 19566772224 946200 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 946200 5897 1 0 958801 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=72196 CPUtime=3231.8 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 143362 0 0 0 322332 848 0 0 20 0 20 0 20921160 19566772224 946200 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2181 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 946200 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=72196 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3301 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 946200 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 946200 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3277.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3784800 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.10 1.29 2/257 255173
/proc/meminfo: memFree=106384864/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=3788824 CPUtime=3337.22 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 321028 0 0 0 332734 988 0 0 20 0 20 0 20921160 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 947206 5897 1 0 958801 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=3784820 CPUtime=3291.27 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 144767 0 0 0 328269 858 0 0 20 0 20 0 20921160 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2197 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=-8744130555418485436 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=3788824 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3445 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=3788824 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3337.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3788824 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.11 1.28 2/257 255571
/proc/meminfo: memFree=106418332/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=3788824 CPUtime=3397.17 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 324714 0 0 0 338719 998 0 0 20 0 20 0 20921160 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 947206 5897 1 0 958801 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=3784820 CPUtime=3350.96 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 146699 0 0 0 334230 866 0 0 20 0 20 0 20921160 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2203 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=3784812 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=3788824 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3445 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=3788824 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 947206 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3397.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3788824 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 1.12 1.27 2/257 255582
/proc/meminfo: memFree=106345616/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=3788916 CPUtime=3457.07 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 326523 0 0 0 344698 1009 0 0 20 0 20 0 20921160 19566772224 947229 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 947229 5897 1 0 958801 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=3784820 CPUtime=3410.62 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 148200 0 0 0 340186 876 0 0 20 0 20 0 20921160 19566772224 947229 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2212 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=3784812 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947229 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3497 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947229 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=3788916 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 947229 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3457.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3788916 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.10 1.25 2/257 255593
/proc/meminfo: memFree=106291192/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=3788924 CPUtime=3517.07 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 328480 0 0 0 350689 1018 0 0 20 0 20 0 20921160 19566772224 947231 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 947231 5897 1 0 958801 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=3788916 CPUtime=3470.31 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 149281 0 0 0 346147 884 0 0 20 0 20 0 20921160 19566772224 947231 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2214 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=-8744130555418485436 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947231 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=-8744130555418485436 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3601 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947231 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=3788924 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 947231 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3517.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3788924 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.09 1.24 2/257 255772
/proc/meminfo: memFree=106201872/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=3788940 CPUtime=3577.12 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 331477 0 0 0 356683 1029 0 0 20 0 20 0 20921160 19566772224 947235 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 947235 5897 1 0 958801 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=-8744130555418485436 CPUtime=3529.88 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 150940 0 0 0 352094 894 0 0 20 0 20 0 20921160 19566772224 947235 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2220 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=-8744130555418485436 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947235 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=8060 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3682 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947235 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 947235 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3577.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3788940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.11 s]
/proc/loadavg: 1.11 1.10 1.24 2/258 255776
/proc/meminfo: memFree=106174852/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19108176 memory=3788944 CPUtime=3600.02 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 333577 0 0 0 358968 1034 0 0 20 0 20 0 20921160 19566772224 947236 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4777044 947236 5897 1 0 958801 0
[pid=253649/tid=253651] ppid=253646 vsize=19108176 memory=3788940 CPUtime=3552.47 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 151975 0 0 0 354348 899 0 0 20 0 20 0 20921160 19566772224 947236 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2220 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19108176 memory=72196 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947236 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19108176 memory=3788924 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3698 0 0 0 0 0 0 0 20 0 20 0 20921163 19566772224 947236 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253669] ppid=253646 vsize=19108176 memory=3788940 CPUtime=0 cores=5,7
/proc/253649/task/253669/stat : 253669 (Timer-0) S 253646 253649 250658 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20921245 19566772224 947236 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3788944 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.9 s, system=10.3616 s

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

[startup+3605.21 s]
/proc/loadavg: 1.11 1.10 1.24 2/258 255776
/proc/meminfo: memFree=106174852/131524600 swapFree=131071728/131071996
[pid=253649] ppid=253646 vsize=19307868 memory=3789680 CPUtime=3600.22 cores=5,7
/proc/253649/stat : 253649 (java) S 253646 253649 250658 0 -1 1077936128 336313 0 0 0 358988 1034 0 0 20 0 21 0 20921160 19771256832 947420 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
/proc/253649/statm: 4826967 947420 5912 1 0 959736 0
[pid=253649/tid=253651] ppid=253646 vsize=19307868 memory=18656 CPUtime=3552.55 cores=5,7
/proc/253649/task/253651/stat : 253651 (java) R 253646 253649 250658 0 -1 4194368 152140 0 0 0 354356 899 0 0 20 0 21 0 20921160 19771256832 947420 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2220 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253660] ppid=253646 vsize=19307868 memory=20956 CPUtime=0 cores=5,7
/proc/253649/task/253660/stat : 253660 (Finalizer) S 253646 253649 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 20921163 19771256832 947420 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
[pid=253649/tid=253667] ppid=253646 vsize=19307868 memory=5440 CPUtime=0 cores=5,7
/proc/253649/task/253667/stat : 253667 (Common-Cleaner) S 253646 253649 250658 0 -1 1077936192 3698 0 0 0 0 0 0 0 20 0 21 0 20921163 19771256832 947420 134679101440 93868094431232 93868094434928 140735254163920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93868094442744 93868094443536 93868123328512 140735254172587 140735254172769 140735254172769 140735254179784 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3789680 KiB

Child status: 143

Real time (s): 3605.27
CPU time (s): 3600.26
CPU user time (s): 3589.9
CPU system time (s): 10.3616
CPU usage (%): 99.8611
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3789680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.9
system time used= 10.3616
maximum resident set size= 3790600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15408584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114970
involuntary context switches= 6883


# summary of solver processes directly reported to runsolver:
#   pid: 253649
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3589.9
#   total CPU system time (s): 10.3616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15208 second user time and 17.1683 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 19:59:42
IDJOB=4449637
IDBENCH=176087
IDSOLVER=3079
FILE ID=nodeC024/4449637-1721843982
RUNJOBID= nodeC024-1721840221-250671
SLURM_JOB_ID= 7891548
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=24-t=2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449637-1721843982/watcher-4449637-1721843982 -o /tmp/evaluation-result-4449637-1721843982/solver-4449637-1721843982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250671 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4449637-1721843982 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449637-1721843982.opb

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

MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
RANDOM SEED=1564370572

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3669.366
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3673.321
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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.259
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3604.555
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3669.425
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3662.178
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.075
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3650.136
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104503192 kB
MemAvailable:   123994700 kB
Buffers:          270740 kB
Cached:         19971476 kB
SwapCached:           92 kB
Active:          2674076 kB
Inactive:       23564536 kB
Active(anon):       1556 kB
Inactive(anon):  6048928 kB
Active(file):    2672520 kB
Inactive(file): 17515608 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             42664 kB
Writeback:            52 kB
AnonPages:       5995788 kB
Mapped:           138920 kB
Shmem:             54012 kB
KReclaimable:     286408 kB
Slab:             411236 kB
SReclaimable:     286408 kB
SUnreclaim:       124828 kB
KernelStack:        5152 kB
PageTables:        21908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7490088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5679104 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC024 at 2024-07-24 20:59:47