Trace number 4516578

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 2025-06-06? (TO) 3600.18 3597.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb
MD5SUM636acc55c6c302618a0a8d7a37fd8e36
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.118721
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4001
Total number of constraints4000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)514
Number of constraints which are nor clauses,nor cardinality constraints3486
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4516578-1751239828.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.33/0.24	c ... done. Wall clock time 0.103s.
0.33/0.24	c declared #vars     4001
0.33/0.24	c #constraints  4000
0.33/0.24	c constraints type 
0.33/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4000
0.33/0.24	c 4000 constraints processed.
1.65/0.92	c cleaning 2498 clauses out of 5003 with flag 35829/5003
2.29/1.31	c cleaning 4249 clauses out of 8502 with flag 85690/11000
3.09/1.91	c cleaning 5611 clauses out of 11253 with flag 161372/18000
3.60/2.40	c cleaning 6794 clauses out of 13642 with flag 234130/26000
4.21/3.05	c cleaning 7895 clauses out of 15848 with flag 321509/35000
4.91/3.77	c cleaning 8958 clauses out of 17954 with flag 416962/45001
5.71/4.53	c cleaning 9975 clauses out of 19996 with flag 520863/56001
6.41/5.24	c cleaning 10973 clauses out of 22020 with flag 624894/68000
7.31/6.12	c cleaning 11997 clauses out of 24048 with flag 752000/81001
8.22/7.10	c cleaning 12976 clauses out of 26050 with flag 890043/95000
9.22/8.10	c cleaning 13998 clauses out of 28075 with flag 1031629/110001
10.31/9.16	c cleaning 14989 clauses out of 30078 with flag 1190815/126002
11.43/10.22	c cleaning 16000 clauses out of 32087 with flag 1348698/143000
12.66/11.43	c cleaning 17003 clauses out of 34087 with flag 1532113/161000
13.85/12.61	c cleaning 17993 clauses out of 36084 with flag 1717504/180000
15.15/13.96	c cleaning 19011 clauses out of 38092 with flag 1922579/200001
16.66/15.40	c cleaning 19951 clauses out of 40083 with flag 2147153/221003
17.95/16.76	c cleaning 21011 clauses out of 42130 with flag 2362035/243001
19.55/18.38	c cleaning 22019 clauses out of 44119 with flag 2613096/266001
21.26/20.03	c cleaning 23037 clauses out of 46101 with flag 2867980/290002
22.95/21.79	c cleaning 23969 clauses out of 48064 with flag 3140256/315002
24.84/23.67	c cleaning 24974 clauses out of 50093 with flag 3434120/341000
26.84/25.61	c cleaning 25997 clauses out of 52121 with flag 3733339/368002
28.76/27.52	c cleaning 27005 clauses out of 54122 with flag 4032167/396000
30.75/29.59	c cleaning 28023 clauses out of 56119 with flag 4363551/425002
32.85/31.67	c cleaning 29048 clauses out of 58095 with flag 4700148/455001
35.08/33.89	c cleaning 29957 clauses out of 60047 with flag 5056827/486001
37.39/36.17	c cleaning 30994 clauses out of 62090 with flag 5444094/518001
39.88/38.61	c cleaning 32010 clauses out of 64095 with flag 5841297/551000
42.20/40.98	c cleaning 32972 clauses out of 66085 with flag 6230756/585000
44.59/43.38	c cleaning 33980 clauses out of 68113 with flag 6633122/620000
47.10/45.88	c cleaning 34994 clauses out of 70133 with flag 7055343/656000
49.73/48.46	c cleaning 36022 clauses out of 72139 with flag 7481381/693000
52.43/51.14	c cleaning 37005 clauses out of 74120 with flag 7928441/731003
55.22/53.95	c cleaning 37976 clauses out of 76112 with flag 8398290/770000
58.13/56.84	c cleaning 38996 clauses out of 78136 with flag 8876859/810000
61.03/59.72	c cleaning 40006 clauses out of 80140 with flag 9361663/851000
64.06/62.74	c cleaning 40989 clauses out of 82134 with flag 9855998/893000
67.05/65.79	c cleaning 42002 clauses out of 84146 with flag 10366045/936001
70.29/68.93	c cleaning 43022 clauses out of 86145 with flag 10887899/980002
73.48/72.11	c cleaning 43998 clauses out of 88124 with flag 11410328/1025003
76.81/75.43	c cleaning 44992 clauses out of 90123 with flag 11950416/1071000
80.11/78.74	c cleaning 46008 clauses out of 92132 with flag 12507532/1118001
83.54/82.13	c cleaning 47013 clauses out of 94123 with flag 13079419/1166000
86.93/85.54	c cleaning 48000 clauses out of 96110 with flag 13657008/1215000
90.53/89.13	c cleaning 48998 clauses out of 98110 with flag 14250465/1265000
94.25/92.80	c cleaning 49987 clauses out of 100113 with flag 14858036/1316001
98.04/96.60	c cleaning 51017 clauses out of 102125 with flag 15481925/1368000
101.73/100.37	c cleaning 51998 clauses out of 104109 with flag 16102187/1421001
105.78/104.39	c cleaning 53015 clauses out of 106111 with flag 16767592/1475001
109.87/108.40	c cleaning 53982 clauses out of 108095 with flag 17433863/1530000
113.96/112.55	c cleaning 55011 clauses out of 110113 with flag 18126639/1586000
118.38/116.91	c cleaning 55960 clauses out of 112102 with flag 18842186/1643000
122.48/121.07	c cleaning 57019 clauses out of 114143 with flag 19542663/1701001
126.77/125.33	c cleaning 57982 clauses out of 116124 with flag 20252264/1760001
131.19/129.75	c cleaning 59012 clauses out of 118142 with flag 20962012/1820001
135.68/134.22	c cleaning 60006 clauses out of 120130 with flag 21700261/1881001
140.27/138.80	c cleaning 61009 clauses out of 122124 with flag 22453937/1943001
144.94/143.49	c cleaning 61998 clauses out of 124115 with flag 23207839/2006001
149.73/148.22	c cleaning 63005 clauses out of 126117 with flag 23976686/2070001
154.52/153.05	c cleaning 64006 clauses out of 128111 with flag 24776403/2135000
159.40/157.91	c cleaning 65043 clauses out of 130105 with flag 25569487/2201000
164.67/163.13	c cleaning 65983 clauses out of 132063 with flag 26411566/2268001
169.85/168.37	c cleaning 66973 clauses out of 134081 with flag 27250311/2336002
175.04/173.58	c cleaning 67992 clauses out of 136106 with flag 28071255/2405000
180.32/178.89	c cleaning 69014 clauses out of 138116 with flag 28909761/2475002
185.89/184.32	c cleaning 69986 clauses out of 140102 with flag 29767758/2546002
191.38/189.86	c cleaning 71014 clauses out of 142115 with flag 30654594/2618001
196.97/195.49	c cleaning 71993 clauses out of 144101 with flag 31540648/2691001
202.66/201.14	c cleaning 72984 clauses out of 146107 with flag 32422555/2765000
208.35/206.84	c cleaning 73986 clauses out of 148124 with flag 33319592/2840001
214.13/212.68	c cleaning 75012 clauses out of 150137 with flag 34240912/2916000
220.50/218.92	c cleaning 76014 clauses out of 152125 with flag 35196617/2993000
226.60/225.03	c cleaning 76995 clauses out of 154112 with flag 36161272/3071001
232.98/231.46	c cleaning 77993 clauses out of 156116 with flag 37145474/3150000
239.37/237.85	c cleaning 79005 clauses out of 158124 with flag 38117151/3230001
245.76/244.29	c cleaning 80007 clauses out of 160118 with flag 39109700/3311000
252.85/251.03	c cleaning 80993 clauses out of 162111 with flag 40138961/3393000
259.33/257.59	c cleaning 82006 clauses out of 164118 with flag 41152106/3476000
266.32/264.50	c cleaning 82996 clauses out of 166114 with flag 42200403/3560002
273.20/271.42	c cleaning 84011 clauses out of 168118 with flag 43248380/3645002
280.29/278.54	c cleaning 84978 clauses out of 170106 with flag 44326922/3731001
287.32/285.53	c cleaning 86024 clauses out of 172127 with flag 45394350/3818000
294.30/292.59	c cleaning 87000 clauses out of 174104 with flag 46472491/3906001
301.60/299.84	c cleaning 88052 clauses out of 176103 with flag 47557546/3995000
309.18/307.45	c cleaning 88974 clauses out of 178051 with flag 48702930/4085000
316.76/315.07	c cleaning 89963 clauses out of 180078 with flag 49836116/4176001
324.83/323.00	c cleaning 91003 clauses out of 182115 with flag 51002807/4268001
332.51/330.71	c cleaning 92057 clauses out of 184113 with flag 52165899/4361002
340.39/338.60	c cleaning 92957 clauses out of 186054 with flag 53344046/4455000
348.38/346.64	c cleaning 94004 clauses out of 188099 with flag 54538912/4550002
356.46/354.70	c cleaning 95000 clauses out of 190094 with flag 55717351/4646001
364.85/363.07	c cleaning 96001 clauses out of 192093 with flag 56949877/4743000
373.02/371.29	c cleaning 96993 clauses out of 194093 with flag 58160583/4841001
381.60/379.88	c cleaning 97991 clauses out of 196102 with flag 59436595/4940003
390.29/388.55	c cleaning 99009 clauses out of 198108 with flag 60693460/5040000
398.97/397.20	c cleaning 100050 clauses out of 200100 with flag 61959715/5141001
408.08/406.24	c cleaning 100976 clauses out of 202049 with flag 63269011/5243000
416.66/414.83	c cleaning 101984 clauses out of 204073 with flag 64543241/5346000
425.65/423.82	c cleaning 102989 clauses out of 206089 with flag 65854207/5450000
434.53/432.77	c cleaning 104005 clauses out of 208101 with flag 67182900/5555001
443.99/442.11	c cleaning 104991 clauses out of 210097 with flag 68528520/5661002
453.16/451.34	c cleaning 105989 clauses out of 212105 with flag 69900850/5768001
462.44/460.68	c cleaning 107009 clauses out of 214115 with flag 71250551/5876000
472.03/470.20	c cleaning 107990 clauses out of 216106 with flag 72649905/5985000
481.81/480.05	c cleaning 109016 clauses out of 218117 with flag 74050243/6095001
491.96/490.16	c cleaning 110003 clauses out of 220100 with flag 75483260/6206000
501.84/500.08	c cleaning 111008 clauses out of 222097 with flag 76901293/6318000
512.01/510.21	c cleaning 111982 clauses out of 224089 with flag 78352984/6431000
522.09/520.33	c cleaning 112994 clauses out of 226107 with flag 79809371/6545000
532.27/530.51	c cleaning 114010 clauses out of 228113 with flag 81269516/6660000
542.64/540.95	c cleaning 115010 clauses out of 230105 with flag 82746747/6776002
553.31/551.51	c cleaning 115983 clauses out of 232093 with flag 84241669/6893000
563.80/562.04	c cleaning 116998 clauses out of 234110 with flag 85742950/7011000
574.67/572.92	c cleaning 118003 clauses out of 236113 with flag 87287491/7130001
585.64/583.91	c cleaning 119003 clauses out of 238109 with flag 88828460/7250000
596.52/594.82	c cleaning 120004 clauses out of 240106 with flag 90351608/7371000
607.50/605.83	c cleaning 121000 clauses out of 242102 with flag 91888459/7493000
619.17/617.47	c cleaning 122004 clauses out of 244102 with flag 93494597/7616000
630.24/628.58	c cleaning 122997 clauses out of 246099 with flag 95072443/7740001
641.82/640.18	c cleaning 123990 clauses out of 248102 with flag 96668899/7865001
653.59/651.98	c cleaning 124999 clauses out of 250111 with flag 98312712/7991000
665.46/663.82	c cleaning 126013 clauses out of 252113 with flag 99937936/8118001
677.77/676.01	c cleaning 126990 clauses out of 254100 with flag 101586199/8246001
689.74/688.06	c cleaning 128012 clauses out of 256110 with flag 103261072/8375001
701.91/700.29	c cleaning 128994 clauses out of 258098 with flag 104946387/8505001
714.08/712.45	c cleaning 130000 clauses out of 260103 with flag 106615105/8636000
726.26/724.64	c cleaning 130986 clauses out of 262104 with flag 108281719/8768001
739.13/737.22	c cleaning 132013 clauses out of 264117 with flag 110002747/8901000
751.80/749.95	c cleaning 133013 clauses out of 266105 with flag 111757534/9035001
764.78/762.93	c cleaning 134006 clauses out of 268093 with flag 113523149/9170002
777.55/775.75	c cleaning 134981 clauses out of 270087 with flag 115284315/9306002
790.60/788.76	c cleaning 136010 clauses out of 272104 with flag 117024607/9443000
803.77/801.91	c cleaning 136997 clauses out of 274095 with flag 118826610/9581001
817.15/815.30	c cleaning 138003 clauses out of 276099 with flag 120632597/9720002
830.52/828.73	c cleaning 138990 clauses out of 278094 with flag 122477258/9860000
844.20/842.42	c cleaning 140019 clauses out of 280106 with flag 124325001/10001002
857.87/856.12	c cleaning 141036 clauses out of 282085 with flag 126180932/10143000
871.75/869.90	c cleaning 141980 clauses out of 284050 with flag 128032681/10286001
885.62/883.89	c cleaning 142989 clauses out of 286071 with flag 129897691/10430002
899.79/898.09	c cleaning 143991 clauses out of 288080 with flag 131798636/10575000
914.36/912.68	c cleaning 145006 clauses out of 290091 with flag 133732611/10721002
929.02/927.32	c cleaning 145999 clauses out of 292085 with flag 135679427/10868002
943.89/942.27	c cleaning 147004 clauses out of 294084 with flag 137639530/11016000
958.63/956.91	c cleaning 147997 clauses out of 296080 with flag 139582641/11165000
973.60/971.92	c cleaning 149004 clauses out of 298083 with flag 141558134/11315000
988.57/986.98	c cleaning 149993 clauses out of 300080 with flag 143566174/11466001
1003.65/1002.01	c cleaning 151000 clauses out of 302086 with flag 145545160/11618000
1019.01/1017.48	c cleaning 151994 clauses out of 304086 with flag 147573372/11771000
1034.27/1032.71	c cleaning 153006 clauses out of 306095 with flag 149606198/11925003
1049.84/1048.26	c cleaning 153997 clauses out of 308086 with flag 151640359/12080000
1065.41/1063.87	c cleaning 154986 clauses out of 310090 with flag 153702912/12236001
1081.18/1079.60	c cleaning 156004 clauses out of 312104 with flag 155777951/12393001
1096.65/1095.15	c cleaning 157009 clauses out of 314100 with flag 157865316/12551001
1112.51/1111.07	c cleaning 157999 clauses out of 316091 with flag 159956083/12710001
1128.37/1126.97	c cleaning 159001 clauses out of 318091 with flag 162037527/12870000
1145.01/1143.47	c cleaning 159997 clauses out of 320090 with flag 164174071/13031000
1161.58/1160.04	c cleaning 161001 clauses out of 322094 with flag 166330841/13193001
1178.64/1177.10	c cleaning 161994 clauses out of 324092 with flag 168528556/13356000
1195.70/1194.24	c cleaning 162982 clauses out of 326099 with flag 170729629/13520001
1212.66/1211.22	c cleaning 163996 clauses out of 328116 with flag 172940344/13685000
1229.93/1228.53	c cleaning 165008 clauses out of 330120 with flag 175163353/13851000
1247.28/1245.89	c cleaning 166010 clauses out of 332112 with flag 177379646/14018000
1264.35/1262.91	c cleaning 167000 clauses out of 334102 with flag 179606021/14186000
1282.12/1280.71	c cleaning 168015 clauses out of 336104 with flag 181883672/14355002
1299.48/1298.14	c cleaning 168982 clauses out of 338088 with flag 184151104/14525001
1317.54/1316.28	c cleaning 169998 clauses out of 340105 with flag 186447371/14696000
1336.03/1334.67	c cleaning 170997 clauses out of 342107 with flag 188753039/14868000
1354.69/1353.35	c cleaning 171990 clauses out of 344110 with flag 191108309/15041000
1373.04/1371.76	c cleaning 173038 clauses out of 346120 with flag 193436444/15215000
1391.81/1390.55	c cleaning 173990 clauses out of 348082 with flag 195807701/15390000
1410.71/1409.34	c cleaning 175007 clauses out of 350097 with flag 198165555/15566005
1429.57/1428.29	c cleaning 175986 clauses out of 352085 with flag 200547427/15743000
1448.63/1447.33	c cleaning 177012 clauses out of 354100 with flag 202947212/15921001
1467.79/1466.57	c cleaning 177989 clauses out of 356087 with flag 205374963/16100000
1486.92/1485.35	c cleaning 178996 clauses out of 358098 with flag 207743040/16280000
1506.18/1504.62	c cleaning 180008 clauses out of 360103 with flag 210181061/16461001
1525.74/1524.27	c cleaning 180989 clauses out of 362094 with flag 212646065/16643000
1545.71/1544.18	c cleaning 182004 clauses out of 364105 with flag 215135270/16826000
1565.36/1563.88	c cleaning 183011 clauses out of 366102 with flag 217597783/17010001
1585.42/1583.98	c cleaning 184003 clauses out of 368091 with flag 220093010/17195001
1605.67/1604.22	c cleaning 184998 clauses out of 370091 with flag 222630505/17381004
1625.94/1624.45	c cleaning 185991 clauses out of 372090 with flag 225161400/17568001
1645.90/1644.48	c cleaning 186984 clauses out of 374099 with flag 227697194/17756001
1666.66/1665.23	c cleaning 188017 clauses out of 376117 with flag 230270152/17945003
1686.71/1685.30	c cleaning 189023 clauses out of 378097 with flag 232813035/18135000
1707.73/1706.24	c cleaning 189993 clauses out of 380076 with flag 235364155/18326002
1728.78/1727.31	c cleaning 191003 clauses out of 382082 with flag 237964319/18518001
1749.64/1748.23	c cleaning 191988 clauses out of 384079 with flag 240590467/18711001
1770.59/1769.23	c cleaning 193000 clauses out of 386091 with flag 243216505/18905001
1792.05/1790.77	c cleaning 194002 clauses out of 388091 with flag 245888915/19100001
1813.95/1812.62	c cleaning 194994 clauses out of 390090 with flag 248560875/19296002
1835.61/1834.39	c cleaning 195993 clauses out of 392094 with flag 251259885/19493000
1857.65/1856.43	c cleaning 197009 clauses out of 394102 with flag 253989506/19691001
1879.62/1878.44	c cleaning 197999 clauses out of 396092 with flag 256707574/19890000
1902.61/1901.27	c cleaning 199007 clauses out of 398094 with flag 259473338/20090001
1925.46/1924.14	c cleaning 199991 clauses out of 400086 with flag 262264430/20291000
1948.10/1946.87	c cleaning 201002 clauses out of 402096 with flag 265042008/20493001
1971.10/1969.50	c cleaning 201994 clauses out of 404094 with flag 267800811/20696001
1994.66/1993.10	c cleaning 202989 clauses out of 406099 with flag 270632179/20900000
2018.32/2016.77	c cleaning 204000 clauses out of 408112 with flag 273483434/21105002
2042.27/2040.75	c cleaning 205001 clauses out of 410113 with flag 276344924/21311003
2065.82/2064.32	c cleaning 206015 clauses out of 412109 with flag 279201922/21518000
2089.30/2087.74	c cleaning 206991 clauses out of 414094 with flag 282048323/21726000
2113.05/2111.54	c cleaning 207988 clauses out of 416104 with flag 284931269/21935001
2136.61/2135.18	c cleaning 209011 clauses out of 418115 with flag 287822994/22145000
2160.90/2159.37	c cleaning 209992 clauses out of 420105 with flag 290734458/22356001
2184.35/2182.80	c cleaning 211011 clauses out of 422112 with flag 293618723/22568000
2208.70/2207.23	c cleaning 212001 clauses out of 424101 with flag 296573899/22781000
2233.15/2231.72	c cleaning 213002 clauses out of 426101 with flag 299522713/22995001
2257.74/2256.36	c cleaning 214012 clauses out of 428099 with flag 302498842/23210001
2282.89/2281.59	c cleaning 214995 clauses out of 430086 with flag 305503232/23426000
2308.14/2306.85	c cleaning 216003 clauses out of 432091 with flag 308530706/23643000
2333.83/2332.42	c cleaning 217007 clauses out of 434089 with flag 311552720/23861001
2359.08/2357.74	c cleaning 217997 clauses out of 436081 with flag 314591526/24080000
2384.22/2382.96	c cleaning 218996 clauses out of 438084 with flag 317619224/24300000
2410.68/2409.32	c cleaning 219993 clauses out of 440088 with flag 320699465/24521000
2436.52/2435.23	c cleaning 221008 clauses out of 442095 with flag 323771513/24743000
2462.67/2461.41	c cleaning 221986 clauses out of 444087 with flag 326880802/24966000
2488.96/2487.79	c cleaning 223012 clauses out of 446101 with flag 330008383/25190000
2515.50/2514.38	c cleaning 223999 clauses out of 448090 with flag 333142103/25415001
2542.20/2540.94	c cleaning 225004 clauses out of 450092 with flag 336277567/25641002
2569.24/2568.01	c cleaning 225996 clauses out of 452086 with flag 339462460/25868000
2597.13/2595.46	c cleaning 227009 clauses out of 454093 with flag 342668745/26096003
2624.27/2622.67	c cleaning 228016 clauses out of 456082 with flag 345888471/26325001
2652.05/2650.46	c cleaning 228981 clauses out of 458066 with flag 349127693/26555001
2680.15/2678.44	c cleaning 230005 clauses out of 460085 with flag 352367128/26786001
2707.80/2706.16	c cleaning 231008 clauses out of 462081 with flag 355627294/27018002
2736.32/2734.66	c cleaning 232005 clauses out of 464071 with flag 358925619/27251000
2764.86/2763.21	c cleaning 232999 clauses out of 466066 with flag 362252702/27485000
2793.19/2791.55	c cleaning 234003 clauses out of 468068 with flag 365557462/27720001
2820.83/2819.25	c cleaning 234982 clauses out of 470066 with flag 368849380/27956002
2849.72/2848.00	c cleaning 235985 clauses out of 472082 with flag 372216477/28193000
2878.26/2876.63	c cleaning 237000 clauses out of 474097 with flag 375588400/28431000
2907.40/2905.89	c cleaning 237998 clauses out of 476098 with flag 378982235/28670001
2936.89/2935.35	c cleaning 239010 clauses out of 478100 with flag 382387905/28910001
2966.33/2964.87	c cleaning 240014 clauses out of 480090 with flag 385786152/29151001
2996.00/2994.41	c cleaning 240999 clauses out of 482076 with flag 389206044/29393001
3025.92/3024.40	c cleaning 241986 clauses out of 484076 with flag 392635734/29636000
3055.28/3053.74	c cleaning 242995 clauses out of 486092 with flag 396045729/29880002
3085.12/3083.66	c cleaning 243998 clauses out of 488096 with flag 399527119/30125001
3115.89/3114.11	c cleaning 245001 clauses out of 490097 with flag 403053153/30371000
3146.46/3144.69	c cleaning 246015 clauses out of 492096 with flag 406574036/30618000
3177.81/3175.92	c cleaning 247006 clauses out of 494083 with flag 410111411/30866002
3208.48/3206.56	c cleaning 247983 clauses out of 496075 with flag 413613922/31115000
3239.54/3237.57	c cleaning 249005 clauses out of 498093 with flag 417183494/31365001
3271.00/3268.91	c cleaning 249977 clauses out of 500087 with flag 420744365/31616000
3302.28/3300.15	c cleaning 251002 clauses out of 502111 with flag 424320548/31868001
3333.52/3331.38	c cleaning 252024 clauses out of 504109 with flag 427926655/32121001
3365.43/3362.86	c cleaning 253011 clauses out of 506084 with flag 431599961/32375000
3395.17/3392.66	c cleaning 254005 clauses out of 508074 with flag 435234991/32630001
3425.46/3422.95	c cleaning 255000 clauses out of 510068 with flag 438906890/32886000
3456.13/3453.59	c cleaning 255986 clauses out of 512068 with flag 442587689/33143000
3486.77/3484.26	c cleaning 256992 clauses out of 514082 with flag 446281130/33401000
3517.61/3515.07	c cleaning 258005 clauses out of 516092 with flag 449990663/33660002
3548.46/3545.91	c cleaning 258994 clauses out of 518085 with flag 453725240/33920000
3579.67/3577.14	c cleaning 260006 clauses out of 520091 with flag 457478956/34181000
3600.03/3597.51	c starts		: 212467
3600.03/3597.51	c conflicts		: 34362742
3600.03/3597.51	c decisions		: 348387708
3600.03/3597.51	c propagations		: 4043110156
3600.03/3597.51	c inspects		: 32822776994
3600.03/3597.51	c shortcuts		: 0
3600.03/3597.51	c learnt literals	: 0
3600.03/3597.51	c learnt binary clauses	: 0
3600.03/3597.51	c learnt ternary clauses	: 0
3600.03/3597.51	c learnt constraints	: 34362742
3600.03/3597.51	c ignored constraints	: 0
3600.03/3597.51	c root simplifications	: 0
3600.03/3597.51	c removed literals (reason simplification)	: 61463034
3600.03/3597.51	c reason swapping (by a shorter reason)	: 0
3600.03/3597.51	c Calls to reduceDB	: 257
3600.03/3597.51	c Number of update (reduction) of LBD	: 11812759
3600.03/3597.51	c Imported unit clauses	: 0
3600.03/3597.51	c No decision after first conflict	: false
3600.03/3597.51	c number of reductions to clauses (during analyze)	: 0
3600.03/3597.51	c number of learned constraints concerned by reduction	: 0
3600.03/3597.51	c number of learning phase by resolution	: 0
3600.03/3597.51	c number of learning phase by cutting planes	: 0
3600.03/3597.51	c number of rounding to 1 operations	: 0
3600.03/3597.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3597.51	c number of reductions of the coefficients by power 2 	: 0
3600.03/3597.51	c number of right shift for reduction by power 2 	: 0
3600.03/3597.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3597.51	c number of ending skipping 	: 0
3600.03/3597.51	c number of internal skipping 	: 0
3600.03/3597.52	c number of derivation steps 	: 0
3600.03/3597.52	c number of skipped derivation steps 	: 0
3600.03/3597.52	c number of remaining unassigned 	: 0
3600.03/3597.52	c number of remaining assigned 	: 0
3600.03/3597.52	c number of falsified literals weakened from reason	: 0
3600.03/3597.52	c number of falsified literals weakened from conflict	: 0
3600.03/3597.52	c time for arithmetic operations	: 0
3600.03/3597.52	c minimum degree of deleted constraints	: null
3600.03/3597.52	c maximum degree of deleted constraints	: null
3600.03/3597.52	c number of deleted constraints	: 0
3600.03/3597.52	c speed (assignments/second)	: 1123936.2873640256
3600.03/3597.52	c non guided choices	: 5890306
3600.03/3597.53	c timeout
3600.03/3597.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 441827
3600.03/3597.58	s UNKNOWN
3600.03/3597.58	c Total wall clock time (in seconds): 3597.452

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: 63708 MiB (62434 MiB free)
  memory of node 1: 64465 MiB (61859 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516578-1751239828/watcher-4516578-1751239828 -o /tmp/evaluation-result-4516578-1751239828/solver-4516578-1751239828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31769 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516578-1751239828.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 4.07 4.10 4.13 5/341 33283
/proc/meminfo: memFree=127253040/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=18930384 memory=61576 CPUtime=0.12 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 6507 0 0 0 10 2 0 0 20 0 18 0 39660316 19384713216 15394 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4732596 15394 5366 1 0 547622 0
[pid=33265/tid=33267] ppid=33262 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 5094 0 0 0 6 1 0 0 20 0 18 0 39660317 19384713216 15394 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39660319 19384713216 15394 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39660320 19384713216 15394 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61576 KiB

[startup+0.205883 s]*
/proc/loadavg: 4.07 4.10 4.13 6/341 33283
/proc/meminfo: memFree=127179312/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=18930384 memory=149176 CPUtime=0.33 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 6863 0 0 0 29 4 0 0 20 0 18 0 39660316 19384713216 37294 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4732596 37294 5430 1 0 547889 0
[pid=33265/tid=33267] ppid=33262 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 5312 0 0 0 15 3 0 0 20 0 18 0 39660317 19384713216 37294 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39660319 19384713216 37294 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39660320 19384713216 37294 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 149176 KiB

[startup+0.305831 s]*
/proc/loadavg: 4.07 4.10 4.13 6/343 33285
/proc/meminfo: memFree=127162928/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=158984 CPUtime=0.52 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 8722 0 0 0 48 4 0 0 20 0 20 0 39660316 19521036288 39746 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 39746 5462 1 0 549785 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=-6000919498459736428 CPUtime=0.27 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 5368 0 0 0 24 3 0 0 20 0 20 0 39660317 19521036288 39746 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 39746 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 39746 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 39746 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 158984 KiB

[startup+0.700237 s]
/proc/loadavg: 4.07 4.10 4.13 6/343 33285
/proc/meminfo: memFree=127161164/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=172052 CPUtime=1.28 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 14837 0 0 0 123 5 0 0 20 0 20 0 39660316 19521036288 43013 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 43013 5494 1 0 552946 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=17536 CPUtime=0.64 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 5374 0 0 0 61 3 0 0 20 0 20 0 39660317 19521036288 43013 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 43013 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 43013 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 43013 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172052 KiB

[startup+1.50027 s]
/proc/loadavg: 4.07 4.10 4.13 6/343 33285
/proc/meminfo: memFree=127137284/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=172564 CPUtime=2.58 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 17789 0 0 0 252 6 0 0 20 0 20 0 39660316 19521036288 43141 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 43141 5494 1 0 553019 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=10752 CPUtime=1.42 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 5732 0 0 0 139 3 0 0 20 0 20 0 39660317 19521036288 43141 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 43141 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 43141 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 43141 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172564 KiB

[startup+3.10556 s]
/proc/loadavg: 4.15 4.12 4.14 5/343 33285
/proc/meminfo: memFree=127133260/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=172692 CPUtime=4.31 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 20181 0 0 0 425 6 0 0 20 0 20 0 39660316 19521036288 43173 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 43173 5494 1 0 553021 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=10752 CPUtime=3.01 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 6080 0 0 0 298 3 0 0 20 0 20 0 39660317 19521036288 43173 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=-6000919498459736428 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 43173 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 43173 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 43173 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172692 KiB

[startup+6.30024 s]
/proc/loadavg: 4.15 4.12 4.14 5/343 33285
/proc/meminfo: memFree=127129204/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=171984 CPUtime=7.51 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 22155 0 0 0 745 6 0 0 20 0 20 0 39660316 19521036288 42996 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 42996 5526 1 0 553021 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=0 CPUtime=6.19 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 6290 0 0 0 616 3 0 0 20 0 20 0 39660317 19521036288 42996 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 42996 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 42996 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=172564 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 42996 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 7.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171984 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.14 5/343 33285
/proc/meminfo: memFree=127059580/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=176124 CPUtime=13.95 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 26107 0 0 0 1389 6 0 0 20 0 20 0 39660316 19521036288 44031 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 44031 5526 1 0 553021 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=172564 CPUtime=12.57 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 7129 0 0 0 1254 3 0 0 20 0 20 0 39660317 19521036288 44031 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 44031 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=176124 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 44031 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 44031 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 13.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176124 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.13 5/343 33286
/proc/meminfo: memFree=126969232/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=213104 CPUtime=26.74 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 27276 0 0 0 2666 8 0 0 20 0 20 0 39660316 19521036288 53276 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 53276 5526 1 0 553021 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=10752 CPUtime=25.28 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 7592 0 0 0 2525 3 0 0 20 0 20 0 39660317 19521036288 53276 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=176124 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 53276 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 53276 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 53276 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 26.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 213104 KiB

[startup+51.1056 s]
/proc/loadavg: 4.21 4.13 4.14 5/343 33286
/proc/meminfo: memFree=126719400/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=377440 CPUtime=52.43 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 27582 0 0 0 5230 13 0 0 20 0 20 0 39660316 19521036288 94360 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 94360 5526 1 0 553021 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=377440 CPUtime=50.68 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 7610 0 0 0 5065 3 0 0 20 0 20 0 39660317 19521036288 94360 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=336328 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=123194484/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2192100 CPUtime=3284.38 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 101784 0 0 0 328311 127 0 0 20 0 20 0 39660316 19521036288 548025 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 548025 5526 1 0 561511 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=2192100 CPUtime=3267.5 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 48759 0 0 0 326734 16 0 0 20 0 20 0 39660317 19521036288 548025 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=2192100 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 548025 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=2192100 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 912 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 548025 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 548025 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3284.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2192100 KiB

[startup+3342.3 s]
/proc/loadavg: 3.32 3.88 4.02 4/316 33493
/proc/meminfo: memFree=123174188/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2211544 CPUtime=3344.87 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 107007 0 0 0 334358 129 0 0 20 0 20 0 39660316 19521036288 552886 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 552886 5526 1 0 718175 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=14848 CPUtime=3327.03 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 51413 0 0 0 332686 17 0 0 20 0 20 0 39660317 19521036288 552886 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=2192100 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 552886 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=2192100 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 928 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 552886 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=2207448 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 552886 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3344.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2211544 KiB

[startup+3402.3 s]
/proc/loadavg: 2.59 3.56 3.90 3/290 33528
/proc/meminfo: memFree=124925496/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2605168 CPUtime=3404.89 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 108521 0 0 0 340351 138 0 0 20 0 20 0 39660316 19521036288 651292 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 651292 5526 1 0 718177 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=2192100 CPUtime=3386.74 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 51976 0 0 0 338650 24 0 0 20 0 20 0 39660317 19521036288 651292 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 651292 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 928 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 651292 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=2605168 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 651292 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3404.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605168 KiB

[startup+3462.3 s]
/proc/loadavg: 2.19 3.27 3.78 2/265 33564
/proc/meminfo: memFree=126929040/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2752636 CPUtime=3464.91 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 108642 0 0 0 346349 142 0 0 20 0 20 0 39660316 19521036288 688159 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 688159 5526 1 0 718178 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=2192100 CPUtime=3446.44 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 52023 0 0 0 344619 25 0 0 20 0 20 0 39660317 19521036288 688159 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 688159 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=2752636 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 944 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 688159 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=2752636 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 688159 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3464.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2752636 KiB

[startup+3522.3 s]
/proc/loadavg: 1.52 2.87 3.60 2/265 33566
/proc/meminfo: memFree=126920972/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2760836 CPUtime=3524.89 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 108908 0 0 0 352346 143 0 0 20 0 20 0 39660316 19521036288 690209 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 690209 5526 1 0 718179 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=2752636 CPUtime=3506.24 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 52239 0 0 0 350599 25 0 0 20 0 20 0 39660317 19521036288 690209 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=2309848 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 690209 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=2760836 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 690209 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 690209 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3524.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2760836 KiB

[startup+3582.3 s]
/proc/loadavg: 1.25 2.55 3.44 2/266 33571
/proc/meminfo: memFree=126868988/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2818192 CPUtime=3584.86 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 109809 0 0 0 358340 146 0 0 20 0 20 0 39660316 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 704548 5526 1 0 718179 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=2760836 CPUtime=3566.06 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 52958 0 0 0 356580 26 0 0 20 0 20 0 39660317 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=2818192 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=-6000919498459736428 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3584.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2818192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.5 s]
/proc/loadavg: 1.19 2.47 3.40 2/266 33571
/proc/meminfo: memFree=126870588/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2818192 CPUtime=3600.03 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 110098 0 0 0 359857 146 0 0 20 0 20 0 39660316 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 704548 5526 1 0 718179 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=2760836 CPUtime=3581.23 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 53245 0 0 0 358097 26 0 0 20 0 20 0 39660317 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=2818192 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=2818192 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=2818192 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2818192 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.7 s, system=1.47894 s

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

[startup+3597.5 s]
/proc/loadavg: 1.19 2.47 3.40 2/266 33571
/proc/meminfo: memFree=126870588/131249988 swapFree=33010684/33010684
[pid=33265] ppid=33262 vsize=19063512 memory=2818192 CPUtime=3600.03 cores=0,2
/proc/33265/stat : 33265 (java) S 33262 33265 31759 0 -1 4194304 110098 0 0 0 359857 146 0 0 20 0 20 0 39660316 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
/proc/33265/statm: 4765878 704548 5526 1 0 718179 0
[pid=33265/tid=33267] ppid=33262 vsize=19063512 memory=2760836 CPUtime=3581.23 cores=0,2
/proc/33265/task/33267/stat : 33267 (java) R 33262 33265 31759 0 -1 4194368 53245 0 0 0 358097 26 0 0 20 0 20 0 39660317 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33276] ppid=33262 vsize=19063512 memory=2818192 CPUtime=0 cores=0,2
/proc/33265/task/33276/stat : 33276 (Finalizer) S 33262 33265 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39660319 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33283] ppid=33262 vsize=19063512 memory=2818192 CPUtime=0 cores=0,2
/proc/33265/task/33283/stat : 33283 (Common-Cleaner) S 33262 33265 31759 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 39660320 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
[pid=33265/tid=33285] ppid=33262 vsize=19063512 memory=2818192 CPUtime=0 cores=0,2
/proc/33265/task/33285/stat : 33285 (Timer-0) S 33262 33265 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39660340 19521036288 704548 18446744073709551615 94674431455232 94674431458928 140726243643808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94674431466744 94674431467536 94674432126976 140726243645825 140726243645926 140726243645926 140726243651528 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2818192 KiB

Child status: 143

Real time (s): 3597.6
CPU time (s): 3600.18
CPU user time (s): 3598.7
CPU system time (s): 1.47894
CPU usage (%): 100.072
Max. virtual memory (cumulated for all children) (KiB): 19064184
Max. memory (cumulated for all children) (KiB): 2818192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.7
system time used= 1.47894
maximum resident set size= 2819088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108162
involuntary context switches= 6215


# summary of solver processes directly reported to runsolver:
#   pid: 33265
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.7
#   total CPU system time (s): 1.47894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81488 second user time and 17.3737 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 01:30:28
IDJOB=4516578
IDBENCH=175696
IDSOLVER=3363
FILE ID=nodeC020/4516578-1751239828
RUNJOBID= nodeC020-1751232650-31769
SLURM_JOB_ID= 9587710
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516578-1751239828/watcher-4516578-1751239828 -o /tmp/evaluation-result-4516578-1751239828/solver-4516578-1751239828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31769 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516578-1751239828.opb

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

MD5SUM BENCH= 636acc55c6c302618a0a8d7a37fd8e36
RANDOM SEED=841439475

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127277460 kB
MemAvailable:   127391608 kB
Buffers:            3280 kB
Cached:           920488 kB
SwapCached:            0 kB
Active:          2770588 kB
Inactive:         613184 kB
Active(anon):    2478064 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   613184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1084 kB
Writeback:             0 kB
AnonPages:       2462376 kB
Mapped:           122780 kB
Shmem:             18056 kB
KReclaimable:      95356 kB
Slab:             182544 kB
SReclaimable:      95356 kB
SUnreclaim:        87188 kB
KernelStack:        5212 kB
PageTables:         8532 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7058128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2258944 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433064 MiB
End job on nodeC020 at 2025-06-30 02:30:25