Trace number 4449617

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 Default 2024-07-07SAT (TO)22 3600.29 3593.45

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	--- Begin Solver configuration ---
0.12/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	Learn all clauses as in MiniSAT
0.12/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	No reason simplification
0.12/0.12	Glucose 2.1 dynamic restart strategy
0.12/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.12/0.12	timeout=2147483s
0.12/0.12	DB Simplification allowed=false
0.12/0.12	Listener: none
0.12/0.12	--- End Solver configuration ---
0.12/0.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c No reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-4449617-1721399502.opb
0.12/0.12	c reading problem ... 
0.12/0.13	c  objective function found
1.44/0.82	c ... done. Wall clock time 0.689s.
1.44/0.82	c declared #vars     924
1.44/0.82	c #constraints  152976
1.44/0.82	c constraints type 
1.44/0.82	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24
1.44/0.82	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
1.44/0.82	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 152928
1.44/0.82	c 152976 constraints processed.
1.44/0.83	c objective function length is 24 literals
1.65/0.97	c SATISFIABLE
1.65/0.97	c OPTIMIZING...
1.65/0.98	c Got one! Elapsed wall clock time (in seconds):0.841
1.65/0.98	o 22
3.23/1.72	c cleaning 2781 clauses out of 5596 with flag 19016/5596
3.83/2.11	c cleaning 4408 clauses out of 8818 with flag 76470/11599
4.44/2.58	c cleaning 5689 clauses out of 11407 with flag 121308/18596
4.93/2.97	c cleaning 6839 clauses out of 13719 with flag 194490/26597
5.65/3.63	c cleaning 7932 clauses out of 15880 with flag 247520/35597
6.15/4.16	c cleaning 8974 clauses out of 17947 with flag 365834/45596
7.04/5.07	c cleaning 9841 clauses out of 19973 with flag 430061/56596
8.22/6.20	c cleaning 11007 clauses out of 22132 with flag 486769/68596
8.94/6.97	c cleaning 12044 clauses out of 24138 with flag 619462/81609
10.06/8.05	c cleaning 12838 clauses out of 26081 with flag 772649/95596
11.25/9.27	c cleaning 14090 clauses out of 28243 with flag 857002/110596
12.45/10.46	c cleaning 15055 clauses out of 30153 with flag 1016649/126596
14.01/11.93	c cleaning 16049 clauses out of 32098 with flag 1249811/143596
15.03/12.98	c cleaning 16968 clauses out of 34049 with flag 1461377/161596
16.23/14.19	c cleaning 17995 clauses out of 36081 with flag 1716523/180596
17.42/15.35	c cleaning 19033 clauses out of 38090 with flag 1884550/200600
18.78/16.70	c cleaning 20013 clauses out of 40053 with flag 2209489/221596
20.57/18.47	c cleaning 21021 clauses out of 42041 with flag 2525199/243597
22.48/20.35	c cleaning 22010 clauses out of 44020 with flag 2663270/266597
24.57/22.42	c cleaning 23002 clauses out of 46009 with flag 2833278/290596
26.36/24.29	c cleaning 24000 clauses out of 48008 with flag 3039089/315597
28.84/26.64	c cleaning 25004 clauses out of 50007 with flag 3269541/341596
30.94/28.77	c cleaning 25913 clauses out of 52003 with flag 3633496/368596
33.13/30.93	c cleaning 27025 clauses out of 54090 with flag 3816697/396596
35.34/33.18	c cleaning 27789 clauses out of 56065 with flag 4096414/425596
37.53/35.36	c cleaning 29084 clauses out of 58276 with flag 4434247/455596
40.21/37.92	c cleaning 29865 clauses out of 60192 with flag 4702806/486596
43.00/40.76	c cleaning 31143 clauses out of 62327 with flag 4921037/518596
45.81/43.55	c cleaning 31980 clauses out of 64184 with flag 5148705/551596
48.87/46.49	c cleaning 33085 clauses out of 66205 with flag 5510230/585597
52.27/49.64	c cleaning 33673 clauses out of 68119 with flag 5862624/620596
55.57/52.93	c cleaning 35204 clauses out of 70447 with flag 6148924/656597
58.63/55.98	c cleaning 36110 clauses out of 72242 with flag 6536661/693596
62.31/59.62	c cleaning 37048 clauses out of 74132 with flag 6818649/731596
65.08/62.45	c cleaning 38018 clauses out of 76084 with flag 7186982/770596
69.13/66.40	c cleaning 39025 clauses out of 78068 with flag 7441211/810598
72.80/70.10	c cleaning 40012 clauses out of 80041 with flag 7772642/851596
77.26/74.51	c cleaning 40934 clauses out of 82029 with flag 8070684/893596
81.32/78.60	c cleaning 41614 clauses out of 84095 with flag 8458218/936596
85.61/82.91	c cleaning 43181 clauses out of 86481 with flag 9005259/980596
89.99/87.28	c cleaning 44145 clauses out of 88304 with flag 9337236/1025600
94.11/91.27	c cleaning 45066 clauses out of 90156 with flag 10087373/1071597
99.00/96.15	c cleaning 45761 clauses out of 92089 with flag 10554502/1118596
103.37/100.43	c cleaning 47117 clauses out of 94328 with flag 11035113/1166596
107.66/104.76	c cleaning 47976 clauses out of 96211 with flag 11519205/1215596
112.73/109.72	c cleaning 49104 clauses out of 98235 with flag 11906119/1265596
117.42/114.48	c cleaning 49961 clauses out of 100131 with flag 12334549/1316596
122.90/119.87	c cleaning 51060 clauses out of 102171 with flag 12968753/1368597
128.80/125.74	c cleaning 51866 clauses out of 104110 with flag 13513084/1421596
133.78/130.67	c cleaning 52807 clauses out of 106249 with flag 14001333/1475601
140.77/137.60	c cleaning 53850 clauses out of 108437 with flag 14371096/1530596
145.93/142.77	c cleaning 55259 clauses out of 110587 with flag 14975046/1586596
151.62/148.43	c cleaning 56148 clauses out of 112328 with flag 15429525/1643596
158.51/155.26	c cleaning 56893 clauses out of 114180 with flag 15978012/1701596
164.09/160.84	c cleaning 58122 clauses out of 116287 with flag 16652368/1760596
169.58/166.26	c cleaning 59066 clauses out of 118166 with flag 17303374/1820597
175.57/172.29	c cleaning 60042 clauses out of 120101 with flag 17819877/1881598
181.95/178.65	c cleaning 60982 clauses out of 122057 with flag 18864748/1943596
188.90/185.26	c cleaning 61777 clauses out of 124075 with flag 19435472/2006596
196.08/192.42	c cleaning 63034 clauses out of 126298 with flag 20345798/2070596
203.18/199.56	c cleaning 64110 clauses out of 128264 with flag 21282635/2135596
211.43/207.77	c cleaning 64946 clauses out of 130154 with flag 22018842/2201596
218.42/214.71	c cleaning 66062 clauses out of 132208 with flag 22717482/2268596
226.69/222.91	c cleaning 67030 clauses out of 134148 with flag 23519858/2336598
234.28/230.50	c cleaning 68015 clauses out of 136116 with flag 24254672/2405596
242.67/238.87	c cleaning 69025 clauses out of 138101 with flag 24869447/2475596
250.36/246.55	c cleaning 70010 clauses out of 140076 with flag 25466244/2546596
258.74/254.85	c cleaning 70842 clauses out of 142066 with flag 26131149/2618596
265.73/261.84	c cleaning 71885 clauses out of 144224 with flag 26911973/2691596
274.23/270.27	c cleaning 73156 clauses out of 146340 with flag 27777320/2765597
283.02/279.08	c cleaning 74096 clauses out of 148195 with flag 28897715/2840608
292.39/288.40	c cleaning 75041 clauses out of 150087 with flag 29586072/2916596
301.57/297.55	c cleaning 75842 clauses out of 152046 with flag 30465884/2993596
309.75/305.73	c cleaning 77079 clauses out of 154204 with flag 31323763/3071596
317.78/313.69	c cleaning 78052 clauses out of 156126 with flag 32273641/3150597
325.82/321.76	c cleaning 79017 clauses out of 158074 with flag 33237472/3230597
335.61/331.50	c cleaning 79999 clauses out of 160056 with flag 34030005/3311596
345.58/341.41	c cleaning 81022 clauses out of 162058 with flag 34854182/3393597
356.27/352.12	c cleaning 81972 clauses out of 164035 with flag 35458808/3476596
365.85/361.68	c cleaning 82918 clauses out of 166063 with flag 36361832/3560596
374.73/370.57	c cleaning 84059 clauses out of 168146 with flag 37316233/3645597
385.36/381.05	c cleaning 84838 clauses out of 170086 with flag 37991800/3731596
396.44/392.18	c cleaning 85992 clauses out of 172248 with flag 38751810/3818596
405.82/401.52	c cleaning 86997 clauses out of 174256 with flag 39706199/3906596
417.70/413.10	c cleaning 88077 clauses out of 176259 with flag 41351642/3995596
430.16/425.58	c cleaning 88925 clauses out of 178183 with flag 42900521/4085597
441.74/437.19	c cleaning 90105 clauses out of 180257 with flag 44726675/4176596
453.76/449.05	c cleaning 90902 clauses out of 182152 with flag 45791470/4268596
463.54/458.82	c cleaning 92123 clauses out of 184257 with flag 46840493/4361603
476.72/472.07	c cleaning 92995 clauses out of 186127 with flag 48337423/4455596
490.93/486.26	c cleaning 94034 clauses out of 188133 with flag 50172562/4550597
503.92/499.33	c cleaning 95030 clauses out of 190098 with flag 50878045/4646596
517.50/512.98	c cleaning 96011 clauses out of 192068 with flag 51888101/4743596
528.92/524.20	c cleaning 96919 clauses out of 194057 with flag 53033788/4841596
541.70/537.12	c cleaning 98051 clauses out of 196138 with flag 53856643/4940596
552.61/547.98	c cleaning 98882 clauses out of 198087 with flag 54877640/5040596
564.59/559.95	c cleaning 100106 clauses out of 200214 with flag 55993374/5141605
576.47/571.81	c cleaning 100818 clauses out of 202100 with flag 57194440/5243597
591.59/586.84	c cleaning 101998 clauses out of 204281 with flag 59047691/5346596
603.57/598.88	c cleaning 103065 clauses out of 206285 with flag 60682912/5450598
615.95/611.25	c cleaning 103908 clauses out of 208219 with flag 61799665/5555597
629.04/624.27	c cleaning 104820 clauses out of 210310 with flag 62894027/5661596
642.61/637.89	c cleaning 105992 clauses out of 212490 with flag 64151243/5768596
657.34/652.45	c cleaning 107087 clauses out of 214499 with flag 65583532/5876597
669.92/665.06	c cleaning 108189 clauses out of 216411 with flag 66707752/5985596
684.00/679.15	c cleaning 109100 clauses out of 218223 with flag 68014916/6095597
696.09/690.93	c cleaning 110057 clauses out of 220122 with flag 68966888/6206596
710.47/705.37	c cleaning 111017 clauses out of 222065 with flag 69873231/6318596
726.47/721.26	c cleaning 111989 clauses out of 224048 with flag 71182329/6431596
741.75/736.57	c cleaning 113026 clauses out of 226059 with flag 72939545/6545596
758.11/752.99	c cleaning 113669 clauses out of 228033 with flag 75102250/6660596
771.50/766.12	c cleaning 115155 clauses out of 230364 with flag 76123702/6776596
787.36/782.07	c cleaning 116091 clauses out of 232209 with flag 77363602/6893596
808.62/803.30	c cleaning 116943 clauses out of 234118 with flag 79807599/7011596
825.30/819.99	c cleaning 118060 clauses out of 236175 with flag 81084412/7130596
841.55/836.34	c cleaning 119010 clauses out of 238115 with flag 82664910/7250596
859.57/854.37	c cleaning 119947 clauses out of 240109 with flag 83988533/7371600
877.11/871.93	c cleaning 121047 clauses out of 242158 with flag 85897196/7493596
894.06/888.73	c cleaning 122052 clauses out of 244111 with flag 87164218/7616596
914.81/909.52	c cleaning 123028 clauses out of 246059 with flag 89149566/7740596
931.29/926.04	c cleaning 124001 clauses out of 248031 with flag 90692245/7865596
948.87/943.51	c cleaning 124838 clauses out of 250032 with flag 91955981/7991598
965.36/960.03	c cleaning 125736 clauses out of 252195 with flag 93111582/8118599
984.03/978.69	c cleaning 127112 clauses out of 254456 with flag 94998039/8246596
1001.99/996.61	c cleaning 127798 clauses out of 256345 with flag 97236717/8375597
1020.33/1014.80	c cleaning 128993 clauses out of 258546 with flag 98576380/8505596
1041.40/1035.93	c cleaning 130141 clauses out of 260553 with flag 100825193/8636596
1059.49/1053.80	c cleaning 131113 clauses out of 262412 with flag 102378960/8768596
1079.44/1073.80	c cleaning 132123 clauses out of 264299 with flag 104308887/8901596
1102.35/1096.69	c cleaning 133037 clauses out of 266176 with flag 106771234/9035596
1119.83/1114.18	c cleaning 134029 clauses out of 268141 with flag 108596178/9170598
1140.92/1135.28	c cleaning 135005 clauses out of 270110 with flag 109803679/9306596
1160.84/1155.33	c cleaning 135980 clauses out of 272105 with flag 111281138/9443596
1180.48/1174.99	c cleaning 137022 clauses out of 274125 with flag 113603987/9581596
1205.14/1199.63	c cleaning 138030 clauses out of 276103 with flag 117687705/9720596
1225.58/1219.93	c cleaning 138985 clauses out of 278074 with flag 119161552/9860597
1250.35/1244.79	c cleaning 139941 clauses out of 280088 with flag 122365190/10001596
1270.66/1264.58	c cleaning 140926 clauses out of 282147 with flag 123697501/10143596
1293.29/1287.23	c cleaning 142097 clauses out of 284221 with flag 125730183/10286596
1318.95/1312.93	c cleaning 142980 clauses out of 286125 with flag 129479350/10430597
1346.60/1340.60	c cleaning 143749 clauses out of 288145 with flag 134812125/10575597
1383.83/1377.94	c cleaning 145040 clauses out of 290395 with flag 143199708/10721596
1418.20/1412.55	c cleaning 146033 clauses out of 292357 with flag 152337613/10868598
1446.22/1440.56	c cleaning 147124 clauses out of 294324 with flag 159131903/11016598
1483.71/1478.24	c cleaning 147914 clauses out of 296198 with flag 170462544/11165596
1512.70/1506.74	c cleaning 149127 clauses out of 298283 with flag 176225055/11315596
1534.56/1528.69	c cleaning 150021 clauses out of 300156 with flag 177768467/11466596
1561.82/1555.80	c cleaning 151023 clauses out of 302135 with flag 180746946/11618596
1590.67/1584.71	c cleaning 151780 clauses out of 304112 with flag 185145746/11771596
1612.43/1606.32	c cleaning 153147 clauses out of 306333 with flag 187057076/11925597
1632.88/1626.81	c cleaning 154054 clauses out of 308186 with flag 188914023/12080597
1656.56/1650.48	c cleaning 155029 clauses out of 310133 with flag 191294586/12236598
1680.85/1674.70	c cleaning 156050 clauses out of 312111 with flag 194003937/12393605
1704.72/1698.62	c cleaning 157022 clauses out of 314053 with flag 195481036/12551597
1728.97/1722.94	c cleaning 157983 clauses out of 316030 with flag 197408702/12710596
1753.43/1747.31	c cleaning 158972 clauses out of 318047 with flag 199258837/12870596
1778.81/1772.67	c cleaning 160012 clauses out of 320075 with flag 201360735/13031596
1802.36/1796.22	c cleaning 161015 clauses out of 322063 with flag 203691607/13193596
1827.31/1821.15	c cleaning 162005 clauses out of 324048 with flag 205491108/13356596
1854.12/1847.86	c cleaning 162945 clauses out of 326045 with flag 208152104/13520598
1879.67/1873.48	c cleaning 163950 clauses out of 328098 with flag 210560830/13685596
1901.38/1895.06	c cleaning 165059 clauses out of 330148 with flag 212210478/13851596
1929.55/1923.06	c cleaning 165994 clauses out of 332089 with flag 214086334/14018596
1954.70/1948.21	c cleaning 167007 clauses out of 334095 with flag 216809678/14186596
1989.46/1982.55	c cleaning 167926 clauses out of 336089 with flag 221466975/14355597
2025.70/2018.83	c cleaning 168850 clauses out of 338162 with flag 228158068/14525596
2070.66/2064.01	c cleaning 169984 clauses out of 340312 with flag 237247705/14696596
2109.11/2102.36	c cleaning 171155 clauses out of 342328 with flag 244981878/14868596
2136.09/2129.25	c cleaning 172066 clauses out of 344173 with flag 246779073/15041596
2163.45/2156.83	c cleaning 172985 clauses out of 346107 with flag 248905880/15215596
2192.99/2186.54	c cleaning 173760 clauses out of 348122 with flag 251475113/15390596
2222.80/2216.29	c cleaning 174979 clauses out of 350365 with flag 253718207/15566599
2252.95/2246.45	c cleaning 175829 clauses out of 352383 with flag 255847981/15743596
2280.61/2274.05	c cleaning 177007 clauses out of 354554 with flag 258200361/15921596
2310.29/2303.66	c cleaning 178104 clauses out of 356547 with flag 261335512/16100596
2339.72/2333.38	c cleaning 179173 clauses out of 358443 with flag 263231696/16280596
2373.20/2366.91	c cleaning 180037 clauses out of 360279 with flag 266353377/16461605
2402.75/2396.57	c cleaning 180791 clauses out of 362233 with flag 268686093/16643596
2432.14/2425.86	c cleaning 181917 clauses out of 364442 with flag 270682266/16826596
2469.07/2462.82	c cleaning 182888 clauses out of 366525 with flag 276802166/17010596
2501.62/2495.34	c cleaning 184311 clauses out of 368637 with flag 278973827/17195596
2532.06/2525.85	c cleaning 185119 clauses out of 370326 with flag 281032303/17381596
2563.71/2557.46	c cleaning 185997 clauses out of 372207 with flag 283841542/17568596
2597.75/2591.55	c cleaning 187081 clauses out of 374210 with flag 286496752/17756596
2633.55/2627.41	c cleaning 187803 clauses out of 376129 with flag 289968371/17945596
2667.25/2661.46	c cleaning 189114 clauses out of 378326 with flag 293416404/18135596
2698.99/2693.20	c cleaning 189799 clauses out of 380212 with flag 296313699/18326596
2730.89/2724.96	c cleaning 191192 clauses out of 382414 with flag 298475937/18518597
2765.61/2759.79	c cleaning 192049 clauses out of 384221 with flag 301714279/18711596
2810.38/2804.40	c cleaning 192751 clauses out of 386172 with flag 308748529/18905596
2859.17/2853.34	c cleaning 194152 clauses out of 388422 with flag 317584155/19100597
2913.23/2907.35	c cleaning 195026 clauses out of 390269 with flag 329014260/19296596
2947.47/2941.68	c cleaning 196101 clauses out of 392243 with flag 331159721/19493596
2993.17/2987.20	c cleaning 196815 clauses out of 394142 with flag 337852563/19691596
3046.17/3040.31	c cleaning 198027 clauses out of 396329 with flag 348009765/19890598
3089.42/3083.42	c cleaning 199046 clauses out of 398300 with flag 355906842/20090596
3137.35/3130.86	c cleaning 199818 clauses out of 400254 with flag 363334133/20291596
3186.52/3180.09	c cleaning 200981 clauses out of 402437 with flag 373195634/20493597
3250.51/3244.17	c cleaning 202021 clauses out of 404454 with flag 385130582/20696596
3285.21/3278.75	c cleaning 203221 clauses out of 406448 with flag 387412170/20900611
3320.11/3313.52	c cleaning 203867 clauses out of 408212 with flag 390216989/21105596
3354.55/3348.09	c cleaning 204854 clauses out of 410345 with flag 392560357/21311596
3401.05/3394.58	c cleaning 206024 clauses out of 412491 with flag 397857941/21518596
3439.26/3432.79	c cleaning 207187 clauses out of 414468 with flag 400072100/21726597
3476.63/3470.02	c cleaning 207997 clauses out of 416289 with flag 402579435/21935605
3517.92/3511.27	c cleaning 209069 clauses out of 418283 with flag 406493665/22145596
3558.45/3551.86	c cleaning 210096 clauses out of 420214 with flag 408969026/22356596
3600.00/3593.33	c starts		: 36298
3600.00/3593.33	c conflicts		: 22550762
3600.00/3593.33	c decisions		: 951763751
3600.00/3593.33	c propagations		: 3148934373
3600.00/3593.33	c inspects		: 37373920278
3600.00/3593.33	c shortcuts		: 0
3600.00/3593.33	c learnt literals	: 2
3600.00/3593.33	c learnt binary clauses	: 1245
3600.00/3593.33	c learnt ternary clauses	: 190188
3600.00/3593.33	c learnt constraints	: 22550760
3600.00/3593.33	c ignored constraints	: 0
3600.00/3593.33	c root simplifications	: 0
3600.00/3593.33	c removed literals (reason simplification)	: 0
3600.00/3593.33	c reason swapping (by a shorter reason)	: 0
3600.00/3593.33	c Calls to reduceDB	: 207
3600.00/3593.33	c Number of update (reduction) of LBD	: 15944600
3600.00/3593.33	c Imported unit clauses	: 0
3600.00/3593.33	c No decision after first conflict	: false
3600.00/3593.33	c number of reductions to clauses (during analyze)	: 0
3600.00/3593.33	c number of learned constraints concerned by reduction	: 0
3600.00/3593.33	c number of learning phase by resolution	: 0
3600.00/3593.33	c number of learning phase by cutting planes	: 0
3600.00/3593.33	c number of rounding to 1 operations	: 0
3600.00/3593.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3593.33	c number of reductions of the coefficients by power 2 	: 0
3600.00/3593.33	c number of right shift for reduction by power 2 	: 0
3600.00/3593.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3593.33	c number of ending skipping 	: 0
3600.00/3593.33	c number of internal skipping 	: 0
3600.00/3593.33	c number of derivation steps 	: 0
3600.00/3593.33	c number of skipped derivation steps 	: 0
3600.00/3593.33	c number of remaining unassigned 	: 0
3600.00/3593.33	c number of remaining assigned 	: 0
3600.00/3593.33	c number of falsified literals weakened from reason	: 0
3600.00/3593.33	c number of falsified literals weakened from conflict	: 0
3600.00/3593.33	c time for arithmetic operations	: 0
3600.00/3593.35	c minimum degree of deleted constraints	: null
3600.00/3593.35	c maximum degree of deleted constraints	: null
3600.00/3593.35	c number of deleted constraints	: 0
3600.00/3593.35	c speed (assignments/second)	: 876529.6088909623
3600.00/3593.35	c non guided choices	: 5735
3600.22/3593.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 403039
3600.22/3593.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1245
3600.22/3593.43	s SATISFIABLE
3600.22/3593.43	c Found 1 solution(s)
3600.22/3593.43	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/3593.43	c objective function=22
3600.22/3593.43	c Total wall clock time (in seconds): 3593.309

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: 63931 MiB (61443 MiB free)
  memory of node 1: 64510 MiB (61548 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449617-1721399502/watcher-4449617-1721399502 -o /tmp/evaluation-result-4449617-1721399502/solver-4449617-1721399502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4449617-1721399502.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
solver pid=987415, runsolver pid=987412
Current StackSize limit: 8192 KiB


[startup+0.10058 s]*
/proc/loadavg: 0.11 0.11 0.09 7/316 987511
/proc/meminfo: memFree=125800720/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=18975048 memory=63236 CPUtime=0.12 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 7192 0 0 0 11 1 0 0 20 0 18 0 192110830 19430449152 15809 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4743762 15809 5733 1 0 549300 0
[pid=987415/tid=987417] ppid=987412 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 5736 0 0 0 7 1 0 0 20 0 18 0 192110830 19430449152 15836 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=18975048 memory=14994 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192110833 19430449152 15836 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192110834 19430449152 15836 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63236 KiB

[startup+0.206944 s]*
/proc/loadavg: 0.11 0.11 0.09 10/325 987520
/proc/meminfo: memFree=125741604/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=18975048 memory=82696 CPUtime=0.32 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 8069 0 0 0 30 2 0 0 20 0 18 0 192110830 19430449152 20674 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4743762 20674 5863 1 0 549813 0
[pid=987415/tid=987417] ppid=987412 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 5916 0 0 0 17 2 0 0 20 0 18 0 192110830 19430449152 20674 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=18975048 memory=14994 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192110833 19430449152 20674 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192110834 19430449152 20674 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82696 KiB

[startup+0.309588 s]*
/proc/loadavg: 0.11 0.11 0.09 13/327 987522
/proc/meminfo: memFree=125660836/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=18975048 memory=126824 CPUtime=0.53 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 9116 0 0 0 50 3 0 0 20 0 18 0 192110830 19430449152 31706 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4743762 31706 5863 1 0 550542 0
[pid=987415/tid=987417] ppid=987412 vsize=18975048 memory=-8598891649228382908 CPUtime=0.28 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 5937 0 0 0 26 2 0 0 20 0 18 0 192110830 19430449152 31706 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192110833 19430449152 31706 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192110834 19430449152 31706 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 126824 KiB

[startup+0.710067 s]
/proc/loadavg: 0.11 0.11 0.09 10/306 987534
/proc/meminfo: memFree=125580288/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19041612 memory=193068 CPUtime=1.27 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 16474 0 0 0 122 5 0 0 20 0 19 0 192110830 19498610688 48267 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4760403 48267 5863 1 0 555761 0
[pid=987415/tid=987417] ppid=987412 vsize=19041612 memory=2636 CPUtime=0.61 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 5959 0 0 0 58 3 0 0 20 0 19 0 192110830 19498610688 48267 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192110833 19498610688 48267 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19041612 memory=39384 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 192110834 19498610688 48267 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 193068 KiB

[startup+1.50107 s]
/proc/loadavg: 0.74 0.24 0.13 9/307 987559
/proc/meminfo: memFree=125518200/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=205540 CPUtime=2.83 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 17052 0 0 0 277 6 0 0 20 0 20 0 192110830 19566772224 51385 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 51385 5901 1 0 556172 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=39384 CPUtime=1.34 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 6079 0 0 0 131 3 0 0 20 0 20 0 192110830 19566772224 51385 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 51385 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 51385 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 51385 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205540 KiB

[startup+3.10607 s]
/proc/loadavg: 0.74 0.24 0.13 5/331 987592
/proc/meminfo: memFree=125380200/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=207160 CPUtime=5.13 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 21903 0 0 0 507 6 0 0 20 0 20 0 192110830 19566772224 51790 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 51790 5917 1 0 556530 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=13012 CPUtime=2.92 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 6405 0 0 0 289 3 0 0 20 0 20 0 192110830 19566772224 51790 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 51790 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 51790 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=-9033207538292925116 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 51790 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207160 KiB

[startup+6.30106 s]
/proc/loadavg: 1.08 0.32 0.16 5/333 987594
/proc/meminfo: memFree=125307592/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=209872 CPUtime=8.32 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 22833 0 0 0 825 7 0 0 20 0 20 0 192110830 19566772224 52468 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 52468 5917 1 0 556530 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=0 CPUtime=6.07 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 6708 0 0 0 604 3 0 0 20 0 20 0 192110830 19566772224 52468 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=-9033207538292925116 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 52468 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 52468 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=-9033207538292925116 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 52468 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209872 KiB

[startup+12.7003 s]
/proc/loadavg: 1.47 0.41 0.19 5/334 987597
/proc/meminfo: memFree=125125064/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=321044 CPUtime=14.83 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 27206 0 0 0 1474 9 0 0 20 0 20 0 192110830 19566772224 80261 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 80261 5926 1 0 556530 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=13012 CPUtime=12.26 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 7337 0 0 0 1223 3 0 0 20 0 20 0 192110830 19566772224 80261 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=-9033207538292925116 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 80261 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=321016 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 80261 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 80261 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 321044 KiB

[startup+25.5003 s]
/proc/loadavg: 1.86 0.53 0.23 5/334 987665
/proc/meminfo: memFree=124748540/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=531412 CPUtime=27.66 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 30102 0 0 0 2752 14 0 0 20 0 20 0 192110830 19566772224 132853 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 132853 5942 1 0 926241 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=-9032360914339537596 CPUtime=24.96 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 8488 0 0 0 2490 6 0 0 20 0 20 0 192110830 19566772224 132853 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 132853 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 132853 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=449492 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 132853 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 27.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 531412 KiB

[startup+51.1059 s]
/proc/loadavg: 2.71 0.86 0.35 5/334 987670
/proc/meminfo: memFree=123918152/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=866156 CPUtime=53.78 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 43095 0 0 0 5356 22 0 0 20 0 20 0 192110830 19566772224 216539 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 216539 5942 1 0 927036 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=11488 CPUtime=50.23 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 10711 0 0 0 5016 7 0 0 20 0 20 0 192110830 19566772224 216539 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=321044 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 216539 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 216539 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0

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

[startup+3282.3 s]
/proc/loadavg: 4.24 4.18 4.07 5/333 989219
/proc/meminfo: memFree=114646408/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=4712332 CPUtime=3288.8 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 251225 0 0 0 328665 215 0 0 20 0 20 0 192110830 19566772224 1178083 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 1178083 5957 1 0 1191570 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=4712256 CPUtime=3257.76 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 85091 0 0 0 325739 37 0 0 20 0 20 0 192110830 19566772224 1178083 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=45336 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 1178083 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=26268 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 2900 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 1178083 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=4712332 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 1178083 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3288.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4712332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.07 5/333 989230
/proc/meminfo: memFree=114645636/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=4712344 CPUtime=3348.86 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 252931 0 0 0 334669 217 0 0 20 0 20 0 192110830 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 1178086 5957 1 0 1191570 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=4712332 CPUtime=3317.42 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 85870 0 0 0 331705 37 0 0 20 0 20 0 192110830 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 2987 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3348.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4712344 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.07 5/335 989411
/proc/meminfo: memFree=114642320/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=4712344 CPUtime=3408.83 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 255184 0 0 0 340664 219 0 0 20 0 20 0 192110830 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 1178086 5957 1 0 1191570 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=4712344 CPUtime=3377.19 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 86901 0 0 0 337682 37 0 0 20 0 20 0 192110830 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 3037 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 1178086 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3408.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4712344 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.18 4.08 5/335 989421
/proc/meminfo: memFree=114641616/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=4712360 CPUtime=3468.74 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 256897 0 0 0 346652 222 0 0 20 0 20 0 192110830 19566772224 1178090 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 1178090 5957 1 0 1191570 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=4712344 CPUtime=3436.64 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 88087 0 0 0 343627 37 0 0 20 0 20 0 192110830 19566772224 1178090 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 1178090 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=4712360 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 3157 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 1178090 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=4712360 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 1178090 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3468.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4712360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/336 989488
/proc/meminfo: memFree=114640612/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=4712436 CPUtime=3529.01 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 259843 0 0 0 352676 225 0 0 20 0 20 0 192110830 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 1178109 5957 1 0 1191581 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=4712360 CPUtime=3496.1 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 89092 0 0 0 349572 38 0 0 20 0 20 0 192110830 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=4712360 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=4712344 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 3157 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3529.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4712436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/334 989499
/proc/meminfo: memFree=114639984/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=4712436 CPUtime=3589.02 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 260465 0 0 0 358676 226 0 0 20 0 20 0 192110830 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 1178109 5957 1 0 1191581 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=4712360 CPUtime=3555.83 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 89468 0 0 0 355545 38 0 0 20 0 20 0 192110830 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=4712436 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 3206 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=45336 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3589.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4712436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/334 989501
/proc/meminfo: memFree=114639928/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19108176 memory=4712436 CPUtime=3600 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 260728 0 0 0 359773 227 0 0 20 0 20 0 192110830 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4777044 1178109 5957 1 0 1191581 0
[pid=987415/tid=987417] ppid=987412 vsize=19108176 memory=4712436 CPUtime=3566.8 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 89729 0 0 0 356642 38 0 0 20 0 20 0 192110830 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19108176 memory=-9033207538292925116 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192110833 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19108176 memory=4712436 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 3206 0 0 0 0 0 0 0 20 0 20 0 192110834 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987536] ppid=987412 vsize=19108176 memory=-9033207538292925116 CPUtime=0 cores=5,7
/proc/987415/task/987536/stat : 987536 (Timer-0) S 987412 987415 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192110913 19566772224 1178109 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4712436 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.01 s, system=2.28608 s

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

[startup+3593.41 s]
/proc/loadavg: 4.16 4.17 4.09 5/334 989501
/proc/meminfo: memFree=114639928/131524600 swapFree=131071996/131071996
[pid=987415] ppid=987412 vsize=19307868 memory=4713120 CPUtime=3600.22 cores=5,7
/proc/987415/stat : 987415 (java) S 987412 987415 987379 0 -1 1077936128 263177 0 0 0 359795 227 0 0 20 0 21 0 192110830 19771256832 1178280 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
/proc/987415/statm: 4826967 1178280 5956 1 0 1192500 0
[pid=987415/tid=987417] ppid=987412 vsize=19307868 memory=14848 CPUtime=3566.91 cores=5,7
/proc/987415/task/987417/stat : 987417 (java) R 987412 987415 987379 0 -1 4194368 89838 0 0 0 356653 38 0 0 20 0 21 0 192110830 19771256832 1178280 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987452] ppid=987412 vsize=19307868 memory=18851 CPUtime=0 cores=5,7
/proc/987415/task/987452/stat : 987452 (Finalizer) S 987412 987415 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 192110833 19771256832 1178280 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
[pid=987415/tid=987464] ppid=987412 vsize=19307868 memory=3978146560465961043 CPUtime=0 cores=5,7
/proc/987415/task/987464/stat : 987464 (Common-Cleaner) S 987412 987415 987379 0 -1 1077936192 3206 0 0 0 0 0 0 0 20 0 21 0 192110834 19771256832 1178280 134679101440 94406395863040 94406395866736 140730376536992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94406395874552 94406395875344 94406400618496 140730376545286 140730376545376 140730376545376 140730376552392 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4713120 KiB

Child status: 143

Real time (s): 3593.45
CPU time (s): 3600.29
CPU user time (s): 3598.01
CPU system time (s): 2.28608
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4713120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.01
system time used= 2.28608
maximum resident set size= 4714076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109408
involuntary context switches= 9415


# summary of solver processes directly reported to runsolver:
#   pid: 987415
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3598.01
#   total CPU system time (s): 2.28608

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48895 second user time and 18.2246 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-19 16:31:54
IDJOB=4449617
IDBENCH=176087
IDSOLVER=3058
FILE ID=nodeC016/4449617-1721399502
RUNJOBID= nodeC016-1721399514-987392
SLURM_JOB_ID= 7545428
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 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 -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449617-1721399502/watcher-4449617-1721399502 -o /tmp/evaluation-result-4449617-1721399502/solver-4449617-1721399502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987392 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4449617-1721399502.opb

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

MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
RANDOM SEED=2127392891

nodeC016.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		: 1855.300
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.70
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		: 3215.472
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	: 7006.63
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		: 1992.466
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.70
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		: 3601.873
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	: 7006.63
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		: 1437.638
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.70
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		: 3546.844
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	: 7006.63
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		: 1780.080
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.70
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		: 3247.776
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	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125952364 kB
MemAvailable:   129704360 kB
Buffers:          388300 kB
Cached:          4206028 kB
SwapCached:            0 kB
Active:           634400 kB
Inactive:        4322436 kB
Active(anon):       1432 kB
Inactive(anon):   406984 kB
Active(file):     632968 kB
Inactive(file):  3915452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5816 kB
Writeback:            12 kB
AnonPages:        361108 kB
Mapped:           106544 kB
Shmem:             45912 kB
KReclaimable:      86448 kB
Slab:             197236 kB
SReclaimable:      86448 kB
SUnreclaim:       110788 kB
KernelStack:        3796 kB
PageTables:         9104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     593300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72160 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC016 at 2024-07-19 17:31:48