Trace number 4492012

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.21 3591.24

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUMd2d0eb539d1ad3b17959abe287928b07
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.00188
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4626
Total number of constraints30747
Number of constraints which are clauses29724
Number of constraints which are cardinality constraints (but not clauses)945
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 101
Number of bits of the biggest sum of numbers7
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.11/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.11	c java.vm.version	22.0.1+8-16
0.11/0.11	c java.vm.vendor	Oracle Corporation
0.11/0.11	c sun.arch.data.model	64
0.11/0.11	c java.version		22.0.1
0.11/0.11	c os.name		Linux
0.11/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.11	c os.arch		amd64
0.11/0.11	c Free memory 		2104792832
0.11/0.11	c Max memory 		16282288128
0.11/0.11	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.18	c Pseudo Boolean Optimization by upper bound
0.11/0.18	c --- Begin Solver configuration ---
0.11/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.18	c Learn all clauses as in MiniSAT
0.11/0.18	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.18	c Expensive reason simplification
0.11/0.18	c Glucose 2.1 dynamic restart strategy
0.11/0.18	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.18	c timeout=2147483s
0.11/0.18	c DB Simplification allowed=false
0.11/0.18	c Listener: none
0.11/0.18	c --- End Solver configuration ---
0.11/0.18	c solving HOME/instance-4492012-1751142938.opb
0.11/0.18	c reading problem ... 
0.11/0.18	c  no objective function found
1.22/0.73	c ... done. Wall clock time 0.536s.
1.22/0.73	c declared #vars     4626
1.22/0.73	c #constraints  30921
1.22/0.73	c constraints type 
1.22/0.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 945
1.22/0.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
1.22/0.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29898
1.22/0.73	c 30921 constraints processed.
2.59/1.48	c cleaning 2492 clauses out of 5003 with flag 16932/5003
3.18/1.77	c cleaning 4250 clauses out of 8508 with flag 39215/11000
3.67/2.04	c cleaning 5623 clauses out of 11258 with flag 72798/18000
4.18/2.42	c cleaning 6808 clauses out of 13635 with flag 115818/26000
4.64/2.86	c cleaning 7892 clauses out of 15827 with flag 167239/35000
5.30/3.36	c cleaning 8932 clauses out of 17935 with flag 214491/45000
5.84/3.83	c cleaning 9964 clauses out of 20005 with flag 278054/56002
7.14/5.15	c cleaning 10978 clauses out of 22041 with flag 355570/68002
7.94/5.93	c cleaning 12019 clauses out of 24061 with flag 433782/81000
8.85/6.85	c cleaning 12996 clauses out of 26042 with flag 502135/95000
10.07/8.05	c cleaning 14001 clauses out of 28046 with flag 574934/110000
10.96/8.99	c cleaning 15014 clauses out of 30047 with flag 653741/126002
11.92/9.87	c cleaning 16010 clauses out of 32031 with flag 760307/143000
13.49/11.31	c cleaning 16974 clauses out of 34022 with flag 879537/161001
15.59/13.43	c cleaning 18020 clauses out of 36049 with flag 1016647/180002
16.99/14.83	c cleaning 19000 clauses out of 38027 with flag 1138277/200000
18.81/16.69	c cleaning 19961 clauses out of 40028 with flag 1278377/221001
21.11/18.97	c cleaning 20995 clauses out of 42066 with flag 1447783/243000
23.40/21.25	c cleaning 21998 clauses out of 44071 with flag 1634679/266000
25.73/23.56	c cleaning 23028 clauses out of 46073 with flag 1814010/290000
29.52/27.34	c cleaning 24013 clauses out of 48046 with flag 1970191/315001
32.62/30.46	c cleaning 24928 clauses out of 50035 with flag 2160384/341003
34.40/32.15	c cleaning 26003 clauses out of 52104 with flag 2319965/368000
36.48/34.22	c cleaning 27039 clauses out of 54102 with flag 2492467/396001
39.78/37.56	c cleaning 28011 clauses out of 56062 with flag 2647542/425000
42.94/40.67	c cleaning 29003 clauses out of 58054 with flag 2823340/455003
45.63/43.32	c cleaning 29999 clauses out of 60049 with flag 3019848/486001
48.02/45.77	c cleaning 31006 clauses out of 62049 with flag 3242348/518000
51.27/49.00	c cleaning 32012 clauses out of 64044 with flag 3466082/551001
54.97/52.65	c cleaning 32997 clauses out of 66033 with flag 3667678/585002
60.37/58.03	c cleaning 34007 clauses out of 68037 with flag 3834918/620003
66.00/63.64	c cleaning 35000 clauses out of 70027 with flag 4015184/656000
73.68/71.33	c cleaning 36001 clauses out of 72027 with flag 4222631/693000
80.49/78.11	c cleaning 36994 clauses out of 74026 with flag 4398484/731000
83.13/80.79	c cleaning 37998 clauses out of 76032 with flag 4624622/770000
85.82/83.47	c cleaning 38958 clauses out of 78036 with flag 4835784/810002
90.49/88.06	c cleaning 39975 clauses out of 80076 with flag 5062881/851000
94.76/92.32	c cleaning 41004 clauses out of 82101 with flag 5319698/893000
99.36/96.99	c cleaning 42001 clauses out of 84098 with flag 5589782/936001
104.69/102.27	c cleaning 42999 clauses out of 86096 with flag 5894667/980000
109.69/107.22	c cleaning 44000 clauses out of 88098 with flag 6189540/1025001
114.89/112.42	c cleaning 44994 clauses out of 90098 with flag 6500144/1071001
118.29/115.84	c cleaning 46023 clauses out of 92103 with flag 6779366/1118000
123.00/120.56	c cleaning 47018 clauses out of 94081 with flag 7038109/1166001
129.19/126.78	c cleaning 47990 clauses out of 96062 with flag 7286760/1215000
135.01/132.54	c cleaning 49006 clauses out of 98072 with flag 7558504/1265000
141.60/139.12	c cleaning 50010 clauses out of 100066 with flag 7848769/1316000
148.66/146.14	c cleaning 50999 clauses out of 102057 with flag 8166274/1368001
155.04/152.56	c cleaning 52002 clauses out of 104058 with flag 8499169/1421001
163.29/160.71	c cleaning 52994 clauses out of 106055 with flag 8837770/1475000
168.87/166.30	c cleaning 54002 clauses out of 108063 with flag 9160488/1530002
174.47/171.96	c cleaning 55008 clauses out of 110059 with flag 9484122/1586000
181.30/178.76	c cleaning 56003 clauses out of 112051 with flag 9820626/1643000
188.49/185.94	c cleaning 56998 clauses out of 114049 with flag 10168340/1701001
196.27/193.75	c cleaning 58002 clauses out of 116052 with flag 10476242/1760002
205.56/202.30	c cleaning 59004 clauses out of 118048 with flag 10789093/1820000
218.35/215.19	c cleaning 59992 clauses out of 120044 with flag 11168931/1881000
230.91/227.72	c cleaning 61002 clauses out of 122053 with flag 11528302/1943001
238.14/234.99	c cleaning 61970 clauses out of 124050 with flag 12004345/2006000
243.13/239.99	c cleaning 63016 clauses out of 126080 with flag 12426845/2070000
250.77/247.58	c cleaning 64013 clauses out of 128065 with flag 12859684/2135001
258.65/255.43	c cleaning 64971 clauses out of 130052 with flag 13334134/2201001
268.70/265.47	c cleaning 66028 clauses out of 132080 with flag 13808395/2268000
277.69/274.45	c cleaning 67006 clauses out of 134052 with flag 14301230/2336000
285.84/282.50	c cleaning 67990 clauses out of 136047 with flag 14758351/2405001
291.63/288.36	c cleaning 68999 clauses out of 138058 with flag 15119378/2475002
300.22/296.85	c cleaning 70017 clauses out of 140059 with flag 15452733/2546002
310.41/307.06	c cleaning 71009 clauses out of 142040 with flag 15800714/2618000
321.98/318.65	c cleaning 71999 clauses out of 144031 with flag 16179293/2691000
333.85/330.55	c cleaning 73001 clauses out of 146032 with flag 16599867/2765000
348.43/345.13	c cleaning 73999 clauses out of 148031 with flag 17036588/2840000
363.21/359.89	c cleaning 75003 clauses out of 150032 with flag 17480326/2916000
379.18/375.81	c cleaning 75995 clauses out of 152030 with flag 17967387/2993001
393.25/389.96	c cleaning 76999 clauses out of 154035 with flag 18440157/3071001
407.00/403.68	c cleaning 77995 clauses out of 156035 with flag 18907637/3150000
420.78/417.43	c cleaning 79003 clauses out of 158040 with flag 19385090/3230000
437.84/434.58	c cleaning 80000 clauses out of 160038 with flag 19856977/3311001
458.56/455.27	c cleaning 81001 clauses out of 162037 with flag 20316779/3393000
477.01/473.79	c cleaning 81997 clauses out of 164036 with flag 20792117/3476000
494.68/491.46	c cleaning 83004 clauses out of 166040 with flag 21294801/3560001
516.89/513.04	c cleaning 83988 clauses out of 168035 with flag 21804638/3645000
542.32/538.57	c cleaning 85004 clauses out of 170048 with flag 22241953/3731001
571.65/568.00	c cleaning 86006 clauses out of 172046 with flag 22717447/3818003
592.37/588.63	c cleaning 87003 clauses out of 174037 with flag 23172809/3906000
620.21/616.54	c cleaning 88001 clauses out of 176034 with flag 23725975/3995000
644.46/640.82	c cleaning 89002 clauses out of 178033 with flag 24261275/4085000
652.26/648.53	c cleaning 89953 clauses out of 180032 with flag 24885958/4176001
667.63/663.92	c cleaning 91033 clauses out of 182079 with flag 25367967/4268001
684.50/680.88	c cleaning 92009 clauses out of 184045 with flag 25833088/4361000
698.27/694.62	c cleaning 92996 clauses out of 186036 with flag 26360578/4455000
717.66/713.92	c cleaning 94001 clauses out of 188040 with flag 26897258/4550000
738.42/734.78	c cleaning 95007 clauses out of 190039 with flag 27504693/4646000
766.05/762.46	c cleaning 96010 clauses out of 192033 with flag 28055902/4743001
791.01/787.49	c cleaning 96994 clauses out of 194022 with flag 28590702/4841000
814.30/810.64	c cleaning 97995 clauses out of 196028 with flag 29142344/4940000
826.57/823.00	c cleaning 99009 clauses out of 198035 with flag 29679059/5040002
835.56/832.01	c cleaning 100004 clauses out of 200024 with flag 30289671/5141000
844.18/840.49	c cleaning 100992 clauses out of 202021 with flag 30835161/5243001
858.15/854.43	c cleaning 101999 clauses out of 204029 with flag 31383373/5346001
874.22/870.50	c cleaning 102992 clauses out of 206029 with flag 32089989/5450000
888.80/885.13	c cleaning 103992 clauses out of 208037 with flag 32797089/5555000
897.08/893.30	c cleaning 105007 clauses out of 210049 with flag 33416411/5661004
911.45/907.76	c cleaning 105983 clauses out of 212040 with flag 33985022/5768002
922.98/918.87	c cleaning 107000 clauses out of 214057 with flag 34569343/5876002
934.46/930.34	c cleaning 108015 clauses out of 216055 with flag 35182856/5985000
947.69/943.53	c cleaning 109006 clauses out of 218040 with flag 35855039/6095000
976.83/972.70	c cleaning 110009 clauses out of 220034 with flag 36510157/6206000
988.71/984.61	c cleaning 110992 clauses out of 222026 with flag 37173061/6318001
996.90/992.71	c cleaning 112010 clauses out of 224033 with flag 37801968/6431000
1016.08/1012.00	c cleaning 113001 clauses out of 226023 with flag 38564337/6545000
1031.99/1027.70	c cleaning 113948 clauses out of 228022 with flag 39318021/6660000
1123.77/1119.78	c cleaning 114998 clauses out of 230075 with flag 40192230/6776001
1145.38/1141.21	c cleaning 115988 clauses out of 232077 with flag 41155678/6893001
1155.96/1151.89	c cleaning 117041 clauses out of 234089 with flag 41948328/7011001
1190.97/1186.79	c cleaning 118009 clauses out of 236047 with flag 42543380/7130000
1229.49/1225.33	c cleaning 119009 clauses out of 238038 with flag 43219994/7250000
1269.02/1264.90	c cleaning 120003 clauses out of 240029 with flag 43917979/7371000
1278.04/1273.81	c cleaning 120997 clauses out of 242028 with flag 44590256/7493002
1295.22/1291.05	c cleaning 121989 clauses out of 244032 with flag 45154789/7616003
1306.84/1302.56	c cleaning 123012 clauses out of 246042 with flag 45796311/7740002
1317.24/1312.81	c cleaning 123996 clauses out of 248028 with flag 46572946/7865000
1331.31/1326.91	c cleaning 124999 clauses out of 250033 with flag 47302410/7991001
1347.61/1342.72	c cleaning 125953 clauses out of 252033 with flag 48102380/8118000
1356.87/1351.95	c cleaning 127020 clauses out of 254082 with flag 48893209/8246002
1372.44/1367.51	c cleaning 127971 clauses out of 256060 with flag 49786513/8375000
1384.92/1380.06	c cleaning 129025 clauses out of 258090 with flag 50530080/8505001
1397.52/1392.50	c cleaning 129966 clauses out of 260064 with flag 51455357/8636000
1412.89/1407.98	c cleaning 131044 clauses out of 262099 with flag 52283186/8768001
1439.59/1434.57	c cleaning 132013 clauses out of 264054 with flag 53126243/8901000
1467.33/1462.34	c cleaning 133009 clauses out of 266042 with flag 53981648/9035001
1487.49/1482.55	c cleaning 134008 clauses out of 268032 with flag 54814603/9170000
1499.64/1494.52	c cleaning 135001 clauses out of 270025 with flag 55560735/9306001
1525.88/1520.83	c cleaning 135982 clauses out of 272026 with flag 56480535/9443003
1563.38/1558.30	c cleaning 136995 clauses out of 274043 with flag 57546287/9581002
1591.02/1585.94	c cleaning 138001 clauses out of 276047 with flag 58539055/9720001
1609.44/1604.24	c cleaning 139013 clauses out of 278045 with flag 59467253/9860000
1636.09/1630.91	c cleaning 139997 clauses out of 280032 with flag 60315050/10001000
1679.18/1673.95	c cleaning 141007 clauses out of 282036 with flag 61292696/10143001
1711.64/1705.89	c cleaning 141986 clauses out of 284029 with flag 62254835/10286001
1726.23/1720.38	c cleaning 143000 clauses out of 286043 with flag 63150852/10430001
1738.11/1732.29	c cleaning 144000 clauses out of 288042 with flag 63908129/10575000
1758.98/1753.11	c cleaning 144979 clauses out of 290042 with flag 64743672/10721000
1799.29/1793.48	c cleaning 145995 clauses out of 292063 with flag 65654214/10868000
1815.06/1809.25	c cleaning 146967 clauses out of 294068 with flag 66651913/11016000
1829.31/1823.38	c cleaning 148032 clauses out of 296101 with flag 67477819/11165000
1853.86/1847.98	c cleaning 149019 clauses out of 298069 with flag 68347715/11315000
1872.99/1866.92	c cleaning 150004 clauses out of 300050 with flag 69123285/11466000
1905.62/1899.64	c cleaning 151006 clauses out of 302046 with flag 69908677/11618000
1933.19/1927.04	c cleaning 152006 clauses out of 304041 with flag 70644827/11771001
1963.13/1957.07	c cleaning 153004 clauses out of 306034 with flag 71451678/11925000
1992.63/1986.47	c cleaning 153989 clauses out of 308030 with flag 72279602/12080000
2019.57/2013.49	c cleaning 154998 clauses out of 310041 with flag 73097937/12236000
2048.56/2042.35	c cleaning 156002 clauses out of 312044 with flag 73969800/12393001
2081.00/2074.81	c cleaning 156995 clauses out of 314041 with flag 74832911/12551000
2114.87/2108.69	c cleaning 158008 clauses out of 316046 with flag 75718357/12710000
2152.90/2146.77	c cleaning 159002 clauses out of 318041 with flag 76511528/12870003
2185.64/2178.32	c cleaning 160001 clauses out of 320037 with flag 77341069/13031001
2344.26/2337.15	c cleaning 160968 clauses out of 322035 with flag 78481307/13193000
2361.72/2354.61	c cleaning 161980 clauses out of 324067 with flag 79423018/13356000
2374.48/2367.20	c cleaning 163038 clauses out of 326087 with flag 80298147/13520000
2388.75/2381.54	c cleaning 164010 clauses out of 328050 with flag 81178595/13685001
2401.81/2394.46	c cleaning 164996 clauses out of 330039 with flag 82074240/13851000
2417.88/2410.51	c cleaning 165984 clauses out of 332044 with flag 82946826/14018001
2435.01/2427.52	c cleaning 167012 clauses out of 334060 with flag 84006252/14186001
2476.42/2469.02	c cleaning 168014 clauses out of 336047 with flag 85123210/14355000
2508.54/2501.23	c cleaning 169004 clauses out of 338033 with flag 86301716/14525000
2542.93/2535.53	c cleaning 169993 clauses out of 340030 with flag 87523182/14696001
2563.09/2555.79	c cleaning 170981 clauses out of 342038 with flag 88687287/14868002
2589.66/2582.21	c cleaning 172008 clauses out of 344056 with flag 89681067/15041001
2615.61/2608.28	c cleaning 173007 clauses out of 346047 with flag 90718800/15215000
2641.93/2634.41	c cleaning 174013 clauses out of 348040 with flag 91734836/15390000
2656.06/2648.49	c cleaning 174982 clauses out of 350027 with flag 92705631/15566000
2674.53/2666.92	c cleaning 176004 clauses out of 352045 with flag 93755178/15743000
2703.58/2695.91	c cleaning 177010 clauses out of 354042 with flag 94830327/15921001
2742.72/2735.14	c cleaning 178007 clauses out of 356033 with flag 95822699/16100002
2759.32/2751.67	c cleaning 178957 clauses out of 358024 with flag 97095072/16280000
2781.55/2773.78	c cleaning 180022 clauses out of 360068 with flag 98202879/16461001
2802.58/2793.44	c cleaning 181011 clauses out of 362046 with flag 99406669/16643001
2825.66/2816.40	c cleaning 181992 clauses out of 364034 with flag 100651348/16826000
2945.61/2936.64	c cleaning 182983 clauses out of 366044 with flag 102028459/17010002
2964.48/2955.38	c cleaning 184021 clauses out of 368060 with flag 103056490/17195001
2988.40/2979.14	c cleaning 185002 clauses out of 370040 with flag 104072021/17381002
3031.20/3022.05	c cleaning 185999 clauses out of 372037 with flag 105165857/17568001
3095.63/3086.46	c cleaning 186988 clauses out of 374037 with flag 106690888/17756000
3117.18/3107.88	c cleaning 188018 clauses out of 376051 with flag 107751637/17945002
3146.51/3137.27	c cleaning 189006 clauses out of 378032 with flag 108714369/18135001
3243.92/3234.78	c cleaning 189999 clauses out of 380025 with flag 109731834/18326000
3304.77/3295.58	c cleaning 191002 clauses out of 382026 with flag 110827169/18518000
3382.29/3373.25	c cleaning 191996 clauses out of 384024 with flag 111957247/18711000
3445.08/3436.04	c cleaning 193004 clauses out of 386030 with flag 113045955/18905002
3516.70/3507.87	c cleaning 194006 clauses out of 388024 with flag 114149739/19100000
3570.16/3561.21	c cleaning 194993 clauses out of 390018 with flag 115253012/19296000
3600.00/3591.13	c timeout
3600.00/3591.13	c starts		: 37999
3600.00/3591.13	c conflicts		: 19440428
3600.00/3591.13	c decisions		: 26638210
3600.00/3591.13	c propagations		: 696850502
3600.00/3591.13	c inspects		: 38691023646
3600.00/3591.14	c shortcuts		: 0
3600.00/3591.14	c learnt literals	: 0
3600.00/3591.14	c learnt binary clauses	: 0
3600.00/3591.14	c learnt ternary clauses	: 0
3600.00/3591.14	c learnt constraints	: 19440428
3600.00/3591.14	c ignored constraints	: 0
3600.00/3591.14	c root simplifications	: 0
3600.00/3591.14	c removed literals (reason simplification)	: 37376472
3600.00/3591.14	c reason swapping (by a shorter reason)	: 0
3600.00/3591.14	c Calls to reduceDB	: 192
3600.00/3591.14	c Number of update (reduction) of LBD	: 6860796
3600.00/3591.14	c Imported unit clauses	: 0
3600.00/3591.14	c No decision after first conflict	: false
3600.00/3591.14	c number of reductions to clauses (during analyze)	: 0
3600.00/3591.14	c number of learned constraints concerned by reduction	: 0
3600.00/3591.14	c number of learning phase by resolution	: 0
3600.00/3591.14	c number of learning phase by cutting planes	: 0
3600.00/3591.14	c number of rounding to 1 operations	: 0
3600.00/3591.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3591.14	c number of reductions of the coefficients by power 2 	: 0
3600.00/3591.14	c number of right shift for reduction by power 2 	: 0
3600.00/3591.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3591.14	c number of ending skipping 	: 0
3600.00/3591.14	c number of internal skipping 	: 0
3600.00/3591.14	c number of derivation steps 	: 0
3600.00/3591.14	c number of skipped derivation steps 	: 0
3600.00/3591.14	c number of remaining unassigned 	: 0
3600.00/3591.14	c number of remaining assigned 	: 0
3600.00/3591.14	c number of falsified literals weakened from reason	: 0
3600.00/3591.14	c number of falsified literals weakened from conflict	: 0
3600.00/3591.14	c time for arithmetic operations	: 0
3600.00/3591.14	c minimum degree of deleted constraints	: null
3600.00/3591.14	c maximum degree of deleted constraints	: null
3600.00/3591.14	c number of deleted constraints	: 0
3600.00/3591.14	c speed (assignments/second)	: 194087.69019521557
3600.00/3591.14	c non guided choices	: 642785
3600.17/3591.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 339453
3600.17/3591.21	s UNKNOWN
3600.17/3591.21	c Total wall clock time (in seconds): 3591.033

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492012-1751142938/watcher-4492012-1751142938 -o /tmp/evaluation-result-4492012-1751142938/solver-4492012-1751142938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751142673-14042 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4492012-1751142938.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=15018, runsolver pid=15015
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.47 3.08 2.50 5/326 15036
/proc/meminfo: memFree=129127628/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=18930384 memory=52208 CPUtime=0.11 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 6222 0 0 0 10 1 0 0 20 0 18 0 29973173 19384713216 13052 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4732596 13052 5335 1 0 547343 0
[pid=15018/tid=15020] ppid=15015 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) S 15015 15018 11256 0 -1 4194368 4955 0 0 0 6 1 0 0 20 0 18 0 29973175 19384713216 13052 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29973177 19384713216 13052 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=18930384 memory=58494082626307 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 29973178 19384713216 13052 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52208 KiB

[startup+0.207845 s]*
/proc/loadavg: 4.47 3.08 2.50 7/326 15036
/proc/meminfo: memFree=129126620/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=18930384 memory=61244 CPUtime=0.31 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 6834 0 0 0 29 2 0 0 20 0 18 0 29973173 19384713216 15311 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4732596 15311 5431 1 0 547815 0
[pid=15018/tid=15020] ppid=15015 vsize=18930384 memory=4026532124 CPUtime=0.17 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 5257 0 0 0 16 1 0 0 20 0 18 0 29973175 19384713216 15311 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=18930384 memory=12896 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29973177 19384713216 15311 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 29973178 19384713216 15311 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61244 KiB

[startup+0.312049 s]*
/proc/loadavg: 4.47 3.08 2.50 7/326 15036
/proc/meminfo: memFree=129117672/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=18930384 memory=86448 CPUtime=0.51 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 6998 0 0 0 48 3 0 0 20 0 18 0 29973173 19384713216 21612 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4732596 21612 5431 1 0 547907 0
[pid=15018/tid=15020] ppid=15015 vsize=18930384 memory=-6000919485658851182 CPUtime=0.26 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 5306 0 0 0 24 2 0 0 20 0 18 0 29973175 19384713216 21612 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29973177 19384713216 21612 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 29973178 19384713216 21612 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 86448 KiB

[startup+0.700354 s]
/proc/loadavg: 4.47 3.08 2.50 6/326 15036
/proc/meminfo: memFree=129091332/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=18996948 memory=158836 CPUtime=1.22 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 8647 0 0 0 116 6 0 0 20 0 19 0 29973173 19452874752 39709 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4749237 39709 5463 1 0 549205 0
[pid=15018/tid=15020] ppid=15015 vsize=18996948 memory=17024 CPUtime=0.55 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 5341 0 0 0 52 3 0 0 20 0 19 0 29973175 19452874752 39709 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 29973177 19452874752 39709 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 29973178 19452874752 39709 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158836 KiB

[startup+1.50025 s]
/proc/loadavg: 4.47 3.08 2.50 7/328 15038
/proc/meminfo: memFree=129030212/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=178552 CPUtime=2.79 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 21910 0 0 0 271 8 0 0 20 0 20 0 29973173 19521036288 44638 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 44638 5495 1 0 554161 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=3200 CPUtime=1.23 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 6329 0 0 0 119 4 0 0 20 0 20 0 29973175 19521036288 44638 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 44638 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 44638 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 44638 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178552 KiB

[startup+3.10546 s]
/proc/loadavg: 4.47 3.08 2.50 5/328 15038
/proc/meminfo: memFree=129030480/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=178936 CPUtime=5.01 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 22872 0 0 0 493 8 0 0 20 0 20 0 29973173 19521036288 44734 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 44734 5495 1 0 554187 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=14304 CPUtime=2.81 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 6627 0 0 0 277 4 0 0 20 0 20 0 29973175 19521036288 44734 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 44734 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 44734 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 44734 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178936 KiB

[startup+6.30043 s]
/proc/loadavg: 4.43 3.10 2.50 5/328 15038
/proc/meminfo: memFree=129022320/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=181668 CPUtime=8.35 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 24071 0 0 0 827 8 0 0 20 0 20 0 29973173 19521036288 45417 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 45417 5495 1 0 554187 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=0 CPUtime=5.98 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 6651 0 0 0 594 4 0 0 20 0 20 0 29973175 19521036288 45417 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 45417 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 45417 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=178680 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 45417 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181668 KiB

[startup+12.7004 s]
/proc/loadavg: 4.39 3.11 2.51 5/328 15039
/proc/meminfo: memFree=128973200/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=192040 CPUtime=14.89 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 27975 0 0 0 1479 10 0 0 20 0 20 0 29973173 19521036288 48010 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 48010 5495 1 0 554187 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=178680 CPUtime=12.31 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 7473 0 0 0 1227 4 0 0 20 0 20 0 29973175 19521036288 48010 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=192040 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 48010 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 48010 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 48010 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192040 KiB

[startup+25.5005 s]
/proc/loadavg: 4.31 3.16 2.54 5/328 15039
/proc/meminfo: memFree=128891400/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=276300 CPUtime=27.73 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 30163 0 0 0 2760 13 0 0 20 0 20 0 29973173 19521036288 69075 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 69075 5495 1 0 554187 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=0 CPUtime=24.92 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 8280 0 0 0 2488 4 0 0 20 0 20 0 29973175 19521036288 69075 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 69075 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=276300 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 69075 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=229040 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 69075 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 27.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 276300 KiB

[startup+51.1133 s]
/proc/loadavg: 4.28 3.24 2.58 5/326 15039
/proc/meminfo: memFree=128653104/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=463124 CPUtime=53.49 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 31189 0 0 0 5330 19 0 0 20 0 20 0 29973173 19521036288 115781 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 115781 5495 1 0 554187 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=276300 CPUtime=50.26 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 8476 0 0 0 5022 4 0 0 20 0 20 0 29973175 19521036288 115781 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=28320 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 115781 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 115781 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=192040 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 1.12 1.39 2.10 2/252 15314
/proc/meminfo: memFree=126936096/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3291.6 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 112175 0 0 0 328896 264 0 0 20 0 20 0 29973173 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 869772 5495 1 0 950405 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3262.07 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 51670 0 0 0 326172 35 0 0 20 0 20 0 29973175 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=17024 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 841 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3291.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3479088 KiB

[startup+3342.3 s]
/proc/loadavg: 1.04 1.32 2.03 2/251 15317
/proc/meminfo: memFree=126936296/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3351.46 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 113137 0 0 0 334879 267 0 0 20 0 20 0 29973173 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 869772 5495 1 0 950405 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3321.88 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 52564 0 0 0 332153 35 0 0 20 0 20 0 29973175 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 856 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3351.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3479088 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.29 1.97 2/251 15320
/proc/meminfo: memFree=126936560/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3411.45 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 114074 0 0 0 340875 270 0 0 20 0 20 0 29973173 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 869772 5495 1 0 950405 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3381.56 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 52935 0 0 0 338121 35 0 0 20 0 20 0 29973175 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 913 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3411.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3479088 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.25 1.91 2/251 15322
/proc/meminfo: memFree=126936828/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3471.31 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 114957 0 0 0 346858 273 0 0 20 0 20 0 29973173 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 869772 5495 1 0 950405 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3441.38 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 53769 0 0 0 344102 36 0 0 20 0 20 0 29973175 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=17024 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 913 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3471.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3479088 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.22 1.86 2/251 15324
/proc/meminfo: memFree=126938180/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3531.34 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 116749 0 0 0 352858 276 0 0 20 0 20 0 29973173 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 869772 5495 1 0 950405 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3501 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 54764 0 0 0 350064 36 0 0 20 0 20 0 29973175 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=-6000919485658851182 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 971 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3531.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3479088 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.19 1.81 2/251 15326
/proc/meminfo: memFree=126937192/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3591.21 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 117046 0 0 0 358842 279 0 0 20 0 20 0 29973173 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 869772 5495 1 0 950405 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=12416 CPUtime=3560.82 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 55004 0 0 0 356046 36 0 0 20 0 20 0 29973175 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=17024 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 1022 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3591.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3479088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.11 s]
/proc/loadavg: 1.08 1.18 1.80 2/251 15326
/proc/meminfo: memFree=126937192/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3600 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 117188 0 0 0 359721 279 0 0 20 0 20 0 29973173 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4765878 869772 5495 1 0 950405 0
[pid=15018/tid=15020] ppid=15015 vsize=19063512 memory=3479088 CPUtime=3569.6 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) R 15015 15018 11256 0 -1 4194368 55146 0 0 0 356924 36 0 0 20 0 20 0 29973175 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29973177 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19063512 memory=-6000919485658851182 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 1022 0 0 0 0 0 0 0 20 0 20 0 29973178 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15038] ppid=15015 vsize=19063512 memory=3479088 CPUtime=0 cores=0,2
/proc/15018/task/15038/stat : 15038 (Timer-0) S 15015 15018 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29973247 19521036288 869772 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3479088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.4 s, system=2.81088 s

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

[startup+3591.2 s]
/proc/loadavg: 1.08 1.18 1.80 2/251 15326
/proc/meminfo: memFree=126937192/131382120 swapFree=33010684/33010684
[pid=15018] ppid=15015 vsize=19263204 memory=3479984 CPUtime=3600.17 cores=0,2
/proc/15018/stat : 15018 (java) S 15015 15018 11256 0 -1 4194304 118839 0 0 0 359738 279 0 0 20 0 21 0 29973173 19725520896 869996 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
/proc/15018/statm: 4815801 869996 5495 1 0 951366 0
[pid=15018/tid=15020] ppid=15015 vsize=19263204 memory=14304 CPUtime=3569.62 cores=0,2
/proc/15018/task/15020/stat : 15020 (java) S 15015 15018 11256 0 -1 4194368 55261 0 0 0 356926 36 0 0 20 0 21 0 29973175 19725520896 869996 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15029] ppid=15015 vsize=19263204 memory=-6000919485658851182 CPUtime=0 cores=0,2
/proc/15018/task/15029/stat : 15029 (Finalizer) S 15015 15018 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 29973177 19725520896 869996 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
[pid=15018/tid=15036] ppid=15015 vsize=19263204 memory=5692 CPUtime=0 cores=0,2
/proc/15018/task/15036/stat : 15036 (Common-Cleaner) S 15015 15018 11256 0 -1 4194368 1022 0 0 0 0 0 0 0 20 0 21 0 29973178 19725520896 869996 18446744073709551615 94310977286144 94310977289840 140725520079520 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94310977297656 94310977298448 94310991880192 140725520087425 140725520087526 140725520087526 140725520093128 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3479984 KiB

Child status: 143

Real time (s): 3591.24
CPU time (s): 3600.21
CPU user time (s): 3597.4
CPU system time (s): 2.81088
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3479984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.4
system time used= 2.81088
maximum resident set size= 3480368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118984
page faults= 0
swaps= 0
block input operations= 8
block output operations= 7512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109514
involuntary context switches= 11338


# summary of solver processes directly reported to runsolver:
#   pid: 15018
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3597.4
#   total CPU system time (s): 2.81088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9069 second user time and 37.1424 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-28 22:35:38
IDJOB=4492012
IDBENCH=147756
IDSOLVER=3363
FILE ID=nodeC006/4492012-1751142938
RUNJOBID= nodeC006-1751142673-14042
SLURM_JOB_ID= 9587406
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492012-1751142938/watcher-4492012-1751142938 -o /tmp/evaluation-result-4492012-1751142938/solver-4492012-1751142938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751142673-14042 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4492012-1751142938.opb

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

MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=1717617294

nodeC006 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		: 3491.660
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.32
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		: 3591.479
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.32
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		: 2298.461
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.32
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.460
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.32
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		: 3591.422
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.32
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		: 3591.435
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.32
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.644
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.32
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.055
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129154432 kB
MemAvailable:   128778368 kB
Buffers:            3280 kB
Cached:           414248 kB
SwapCached:            0 kB
Active:          1517780 kB
Inactive:         166500 kB
Active(anon):    1284712 kB
Inactive(anon):        0 kB
Active(file):     233068 kB
Inactive(file):   166500 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1780 kB
Writeback:            24 kB
AnonPages:       1269384 kB
Mapped:           122104 kB
Shmem:             17960 kB
KReclaimable:      83788 kB
Slab:             162224 kB
SReclaimable:      83788 kB
SUnreclaim:        78436 kB
KernelStack:        5008 kB
PageTables:         6208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9289784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1062912 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC006 at 2025-06-28 23:35:30