Trace number 4543369

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.33 3587.32

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
MD5SUM3c2aa4644140c0a520c3ebe8e754a206
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.005004
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables174
Total number of constraints175
Number of constraints which are clauses174
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint174
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 43
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 217
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.15	c version PB25.v20250606
0.11/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.16	c java.vm.version	22.0.1+8-16
0.11/0.16	c java.vm.vendor	Oracle Corporation
0.11/0.16	c sun.arch.data.model	64
0.11/0.16	c java.version		22.0.1
0.11/0.16	c os.name		Linux
0.11/0.16	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.16	c os.arch		amd64
0.11/0.17	c Free memory 		2104792832
0.11/0.17	c Max memory 		16282288128
0.11/0.17	c Total memory 		2113929216
0.11/0.17	c Number of processors 	2
0.11/0.22	c Pseudo Boolean Optimization by upper bound
0.11/0.22	c --- Begin Solver configuration ---
0.11/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.22	c Learn all clauses as in MiniSAT
0.11/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.22	c Expensive reason simplification
0.11/0.22	c Glucose 2.1 dynamic restart strategy
0.11/0.22	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.11/0.22	c timeout=2147483s
0.11/0.22	c DB Simplification allowed=false
0.11/0.22	c Listener: none
0.11/0.22	c --- End Solver configuration ---
0.11/0.22	c solving HOME/instance-4543369-1753226284.opb
0.11/0.22	c reading problem ... 
0.11/0.23	c using VERIPB proof format
0.11/0.23	c  no objective function found
0.33/0.27	c ... done. Wall clock time 0.044s.
0.33/0.27	c declared #vars     174
0.33/0.27	c #constraints  175
0.33/0.27	c constraints type 
0.33/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.33/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 174
0.33/0.27	c 175 constraints processed.
1.77/1.07	c cleaning 2494 clauses out of 5000 with flag 10688/5000
2.55/1.48	c cleaning 4243 clauses out of 8506 with flag 23353/11000
3.13/1.78	c cleaning 5622 clauses out of 11263 with flag 38203/18000
3.73/2.05	c cleaning 6814 clauses out of 13643 with flag 55142/26002
4.31/2.33	c cleaning 7904 clauses out of 15828 with flag 74145/35001
4.59/2.58	c cleaning 8953 clauses out of 17924 with flag 95197/45001
5.08/2.90	c cleaning 9976 clauses out of 19970 with flag 118425/56000
5.37/3.27	c cleaning 10990 clauses out of 21995 with flag 143701/68001
5.78/3.62	c cleaning 11991 clauses out of 24004 with flag 171076/81000
6.25/4.01	c cleaning 12997 clauses out of 26014 with flag 200643/95001
6.65/4.45	c cleaning 14000 clauses out of 28016 with flag 232062/110000
7.24/5.02	c cleaning 14998 clauses out of 30016 with flag 265793/126000
7.79/5.58	c cleaning 16001 clauses out of 32018 with flag 301637/143000
8.75/6.43	c cleaning 16999 clauses out of 34017 with flag 339707/161000
9.75/7.49	c cleaning 17998 clauses out of 36018 with flag 379839/180000
10.67/8.32	c cleaning 19006 clauses out of 38021 with flag 421973/200001
11.37/9.05	c cleaning 19999 clauses out of 40015 with flag 466350/221001
12.80/10.16	c cleaning 20999 clauses out of 42015 with flag 516264/243000
14.21/11.06	c cleaning 22002 clauses out of 44016 with flag 573628/266000
14.91/11.74	c cleaning 23006 clauses out of 46015 with flag 634907/290001
15.70/12.51	c cleaning 24003 clauses out of 48009 with flag 700028/315001
16.30/13.19	c cleaning 25001 clauses out of 50006 with flag 764795/341001
17.10/13.92	c cleaning 26002 clauses out of 52004 with flag 829683/368000
18.19/15.03	c cleaning 26994 clauses out of 54002 with flag 903748/396000
18.98/15.81	c cleaning 27999 clauses out of 56008 with flag 974321/425000
19.78/16.69	c cleaning 29000 clauses out of 58009 with flag 1044015/455000
20.87/17.75	c cleaning 30001 clauses out of 60009 with flag 1118208/486000
22.06/18.93	c cleaning 30999 clauses out of 62008 with flag 1192405/518000
23.44/20.34	c cleaning 31999 clauses out of 64010 with flag 1270951/551001
25.15/22.04	c cleaning 33003 clauses out of 66011 with flag 1347430/585001
26.43/23.30	c cleaning 33999 clauses out of 68008 with flag 1428213/620001
27.83/24.78	c cleaning 34999 clauses out of 70009 with flag 1522976/656001
29.25/26.16	c cleaning 36000 clauses out of 72010 with flag 1607967/693001
30.63/27.51	c cleaning 36997 clauses out of 74009 with flag 1693325/731000
32.02/28.94	c cleaning 37999 clauses out of 76012 with flag 1788729/770000
33.52/30.47	c cleaning 39002 clauses out of 78013 with flag 1885057/810000
35.02/31.94	c cleaning 40003 clauses out of 80011 with flag 1979811/851000
36.51/33.43	c cleaning 41002 clauses out of 82008 with flag 2077924/893000
38.40/35.33	c cleaning 41998 clauses out of 84006 with flag 2177258/936000
40.21/37.14	c cleaning 43000 clauses out of 86008 with flag 2279771/980000
41.61/38.54	c cleaning 44000 clauses out of 88008 with flag 2380485/1025000
43.31/40.27	c cleaning 45003 clauses out of 90008 with flag 2486394/1071000
45.00/41.94	c cleaning 46000 clauses out of 92006 with flag 2594745/1118001
46.93/43.85	c cleaning 46996 clauses out of 94006 with flag 2702107/1166001
49.02/45.92	c cleaning 48001 clauses out of 96009 with flag 2812132/1215000
51.52/48.41	c cleaning 48997 clauses out of 98009 with flag 2933576/1265001
54.02/50.99	c cleaning 50000 clauses out of 100011 with flag 3051039/1316000
56.62/53.58	c cleaning 51003 clauses out of 102014 with flag 3169816/1368003
59.00/55.91	c cleaning 51996 clauses out of 104008 with flag 3289513/1421000
61.50/58.44	c cleaning 53001 clauses out of 106013 with flag 3411972/1475001
64.20/61.19	c cleaning 53999 clauses out of 108012 with flag 3536270/1530001
66.88/63.89	c cleaning 55000 clauses out of 110013 with flag 3662799/1586001
70.27/67.23	c cleaning 56001 clauses out of 112013 with flag 3798865/1643001
73.97/70.95	c cleaning 57000 clauses out of 114011 with flag 3944435/1701000
78.47/75.49	c cleaning 58001 clauses out of 116011 with flag 4077995/1760000
82.27/79.27	c cleaning 58998 clauses out of 118010 with flag 4222253/1820000
86.07/83.02	c cleaning 60007 clauses out of 120013 with flag 4369826/1881001
89.29/86.00	c cleaning 60996 clauses out of 122006 with flag 4508978/1943001
92.18/88.87	c cleaning 62000 clauses out of 124009 with flag 4648660/2006000
95.67/92.36	c cleaning 63000 clauses out of 126010 with flag 4797228/2070001
98.97/95.63	c cleaning 63998 clauses out of 128009 with flag 4942046/2135000
102.48/99.14	c cleaning 65000 clauses out of 130012 with flag 5089059/2201001
105.95/102.65	c cleaning 66001 clauses out of 132011 with flag 5244680/2268000
109.65/106.36	c cleaning 67002 clauses out of 134011 with flag 5400082/2336001
113.45/110.17	c cleaning 67999 clauses out of 136009 with flag 5555359/2405001
117.90/114.64	c cleaning 69002 clauses out of 138009 with flag 5711124/2475000
122.18/118.91	c cleaning 70000 clauses out of 140007 with flag 5873017/2546000
126.06/122.85	c cleaning 71002 clauses out of 142008 with flag 6034529/2618001
130.35/127.15	c cleaning 71999 clauses out of 144005 with flag 6197894/2691000
134.43/131.27	c cleaning 73000 clauses out of 146007 with flag 6364010/2765001
138.42/135.24	c cleaning 74001 clauses out of 148007 with flag 6531279/2840001
143.62/140.49	c cleaning 74994 clauses out of 150005 with flag 6700589/2916000
148.98/145.89	c cleaning 75997 clauses out of 152011 with flag 6873515/2993000
153.98/150.86	c cleaning 77001 clauses out of 154015 with flag 7049124/3071001
159.54/156.41	c cleaning 78004 clauses out of 156013 with flag 7229522/3150000
165.81/162.79	c cleaning 79003 clauses out of 158009 with flag 7412857/3230000
172.60/169.55	c cleaning 79993 clauses out of 160006 with flag 7617341/3311000
179.35/176.38	c cleaning 81002 clauses out of 162013 with flag 7814370/3393000
184.83/181.87	c cleaning 82001 clauses out of 164011 with flag 8003125/3476000
192.31/189.34	c cleaning 82996 clauses out of 166010 with flag 8204140/3560000
199.70/196.76	c cleaning 84007 clauses out of 168015 with flag 8410354/3645001
206.23/203.38	c cleaning 84997 clauses out of 170009 with flag 8607382/3731002
213.22/210.30	c cleaning 86003 clauses out of 172011 with flag 8802709/3818001
220.35/217.47	c cleaning 87003 clauses out of 174007 with flag 8998223/3906000
228.14/225.24	c cleaning 88000 clauses out of 176004 with flag 9196711/3995000
234.23/231.32	c cleaning 88998 clauses out of 178004 with flag 9399050/4085000
240.31/237.45	c cleaning 90001 clauses out of 180006 with flag 9603952/4176000
246.82/243.97	c cleaning 91003 clauses out of 182005 with flag 9813005/4268000
255.42/252.53	c cleaning 91995 clauses out of 184002 with flag 10024143/4361000
262.87/259.91	c cleaning 92997 clauses out of 186008 with flag 10241116/4455001
270.34/267.37	c cleaning 94001 clauses out of 188010 with flag 10465185/4550000
277.52/274.56	c cleaning 95002 clauses out of 190009 with flag 10688004/4646000
286.04/283.01	c cleaning 96003 clauses out of 192007 with flag 10916779/4743000
294.04/291.05	c cleaning 97002 clauses out of 194004 with flag 11144459/4841000
302.73/299.77	c cleaning 97999 clauses out of 196004 with flag 11370536/4940002
312.36/309.31	c cleaning 98997 clauses out of 198003 with flag 11601074/5040000
321.84/318.77	c cleaning 100000 clauses out of 200006 with flag 11845124/5141000
331.11/327.91	c cleaning 101002 clauses out of 202006 with flag 12078067/5243000
340.90/337.73	c cleaning 102001 clauses out of 204004 with flag 12321688/5346000
351.14/347.93	c cleaning 102997 clauses out of 206003 with flag 12568326/5450000
361.20/357.94	c cleaning 104002 clauses out of 208007 with flag 12823550/5555001
372.66/369.31	c cleaning 105000 clauses out of 210005 with flag 13078001/5661001
381.75/378.49	c cleaning 105995 clauses out of 212004 with flag 13331086/5768000
389.60/386.29	c cleaning 107004 clauses out of 214009 with flag 13573272/5876000
396.15/392.78	c cleaning 107996 clauses out of 216006 with flag 13814982/5985001
404.19/400.71	c cleaning 109003 clauses out of 218009 with flag 14059091/6095000
412.03/408.51	c cleaning 109999 clauses out of 220006 with flag 14305853/6206000
419.52/416.05	c cleaning 110997 clauses out of 222008 with flag 14554418/6318001
427.97/424.49	c cleaning 111999 clauses out of 224011 with flag 14804591/6431001
436.43/432.84	c cleaning 113002 clauses out of 226013 with flag 15058915/6545002
443.78/440.14	c cleaning 113997 clauses out of 228009 with flag 15315782/6660000
453.58/449.97	c cleaning 115003 clauses out of 230013 with flag 15575294/6776001
463.43/459.77	c cleaning 115995 clauses out of 232009 with flag 15834910/6893000
472.70/468.92	c cleaning 117003 clauses out of 234014 with flag 16099824/7011000
482.04/478.24	c cleaning 118001 clauses out of 236011 with flag 16373415/7130000
492.05/488.24	c cleaning 119000 clauses out of 238010 with flag 16648690/7250000
502.45/498.61	c cleaning 120004 clauses out of 240011 with flag 16931514/7371001
512.80/508.99	c cleaning 121004 clauses out of 242007 with flag 17217197/7493001
520.75/516.89	c cleaning 121994 clauses out of 244002 with flag 17494042/7616000
528.56/524.66	c cleaning 122994 clauses out of 246008 with flag 17772081/7740000
538.72/534.82	c cleaning 124001 clauses out of 248015 with flag 18049344/7865001
549.14/545.27	c cleaning 125000 clauses out of 250013 with flag 18328054/7991000
558.26/554.32	c cleaning 126003 clauses out of 252014 with flag 18610829/8118001
569.30/565.37	c cleaning 127001 clauses out of 254011 with flag 18895757/8246001
580.64/576.61	c cleaning 127998 clauses out of 256010 with flag 19182438/8375001
591.55/587.54	c cleaning 128999 clauses out of 258011 with flag 19472641/8505000
601.07/597.02	c cleaning 130000 clauses out of 260012 with flag 19764820/8636000
610.41/606.46	c cleaning 131001 clauses out of 262012 with flag 20057555/8768000
621.33/617.39	c cleaning 132002 clauses out of 264011 with flag 20352038/8901000
632.51/628.42	c cleaning 133001 clauses out of 266010 with flag 20651171/9035001
646.94/642.80	c cleaning 133997 clauses out of 268008 with flag 20952931/9170000
658.29/654.19	c cleaning 135006 clauses out of 270012 with flag 21255479/9306001
668.12/663.93	c cleaning 136001 clauses out of 272007 with flag 21561739/9443002
681.72/677.47	c cleaning 136997 clauses out of 274005 with flag 21870819/9581001
693.71/689.37	c cleaning 137999 clauses out of 276008 with flag 22182450/9720001
705.55/701.11	c cleaning 139000 clauses out of 278009 with flag 22495059/9860001
717.44/713.03	c cleaning 139998 clauses out of 280008 with flag 22815037/10001000
730.70/726.22	c cleaning 141006 clauses out of 282011 with flag 23130238/10143001
747.00/742.50	c cleaning 142001 clauses out of 284005 with flag 23484200/10286001
761.95/757.57	c cleaning 142994 clauses out of 286003 with flag 23837358/10430000
776.59/772.06	c cleaning 143998 clauses out of 288009 with flag 24182023/10575000
792.98/788.44	c cleaning 145007 clauses out of 290013 with flag 24539595/10721002
808.10/803.58	c cleaning 145994 clauses out of 292005 with flag 24887563/10868001
824.32/819.80	c cleaning 146999 clauses out of 294011 with flag 25221797/11016001
837.59/832.91	c cleaning 148001 clauses out of 296011 with flag 25560814/11165000
853.98/849.35	c cleaning 148998 clauses out of 298010 with flag 25907131/11315000
867.49/862.81	c cleaning 149998 clauses out of 300012 with flag 26244943/11466000
880.31/875.67	c cleaning 151001 clauses out of 302016 with flag 26584921/11618002
893.19/888.42	c cleaning 152004 clauses out of 304013 with flag 26925315/11771000
904.89/899.94	c cleaning 152999 clauses out of 306011 with flag 27266905/11925002
916.00/911.09	c cleaning 154002 clauses out of 308011 with flag 27626498/12080001
926.53/921.58	c cleaning 155002 clauses out of 310008 with flag 27977619/12236000
940.46/935.59	c cleaning 155996 clauses out of 312006 with flag 28344202/12393000
955.05/950.13	c cleaning 157002 clauses out of 314011 with flag 28722067/12551001
970.72/965.80	c cleaning 158000 clauses out of 316008 with flag 29110243/12710000
984.73/979.75	c cleaning 159002 clauses out of 318009 with flag 29482160/12870001
997.46/992.44	c cleaning 160003 clauses out of 320007 with flag 29854018/13031001
1011.54/1006.51	c cleaning 160997 clauses out of 322004 with flag 30224424/13193001
1023.75/1018.67	c cleaning 162000 clauses out of 324006 with flag 30594633/13356000
1039.38/1034.23	c cleaning 163001 clauses out of 326007 with flag 30982157/13520001
1053.11/1047.80	c cleaning 163999 clauses out of 328005 with flag 31358734/13685000
1065.62/1060.30	c cleaning 165001 clauses out of 330006 with flag 31732451/13851000
1081.97/1076.65	c cleaning 165999 clauses out of 332005 with flag 32106827/14018000
1094.46/1089.13	c cleaning 166995 clauses out of 334006 with flag 32487242/14186000
1107.25/1102.01	c cleaning 168003 clauses out of 336011 with flag 32868943/14355000
1125.12/1119.79	c cleaning 169001 clauses out of 338009 with flag 33253501/14525001
1138.18/1132.77	c cleaning 169998 clauses out of 340007 with flag 33640776/14696000
1155.02/1149.52	c cleaning 170997 clauses out of 342009 with flag 34027766/14868000
1172.83/1167.26	c cleaning 172002 clauses out of 344012 with flag 34420238/15041000
1190.69/1185.07	c cleaning 173000 clauses out of 346012 with flag 34811146/15215002
1209.59/1203.94	c cleaning 173994 clauses out of 348010 with flag 35212428/15390000
1224.93/1219.23	c cleaning 175005 clauses out of 350018 with flag 35610018/15566002
1239.48/1233.78	c cleaning 176003 clauses out of 352011 with flag 36013596/15743000
1254.45/1248.66	c cleaning 176995 clauses out of 354008 with flag 36420231/15921000
1268.37/1262.53	c cleaning 178006 clauses out of 356014 with flag 36821908/16100001
1283.89/1277.90	c cleaning 179003 clauses out of 358007 with flag 37236683/16280000
1298.73/1292.77	c cleaning 179995 clauses out of 360004 with flag 37645408/16461000
1312.22/1306.19	c cleaning 180999 clauses out of 362009 with flag 38066586/16643000
1326.59/1320.52	c cleaning 182001 clauses out of 364011 with flag 38482661/16826001
1344.09/1337.95	c cleaning 182999 clauses out of 366009 with flag 38898226/17010000
1361.61/1355.39	c cleaning 183997 clauses out of 368010 with flag 39316133/17195000
1381.30/1375.11	c cleaning 185000 clauses out of 370013 with flag 39739747/17381000
1398.47/1392.12	c cleaning 186005 clauses out of 372013 with flag 40158580/17568000
1416.59/1409.38	c cleaning 187002 clauses out of 374010 with flag 40579997/17756002
1434.30/1427.05	c cleaning 187998 clauses out of 376006 with flag 41003018/17945000
1452.46/1445.16	c cleaning 189003 clauses out of 378010 with flag 41439685/18135002
1473.78/1466.58	c cleaning 189994 clauses out of 380005 with flag 41880927/18326000
1493.81/1486.54	c cleaning 191001 clauses out of 382011 with flag 42312342/18518000
1520.91/1513.58	c cleaning 191995 clauses out of 384010 with flag 42760935/18711000
1543.31/1535.99	c cleaning 193004 clauses out of 386016 with flag 43199674/18905001
1565.16/1557.78	c cleaning 193998 clauses out of 388012 with flag 43634692/19100001
1582.63/1575.22	c cleaning 194999 clauses out of 390014 with flag 44072015/19296001
1596.05/1588.66	c cleaning 196004 clauses out of 392015 with flag 44512592/19493001
1614.29/1606.89	c cleaning 197004 clauses out of 394013 with flag 44960499/19691003
1633.19/1625.66	c cleaning 197999 clauses out of 396007 with flag 45408897/19890001
1651.62/1644.08	c cleaning 199000 clauses out of 398007 with flag 45860529/20090000
1669.57/1662.09	c cleaning 199996 clauses out of 400007 with flag 46309760/20291000
1686.12/1678.58	c cleaning 200999 clauses out of 402011 with flag 46763362/20493000
1703.42/1695.86	c cleaning 202002 clauses out of 404012 with flag 47220364/20696000
1722.71/1715.16	c cleaning 203001 clauses out of 406010 with flag 47675443/20900000
1742.48/1734.90	c cleaning 203997 clauses out of 408009 with flag 48141265/21105000
1766.70/1759.11	c cleaning 204997 clauses out of 410012 with flag 48609824/21311000
1786.18/1778.66	c cleaning 206002 clauses out of 412018 with flag 49079465/21518003
1811.13/1803.60	c cleaning 207001 clauses out of 414013 with flag 49549343/21726000
1834.79/1827.21	c cleaning 208001 clauses out of 416012 with flag 50024664/21935000
1854.09/1846.54	c cleaning 208997 clauses out of 418012 with flag 50506830/22145001
1874.52/1867.00	c cleaning 210005 clauses out of 420014 with flag 50979864/22356000
1894.26/1886.68	c cleaning 211001 clauses out of 422010 with flag 51458176/22568001
1919.58/1911.98	c cleaning 211996 clauses out of 424008 with flag 51941367/22781000
1942.39/1934.69	c cleaning 213002 clauses out of 426013 with flag 52423108/22995001
1963.39/1955.60	c cleaning 214002 clauses out of 428010 with flag 52906911/23210000
1986.61/1978.86	c cleaning 215002 clauses out of 430009 with flag 53392831/23426001
2010.82/2003.09	c cleaning 215992 clauses out of 432006 with flag 53890846/23643000
2027.85/2020.04	c cleaning 217004 clauses out of 434014 with flag 54383264/23861000
2046.59/2038.73	c cleaning 218002 clauses out of 436010 with flag 54874339/24080000
2063.40/2055.54	c cleaning 219003 clauses out of 438008 with flag 55374098/24300000
2086.46/2078.68	c cleaning 220002 clauses out of 440006 with flag 55876938/24521001
2108.51/2100.74	c cleaning 220999 clauses out of 442003 with flag 56377484/24743000
2132.69/2125.00	c cleaning 221994 clauses out of 444004 with flag 56922582/24966000
2158.91/2151.21	c cleaning 222995 clauses out of 446011 with flag 57474301/25190001
2177.69/2169.93	c cleaning 224002 clauses out of 448016 with flag 58006085/25415001
2203.80/2195.69	c cleaning 225001 clauses out of 450014 with flag 58542199/25641001
2231.92/2223.65	c cleaning 225998 clauses out of 452012 with flag 59088074/25868000
2252.92/2244.58	c cleaning 227003 clauses out of 454016 with flag 59631047/26096002
2274.28/2265.81	c cleaning 228002 clauses out of 456012 with flag 60204439/26325001
2300.75/2292.38	c cleaning 228994 clauses out of 458009 with flag 60779351/26555000
2333.55/2325.13	c cleaning 229997 clauses out of 460015 with flag 61346188/26786000
2364.27/2355.77	c cleaning 231001 clauses out of 462019 with flag 61922655/27018001
2394.51/2386.00	c cleaning 232004 clauses out of 464019 with flag 62481365/27251002
2415.57/2406.96	c cleaning 233001 clauses out of 466013 with flag 63021805/27485000
2439.54/2430.84	c cleaning 233998 clauses out of 468012 with flag 63574214/27720000
2462.82/2454.01	c cleaning 234998 clauses out of 470014 with flag 64129481/27956000
2494.68/2485.98	c cleaning 236003 clauses out of 472017 with flag 64692120/28193001
2522.61/2513.58	c cleaning 237002 clauses out of 474013 with flag 65237111/28431000
2546.72/2537.69	c cleaning 238000 clauses out of 476011 with flag 65783309/28670000
2571.55/2562.48	c cleaning 239001 clauses out of 478013 with flag 66331449/28910002
2597.57/2588.37	c cleaning 240006 clauses out of 480011 with flag 66928470/29151001
2624.62/2615.35	c cleaning 241001 clauses out of 482007 with flag 67520524/29393003
2654.36/2645.04	c cleaning 241999 clauses out of 484004 with flag 68107547/29636001
2687.36/2677.92	c cleaning 242999 clauses out of 486006 with flag 68689444/29880002
2717.59/2708.06	c cleaning 243999 clauses out of 488006 with flag 69289270/30125001
2746.93/2737.30	c cleaning 244999 clauses out of 490007 with flag 69881580/30371001
2794.59/2785.00	c cleaning 245996 clauses out of 492007 with flag 70496183/30618000
2813.88/2804.02	c cleaning 246994 clauses out of 494011 with flag 71047401/30866000
2838.80/2828.81	c cleaning 248003 clauses out of 496017 with flag 71600798/31115000
2859.64/2849.51	c cleaning 249005 clauses out of 498014 with flag 72161097/31365000
2882.87/2872.64	c cleaning 249997 clauses out of 500011 with flag 72724296/31616002
2911.24/2900.04	c cleaning 250999 clauses out of 502012 with flag 73294526/31868000
2936.24/2925.01	c cleaning 252002 clauses out of 504013 with flag 73859785/32121000
2965.51/2954.39	c cleaning 253004 clauses out of 506012 with flag 74436271/32375001
2993.60/2982.39	c cleaning 253999 clauses out of 508008 with flag 75011266/32630001
3020.23/3008.92	c cleaning 254997 clauses out of 510008 with flag 75583312/32886000
3048.76/3037.34	c cleaning 255998 clauses out of 512012 with flag 76157405/33143001
3073.50/3061.99	c cleaning 257000 clauses out of 514014 with flag 76734670/33401001
3102.50/3090.88	c cleaning 258002 clauses out of 516014 with flag 77315009/33660001
3131.13/3119.40	c cleaning 258998 clauses out of 518011 with flag 77896631/33920000
3158.36/3146.64	c cleaning 260003 clauses out of 520014 with flag 78479291/34181001
3187.49/3175.78	c cleaning 260999 clauses out of 522011 with flag 79072719/34443001
3215.11/3203.21	c cleaning 262000 clauses out of 524011 with flag 79666523/34706000
3249.22/3237.20	c cleaning 262997 clauses out of 526011 with flag 80257455/34970000
3281.75/3269.77	c cleaning 264002 clauses out of 528015 with flag 80856447/35235001
3309.92/3297.98	c cleaning 265004 clauses out of 530013 with flag 81459882/35501001
3344.06/3332.14	c cleaning 265998 clauses out of 532009 with flag 82076663/35768001
3373.91/3362.00	c cleaning 266997 clauses out of 534010 with flag 82692507/36036000
3407.23/3394.52	c cleaning 267999 clauses out of 536013 with flag 83306654/36305000
3438.77/3426.01	c cleaning 269000 clauses out of 538014 with flag 83956981/36575000
3472.64/3459.76	c cleaning 270002 clauses out of 540014 with flag 84575186/36846000
3503.51/3490.61	c cleaning 271002 clauses out of 542013 with flag 85187727/37118001
3532.08/3519.17	c cleaning 272002 clauses out of 544010 with flag 85798450/37391000
3564.96/3552.04	c cleaning 273006 clauses out of 546011 with flag 86413012/37665003
3597.46/3584.55	c cleaning 273998 clauses out of 548002 with flag 87028300/37940000
3600.06/3587.13	c timeout
3600.06/3587.14	c starts		: 3227
3600.06/3587.15	c conflicts		: 37999948
3600.06/3587.15	c decisions		: 53264386
3600.06/3587.15	c propagations		: 520457336
3600.06/3587.15	c inspects		: 25370848736
3600.06/3587.15	c shortcuts		: 0
3600.06/3587.15	c learnt literals	: 0
3600.06/3587.15	c learnt binary clauses	: 0
3600.06/3587.15	c learnt ternary clauses	: 0
3600.06/3587.15	c learnt constraints	: 37999948
3600.06/3587.15	c ignored constraints	: 0
3600.06/3587.15	c root simplifications	: 0
3600.06/3587.15	c removed literals (reason simplification)	: 50943476
3600.06/3587.15	c reason swapping (by a shorter reason)	: 0
3600.06/3587.15	c Calls to reduceDB	: 271
3600.06/3587.15	c Number of update (reduction) of LBD	: 3010329
3600.06/3587.15	c Imported unit clauses	: 0
3600.06/3587.15	c No decision after first conflict	: false
3600.06/3587.15	c number of reductions to clauses (during analyze)	: 0
3600.06/3587.15	c number of learned constraints concerned by reduction	: 0
3600.06/3587.15	c number of learning phase by resolution	: 0
3600.06/3587.15	c number of learning phase by cutting planes	: 0
3600.06/3587.16	c number of rounding to 1 operations	: 0
3600.06/3587.16	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3587.16	c number of reductions of the coefficients by power 2 	: 0
3600.06/3587.16	c number of right shift for reduction by power 2 	: 0
3600.06/3587.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3587.16	c number of ending skipping 	: 0
3600.06/3587.16	c number of internal skipping 	: 0
3600.06/3587.16	c number of derivation steps 	: 0
3600.06/3587.16	c number of skipped derivation steps 	: 0
3600.06/3587.16	c number of remaining unassigned 	: 0
3600.06/3587.16	c number of remaining assigned 	: 0
3600.06/3587.16	c number of falsified literals weakened from reason	: 0
3600.06/3587.16	c number of falsified literals weakened from conflict	: 0
3600.06/3587.16	c time for arithmetic operations	: 0
3600.06/3587.16	c minimum degree of deleted constraints	: null
3600.06/3587.16	c maximum degree of deleted constraints	: null
3600.06/3587.16	c number of deleted constraints	: 0
3600.06/3587.16	c speed (assignments/second)	: 145100.29217593005
3600.06/3587.16	c non guided choices	: 101
3600.20/3587.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 333952
3600.30/3587.30	s UNKNOWN
3600.30/3587.30	c Total wall clock time (in seconds): 3587.072

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543369-1753226284/watcher-4543369-1753226284 -o /tmp/evaluation-result-4543369-1753226284/solver-4543369-1753226284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158997 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543369-1753226284 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543369-1753226284.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=159637, runsolver pid=159634

[startup+0.100068 s]*
/proc/loadavg: 4.35 4.28 4.21 6/325 159655
/proc/meminfo: memFree=115215484/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=18930384 memory=48792 CPUtime=0.11 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 5924 0 0 0 8 3 0 0 20 0 18 0 238308236 19384713216 12198 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4732596 12198 5299 1 0 547115 0
[pid=159637/tid=159639] ppid=159634 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 4754 0 0 0 4 2 0 0 20 0 18 0 238308238 19384713216 12198 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238308241 19384713216 12198 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=18930384 memory=59593594258114 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238308242 19384713216 12198 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48792 KiB

[startup+0.214265 s]*
/proc/loadavg: 4.35 4.28 4.21 8/325 159655
/proc/meminfo: memFree=115202504/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=18930384 memory=58716 CPUtime=0.33 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 6824 0 0 0 29 4 0 0 20 0 18 0 238308236 19384713216 14679 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4732596 14679 5363 1 0 547837 0
[pid=159637/tid=159639] ppid=159634 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 5292 0 0 0 16 2 0 0 20 0 18 0 238308238 19384713216 14679 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238308241 19384713216 14679 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238308242 19384713216 14679 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58716 KiB

[startup+0.338291 s]*
/proc/loadavg: 4.35 4.28 4.21 9/326 159656
/proc/meminfo: memFree=115153668/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=18996948 memory=62044 CPUtime=0.51 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 7035 0 0 0 47 4 0 0 20 0 19 0 238308236 19452874752 15511 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4749237 15511 5427 1 0 548217 0
[pid=159637/tid=159639] ppid=159634 vsize=18996948 memory=-8888527192701313724 CPUtime=0.24 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 5361 0 0 0 22 2 0 0 20 0 19 0 238308238 19452874752 15511 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238308241 19452874752 15511 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238308242 19452874752 15511 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238308264 19452874752 15511 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62044 KiB

[startup+0.70124 s]
/proc/loadavg: 4.35 4.28 4.21 7/326 159656
/proc/meminfo: memFree=115093048/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=18996948 memory=95664 CPUtime=1.16 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 9119 0 0 0 110 6 0 0 20 0 19 0 238308236 19452874752 23916 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4749237 23916 5459 1 0 549307 0
[pid=159637/tid=159639] ppid=159634 vsize=18996948 memory=26880 CPUtime=0.51 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 5386 0 0 0 48 3 0 0 20 0 19 0 238308238 19452874752 23916 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238308241 19452874752 23916 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238308242 19452874752 23916 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238308264 19452874752 23916 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95664 KiB

[startup+1.50028 s]
/proc/loadavg: 4.35 4.28 4.21 7/327 159657
/proc/meminfo: memFree=114815848/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=170000 CPUtime=2.74 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 19171 0 0 0 264 10 0 0 20 0 20 0 238308236 19521036288 42500 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 42500 5459 1 0 552559 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=10624 CPUtime=1.22 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 5871 0 0 0 116 6 0 0 20 0 20 0 238308238 19521036288 42500 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 42500 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 42500 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 42500 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170000 KiB

[startup+3.1059 s]
/proc/loadavg: 4.35 4.28 4.21 5/328 159658
/proc/meminfo: memFree=113818144/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=496436 CPUtime=5.27 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 21360 0 0 0 507 20 0 0 20 0 20 0 238308236 19521036288 124109 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 124109 5459 1 0 552562 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=10624 CPUtime=2.78 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 6648 0 0 0 262 16 0 0 20 0 20 0 238308238 19521036288 124109 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=-8888527192701313724 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 124109 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 124109 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 124109 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 496436 KiB

[startup+6.30027 s]
/proc/loadavg: 4.32 4.27 4.21 5/304 159687
/proc/meminfo: memFree=115908120/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=1313732 CPUtime=8.65 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 22677 0 0 0 818 47 0 0 20 0 20 0 238308236 19521036288 328433 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 328433 5459 1 0 552563 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=0 CPUtime=5.86 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 7346 0 0 0 544 42 0 0 20 0 20 0 238308238 19521036288 328433 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 328433 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 328433 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=170048 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 328433 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 8.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1313732 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.29 4.21 5/328 159725
/proc/meminfo: memFree=123017024/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=1316724 CPUtime=15.91 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 29815 0 0 0 1531 60 0 0 20 0 20 0 238308236 19521036288 329181 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 329181 5459 1 0 553249 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=170048 CPUtime=12.11 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 8599 0 0 0 1158 53 0 0 20 0 20 0 238308238 19521036288 329181 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 329181 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 329181 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=-8888527192701313724 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 329181 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 15.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316724 KiB

[startup+25.5005 s]
/proc/loadavg: 4.37 4.29 4.21 5/328 159726
/proc/meminfo: memFree=120422044/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=1324136 CPUtime=28.63 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 33113 0 0 0 2781 82 0 0 20 0 20 0 238308236 19521036288 331034 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 331034 5459 1 0 553249 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=10624 CPUtime=24.64 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 10045 0 0 0 2389 75 0 0 20 0 20 0 238308238 19521036288 331034 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=1324136 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 331034 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=1324136 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 331034 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 331034 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 28.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1324136 KiB

[startup+51.1132 s]
/proc/loadavg: 4.30 4.28 4.21 6/327 159726
/proc/meminfo: memFree=116578640/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=1753372 CPUtime=54.24 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 37703 0 0 0 5297 127 0 0 20 0 20 0 238308236 19521036288 438343 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 438343 5491 1 0 659775 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=1751316 CPUtime=49.72 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 11728 0 0 0 4855 117 0 0 20 0 20 0 238308238 19521036288 438343 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0

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

Current children cumulated memory: 2410620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.36 4.36 5/332 159930
/proc/meminfo: memFree=33458312/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=2410620 CPUtime=3354.2 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 108677 0 0 0 332691 2729 0 0 20 0 20 0 238308236 19521036288 602655 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 602655 5523 1 0 617115 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=4764 CPUtime=3294.05 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 45174 0 0 0 326897 2508 0 0 20 0 20 0 238308238 19521036288 602655 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 602655 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=2410620 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1293 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 602655 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 602655 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3354.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2410620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.45 4.40 4.37 5/307 159962
/proc/meminfo: memFree=34305872/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=2416628 CPUtime=3415.08 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 112630 0 0 0 338736 2772 0 0 20 0 20 0 238308236 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 604157 5523 1 0 617117 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=4764 CPUtime=3353.2 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 47243 0 0 0 332773 2547 0 0 20 0 20 0 238308238 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=2410620 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=2416628 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1315 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3415.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2416628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.35 4.35 6/333 160079
/proc/meminfo: memFree=95265212/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=2416628 CPUtime=3475.2 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 112799 0 0 0 344712 2808 0 0 20 0 20 0 238308236 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 604157 5523 1 0 617118 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=4764 CPUtime=3412.41 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 47373 0 0 0 338661 2580 0 0 20 0 20 0 238308238 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=2410620 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=2416628 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1315 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=-8743855690379731644 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3475.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2416628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.33 4.35 6/334 160082
/proc/meminfo: memFree=91276336/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=2416628 CPUtime=3535.25 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 114622 0 0 0 350674 2851 0 0 20 0 20 0 238308236 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 604157 5523 1 0 617118 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=2416628 CPUtime=3471.37 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 48401 0 0 0 344517 2620 0 0 20 0 20 0 238308238 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1315 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=2416628 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3535.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2416628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.30 4.34 5/332 160084
/proc/meminfo: memFree=89846004/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=2416628 CPUtime=3595.26 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 115950 0 0 0 356634 2892 0 0 20 0 20 0 238308236 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 604157 5523 1 0 617118 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=2416628 CPUtime=3530.7 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 49463 0 0 0 350412 2658 0 0 20 0 20 0 238308238 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=26880 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1375 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=2416628 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3595.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2416628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3587.11 s]
/proc/loadavg: 4.16 4.29 4.33 5/309 160095
/proc/meminfo: memFree=92165896/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19063512 memory=2416628 CPUtime=3600.06 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 116136 0 0 0 357108 2898 0 0 20 0 20 0 238308236 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4765878 604157 5523 1 0 617118 0
[pid=159637/tid=159639] ppid=159634 vsize=19063512 memory=5148 CPUtime=3535.49 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) R 159634 159637 158984 0 -1 4194368 49647 0 0 0 350886 2663 0 0 20 0 20 0 238308238 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238308241 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19063512 memory=2416628 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1375 0 0 0 0 0 0 0 20 0 20 0 238308242 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159656] ppid=159634 vsize=19063512 memory=2416628 CPUtime=0 cores=5,7
/proc/159637/task/159656/stat : 159656 (Timer-0) S 159634 159637 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238308264 19521036288 604157 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2416628 KiB

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

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

# cumulated CPU time of all completed processes:  user=3571.32 s, system=29.015 s

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

[startup+3587.21 s]
/proc/loadavg: 4.16 4.29 4.33 5/309 160095
/proc/meminfo: memFree=92165896/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19263204 memory=2417268 CPUtime=3600.2 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 118611 0 0 0 357121 2899 0 0 20 0 21 0 238308236 19725520896 604317 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4815801 604317 5523 1 0 618064 0
[pid=159637/tid=159639] ppid=159634 vsize=19263204 memory=2416628 CPUtime=3535.51 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) S 159634 159637 158984 0 -1 4194368 50123 0 0 0 350888 2663 0 0 20 0 21 0 238308238 19725520896 604317 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19263204 memory=-8888527192701313724 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238308241 19725520896 604317 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19263204 memory=4352 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1375 0 0 0 0 0 0 0 20 0 21 0 238308242 19725520896 604317 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2417268 KiB

[startup+3587.3 s]
/proc/loadavg: 4.16 4.29 4.33 5/309 160095
/proc/meminfo: memFree=92165896/131382112 swapFree=33010160/33010684
[pid=159637] ppid=159634 vsize=19263204 memory=2417396 CPUtime=3600.3 cores=5,7
/proc/159637/stat : 159637 (java) S 159634 159637 158984 0 -1 4194304 118741 0 0 0 357131 2899 0 0 20 0 21 0 238308236 19725520896 604349 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
/proc/159637/statm: 4815801 604349 5523 1 0 618064 0
[pid=159637/tid=159639] ppid=159634 vsize=19263204 memory=5148 CPUtime=3535.51 cores=5,7
/proc/159637/task/159639/stat : 159639 (java) S 159634 159637 158984 0 -1 4194368 50123 0 0 0 350888 2663 0 0 20 0 21 0 238308238 19725520896 604349 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159648] ppid=159634 vsize=19263204 memory=14560 CPUtime=0 cores=5,7
/proc/159637/task/159648/stat : 159648 (Finalizer) S 159634 159637 158984 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238308241 19725520896 604349 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
[pid=159637/tid=159655] ppid=159634 vsize=19263204 memory=2416628 CPUtime=0 cores=5,7
/proc/159637/task/159655/stat : 159655 (Common-Cleaner) S 159634 159637 158984 0 -1 4194368 1375 0 0 0 0 0 0 0 20 0 21 0 238308242 19725520896 604349 18446744073709551615 94553189093376 94553189097072 140727707202368 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94553189104888 94553189105680 94553208057856 140727707208020 140727707208164 140727707208164 140727707213768 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2417396 KiB

Child status: 143

Real time (s): 3587.32
CPU time (s): 3600.33
CPU user time (s): 3571.32
CPU system time (s): 29.015
CPU usage (%): 100.363
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2600416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.32
system time used= 29.015
maximum resident set size= 2600416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24841112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126756
involuntary context switches= 18528


# summary of solver processes directly reported to runsolver:
#   pid: 159637
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3571.32
#   total CPU system time (s): 29.015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0456 second user time and 33.6299 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-23 01:18:05
IDJOB=4543369
IDBENCH=172995
IDSOLVER=3364
FILE ID=nodeC009/4543369-1753226284
RUNJOBID= nodeC009-1753222705-158997
SLURM_JOB_ID= 9687823
Free space on /tmp= 419748 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543369-1753226284/watcher-4543369-1753226284 -o /tmp/evaluation-result-4543369-1753226284/solver-4543369-1753226284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158997 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543369-1753226284 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543369-1753226284.opb

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

MD5SUM BENCH= 3c2aa4644140c0a520c3ebe8e754a206
RANDOM SEED=1293704658

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        115260848 kB
MemAvailable:   125481144 kB
Buffers:            2144 kB
Cached:         10929848 kB
SwapCached:           24 kB
Active:          5538272 kB
Inactive:        9792476 kB
Active(anon):    4420828 kB
Inactive(anon):     4080 kB
Active(file):    1117444 kB
Inactive(file):  9788396 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            190852 kB
Writeback:             0 kB
AnonPages:       4401840 kB
Mapped:           127856 kB
Shmem:             26128 kB
KReclaimable:     307784 kB
Slab:             401468 kB
SReclaimable:     307784 kB
SUnreclaim:        93684 kB
KernelStack:        4960 kB
PageTables:        12224 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   12433996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4206592 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 406152 MiB
End job on nodeC009 at 2025-07-23 02:17:52