Trace number 4516579

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.34 3609.23

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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.11/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.22	c java.vm.version	22.0.1+8-16
0.11/0.22	c java.vm.vendor	Oracle Corporation
0.11/0.22	c sun.arch.data.model	64
0.11/0.22	c java.version		22.0.1
0.11/0.22	c os.name		Linux
0.11/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.22	c os.arch		amd64
0.11/0.22	c Free memory 		2104792832
0.11/0.22	c Max memory 		16282288128
0.11/0.22	c Total memory 		2113929216
0.29/0.23	c Number of processors 	2
0.46/0.34	c Pseudo Boolean Optimization by upper bound
0.46/0.34	c --- Begin Solver configuration ---
0.46/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.46/0.34	c Learn all clauses as in MiniSAT
0.46/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.34	c Expensive reason simplification
0.46/0.34	c Glucose 2.1 dynamic restart strategy
0.46/0.34	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.46/0.34	c timeout=2147483s
0.46/0.34	c DB Simplification allowed=false
0.46/0.34	c Listener: none
0.46/0.34	c --- End Solver configuration ---
0.46/0.34	c solving HOME/instance-4516579-1751240315.opb
0.46/0.34	c reading problem ... 
0.46/0.34	c using VERIPB proof format
0.46/0.35	c  no objective function found
0.81/0.61	c ... done. Wall clock time 0.261s.
0.81/0.61	c declared #vars     4001
0.81/0.61	c #constraints  4000
0.81/0.61	c constraints type 
0.81/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4000
0.81/0.61	c 4000 constraints processed.
3.93/2.11	c cleaning 2498 clauses out of 5003 with flag 35829/5003
5.11/2.74	c cleaning 4249 clauses out of 8502 with flag 85690/11000
6.50/3.50	c cleaning 5611 clauses out of 11253 with flag 161372/18000
7.15/4.16	c cleaning 6794 clauses out of 13642 with flag 234130/26000
7.94/4.99	c cleaning 7895 clauses out of 15848 with flag 321509/35000
8.92/5.88	c cleaning 8958 clauses out of 17954 with flag 416962/45001
9.94/6.86	c cleaning 9975 clauses out of 19996 with flag 520863/56001
10.94/7.85	c cleaning 10973 clauses out of 22020 with flag 624894/68000
12.04/9.00	c cleaning 11997 clauses out of 24048 with flag 752000/81001
13.36/10.23	c cleaning 12976 clauses out of 26050 with flag 890043/95000
14.57/11.49	c cleaning 13998 clauses out of 28075 with flag 1031629/110001
16.07/12.91	c cleaning 14989 clauses out of 30078 with flag 1190815/126002
17.54/14.39	c cleaning 16000 clauses out of 32087 with flag 1348698/143000
19.20/15.96	c cleaning 17003 clauses out of 34087 with flag 1532113/161000
20.80/17.58	c cleaning 17993 clauses out of 36084 with flag 1717504/180000
22.59/19.39	c cleaning 19011 clauses out of 38092 with flag 1922579/200001
24.49/21.29	c cleaning 19951 clauses out of 40083 with flag 2147153/221003
26.69/23.12	c cleaning 21011 clauses out of 42130 with flag 2362035/243001
28.77/25.21	c cleaning 22019 clauses out of 44119 with flag 2613096/266001
30.86/27.35	c cleaning 23037 clauses out of 46101 with flag 2867980/290002
33.24/29.61	c cleaning 23969 clauses out of 48064 with flag 3140256/315002
35.68/32.30	c cleaning 24974 clauses out of 50093 with flag 3434120/341000
38.07/34.76	c cleaning 25997 clauses out of 52121 with flag 3733339/368002
40.55/37.30	c cleaning 27005 clauses out of 54122 with flag 4032167/396000
43.25/39.94	c cleaning 28023 clauses out of 56119 with flag 4363551/425002
45.94/42.69	c cleaning 29048 clauses out of 58095 with flag 4700148/455001
48.84/45.54	c cleaning 29957 clauses out of 60047 with flag 5056827/486001
51.83/48.58	c cleaning 30994 clauses out of 62090 with flag 5444094/518001
54.93/51.65	c cleaning 32010 clauses out of 64095 with flag 5841297/551000
58.02/54.74	c cleaning 32972 clauses out of 66085 with flag 6230756/585000
61.32/58.06	c cleaning 33980 clauses out of 68113 with flag 6633122/620000
64.50/61.27	c cleaning 34994 clauses out of 70133 with flag 7055343/656000
67.90/64.65	c cleaning 36022 clauses out of 72139 with flag 7481381/693000
71.44/68.12	c cleaning 37005 clauses out of 74120 with flag 7928441/731003
74.92/71.62	c cleaning 37976 clauses out of 76112 with flag 8398290/770000
78.61/75.34	c cleaning 38996 clauses out of 78136 with flag 8876859/810000
82.42/79.11	c cleaning 40006 clauses out of 80140 with flag 9361663/851000
86.22/82.93	c cleaning 40989 clauses out of 82134 with flag 9855998/893000
90.11/86.81	c cleaning 42002 clauses out of 84146 with flag 10366045/936001
94.10/90.87	c cleaning 43022 clauses out of 86145 with flag 10887899/980002
99.59/96.37	c cleaning 43998 clauses out of 88124 with flag 11410328/1025003
103.81/100.59	c cleaning 44992 clauses out of 90123 with flag 11950416/1071000
108.31/105.07	c cleaning 46008 clauses out of 92132 with flag 12507532/1118001
112.90/109.61	c cleaning 47013 clauses out of 94123 with flag 13079419/1166000
117.45/114.17	c cleaning 48000 clauses out of 96110 with flag 13657008/1215000
122.33/119.08	c cleaning 48998 clauses out of 98110 with flag 14250465/1265000
127.34/124.07	c cleaning 49987 clauses out of 100113 with flag 14858036/1316001
133.36/129.93	c cleaning 51017 clauses out of 102125 with flag 15481925/1368000
138.51/135.11	c cleaning 51998 clauses out of 104109 with flag 16102187/1421001
144.52/141.14	c cleaning 53015 clauses out of 106111 with flag 16767592/1475001
150.49/147.19	c cleaning 53982 clauses out of 108095 with flag 17433863/1530000
157.05/153.70	c cleaning 55011 clauses out of 110113 with flag 18126639/1586000
162.70/159.35	c cleaning 55960 clauses out of 112102 with flag 18842186/1643000
168.37/164.98	c cleaning 57019 clauses out of 114143 with flag 19542663/1701001
174.41/170.71	c cleaning 57982 clauses out of 116124 with flag 20252264/1760001
180.36/176.67	c cleaning 59012 clauses out of 118142 with flag 20962012/1820001
187.16/183.48	c cleaning 60006 clauses out of 120130 with flag 21700261/1881001
193.37/189.68	c cleaning 61009 clauses out of 122124 with flag 22453937/1943001
199.55/195.89	c cleaning 61998 clauses out of 124115 with flag 23207839/2006001
206.84/203.11	c cleaning 63005 clauses out of 126117 with flag 23976686/2070001
214.56/210.71	c cleaning 64006 clauses out of 128111 with flag 24776403/2135000
221.23/217.37	c cleaning 65043 clauses out of 130105 with flag 25569487/2201000
228.03/224.16	c cleaning 65983 clauses out of 132063 with flag 26411566/2268001
235.38/231.41	c cleaning 66973 clauses out of 134081 with flag 27250311/2336002
242.98/239.03	c cleaning 67992 clauses out of 136106 with flag 28071255/2405000
251.85/247.84	c cleaning 69014 clauses out of 138116 with flag 28909761/2475002
259.98/255.91	c cleaning 69986 clauses out of 140102 with flag 29767758/2546002
268.16/264.07	c cleaning 71014 clauses out of 142115 with flag 30654594/2618001
276.36/272.23	c cleaning 71993 clauses out of 144101 with flag 31540648/2691001
285.43/281.56	c cleaning 72984 clauses out of 146107 with flag 32422555/2765000
294.00/290.05	c cleaning 73986 clauses out of 148124 with flag 33319592/2840001
301.96/297.90	c cleaning 75012 clauses out of 150137 with flag 34240912/2916000
310.03/305.96	c cleaning 76014 clauses out of 152125 with flag 35196617/2993000
318.25/314.31	c cleaning 76995 clauses out of 154112 with flag 36161272/3071001
328.33/324.34	c cleaning 77993 clauses out of 156116 with flag 37145474/3150000
338.17/334.11	c cleaning 79005 clauses out of 158124 with flag 38117151/3230001
346.66/342.83	c cleaning 80007 clauses out of 160118 with flag 39109700/3311000
355.52/351.68	c cleaning 80993 clauses out of 162111 with flag 40138961/3393000
364.29/360.37	c cleaning 82006 clauses out of 164118 with flag 41152106/3476000
375.56/371.71	c cleaning 82996 clauses out of 166114 with flag 42200403/3560002
385.87/381.95	c cleaning 84011 clauses out of 168118 with flag 43248380/3645002
395.43/391.42	c cleaning 84978 clauses out of 170106 with flag 44326922/3731001
405.24/401.22	c cleaning 86024 clauses out of 172127 with flag 45394350/3818000
415.44/411.60	c cleaning 87000 clauses out of 174104 with flag 46472491/3906001
425.40/421.45	c cleaning 88052 clauses out of 176103 with flag 47557546/3995000
435.97/431.91	c cleaning 88974 clauses out of 178051 with flag 48702930/4085000
446.54/442.71	c cleaning 89963 clauses out of 180078 with flag 49836116/4176001
456.49/452.69	c cleaning 91003 clauses out of 182115 with flag 51002807/4268001
468.91/465.41	c cleaning 92057 clauses out of 184113 with flag 52165899/4361002
480.49/476.91	c cleaning 92957 clauses out of 186054 with flag 53344046/4455000
491.33/487.73	c cleaning 94004 clauses out of 188099 with flag 54538912/4550002
504.39/501.18	c cleaning 95000 clauses out of 190094 with flag 55717351/4646001
516.80/513.54	c cleaning 96001 clauses out of 192093 with flag 56949877/4743000
528.56/525.51	c cleaning 96993 clauses out of 194093 with flag 58160583/4841001
541.40/538.21	c cleaning 97991 clauses out of 196102 with flag 59436595/4940003
553.56/550.37	c cleaning 99009 clauses out of 198108 with flag 60693460/5040000
566.50/563.37	c cleaning 100050 clauses out of 200100 with flag 61959715/5141001
578.77/575.68	c cleaning 100976 clauses out of 202049 with flag 63269011/5243000
591.08/588.12	c cleaning 101984 clauses out of 204073 with flag 64543241/5346000
602.89/599.92	c cleaning 102989 clauses out of 206089 with flag 65854207/5450000
614.73/611.60	c cleaning 104005 clauses out of 208101 with flag 67182900/5555001
626.61/623.76	c cleaning 104991 clauses out of 210097 with flag 68528520/5661002
638.75/635.81	c cleaning 105989 clauses out of 212105 with flag 69900850/5768001
652.42/649.71	c cleaning 107009 clauses out of 214115 with flag 71250551/5876000
664.66/661.92	c cleaning 107990 clauses out of 216106 with flag 72649905/5985000
678.10/675.39	c cleaning 109016 clauses out of 218117 with flag 74050243/6095001
692.57/689.95	c cleaning 110003 clauses out of 220100 with flag 75483260/6206000
706.09/703.42	c cleaning 111008 clauses out of 222097 with flag 76901293/6318000
720.99/718.73	c cleaning 111982 clauses out of 224089 with flag 78352984/6431000
735.54/733.28	c cleaning 112994 clauses out of 226107 with flag 79809371/6545000
749.11/746.91	c cleaning 114010 clauses out of 228113 with flag 81269516/6660000
764.35/762.19	c cleaning 115010 clauses out of 230105 with flag 82746747/6776002
780.36/778.49	c cleaning 115983 clauses out of 232093 with flag 84241669/6893000
794.20/792.23	c cleaning 116998 clauses out of 234110 with flag 85742950/7011000
809.97/808.26	c cleaning 118003 clauses out of 236113 with flag 87287491/7130001
825.58/823.87	c cleaning 119003 clauses out of 238109 with flag 88828460/7250000
840.49/838.91	c cleaning 120004 clauses out of 240106 with flag 90351608/7371000
854.98/853.47	c cleaning 121000 clauses out of 242102 with flag 91888459/7493000
872.10/870.55	c cleaning 122004 clauses out of 244102 with flag 93494597/7616000
887.97/886.30	c cleaning 122997 clauses out of 246099 with flag 95072443/7740001
902.90/901.50	c cleaning 123990 clauses out of 248102 with flag 96668899/7865001
918.04/916.55	c cleaning 124999 clauses out of 250111 with flag 98312712/7991000
932.90/931.60	c cleaning 126013 clauses out of 252113 with flag 99937936/8118001
947.99/946.77	c cleaning 126990 clauses out of 254100 with flag 101586199/8246001
964.75/963.89	c cleaning 128012 clauses out of 256110 with flag 103261072/8375001
981.91/981.09	c cleaning 128994 clauses out of 258098 with flag 104946387/8505001
997.14/996.59	c cleaning 130000 clauses out of 260103 with flag 106615105/8636000
1013.34/1012.73	c cleaning 130986 clauses out of 262104 with flag 108281719/8768001
1030.12/1029.74	c cleaning 132013 clauses out of 264117 with flag 110002747/8901000
1046.27/1045.82	c cleaning 133013 clauses out of 266105 with flag 111757534/9035001
1064.26/1064.10	c cleaning 134006 clauses out of 268093 with flag 113523149/9170002
1083.50/1083.56	c cleaning 134981 clauses out of 270087 with flag 115284315/9306002
1101.47/1101.52	c cleaning 136010 clauses out of 272104 with flag 117024607/9443000
1120.89/1121.34	c cleaning 136997 clauses out of 274095 with flag 118826610/9581001
1140.94/1141.39	c cleaning 138003 clauses out of 276099 with flag 120632597/9720002
1160.87/1161.26	c cleaning 138990 clauses out of 278094 with flag 122477258/9860000
1178.79/1179.37	c cleaning 140019 clauses out of 280106 with flag 124325001/10001002
1196.77/1197.30	c cleaning 141036 clauses out of 282085 with flag 126180932/10143000
1215.13/1215.99	c cleaning 141980 clauses out of 284050 with flag 128032681/10286001
1234.03/1235.22	c cleaning 142989 clauses out of 286071 with flag 129897691/10430002
1253.96/1255.09	c cleaning 143991 clauses out of 288080 with flag 131798636/10575000
1272.20/1273.50	c cleaning 145006 clauses out of 290091 with flag 133732611/10721002
1291.57/1293.15	c cleaning 145999 clauses out of 292085 with flag 135679427/10868002
1312.40/1314.10	c cleaning 147004 clauses out of 294084 with flag 137639530/11016000
1332.34/1334.44	c cleaning 147997 clauses out of 296080 with flag 139582641/11165000
1351.75/1353.72	c cleaning 149004 clauses out of 298083 with flag 141558134/11315000
1371.15/1373.46	c cleaning 149993 clauses out of 300080 with flag 143566174/11466001
1390.20/1392.87	c cleaning 151000 clauses out of 302086 with flag 145545160/11618000
1411.21/1413.80	c cleaning 151994 clauses out of 304086 with flag 147573372/11771000
1432.33/1435.32	c cleaning 153006 clauses out of 306095 with flag 149606198/11925003
1454.42/1457.61	c cleaning 153997 clauses out of 308086 with flag 151640359/12080000
1474.97/1478.54	c cleaning 154986 clauses out of 310090 with flag 153702912/12236001
1495.65/1499.19	c cleaning 156004 clauses out of 312104 with flag 155777951/12393001
1517.73/1521.54	c cleaning 157009 clauses out of 314100 with flag 157865316/12551001
1540.53/1544.73	c cleaning 157999 clauses out of 316091 with flag 159956083/12710001
1561.08/1565.21	c cleaning 159001 clauses out of 318091 with flag 162037527/12870000
1583.10/1587.89	c cleaning 159997 clauses out of 320090 with flag 164174071/13031000
1605.41/1610.50	c cleaning 161001 clauses out of 322094 with flag 166330841/13193001
1626.94/1632.46	c cleaning 161994 clauses out of 324092 with flag 168528556/13356000
1648.50/1653.96	c cleaning 162982 clauses out of 326099 with flag 170729629/13520001
1670.59/1676.49	c cleaning 163996 clauses out of 328116 with flag 172940344/13685000
1695.43/1701.71	c cleaning 165008 clauses out of 330120 with flag 175163353/13851000
1718.78/1725.16	c cleaning 166010 clauses out of 332112 with flag 177379646/14018000
1741.36/1747.55	c cleaning 167000 clauses out of 334102 with flag 179606021/14186000
1764.73/1771.22	c cleaning 168015 clauses out of 336104 with flag 181883672/14355002
1788.23/1795.17	c cleaning 168982 clauses out of 338088 with flag 184151104/14525001
1813.19/1820.32	c cleaning 169998 clauses out of 340105 with flag 186447371/14696000
1837.31/1844.47	c cleaning 170997 clauses out of 342107 with flag 188753039/14868000
1863.11/1871.09	c cleaning 171990 clauses out of 344110 with flag 191108309/15041000
1887.64/1895.71	c cleaning 173038 clauses out of 346120 with flag 193436444/15215000
1912.64/1920.81	c cleaning 173990 clauses out of 348082 with flag 195807701/15390000
1937.30/1945.55	c cleaning 175007 clauses out of 350097 with flag 198165555/15566005
1962.48/1970.89	c cleaning 175986 clauses out of 352085 with flag 200547427/15743000
1988.74/1997.14	c cleaning 177012 clauses out of 354100 with flag 202947212/15921001
2015.35/2024.10	c cleaning 177989 clauses out of 356087 with flag 205374963/16100000
2038.89/2047.65	c cleaning 178996 clauses out of 358098 with flag 207743040/16280000
2063.21/2071.95	c cleaning 180008 clauses out of 360103 with flag 210181061/16461001
2088.33/2097.04	c cleaning 180989 clauses out of 362094 with flag 212646065/16643000
2114.41/2123.05	c cleaning 182004 clauses out of 364105 with flag 215135270/16826000
2141.64/2150.47	c cleaning 183011 clauses out of 366102 with flag 217597783/17010001
2167.69/2176.69	c cleaning 184003 clauses out of 368091 with flag 220093010/17195001
2194.30/2203.29	c cleaning 184998 clauses out of 370091 with flag 222630505/17381004
2221.24/2230.27	c cleaning 185991 clauses out of 372090 with flag 225161400/17568001
2247.27/2256.41	c cleaning 186984 clauses out of 374099 with flag 227697194/17756001
2275.37/2284.73	c cleaning 188017 clauses out of 376117 with flag 230270152/17945003
2305.05/2314.46	c cleaning 189023 clauses out of 378097 with flag 232813035/18135000
2332.16/2341.52	c cleaning 189993 clauses out of 380076 with flag 235364155/18326002
2360.95/2370.35	c cleaning 191003 clauses out of 382082 with flag 237964319/18518001
2389.13/2398.33	c cleaning 191988 clauses out of 384079 with flag 240590467/18711001
2415.91/2424.69	c cleaning 193000 clauses out of 386091 with flag 243216505/18905001
2443.77/2452.44	c cleaning 194002 clauses out of 388091 with flag 245888915/19100001
2473.50/2482.18	c cleaning 194994 clauses out of 390090 with flag 248560875/19296002
2501.82/2510.44	c cleaning 195993 clauses out of 392094 with flag 251259885/19493000
2530.84/2539.45	c cleaning 197009 clauses out of 394102 with flag 253989506/19691001
2559.20/2567.87	c cleaning 197999 clauses out of 396092 with flag 256707574/19890000
2589.42/2598.05	c cleaning 199007 clauses out of 398094 with flag 259473338/20090001
2617.78/2626.42	c cleaning 199991 clauses out of 400086 with flag 262264430/20291000
2645.96/2654.62	c cleaning 201002 clauses out of 402096 with flag 265042008/20493001
2675.36/2684.07	c cleaning 201994 clauses out of 404094 with flag 267800811/20696001
2704.97/2713.65	c cleaning 202989 clauses out of 406099 with flag 270632179/20900000
2736.44/2745.17	c cleaning 204000 clauses out of 408112 with flag 273483434/21105002
2767.05/2775.78	c cleaning 205001 clauses out of 410113 with flag 276344924/21311003
2798.04/2806.71	c cleaning 206015 clauses out of 412109 with flag 279201922/21518000
2828.28/2836.98	c cleaning 206991 clauses out of 414094 with flag 282048323/21726000
2858.62/2867.33	c cleaning 207988 clauses out of 416104 with flag 284931269/21935001
2889.54/2898.27	c cleaning 209011 clauses out of 418115 with flag 287822994/22145000
2920.83/2929.59	c cleaning 209992 clauses out of 420105 with flag 290734458/22356001
2950.10/2958.82	c cleaning 211011 clauses out of 422112 with flag 293618723/22568000
2983.96/2992.61	c cleaning 212001 clauses out of 424101 with flag 296573899/22781000
3015.73/3024.55	c cleaning 213002 clauses out of 426101 with flag 299522713/22995001
3048.00/3056.86	c cleaning 214012 clauses out of 428099 with flag 302498842/23210001
3083.27/3093.20	c cleaning 214995 clauses out of 430086 with flag 305503232/23426000
3116.67/3126.50	c cleaning 216003 clauses out of 432091 with flag 308530706/23643000
3151.58/3161.47	c cleaning 217007 clauses out of 434089 with flag 311552720/23861001
3183.38/3193.19	c cleaning 217997 clauses out of 436081 with flag 314591526/24080000
3218.85/3228.61	c cleaning 218996 clauses out of 438084 with flag 317619224/24300000
3253.26/3263.08	c cleaning 219993 clauses out of 440088 with flag 320699465/24521000
3288.33/3298.47	c cleaning 221008 clauses out of 442095 with flag 323771513/24743000
3323.92/3334.18	c cleaning 221986 clauses out of 444087 with flag 326880802/24966000
3357.23/3367.47	c cleaning 223012 clauses out of 446101 with flag 330008383/25190000
3393.08/3403.25	c cleaning 223999 clauses out of 448090 with flag 333142103/25415001
3429.13/3439.12	c cleaning 225004 clauses out of 450092 with flag 336277567/25641002
3465.94/3475.67	c cleaning 225996 clauses out of 452086 with flag 339462460/25868000
3501.38/3510.92	c cleaning 227009 clauses out of 454093 with flag 342668745/26096003
3536.19/3545.14	c cleaning 228016 clauses out of 456082 with flag 345888471/26325001
3571.28/3580.22	c cleaning 228981 clauses out of 458066 with flag 349127693/26555001
3600.05/3609.04	c starts		: 165320
3600.05/3609.04	c timeout
3600.05/3609.05	c conflicts		: 26738779
3600.05/3609.05	c decisions		: 278504930
3600.05/3609.05	c propagations		: 3192010069
3600.05/3609.05	c inspects		: 23666312154
3600.05/3609.05	c shortcuts		: 0
3600.05/3609.05	c learnt literals	: 0
3600.05/3609.05	c learnt binary clauses	: 0
3600.05/3609.05	c learnt ternary clauses	: 0
3600.05/3609.06	c learnt constraints	: 26738779
3600.05/3609.06	c ignored constraints	: 0
3600.05/3609.06	c root simplifications	: 0
3600.05/3609.06	c removed literals (reason simplification)	: 45800271
3600.05/3609.06	c reason swapping (by a shorter reason)	: 0
3600.05/3609.06	c Calls to reduceDB	: 226
3600.05/3609.06	c Number of update (reduction) of LBD	: 9264940
3600.05/3609.06	c Imported unit clauses	: 0
3600.05/3609.06	c No decision after first conflict	: false
3600.05/3609.06	c number of reductions to clauses (during analyze)	: 0
3600.05/3609.06	c number of learned constraints concerned by reduction	: 0
3600.05/3609.06	c number of learning phase by resolution	: 0
3600.05/3609.06	c number of learning phase by cutting planes	: 0
3600.05/3609.06	c number of rounding to 1 operations	: 0
3600.05/3609.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3609.06	c number of reductions of the coefficients by power 2 	: 0
3600.05/3609.06	c number of right shift for reduction by power 2 	: 0
3600.05/3609.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3609.06	c number of ending skipping 	: 0
3600.05/3609.06	c number of internal skipping 	: 0
3600.05/3609.06	c number of derivation steps 	: 0
3600.05/3609.06	c number of skipped derivation steps 	: 0
3600.05/3609.06	c number of remaining unassigned 	: 0
3600.05/3609.06	c number of remaining assigned 	: 0
3600.05/3609.06	c number of falsified literals weakened from reason	: 0
3600.05/3609.06	c number of falsified literals weakened from conflict	: 0
3600.05/3609.06	c time for arithmetic operations	: 0
3600.05/3609.06	c minimum degree of deleted constraints	: null
3600.05/3609.06	c maximum degree of deleted constraints	: null
3600.05/3609.06	c number of deleted constraints	: 0
3600.05/3609.06	c speed (assignments/second)	: 884593.6172559505
3600.05/3609.06	c non guided choices	: 4581739
3600.30/3609.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 412863
3600.30/3609.20	s UNKNOWN
3600.30/3609.20	c Total wall clock time (in seconds): 3608.864

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: 63837 MiB (62104 MiB free)
  memory of node 1: 64465 MiB (63788 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516579-1751240315/watcher-4516579-1751240315 -o /tmp/evaluation-result-4516579-1751240315/solver-4516579-1751240315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751240310-41140 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516579-1751240315 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516579-1751240315.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=41383, runsolver pid=41371

[startup+0.100073 s]*
/proc/loadavg: 1.59 1.19 1.17 7/321 41401
/proc/meminfo: memFree=128859080/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=18930384 memory=50120 CPUtime=0.11 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 5734 0 0 0 8 3 0 0 20 0 18 0 39710672 19384713216 12530 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4732596 12530 5295 1 0 546977 0
[pid=41383/tid=41385] ppid=41371 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 4639 0 0 0 5 2 0 0 20 0 18 0 39710674 19384713216 12530 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39710679 19384713216 12530 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=18930384 memory=58494082638250 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39710681 19384713216 12530 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50120 KiB

[startup+0.213989 s]*
/proc/loadavg: 1.59 1.19 1.17 7/321 41401
/proc/meminfo: memFree=128819080/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=18930384 memory=54876 CPUtime=0.29 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 6398 0 0 0 25 4 0 0 20 0 18 0 39710672 19384713216 13719 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4732596 13719 5327 1 0 547566 0
[pid=41383/tid=41385] ppid=41371 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 4989 0 0 0 16 3 0 0 20 0 18 0 39710674 19384713216 13719 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=18930384 memory=17127 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39710679 19384713216 13719 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39710681 19384713216 13719 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54876 KiB

[startup+0.315793 s]*
/proc/loadavg: 1.59 1.19 1.17 11/321 41401
/proc/meminfo: memFree=128785052/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=18930384 memory=60148 CPUtime=0.46 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 6670 0 0 0 41 5 0 0 20 0 18 0 39710672 19384713216 15037 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4732596 15037 5327 1 0 547785 0
[pid=41383/tid=41385] ppid=41371 vsize=18930384 memory=-6000919502737861483 CPUtime=0.27 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 5173 0 0 0 24 3 0 0 20 0 18 0 39710674 19384713216 15037 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39710679 19384713216 15037 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39710681 19384713216 15037 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60148 KiB

[startup+0.700313 s]
/proc/loadavg: 1.59 1.19 1.17 11/322 41402
/proc/meminfo: memFree=128624868/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=156344 CPUtime=1.15 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 8551 0 0 0 106 9 0 0 20 0 20 0 39710672 19521036288 39086 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 39086 5455 1 0 549620 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=17408 CPUtime=0.6 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 5375 0 0 0 53 7 0 0 20 0 20 0 39710674 19521036288 39086 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 39086 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39710681 19521036288 39086 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 156344 KiB

[startup+1.5003 s]
/proc/loadavg: 1.59 1.19 1.17 7/325 41405
/proc/meminfo: memFree=128359204/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=168200 CPUtime=2.74 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 17323 0 0 0 262 12 0 0 20 0 20 0 39710672 19521036288 42050 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 42050 5455 1 0 552506 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=3328 CPUtime=1.29 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 5834 0 0 0 122 7 0 0 20 0 20 0 39710674 19521036288 42050 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 42050 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 39710681 19521036288 42050 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=14340 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 42050 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168200 KiB

[startup+3.1057 s]
/proc/loadavg: 1.94 1.27 1.19 7/325 41405
/proc/meminfo: memFree=127780116/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=212076 CPUtime=5.9 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 20686 0 0 0 575 15 0 0 20 0 20 0 39710672 19521036288 53019 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 53019 5455 1 0 553028 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=14340 CPUtime=2.83 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 6705 0 0 0 274 9 0 0 20 0 20 0 39710674 19521036288 53019 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 53019 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39710681 19521036288 53019 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 53019 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 212076 KiB

[startup+6.30044 s]
/proc/loadavg: 1.94 1.27 1.19 7/325 41406
/proc/meminfo: memFree=127225096/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=456556 CPUtime=9.43 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 21615 0 0 0 921 22 0 0 20 0 20 0 39710672 19521036288 114139 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 114139 5487 1 0 553120 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=0 CPUtime=6 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 7194 0 0 0 584 16 0 0 20 0 20 0 39710674 19521036288 114139 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 114139 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39710681 19521036288 114139 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=168328 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 114139 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 456556 KiB

[startup+12.7004 s]
/proc/loadavg: 2.11 1.32 1.21 5/325 41406
/proc/meminfo: memFree=125623536/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=1055340 CPUtime=15.86 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 25235 0 0 0 1548 38 0 0 20 0 20 0 39710672 19521036288 263835 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 263835 5487 1 0 553136 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=168328 CPUtime=12.35 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 8797 0 0 0 1204 31 0 0 20 0 20 0 39710674 19521036288 263835 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=836204 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 263835 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39710681 19521036288 263835 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 263835 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 15.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1055340 KiB

[startup+25.5005 s]
/proc/loadavg: 2.61 1.47 1.26 5/325 41406
/proc/meminfo: memFree=123122424/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=1319284 CPUtime=29.07 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 32387 0 0 0 2853 54 0 0 20 0 20 0 39710672 19521036288 329821 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 329821 5487 1 0 553170 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=0 CPUtime=24.95 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 10337 0 0 0 2451 44 0 0 20 0 20 0 39710674 19521036288 329821 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=14340 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 329821 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=1313576 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39710681 19521036288 329821 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=1311400 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 329821 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 29.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1319284 KiB

[startup+51.1133 s]
/proc/loadavg: 3.08 1.67 1.33 5/330 41411
/proc/meminfo: memFree=121290372/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=1321360 CPUtime=54.44 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 35028 0 0 0 5375 69 0 0 20 0 20 0 39710672 19521036288 330340 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 330340 5487 1 0 553170 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=1319284 CPUtime=49.97 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 11461 0 0 0 4939 58 0 0 20 0 20 0 39710674 19521036288 330340 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 330340 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39710681 19521036288 330340 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0

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

[startup+3282.3 s]
/proc/loadavg: 4.43 4.40 4.29 5/333 41594
/proc/meminfo: memFree=50964236/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=7279956 CPUtime=3272.29 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 164687 0 0 0 325126 2103 0 0 20 0 20 0 39710672 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 1819989 5487 1 0 1840908 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=7279956 CPUtime=3206.18 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 94154 0 0 0 318715 1903 0 0 20 0 20 0 39710674 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=7279956 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 2670 0 0 0 0 1 0 0 20 0 20 0 39710681 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=21484 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7279956 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.37 4.28 5/333 41596
/proc/meminfo: memFree=49993024/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=7279956 CPUtime=3332.09 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 166674 0 0 0 331071 2138 0 0 20 0 20 0 39710672 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 1819989 5487 1 0 1840908 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=11264 CPUtime=3265.05 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 95937 0 0 0 324571 1934 0 0 20 0 20 0 39710674 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=7279956 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 2725 0 0 0 0 1 0 0 20 0 20 0 39710681 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=7279956 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7279956 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.33 4.27 5/333 41602
/proc/meminfo: memFree=46988580/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=7279956 CPUtime=3392.19 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 170553 0 0 0 337049 2170 0 0 20 0 20 0 39710672 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 1819989 5487 1 0 1840908 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=1920 CPUtime=3323.94 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 98931 0 0 0 330432 1962 0 0 20 0 20 0 39710674 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=14340 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=7279956 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 2850 0 0 0 0 1 0 0 20 0 20 0 39710681 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3392.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7279956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.30 4.26 5/332 41604
/proc/meminfo: memFree=45987884/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=7279956 CPUtime=3452.24 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 173380 0 0 0 343020 2204 0 0 20 0 20 0 39710672 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 1819989 5487 1 0 1840908 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=1920 CPUtime=3382.9 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 100850 0 0 0 336296 1994 0 0 20 0 20 0 39710674 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=7279956 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=7279956 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 2978 0 0 0 0 1 0 0 20 0 20 0 39710681 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=-6000919502737861483 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 1819989 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7279956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.30 4.27 5/331 41607
/proc/meminfo: memFree=45003924/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=7282064 CPUtime=3512.75 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 176418 0 0 0 349035 2240 0 0 20 0 20 0 39710672 19521036288 1820516 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 1820516 5487 1 0 1840908 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=7279956 CPUtime=3441.49 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 103486 0 0 0 342123 2026 0 0 20 0 20 0 39710674 19521036288 1820516 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 1820516 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=5632 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 2978 0 0 0 0 1 0 0 20 0 20 0 39710681 19521036288 1820516 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=7282064 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 1820516 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7282064 KiB

[startup+3582.3 s]
/proc/loadavg: 3.59 4.11 4.20 4/306 41642
/proc/meminfo: memFree=69342272/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=7305172 CPUtime=3573.38 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 183280 0 0 0 355060 2278 0 0 20 0 20 0 39710672 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 1826293 5487 1 0 1840964 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=5632 CPUtime=3500.09 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 107404 0 0 0 347951 2058 0 0 20 0 20 0 39710674 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=17408 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 3024 0 0 0 0 1 0 0 20 0 20 0 39710681 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7305172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 3.06 3.93 4.14 2/256 41711
/proc/meminfo: memFree=102857400/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19063512 memory=7305172 CPUtime=3600.05 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 184674 0 0 0 357711 2294 0 0 20 0 20 0 39710672 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4765878 1826293 5487 1 0 1840964 0
[pid=41383/tid=41385] ppid=41371 vsize=19063512 memory=-6000919502737861483 CPUtime=3526.3 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) R 41371 41383 35802 0 -1 4194368 107994 0 0 0 350557 2073 0 0 20 0 20 0 39710674 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19063512 memory=-4421386492003183203 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39710679 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19063512 memory=17444 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 3109 0 0 0 0 1 0 0 20 0 20 0 39710681 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41404] ppid=41371 vsize=19063512 memory=46464 CPUtime=0 cores=5,7
/proc/41383/task/41404/stat : 41404 (Timer-0) S 41371 41383 35802 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39710734 19521036288 1826293 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7305172 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.36 s, system=22.9838 s

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

[startup+3609.2 s]
/proc/loadavg: 3.06 3.93 4.14 2/256 41711
/proc/meminfo: memFree=102857400/131382112 swapFree=33010684/33010684
[pid=41383] ppid=41371 vsize=19263204 memory=7306068 CPUtime=3600.3 cores=5,7
/proc/41383/stat : 41383 (java) S 41371 41383 35802 0 -1 4194304 186977 0 0 0 357735 2295 0 0 20 0 21 0 39710672 19725520896 1826517 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
/proc/41383/statm: 4815801 1826517 5519 1 0 1841895 0
[pid=41383/tid=41385] ppid=41371 vsize=19263204 memory=4224 CPUtime=3526.32 cores=5,7
/proc/41383/task/41385/stat : 41385 (java) S 41371 41383 35802 0 -1 4194368 108386 0 0 0 350559 2073 0 0 20 0 21 0 39710674 19725520896 1826517 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41394] ppid=41371 vsize=19263204 memory=1792 CPUtime=0 cores=5,7
/proc/41383/task/41394/stat : 41394 (Finalizer) S 41371 41383 35802 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39710679 19725520896 1826517 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
[pid=41383/tid=41401] ppid=41371 vsize=19263204 memory=1920 CPUtime=0.01 cores=5,7
/proc/41383/task/41401/stat : 41401 (Common-Cleaner) S 41371 41383 35802 0 -1 4194368 3109 0 0 0 0 1 0 0 20 0 21 0 39710681 19725520896 1826517 18446744073709551615 94019365478400 94019365482096 140732489760832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019365489912 94019365490704 94019367886848 140732489767216 140732489767398 140732489767398 140732489773000 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7306068 KiB

Child status: 143

Real time (s): 3609.23
CPU time (s): 3600.34
CPU user time (s): 3577.36
CPU system time (s): 22.9838
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7306068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.36
system time used= 22.9838
maximum resident set size= 7306324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39558472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122013
involuntary context switches= 21787


# summary of solver processes directly reported to runsolver:
#   pid: 41383
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3577.36
#   total CPU system time (s): 22.9838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3467 second user time and 35.2568 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-30 01:38:35
IDJOB=4516579
IDBENCH=175696
IDSOLVER=3364
FILE ID=nodeC007/4516579-1751240315
RUNJOBID= nodeC007-1751240310-41140
SLURM_JOB_ID= 9587709
Free space on /tmp= 433012 MiB

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

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

MD5SUM BENCH= 636acc55c6c302618a0a8d7a37fd8e36
RANDOM SEED=1845850134

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.618
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.173
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.68
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		: 1796.108
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.350
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.68
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		: 3661.830
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.68
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		: 1198.524
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.590
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.68
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.198
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128959604 kB
MemAvailable:   129001816 kB
Buffers:            3280 kB
Cached:           851108 kB
SwapCached:            0 kB
Active:          1271704 kB
Inactive:         605736 kB
Active(anon):    1041052 kB
Inactive(anon):        0 kB
Active(file):     230652 kB
Inactive(file):   605736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             38136 kB
Writeback:             0 kB
AnonPages:       1026200 kB
Mapped:           122300 kB
Shmem:             17960 kB
KReclaimable:      90900 kB
Slab:             173888 kB
SReclaimable:      90900 kB
SUnreclaim:        82988 kB
KernelStack:        4604 kB
PageTables:         5328 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4842820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149944 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    866304 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC007 at 2025-06-30 02:38:45