Trace number 4492013

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.19 3593

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4492013-1751142949.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c using VERIPB proof format
0.11/0.14	c  no objective function found
0.69/0.42	c ... done. Wall clock time 0.276s.
0.69/0.42	c declared #vars     4626
0.69/0.42	c #constraints  30921
0.69/0.42	c constraints type 
0.69/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 945
0.69/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
0.69/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29898
0.69/0.42	c 30921 constraints processed.
2.06/1.19	c cleaning 2492 clauses out of 5003 with flag 16932/5003
3.25/1.70	c cleaning 4250 clauses out of 8508 with flag 39215/11000
4.04/2.19	c cleaning 5623 clauses out of 11258 with flag 72798/18000
5.22/2.77	c cleaning 6808 clauses out of 13635 with flag 115818/26000
6.10/3.37	c cleaning 7892 clauses out of 15827 with flag 167239/35000
7.37/4.13	c cleaning 8932 clauses out of 17935 with flag 214491/45000
8.20/4.86	c cleaning 9964 clauses out of 20005 with flag 278054/56002
9.21/5.88	c cleaning 10978 clauses out of 22041 with flag 355570/68002
10.11/6.75	c cleaning 12019 clauses out of 24061 with flag 433782/81000
11.34/7.94	c cleaning 12996 clauses out of 26042 with flag 502135/95000
12.73/9.31	c cleaning 14001 clauses out of 28046 with flag 574934/110000
14.05/10.62	c cleaning 15014 clauses out of 30047 with flag 653741/126002
15.54/11.95	c cleaning 16010 clauses out of 32031 with flag 760307/143000
17.38/13.78	c cleaning 16974 clauses out of 34022 with flag 879537/161001
20.01/16.39	c cleaning 18020 clauses out of 36049 with flag 1016647/180002
21.90/18.27	c cleaning 19000 clauses out of 38027 with flag 1138277/200000
24.36/20.66	c cleaning 19961 clauses out of 40028 with flag 1278377/221001
27.15/23.46	c cleaning 20995 clauses out of 42066 with flag 1447783/243000
30.06/26.31	c cleaning 21998 clauses out of 44071 with flag 1634679/266000
32.76/29.02	c cleaning 23028 clauses out of 46073 with flag 1814010/290000
36.97/33.23	c cleaning 24013 clauses out of 48046 with flag 1970191/315001
40.65/36.93	c cleaning 24928 clauses out of 50035 with flag 2160384/341003
43.00/39.23	c cleaning 26003 clauses out of 52104 with flag 2319965/368000
45.49/41.75	c cleaning 27039 clauses out of 54102 with flag 2492467/396001
49.35/45.50	c cleaning 28011 clauses out of 56062 with flag 2647542/425000
52.86/49.09	c cleaning 29003 clauses out of 58054 with flag 2823340/455003
56.20/52.37	c cleaning 29999 clauses out of 60049 with flag 3019848/486001
59.20/55.37	c cleaning 31006 clauses out of 62049 with flag 3242348/518000
63.16/59.27	c cleaning 32012 clauses out of 64044 with flag 3466082/551001
67.35/63.47	c cleaning 32997 clauses out of 66033 with flag 3667678/585002
73.47/69.70	c cleaning 34007 clauses out of 68037 with flag 3834918/620003
79.32/75.55	c cleaning 35000 clauses out of 70027 with flag 4015184/656000
87.30/83.53	c cleaning 36001 clauses out of 72027 with flag 4222631/693000
94.45/90.67	c cleaning 36994 clauses out of 74026 with flag 4398484/731000
97.84/94.01	c cleaning 37998 clauses out of 76032 with flag 4624622/770000
101.33/97.66	c cleaning 38958 clauses out of 78036 with flag 4835784/810002
105.80/102.08	c cleaning 39975 clauses out of 80076 with flag 5062881/851000
110.79/107.08	c cleaning 41004 clauses out of 82101 with flag 5319698/893000
116.33/112.52	c cleaning 42001 clauses out of 84098 with flag 5589782/936001
122.27/118.48	c cleaning 42999 clauses out of 86096 with flag 5894667/980000
128.02/124.18	c cleaning 44000 clauses out of 88098 with flag 6189540/1025001
133.95/130.25	c cleaning 44994 clauses out of 90098 with flag 6500144/1071001
138.14/134.48	c cleaning 46023 clauses out of 92103 with flag 6779366/1118000
143.58/139.80	c cleaning 47018 clauses out of 94081 with flag 7038109/1166001
150.70/146.90	c cleaning 47990 clauses out of 96062 with flag 7286760/1215000
157.14/153.30	c cleaning 49006 clauses out of 98072 with flag 7558504/1265000
164.25/160.64	c cleaning 50010 clauses out of 100066 with flag 7848769/1316000
171.98/168.37	c cleaning 50999 clauses out of 102057 with flag 8166274/1368001
179.32/175.65	c cleaning 52002 clauses out of 104058 with flag 8499169/1421001
187.54/183.82	c cleaning 52994 clauses out of 106055 with flag 8837770/1475000
193.73/190.10	c cleaning 54002 clauses out of 108063 with flag 9160488/1530002
200.10/196.52	c cleaning 55008 clauses out of 110059 with flag 9484122/1586000
207.63/204.04	c cleaning 56003 clauses out of 112051 with flag 9820626/1643000
215.64/212.09	c cleaning 56998 clauses out of 114049 with flag 10168340/1701001
224.41/220.94	c cleaning 58002 clauses out of 116052 with flag 10476242/1760002
233.83/230.33	c cleaning 59004 clauses out of 118048 with flag 10789093/1820000
247.85/244.37	c cleaning 59992 clauses out of 120044 with flag 11168931/1881000
261.54/258.16	c cleaning 61002 clauses out of 122053 with flag 11528302/1943001
269.99/266.54	c cleaning 61970 clauses out of 124050 with flag 12004345/2006000
276.24/272.74	c cleaning 63016 clauses out of 126080 with flag 12426845/2070000
284.84/281.44	c cleaning 64013 clauses out of 128065 with flag 12859684/2135001
293.98/290.53	c cleaning 64971 clauses out of 130052 with flag 13334134/2201001
304.20/300.73	c cleaning 66028 clauses out of 132080 with flag 13808395/2268000
314.40/311.09	c cleaning 67006 clauses out of 134052 with flag 14301230/2336000
323.88/320.43	c cleaning 67990 clauses out of 136047 with flag 14758351/2405001
331.14/327.68	c cleaning 68999 clauses out of 138058 with flag 15119378/2475002
340.79/337.23	c cleaning 70017 clauses out of 140059 with flag 15452733/2546002
351.96/348.56	c cleaning 71009 clauses out of 142040 with flag 15800714/2618000
364.48/361.08	c cleaning 71999 clauses out of 144031 with flag 16179293/2691000
377.37/374.05	c cleaning 73001 clauses out of 146032 with flag 16599867/2765000
393.15/389.87	c cleaning 73999 clauses out of 148031 with flag 17036588/2840000
408.99/405.79	c cleaning 75003 clauses out of 150032 with flag 17480326/2916000
426.10/422.88	c cleaning 75995 clauses out of 152030 with flag 17967387/2993001
441.53/438.49	c cleaning 76999 clauses out of 154035 with flag 18440157/3071001
456.68/453.55	c cleaning 77995 clauses out of 156035 with flag 18907637/3150000
471.90/468.90	c cleaning 79003 clauses out of 158040 with flag 19385090/3230000
490.45/487.49	c cleaning 80000 clauses out of 160038 with flag 19856977/3311001
511.97/509.11	c cleaning 81001 clauses out of 162037 with flag 20316779/3393000
532.10/529.34	c cleaning 81997 clauses out of 164036 with flag 20792117/3476000
551.43/548.43	c cleaning 83004 clauses out of 166040 with flag 21294801/3560001
573.63/570.76	c cleaning 83988 clauses out of 168035 with flag 21804638/3645000
600.42/597.69	c cleaning 85004 clauses out of 170048 with flag 22241953/3731001
631.12/628.49	c cleaning 86006 clauses out of 172046 with flag 22717447/3818003
653.27/650.64	c cleaning 87003 clauses out of 174037 with flag 23172809/3906000
682.65/682.64	c cleaning 88001 clauses out of 176034 with flag 23725975/3995000
708.65/708.60	c cleaning 89002 clauses out of 178033 with flag 24261275/4085000
717.97/718.00	c cleaning 89953 clauses out of 180032 with flag 24885958/4176001
735.03/734.93	c cleaning 91033 clauses out of 182079 with flag 25367967/4268001
753.80/753.79	c cleaning 92009 clauses out of 184045 with flag 25833088/4361000
769.30/769.22	c cleaning 92996 clauses out of 186036 with flag 26360578/4455000
789.19/789.27	c cleaning 94001 clauses out of 188040 with flag 26897258/4550000
810.95/811.08	c cleaning 95007 clauses out of 190039 with flag 27504693/4646000
840.03/840.16	c cleaning 96010 clauses out of 192033 with flag 28055902/4743001
866.86/867.01	c cleaning 96994 clauses out of 194022 with flag 28590702/4841000
891.63/891.77	c cleaning 97995 clauses out of 196028 with flag 29142344/4940000
905.77/905.98	c cleaning 99009 clauses out of 198035 with flag 29679059/5040002
916.90/916.95	c cleaning 100004 clauses out of 200024 with flag 30289671/5141000
927.00/927.19	c cleaning 100992 clauses out of 202021 with flag 30835161/5243001
942.95/943.06	c cleaning 101999 clauses out of 204029 with flag 31383373/5346001
960.91/961.32	c cleaning 102992 clauses out of 206029 with flag 32089989/5450000
977.33/977.73	c cleaning 103992 clauses out of 208037 with flag 32797089/5555000
987.38/987.81	c cleaning 105007 clauses out of 210049 with flag 33416411/5661004
1003.74/1004.12	c cleaning 105983 clauses out of 212040 with flag 33985022/5768002
1015.53/1015.82	c cleaning 107000 clauses out of 214057 with flag 34569343/5876002
1029.47/1029.54	c cleaning 108015 clauses out of 216055 with flag 35182856/5985000
1044.25/1044.31	c cleaning 109006 clauses out of 218040 with flag 35855039/6095000
1074.88/1075.07	c cleaning 110009 clauses out of 220034 with flag 36510157/6206000
1089.24/1089.34	c cleaning 110992 clauses out of 222026 with flag 37173061/6318001
1099.57/1099.51	c cleaning 112010 clauses out of 224033 with flag 37801968/6431000
1120.55/1120.62	c cleaning 113001 clauses out of 226023 with flag 38564337/6545000
1137.25/1137.23	c cleaning 113948 clauses out of 228022 with flag 39318021/6660000
1226.82/1227.00	c cleaning 114998 clauses out of 230075 with flag 40192230/6776001
1248.60/1248.68	c cleaning 115988 clauses out of 232077 with flag 41155678/6893001
1262.11/1262.08	c cleaning 117041 clauses out of 234089 with flag 41948328/7011001
1298.21/1298.24	c cleaning 118009 clauses out of 236047 with flag 42543380/7130000
1338.00/1338.02	c cleaning 119009 clauses out of 238038 with flag 43219994/7250000
1379.34/1379.42	c cleaning 120003 clauses out of 240029 with flag 43917979/7371000
1390.83/1390.84	c cleaning 120997 clauses out of 242028 with flag 44590256/7493002
1409.78/1409.73	c cleaning 121989 clauses out of 244032 with flag 45154789/7616003
1423.53/1423.46	c cleaning 123012 clauses out of 246042 with flag 45796311/7740002
1436.86/1436.33	c cleaning 123996 clauses out of 248028 with flag 46572946/7865000
1453.08/1452.68	c cleaning 124999 clauses out of 250033 with flag 47302410/7991001
1469.98/1469.42	c cleaning 125953 clauses out of 252033 with flag 48102380/8118000
1481.85/1481.33	c cleaning 127020 clauses out of 254082 with flag 48893209/8246002
1499.51/1499.00	c cleaning 127971 clauses out of 256060 with flag 49786513/8375000
1515.22/1514.63	c cleaning 129025 clauses out of 258090 with flag 50530080/8505001
1529.87/1528.87	c cleaning 129966 clauses out of 260064 with flag 51455357/8636000
1548.38/1547.33	c cleaning 131044 clauses out of 262099 with flag 52283186/8768001
1576.00/1575.06	c cleaning 132013 clauses out of 264054 with flag 53126243/8901000
1606.42/1605.43	c cleaning 133009 clauses out of 266042 with flag 53981648/9035001
1630.01/1628.56	c cleaning 134008 clauses out of 268032 with flag 54814603/9170000
1644.49/1643.05	c cleaning 135001 clauses out of 270025 with flag 55560735/9306001
1673.42/1672.07	c cleaning 135982 clauses out of 272026 with flag 56480535/9443003
1713.13/1711.74	c cleaning 136995 clauses out of 274043 with flag 57546287/9581002
1744.07/1742.22	c cleaning 138001 clauses out of 276047 with flag 58539055/9720001
1764.17/1762.39	c cleaning 139013 clauses out of 278045 with flag 59467253/9860000
1793.41/1791.65	c cleaning 139997 clauses out of 280032 with flag 60315050/10001000
1838.14/1836.32	c cleaning 141007 clauses out of 282036 with flag 61292696/10143001
1871.99/1870.16	c cleaning 141986 clauses out of 284029 with flag 62254835/10286001
1889.55/1887.29	c cleaning 143000 clauses out of 286043 with flag 63150852/10430001
1904.47/1902.08	c cleaning 144000 clauses out of 288042 with flag 63908129/10575000
1928.33/1925.94	c cleaning 144979 clauses out of 290042 with flag 64743672/10721000
1970.48/1968.10	c cleaning 145995 clauses out of 292063 with flag 65654214/10868000
1989.61/1986.86	c cleaning 146967 clauses out of 294068 with flag 66651913/11016000
2005.47/2002.70	c cleaning 148032 clauses out of 296101 with flag 67477819/11165000
2033.26/2030.41	c cleaning 149019 clauses out of 298069 with flag 68347715/11315000
2054.54/2051.77	c cleaning 150004 clauses out of 300050 with flag 69123285/11466000
2089.67/2086.96	c cleaning 151006 clauses out of 302046 with flag 69908677/11618000
2119.91/2116.82	c cleaning 152006 clauses out of 304041 with flag 70644827/11771001
2152.81/2149.74	c cleaning 153004 clauses out of 306034 with flag 71451678/11925000
2184.69/2181.69	c cleaning 153989 clauses out of 308030 with flag 72279602/12080000
2214.65/2211.60	c cleaning 154998 clauses out of 310041 with flag 73097937/12236000
2246.70/2243.38	c cleaning 156002 clauses out of 312044 with flag 73969800/12393001
2281.90/2278.65	c cleaning 156995 clauses out of 314041 with flag 74832911/12551000
2317.30/2314.04	c cleaning 158008 clauses out of 316046 with flag 75718357/12710000
2357.96/2354.76	c cleaning 159002 clauses out of 318041 with flag 76511528/12870003
2393.03/2389.25	c cleaning 160001 clauses out of 320037 with flag 77341069/13031001
2549.89/2546.41	c cleaning 160968 clauses out of 322035 with flag 78481307/13193000
2573.06/2569.49	c cleaning 161980 clauses out of 324067 with flag 79423018/13356000
2590.21/2586.22	c cleaning 163038 clauses out of 326087 with flag 80298147/13520000
2609.23/2605.21	c cleaning 164010 clauses out of 328050 with flag 81178595/13685001
2626.50/2622.41	c cleaning 164996 clauses out of 330039 with flag 82074240/13851000
2647.74/2643.20	c cleaning 165984 clauses out of 332044 with flag 82946826/14018001
2669.51/2665.08	c cleaning 167012 clauses out of 334060 with flag 84006252/14186001
2721.41/2717.06	c cleaning 168014 clauses out of 336047 with flag 85123210/14355000
2761.82/2757.46	c cleaning 169004 clauses out of 338033 with flag 86301716/14525000
2805.12/2800.21	c cleaning 169993 clauses out of 340030 with flag 87523182/14696001
2831.28/2826.34	c cleaning 170981 clauses out of 342038 with flag 88687287/14868002
2864.64/2859.78	c cleaning 172008 clauses out of 344056 with flag 89681067/15041001
2898.33/2893.38	c cleaning 173007 clauses out of 346047 with flag 90718800/15215000
2932.19/2926.82	c cleaning 174013 clauses out of 348040 with flag 91734836/15390000
2951.07/2945.61	c cleaning 174982 clauses out of 350027 with flag 92705631/15566000
2975.91/2970.00	c cleaning 176004 clauses out of 352045 with flag 93755178/15743000
3011.04/3005.15	c cleaning 177010 clauses out of 354042 with flag 94830327/15921001
3060.91/3055.08	c cleaning 178007 clauses out of 356033 with flag 95822699/16100002
3083.43/3076.91	c cleaning 178957 clauses out of 358024 with flag 97095072/16280000
3113.07/3106.00	c cleaning 180022 clauses out of 360068 with flag 98202879/16461001
3138.58/3131.31	c cleaning 181011 clauses out of 362046 with flag 99406669/16643001
3169.03/3161.39	c cleaning 181992 clauses out of 364034 with flag 100651348/16826000
3327.06/3319.06	c cleaning 182983 clauses out of 366044 with flag 102028459/17010002
3349.62/3341.48	c cleaning 184021 clauses out of 368060 with flag 103056490/17195001
3378.16/3369.64	c cleaning 185002 clauses out of 370040 with flag 104072021/17381002
3426.09/3417.56	c cleaning 185999 clauses out of 372037 with flag 105165857/17568001
3496.79/3487.82	c cleaning 186988 clauses out of 374037 with flag 106690888/17756000
3522.67/3515.33	c cleaning 188018 clauses out of 376051 with flag 107751637/17945002
3557.45/3550.23	c cleaning 189006 clauses out of 378032 with flag 108714369/18135001
3600.04/3592.91	c starts		: 37999
3600.04/3592.91	c timeout
3600.04/3592.92	c conflicts		: 18240647
3600.04/3592.92	c decisions		: 25299850
3600.04/3592.92	c propagations		: 662400556
3600.04/3592.92	c inspects		: 33964072129
3600.04/3592.92	c shortcuts		: 0
3600.04/3592.92	c learnt literals	: 0
3600.04/3592.92	c learnt binary clauses	: 0
3600.04/3592.92	c learnt ternary clauses	: 0
3600.04/3592.92	c learnt constraints	: 18240647
3600.04/3592.92	c ignored constraints	: 0
3600.04/3592.92	c root simplifications	: 0
3600.04/3592.92	c removed literals (reason simplification)	: 35854119
3600.04/3592.92	c reason swapping (by a shorter reason)	: 0
3600.04/3592.92	c Calls to reduceDB	: 186
3600.04/3592.92	c Number of update (reduction) of LBD	: 6500672
3600.04/3592.92	c Imported unit clauses	: 0
3600.04/3592.92	c No decision after first conflict	: false
3600.04/3592.92	c number of reductions to clauses (during analyze)	: 0
3600.04/3592.92	c number of learned constraints concerned by reduction	: 0
3600.04/3592.92	c number of learning phase by resolution	: 0
3600.04/3592.92	c number of learning phase by cutting planes	: 0
3600.04/3592.92	c number of rounding to 1 operations	: 0
3600.04/3592.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3592.92	c number of reductions of the coefficients by power 2 	: 0
3600.04/3592.92	c number of right shift for reduction by power 2 	: 0
3600.04/3592.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3592.92	c number of ending skipping 	: 0
3600.04/3592.92	c number of internal skipping 	: 0
3600.04/3592.92	c number of derivation steps 	: 0
3600.04/3592.92	c number of skipped derivation steps 	: 0
3600.04/3592.92	c number of remaining unassigned 	: 0
3600.04/3592.92	c number of remaining assigned 	: 0
3600.04/3592.92	c number of falsified literals weakened from reason	: 0
3600.04/3592.92	c number of falsified literals weakened from conflict	: 0
3600.04/3592.92	c time for arithmetic operations	: 0
3600.04/3592.92	c minimum degree of deleted constraints	: null
3600.04/3592.92	c maximum degree of deleted constraints	: null
3600.04/3592.92	c number of deleted constraints	: 0
3600.04/3592.93	c speed (assignments/second)	: 184384.1344043415
3600.04/3592.93	c non guided choices	: 637743
3600.04/3592.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 294672
3600.04/3592.99	s UNKNOWN
3600.04/3592.99	c Total wall clock time (in seconds): 3592.847

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60568 MiB free)
  memory of node 1: 64465 MiB (62845 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492013-1751142949/watcher-4492013-1751142949 -o /tmp/evaluation-result-4492013-1751142949/solver-4492013-1751142949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751142696-13002 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4492013-1751142949 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4492013-1751142949.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=13991, runsolver pid=13988

[startup+0.10006 s]*
/proc/loadavg: 4.00 2.85 2.31 6/341 14009
/proc/meminfo: memFree=126360380/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=18930384 memory=53264 CPUtime=0.11 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 6479 0 0 0 9 2 0 0 20 0 18 0 29972497 19384713216 13316 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4732596 13316 5331 1 0 547568 0
[pid=13991/tid=13993] ppid=13988 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 4994 0 0 0 6 1 0 0 20 0 18 0 29972499 19384713216 13316 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29972501 19384713216 13316 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 29972501 19384713216 13316 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53264 KiB

[startup+0.205828 s]*
/proc/loadavg: 4.00 2.85 2.31 7/341 14009
/proc/meminfo: memFree=126359624/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=18930384 memory=78428 CPUtime=0.3 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 7037 0 0 0 27 3 0 0 20 0 18 0 29972497 19384713216 19607 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4732596 19607 5427 1 0 547949 0
[pid=13991/tid=13993] ppid=13988 vsize=18930384 memory=4026532124 CPUtime=0.17 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 5304 0 0 0 15 2 0 0 20 0 18 0 29972499 19384713216 19607 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=18930384 memory=17146 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29972501 19384713216 19607 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=18930384 memory=54087446168546 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 29972501 19384713216 19607 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 78428 KiB

[startup+0.305812 s]*
/proc/loadavg: 4.00 2.85 2.31 6/341 14009
/proc/meminfo: memFree=126352000/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=18930384 memory=117328 CPUtime=0.49 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 8533 0 0 0 45 4 0 0 20 0 18 0 29972497 19384713216 29332 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4732596 29332 5427 1 0 548908 0
[pid=13991/tid=13993] ppid=13988 vsize=18930384 memory=-6000919472655919470 CPUtime=0.25 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 5327 0 0 0 22 3 0 0 20 0 18 0 29972499 19384713216 29332 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29972501 19384713216 29844 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 29972501 19384713216 29844 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 117328 KiB

[startup+0.700198 s]
/proc/loadavg: 4.00 2.85 2.31 7/343 14011
/proc/meminfo: memFree=126302156/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=175248 CPUtime=1.26 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 14207 0 0 0 120 6 0 0 20 0 20 0 29972497 19521036288 43812 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 43812 5459 1 0 553395 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=17408 CPUtime=0.59 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 5410 0 0 0 56 3 0 0 20 0 20 0 29972499 19521036288 43812 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 43812 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 43812 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 43812 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175248 KiB

[startup+1.5002 s]
/proc/loadavg: 4.00 2.85 2.31 6/343 14012
/proc/meminfo: memFree=126282692/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=180936 CPUtime=2.85 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 21042 0 0 0 276 9 0 0 20 0 20 0 29972497 19521036288 45234 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 45234 5491 1 0 553516 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=0 CPUtime=1.34 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 6579 0 0 0 130 4 0 0 20 0 20 0 29972499 19521036288 45234 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 45234 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 45234 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 45234 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180936 KiB

[startup+3.10564 s]
/proc/loadavg: 4.00 2.85 2.31 5/343 14012
/proc/meminfo: memFree=126184696/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=290872 CPUtime=5.81 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 23664 0 0 0 570 11 0 0 20 0 20 0 29972497 19521036288 72718 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 72718 5491 1 0 553680 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=10752 CPUtime=2.88 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 7218 0 0 0 282 6 0 0 20 0 20 0 29972499 19521036288 72718 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=-6000919472655919470 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 72718 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 72718 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 72718 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 290872 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 2.89 2.33 5/343 14012
/proc/meminfo: memFree=125552476/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=837408 CPUtime=9.71 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 24401 0 0 0 947 24 0 0 20 0 20 0 29972497 19521036288 209352 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 209352 5523 1 0 553685 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=0 CPUtime=6.04 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 7749 0 0 0 585 19 0 0 20 0 20 0 29972499 19521036288 209352 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 209352 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 209352 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=180936 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 209352 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 837408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 2.91 2.34 5/343 14012
/proc/meminfo: memFree=125174092/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=1171936 CPUtime=16.38 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 26709 0 0 0 1602 36 0 0 20 0 20 0 29972497 19521036288 292984 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 292984 5523 1 0 554059 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=180936 CPUtime=12.35 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 8284 0 0 0 1207 28 0 0 20 0 20 0 29972499 19521036288 292984 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 292984 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=1144916 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 292984 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 292984 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 16.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1171936 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 2.94 2.36 5/343 14012
/proc/meminfo: memFree=124286948/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=1633576 CPUtime=29.27 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 30059 0 0 0 2872 55 0 0 20 0 20 0 29972497 19521036288 408394 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 408394 5523 1 0 660585 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=-6000919472655919470 CPUtime=24.96 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 9631 0 0 0 2451 45 0 0 20 0 20 0 29972499 19521036288 408394 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 408394 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 408394 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 408394 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 29.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1633576 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 3.06 2.41 5/344 14013
/proc/meminfo: memFree=123387512/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=1807892 CPUtime=55.02 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 34222 0 0 0 5430 72 0 0 20 0 20 0 29972497 19521036288 451973 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 451973 5523 1 0 660586 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=1781224 CPUtime=50.26 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 11792 0 0 0 4968 58 0 0 20 0 20 0 29972499 19521036288 451973 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=1752496 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 451973 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0

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

/proc/meminfo: memFree=113622936/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2235320 CPUtime=3289.81 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 136883 0 0 0 327736 1245 0 0 20 0 20 0 29972497 19521036288 558830 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 558830 5523 1 0 571646 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=2234168 CPUtime=3239.89 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 63667 0 0 0 322852 1137 0 0 20 0 20 0 29972499 19521036288 558830 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=2234168 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 558830 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1319 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 558830 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 558830 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3289.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2235320 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.14 2.34 3/292 14273
/proc/meminfo: memFree=113448064/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3350.52 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 139968 0 0 0 333789 1263 0 0 20 0 20 0 29972497 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 559182 5523 1 0 571646 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3299.35 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 64953 0 0 0 328782 1153 0 0 20 0 20 0 29972499 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1430 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=-6000919472655919470 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3350.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2236728 KiB

[startup+3402.3 s]
/proc/loadavg: 1.71 2.03 2.29 2/267 14308
/proc/meminfo: memFree=116260236/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3410.81 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 141387 0 0 0 339798 1283 0 0 20 0 20 0 29972497 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 559182 5523 1 0 571646 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=0 CPUtime=3358.66 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 64995 0 0 0 334695 1171 0 0 20 0 20 0 29972499 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1458 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=-4421386491902781286 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3410.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2236728 KiB

[startup+3462.3 s]
/proc/loadavg: 1.32 1.86 2.21 2/267 14310
/proc/meminfo: memFree=116229152/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3471.35 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 141577 0 0 0 345836 1299 0 0 20 0 20 0 29972497 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 559182 5523 1 0 571664 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=0 CPUtime=3417.99 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 65117 0 0 0 340614 1185 0 0 20 0 20 0 29972499 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1458 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3471.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2236728 KiB

[startup+3522.3 s]
/proc/loadavg: 1.25 1.75 2.15 2/267 14313
/proc/meminfo: memFree=116042060/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3529.98 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 144247 0 0 0 351681 1317 0 0 20 0 20 0 29972497 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 559182 5523 1 0 571664 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3475.51 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 66184 0 0 0 346349 1202 0 0 20 0 20 0 29972499 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1458 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3529.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2236728 KiB

[startup+3582.3 s]
/proc/loadavg: 1.21 1.64 2.08 2/267 14315
/proc/meminfo: memFree=115869864/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3589.42 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 145299 0 0 0 357610 1332 0 0 20 0 20 0 29972497 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 559182 5523 1 0 571664 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=5632 CPUtime=3534.46 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 67085 0 0 0 352230 1216 0 0 20 0 20 0 29972499 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3589.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2236728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.9 s]
/proc/loadavg: 1.18 1.62 2.07 2/267 14315
/proc/meminfo: memFree=115866316/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3600.04 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 145336 0 0 0 358670 1334 0 0 20 0 20 0 29972497 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 559182 5523 1 0 571664 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3544.99 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 67085 0 0 0 353281 1218 0 0 20 0 20 0 29972499 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2236728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.83 s, system=13.3597 s

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

[startup+3592.9 s]
/proc/loadavg: 1.18 1.62 2.07 2/267 14315
/proc/meminfo: memFree=115866316/131249988 swapFree=33010684/33010684
[pid=13991] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3600.04 cores=1,3
/proc/13991/stat : 13991 (java) S 13988 13991 11133 0 -1 4194304 145336 0 0 0 358670 1334 0 0 20 0 20 0 29972497 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
/proc/13991/statm: 4765878 559182 5523 1 0 571664 0
[pid=13991/tid=13993] ppid=13988 vsize=19063512 memory=2236728 CPUtime=3544.99 cores=1,3
/proc/13991/task/13993/stat : 13993 (java) R 13988 13991 11133 0 -1 4194368 67085 0 0 0 353281 1218 0 0 20 0 20 0 29972499 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14002] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14002/stat : 14002 (Finalizer) S 13988 13991 11133 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14009] ppid=13988 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/13991/task/14009/stat : 14009 (Common-Cleaner) S 13988 13991 11133 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 29972501 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
[pid=13991/tid=14011] ppid=13988 vsize=19063512 memory=2236728 CPUtime=0 cores=1,3
/proc/13991/task/14011/stat : 14011 (Timer-0) S 13988 13991 11133 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29972540 19521036288 559182 18446744073709551615 94012683055104 94012683058800 140730842135392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94012683066616 94012683067408 94012696383488 140730842143024 140730842143206 140730842143206 140730842148808 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2236728 KiB

Child status: 143

Real time (s): 3593
CPU time (s): 3600.19
CPU user time (s): 3586.83
CPU system time (s): 13.3597
CPU usage (%): 100.2
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2593344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.83
system time used= 13.3597
maximum resident set size= 2593344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147035
page faults= 0
swaps= 0
block input operations= 8
block output operations= 23761272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127558
involuntary context switches= 13647


# summary of solver processes directly reported to runsolver:
#   pid: 13991
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3586.83
#   total CPU system time (s): 13.3597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0989 second user time and 13.8809 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-28 22:35:49
IDJOB=4492013
IDBENCH=147756
IDSOLVER=3364
FILE ID=nodeC020/4492013-1751142949
RUNJOBID= nodeC020-1751142696-13002
SLURM_JOB_ID= 9587420
Free space on /tmp= 433036 MiB

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

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

MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=1116353231

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        126376096 kB
MemAvailable:   126532248 kB
Buffers:            3280 kB
Cached:           967176 kB
SwapCached:            0 kB
Active:          3562132 kB
Inactive:         710496 kB
Active(anon):    3320248 kB
Inactive(anon):        0 kB
Active(file):     241884 kB
Inactive(file):   710496 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13884 kB
Writeback:             0 kB
AnonPages:       3305316 kB
Mapped:           122512 kB
Shmem:             18056 kB
KReclaimable:      86020 kB
Slab:             170960 kB
SReclaimable:      86020 kB
SUnreclaim:        84940 kB
KernelStack:        5248 kB
PageTables:        10176 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   10461324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3092480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

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