Trace number 4441922

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 2024 2024-07-07? (TO) 3600.22 3594.81

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 benchmark0.516163
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4441922-1721772943.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.51/0.39	c ... done. Wall clock time 0.265s.
0.51/0.39	c declared #vars     4626
0.51/0.39	c #constraints  30921
0.51/0.39	c constraints type 
0.51/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 945
0.51/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
0.51/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29898
0.51/0.40	c 30921 constraints processed.
1.87/1.06	c cleaning 2492 clauses out of 5003 with flag 16932/5003
2.86/1.55	c cleaning 4250 clauses out of 8508 with flag 39215/11000
3.84/2.05	c cleaning 5623 clauses out of 11258 with flag 72798/18000
5.02/2.66	c cleaning 6808 clauses out of 13635 with flag 115818/26000
5.85/3.23	c cleaning 7892 clauses out of 15827 with flag 167239/35000
6.96/3.96	c cleaning 8932 clauses out of 17935 with flag 214491/45000
7.84/4.67	c cleaning 9964 clauses out of 20005 with flag 278054/56002
8.84/5.63	c cleaning 10978 clauses out of 22041 with flag 355570/68002
9.74/6.51	c cleaning 12019 clauses out of 24061 with flag 433782/81000
10.84/7.64	c cleaning 12996 clauses out of 26042 with flag 502135/95000
12.25/9.02	c cleaning 14001 clauses out of 28046 with flag 574934/110000
13.54/10.36	c cleaning 15014 clauses out of 30047 with flag 653741/126002
15.20/11.66	c cleaning 16010 clauses out of 32031 with flag 760307/143000
16.97/13.38	c cleaning 16974 clauses out of 34022 with flag 879537/161001
19.57/15.91	c cleaning 18020 clauses out of 36049 with flag 1016647/180002
21.27/17.69	c cleaning 19000 clauses out of 38027 with flag 1138277/200000
23.58/19.91	c cleaning 19961 clauses out of 40028 with flag 1278377/221001
26.18/22.58	c cleaning 20995 clauses out of 42066 with flag 1447783/243000
29.00/25.39	c cleaning 21998 clauses out of 44071 with flag 1634679/266000
31.70/28.04	c cleaning 23028 clauses out of 46073 with flag 1814010/290000
35.67/32.00	c cleaning 24013 clauses out of 48046 with flag 1970191/315001
39.15/35.71	c cleaning 24928 clauses out of 50035 with flag 2160384/341003
41.27/37.86	c cleaning 26003 clauses out of 52104 with flag 2319965/368000
43.67/40.27	c cleaning 27039 clauses out of 54102 with flag 2492467/396001
47.28/43.85	c cleaning 28011 clauses out of 56062 with flag 2647542/425000
50.68/47.29	c cleaning 29003 clauses out of 58054 with flag 2823340/455003
53.78/50.37	c cleaning 29999 clauses out of 60049 with flag 3019848/486001
56.65/53.23	c cleaning 31006 clauses out of 62049 with flag 3242348/518000
60.35/56.94	c cleaning 32012 clauses out of 64044 with flag 3466082/551001
64.31/60.93	c cleaning 32997 clauses out of 66033 with flag 3667678/585002
70.03/66.82	c cleaning 34007 clauses out of 68037 with flag 3834918/620003
75.52/72.38	c cleaning 35000 clauses out of 70027 with flag 4015184/656000
83.24/80.01	c cleaning 36001 clauses out of 72027 with flag 4222631/693000
90.16/86.91	c cleaning 36994 clauses out of 74026 with flag 4398484/731000
93.27/90.03	c cleaning 37998 clauses out of 76032 with flag 4624622/770000
96.49/93.28	c cleaning 38958 clauses out of 78036 with flag 4835784/810002
100.70/97.51	c cleaning 39975 clauses out of 80076 with flag 5062881/851000
105.30/102.14	c cleaning 41004 clauses out of 82101 with flag 5319698/893000
110.42/107.28	c cleaning 42001 clauses out of 84098 with flag 5589782/936001
116.26/113.02	c cleaning 42999 clauses out of 86096 with flag 5894667/980000
121.78/118.56	c cleaning 44000 clauses out of 88098 with flag 6189540/1025001
127.54/124.21	c cleaning 44994 clauses out of 90098 with flag 6500144/1071001
131.59/128.43	c cleaning 46023 clauses out of 92103 with flag 6779366/1118000
136.72/133.55	c cleaning 47018 clauses out of 94081 with flag 7038109/1166001
143.55/140.33	c cleaning 47990 clauses out of 96062 with flag 7286760/1215000
149.70/146.45	c cleaning 49006 clauses out of 98072 with flag 7558504/1265000
156.59/153.33	c cleaning 50010 clauses out of 100066 with flag 7848769/1316000
163.90/160.74	c cleaning 50999 clauses out of 102057 with flag 8166274/1368001
170.83/167.62	c cleaning 52002 clauses out of 104058 with flag 8499169/1421001
178.66/175.40	c cleaning 52994 clauses out of 106055 with flag 8837770/1475000
184.57/181.35	c cleaning 54002 clauses out of 108063 with flag 9160488/1530002
190.75/187.50	c cleaning 55008 clauses out of 110059 with flag 9484122/1586000
197.86/194.79	c cleaning 56003 clauses out of 112051 with flag 9820626/1643000
205.56/202.43	c cleaning 56998 clauses out of 114049 with flag 10168340/1701001
213.78/210.68	c cleaning 58002 clauses out of 116052 with flag 10476242/1760002
222.69/219.64	c cleaning 59004 clauses out of 118048 with flag 10789093/1820000
235.82/232.75	c cleaning 59992 clauses out of 120044 with flag 11168931/1881000
248.94/245.81	c cleaning 61002 clauses out of 122053 with flag 11528302/1943001
256.97/253.97	c cleaning 61970 clauses out of 124050 with flag 12004345/2006000
263.03/259.96	c cleaning 63016 clauses out of 126080 with flag 12426845/2070000
271.28/268.15	c cleaning 64013 clauses out of 128065 with flag 12859684/2135001
279.91/276.77	c cleaning 64971 clauses out of 130052 with flag 13334134/2201001
289.70/286.63	c cleaning 66028 clauses out of 132080 with flag 13808395/2268000
299.32/296.29	c cleaning 67006 clauses out of 134052 with flag 14301230/2336000
308.27/305.11	c cleaning 67990 clauses out of 136047 with flag 14758351/2405001
315.35/312.21	c cleaning 68999 clauses out of 138058 with flag 15119378/2475002
324.52/321.38	c cleaning 70017 clauses out of 140059 with flag 15452733/2546002
335.38/332.15	c cleaning 71009 clauses out of 142040 with flag 15800714/2618000
347.26/344.17	c cleaning 71999 clauses out of 144031 with flag 16179293/2691000
359.57/356.42	c cleaning 73001 clauses out of 146032 with flag 16599867/2765000
374.28/371.18	c cleaning 73999 clauses out of 148031 with flag 17036588/2840000
389.25/386.29	c cleaning 75003 clauses out of 150032 with flag 17480326/2916000
405.56/402.56	c cleaning 75995 clauses out of 152030 with flag 17967387/2993001
419.93/417.04	c cleaning 76999 clauses out of 154035 with flag 18440157/3071001
434.19/431.29	c cleaning 77995 clauses out of 156035 with flag 18907637/3150000
448.63/445.75	c cleaning 79003 clauses out of 158040 with flag 19385090/3230000
466.30/463.42	c cleaning 80000 clauses out of 160038 with flag 19856977/3311001
486.61/483.84	c cleaning 81001 clauses out of 162037 with flag 20316779/3393000
505.40/502.73	c cleaning 81997 clauses out of 164036 with flag 20792117/3476000
523.63/521.01	c cleaning 83004 clauses out of 166040 with flag 21294801/3560001
544.54/542.05	c cleaning 83988 clauses out of 168035 with flag 21804638/3645000
569.88/567.40	c cleaning 85004 clauses out of 170048 with flag 22241953/3731001
598.43/596.10	c cleaning 86006 clauses out of 172046 with flag 22717447/3818003
619.41/616.96	c cleaning 87003 clauses out of 174037 with flag 23172809/3906000
647.05/644.62	c cleaning 88001 clauses out of 176034 with flag 23725975/3995000
671.42/669.03	c cleaning 89002 clauses out of 178033 with flag 24261275/4085000
680.59/678.15	c cleaning 89953 clauses out of 180032 with flag 24885958/4176001
697.05/694.73	c cleaning 91033 clauses out of 182079 with flag 25367967/4268001
715.08/712.81	c cleaning 92009 clauses out of 184045 with flag 25833088/4361000
729.79/727.67	c cleaning 92996 clauses out of 186036 with flag 26360578/4455000
749.05/747.09	c cleaning 94001 clauses out of 188040 with flag 26897258/4550000
771.13/768.84	c cleaning 95007 clauses out of 190039 with flag 27504693/4646000
798.62/796.49	c cleaning 96010 clauses out of 192033 with flag 28055902/4743001
824.17/822.03	c cleaning 96994 clauses out of 194022 with flag 28590702/4841000
847.47/845.46	c cleaning 97995 clauses out of 196028 with flag 29142344/4940000
861.05/858.94	c cleaning 99009 clauses out of 198035 with flag 29679059/5040002
871.79/869.63	c cleaning 100004 clauses out of 200024 with flag 30289671/5141000
881.63/879.47	c cleaning 100992 clauses out of 202021 with flag 30835161/5243001
896.88/894.79	c cleaning 101999 clauses out of 204029 with flag 31383373/5346001
914.02/911.81	c cleaning 102992 clauses out of 206029 with flag 32089989/5450000
929.71/927.50	c cleaning 103992 clauses out of 208037 with flag 32797089/5555000
939.42/937.19	c cleaning 105007 clauses out of 210049 with flag 33416411/5661004
955.04/952.71	c cleaning 105983 clauses out of 212040 with flag 33985022/5768002
966.43/964.15	c cleaning 107000 clauses out of 214057 with flag 34569343/5876002
979.48/977.14	c cleaning 108015 clauses out of 216055 with flag 35182856/5985000
993.71/991.49	c cleaning 109006 clauses out of 218040 with flag 35855039/6095000
1022.90/1020.69	c cleaning 110009 clauses out of 220034 with flag 36510157/6206000
1036.70/1034.35	c cleaning 110992 clauses out of 222026 with flag 37173061/6318001
1046.61/1044.26	c cleaning 112010 clauses out of 224033 with flag 37801968/6431000
1066.81/1064.64	c cleaning 113001 clauses out of 226023 with flag 38564337/6545000
1082.83/1080.66	c cleaning 113948 clauses out of 228022 with flag 39318021/6660000
1160.12/1157.65	c cleaning 114998 clauses out of 230075 with flag 40192230/6776001
1180.47/1177.92	c cleaning 115988 clauses out of 232077 with flag 41155678/6893001
1193.28/1190.65	c cleaning 117041 clauses out of 234089 with flag 41948328/7011001
1227.11/1224.52	c cleaning 118009 clauses out of 236047 with flag 42543380/7130000
1264.10/1261.59	c cleaning 119009 clauses out of 238038 with flag 43219994/7250000
1303.04/1300.63	c cleaning 120003 clauses out of 240029 with flag 43917979/7371000
1314.40/1311.71	c cleaning 120997 clauses out of 242028 with flag 44590256/7493002
1332.41/1329.88	c cleaning 121989 clauses out of 244032 with flag 45154789/7616003
1345.50/1342.90	c cleaning 123012 clauses out of 246042 with flag 45796311/7740002
1358.26/1355.54	c cleaning 123996 clauses out of 248028 with flag 46572946/7865000
1373.96/1371.13	c cleaning 124999 clauses out of 250033 with flag 47302410/7991001
1390.15/1387.40	c cleaning 125953 clauses out of 252033 with flag 48102380/8118000
1401.74/1398.92	c cleaning 127020 clauses out of 254082 with flag 48893209/8246002
1418.97/1416.15	c cleaning 127971 clauses out of 256060 with flag 49786513/8375000
1434.29/1431.29	c cleaning 129025 clauses out of 258090 with flag 50530080/8505001
1448.03/1444.94	c cleaning 129966 clauses out of 260064 with flag 51455357/8636000
1465.79/1462.75	c cleaning 131044 clauses out of 262099 with flag 52283186/8768001
1492.31/1489.50	c cleaning 132013 clauses out of 264054 with flag 53126243/8901000
1520.79/1518.11	c cleaning 133009 clauses out of 266042 with flag 53981648/9035001
1543.45/1540.37	c cleaning 134008 clauses out of 268032 with flag 54814603/9170000
1557.46/1554.31	c cleaning 135001 clauses out of 270025 with flag 55560735/9306001
1585.05/1581.91	c cleaning 135982 clauses out of 272026 with flag 56480535/9443003
1621.89/1618.87	c cleaning 136995 clauses out of 274043 with flag 57546287/9581002
1651.22/1648.13	c cleaning 138001 clauses out of 276047 with flag 58539055/9720001
1670.75/1667.36	c cleaning 139013 clauses out of 278045 with flag 59467253/9860000
1698.18/1694.82	c cleaning 139997 clauses out of 280032 with flag 60315050/10001000
1740.12/1736.75	c cleaning 141007 clauses out of 282036 with flag 61292696/10143001
1772.28/1769.06	c cleaning 141986 clauses out of 284029 with flag 62254835/10286001
1788.92/1785.74	c cleaning 143000 clauses out of 286043 with flag 63150852/10430001
1803.74/1800.13	c cleaning 144000 clauses out of 288042 with flag 63908129/10575000
1826.60/1823.02	c cleaning 144979 clauses out of 290042 with flag 64743672/10721000
1865.64/1862.49	c cleaning 145995 clauses out of 292063 with flag 65654214/10868000
1884.05/1880.84	c cleaning 146967 clauses out of 294068 with flag 66651913/11016000
1899.19/1895.87	c cleaning 148032 clauses out of 296101 with flag 67477819/11165000
1926.28/1922.78	c cleaning 149019 clauses out of 298069 with flag 68347715/11315000
1946.84/1943.33	c cleaning 150004 clauses out of 300050 with flag 69123285/11466000
1980.55/1977.03	c cleaning 151006 clauses out of 302046 with flag 69908677/11618000
2009.03/2005.40	c cleaning 152006 clauses out of 304041 with flag 70644827/11771001
2040.48/2036.78	c cleaning 153004 clauses out of 306034 with flag 71451678/11925000
2071.44/2067.80	c cleaning 153989 clauses out of 308030 with flag 72279602/12080000
2100.03/2096.64	c cleaning 154998 clauses out of 310041 with flag 73097937/12236000
2130.62/2127.45	c cleaning 156002 clauses out of 312044 with flag 73969800/12393001
2163.93/2160.72	c cleaning 156995 clauses out of 314041 with flag 74832911/12551000
2198.03/2194.48	c cleaning 158008 clauses out of 316046 with flag 75718357/12710000
2236.88/2233.35	c cleaning 159002 clauses out of 318041 with flag 76511528/12870003
2270.43/2266.87	c cleaning 160001 clauses out of 320037 with flag 77341069/13031001
2410.55/2407.23	c cleaning 160968 clauses out of 322035 with flag 78481307/13193000
2432.86/2429.31	c cleaning 161980 clauses out of 324067 with flag 79423018/13356000
2449.25/2445.33	c cleaning 163038 clauses out of 326087 with flag 80298147/13520000
2467.49/2463.73	c cleaning 164010 clauses out of 328050 with flag 81178595/13685001
2484.00/2480.13	c cleaning 164996 clauses out of 330039 with flag 82074240/13851000
2504.08/2500.32	c cleaning 165984 clauses out of 332044 with flag 82946826/14018001
2525.34/2521.28	c cleaning 167012 clauses out of 334060 with flag 84006252/14186001
2574.67/2570.82	c cleaning 168014 clauses out of 336047 with flag 85123210/14355000
2613.19/2609.38	c cleaning 169004 clauses out of 338033 with flag 86301716/14525000
2653.66/2649.82	c cleaning 169993 clauses out of 340030 with flag 87523182/14696001
2678.71/2674.90	c cleaning 170981 clauses out of 342038 with flag 88687287/14868002
2710.90/2706.89	c cleaning 172008 clauses out of 344056 with flag 89681067/15041001
2742.86/2738.73	c cleaning 173007 clauses out of 346047 with flag 90718800/15215000
2774.60/2770.40	c cleaning 174013 clauses out of 348040 with flag 91734836/15390000
2793.13/2788.59	c cleaning 174982 clauses out of 350027 with flag 92705631/15566000
2816.52/2812.07	c cleaning 176004 clauses out of 352045 with flag 93755178/15743000
2850.19/2845.65	c cleaning 177010 clauses out of 354042 with flag 94830327/15921001
2897.78/2893.28	c cleaning 178007 clauses out of 356033 with flag 95822699/16100002
2919.78/2914.52	c cleaning 178957 clauses out of 358024 with flag 97095072/16280000
2947.56/2942.36	c cleaning 180022 clauses out of 360068 with flag 98202879/16461001
2972.50/2966.84	c cleaning 181011 clauses out of 362046 with flag 99406669/16643001
3001.20/2995.56	c cleaning 181992 clauses out of 364034 with flag 100651348/16826000
3145.89/3140.51	c cleaning 182983 clauses out of 366044 with flag 102028459/17010002
3167.34/3161.97	c cleaning 184021 clauses out of 368060 with flag 103056490/17195001
3196.84/3191.07	c cleaning 185002 clauses out of 370040 with flag 104072021/17381002
3248.69/3242.92	c cleaning 185999 clauses out of 372037 with flag 105165857/17568001
3329.81/3324.69	c cleaning 186988 clauses out of 374037 with flag 106690888/17756000
3356.95/3351.14	c cleaning 188018 clauses out of 376051 with flag 107751637/17945002
3392.84/3387.20	c cleaning 189006 clauses out of 378032 with flag 108714369/18135001
3506.64/3501.73	c cleaning 189999 clauses out of 380025 with flag 109731834/18326000
3571.24/3565.96	c cleaning 191002 clauses out of 382026 with flag 110827169/18518000
3600.06/3594.72	c starts		: 37999
3600.06/3594.72	c conflicts		: 18633799
3600.06/3594.72	c decisions		: 25738454
3600.06/3594.72	c propagations		: 674179274
3600.06/3594.72	c inspects		: 35637016803
3600.06/3594.72	c timeout
3600.06/3594.72	c shortcuts		: 0
3600.06/3594.72	c learnt literals	: 0
3600.06/3594.72	c learnt binary clauses	: 0
3600.06/3594.72	c learnt ternary clauses	: 0
3600.06/3594.72	c learnt constraints	: 18633799
3600.06/3594.72	c ignored constraints	: 0
3600.06/3594.72	c root simplifications	: 0
3600.06/3594.72	c removed literals (reason simplification)	: 36304029
3600.06/3594.72	c reason swapping (by a shorter reason)	: 0
3600.06/3594.72	c Calls to reduceDB	: 188
3600.06/3594.72	c Number of update (reduction) of LBD	: 6627564
3600.06/3594.72	c Imported unit clauses	: 0
3600.06/3594.72	c No decision after first conflict	: false
3600.06/3594.72	c number of reductions to clauses (during analyze)	: 0
3600.06/3594.72	c number of learned constraints concerned by reduction	: 0
3600.06/3594.72	c number of learning phase by resolution	: 0
3600.06/3594.72	c number of learning phase by cutting planes	: 0
3600.06/3594.72	c number of rounding to 1 operations	: 0
3600.06/3594.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3594.72	c number of reductions of the coefficients by power 2 	: 0
3600.06/3594.72	c number of right shift for reduction by power 2 	: 0
3600.06/3594.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3594.72	c number of ending skipping 	: 0
3600.06/3594.72	c number of internal skipping 	: 0
3600.06/3594.72	c number of derivation steps 	: 0
3600.06/3594.72	c number of skipped derivation steps 	: 0
3600.06/3594.72	c number of remaining unassigned 	: 0
3600.06/3594.72	c number of remaining assigned 	: 0
3600.06/3594.72	c number of falsified literals weakened from reason	: 0
3600.06/3594.72	c number of falsified literals weakened from conflict	: 0
3600.06/3594.72	c time for arithmetic operations	: 0
3600.06/3594.72	c minimum degree of deleted constraints	: null
3600.06/3594.72	c maximum degree of deleted constraints	: null
3600.06/3594.72	c number of deleted constraints	: 0
3600.06/3594.72	c speed (assignments/second)	: 187568.16985484862
3600.06/3594.72	c non guided choices	: 637747
3600.06/3594.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 306823
3600.06/3594.80	s UNKNOWN
3600.06/3594.80	c Total wall clock time (in seconds): 3594.674

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: 63931 MiB (59504 MiB free)
  memory of node 1: 64510 MiB (56624 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441922-1721772943/watcher-4441922-1721772943 -o /tmp/evaluation-result-4441922-1721772943/solver-4441922-1721772943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124430 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4441922-1721772943 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4441922-1721772943.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=129935, runsolver pid=129932

[startup+0.100175 s]*
/proc/loadavg: 4.63 4.55 4.49 7/337 129953
/proc/meminfo: memFree=118868164/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=18975048 memory=66460 CPUtime=0.14 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 7125 0 0 0 12 2 0 0 20 0 18 0 13818506 19430449152 16615 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4743762 16615 5548 1 0 549371 0
[pid=129935/tid=129937] ppid=129932 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 1078198336 5687 0 0 0 7 1 0 0 20 0 18 0 13818506 19430449152 16615 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13818508 19430449152 16615 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=18975048 memory=16104770973650387 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13818509 19430449152 16615 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66460 KiB

[startup+0.206105 s]*
/proc/loadavg: 4.63 4.55 4.49 7/337 129953
/proc/meminfo: memFree=118837752/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=18975048 memory=95992 CPUtime=0.31 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 7608 0 0 0 29 2 0 0 20 0 18 0 13818506 19430449152 23998 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4743762 23998 5828 1 0 549662 0
[pid=129935/tid=129937] ppid=129932 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 1077936192 5885 0 0 0 15 2 0 0 20 0 18 0 13818506 19430449152 23998 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=18975048 memory=970086 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13818508 19430449152 23998 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=18975048 memory=14135541352367841 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13818509 19430449152 23998 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 95992 KiB

[startup+0.306119 s]*
/proc/loadavg: 4.63 4.55 4.49 7/337 129953
/proc/meminfo: memFree=118799020/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=18975048 memory=132508 CPUtime=0.51 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 9076 0 0 0 48 3 0 0 20 0 18 0 13818506 19430449152 33127 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4743762 33127 5828 1 0 550608 0
[pid=129935/tid=129937] ppid=129932 vsize=18975048 memory=-9032639082292617916 CPUtime=0.26 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 5902 0 0 0 24 2 0 0 20 0 18 0 13818506 19430449152 33127 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13818508 19430449152 33127 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13818509 19430449152 33127 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 132508 KiB

[startup+0.70112 s]
/proc/loadavg: 4.63 4.55 4.49 8/339 129955
/proc/meminfo: memFree=118759816/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=178976 CPUtime=1.27 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 12924 0 0 0 122 5 0 0 20 0 20 0 13818506 19566772224 44744 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 44744 5872 1 0 553790 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=5464 CPUtime=0.58 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 5982 0 0 0 55 3 0 0 20 0 20 0 13818506 19566772224 44744 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 44744 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 44744 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=117636 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 44744 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178976 KiB

[startup+1.50112 s]
/proc/loadavg: 4.63 4.55 4.49 6/339 129955
/proc/meminfo: memFree=118731888/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=186100 CPUtime=2.86 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 20779 0 0 0 279 7 0 0 20 0 20 0 13818506 19566772224 46525 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 46525 5872 1 0 554866 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=12256 CPUtime=1.32 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 6328 0 0 0 129 3 0 0 20 0 20 0 13818506 19566772224 46525 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 46525 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 46525 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=281333779834128 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 46525 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186100 KiB

[startup+3.10612 s]
/proc/loadavg: 4.66 4.56 4.49 5/339 129955
/proc/meminfo: memFree=118498952/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=339384 CPUtime=5.71 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 22942 0 0 0 560 11 0 0 20 0 20 0 13818506 19566772224 84846 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 84846 5872 1 0 555045 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=0 CPUtime=2.88 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 7081 0 0 0 281 7 0 0 20 0 20 0 13818506 19566772224 84846 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 84846 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 84846 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 84846 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 339384 KiB

[startup+6.30112 s]
/proc/loadavg: 4.66 4.56 4.49 5/339 129955
/proc/meminfo: memFree=118037064/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=650060 CPUtime=9.55 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 23440 0 0 0 935 20 0 0 20 0 20 0 13818506 19566772224 162515 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 162515 5872 1 0 555051 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=12256 CPUtime=5.98 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 7382 0 0 0 583 15 0 0 20 0 20 0 13818506 19566772224 162515 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 162515 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=186100 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 162515 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 162515 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 650060 KiB

[startup+12.7003 s]
/proc/loadavg: 4.60 4.55 4.49 5/339 129957
/proc/meminfo: memFree=117023444/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=1269008 CPUtime=16.36 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 25413 0 0 0 1599 37 0 0 20 0 20 0 13818506 19566772224 317252 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 317252 5887 1 0 661688 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=0 CPUtime=12.31 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 8123 0 0 0 1200 31 0 0 20 0 20 0 13818506 19566772224 317252 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=-9032639082292617916 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 317252 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=2236 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 317252 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 317252 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 16.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1269008 KiB

[startup+25.5003 s]
/proc/loadavg: 4.47 4.52 4.48 5/339 129959
/proc/meminfo: memFree=116169592/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=1616640 CPUtime=29.2 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 29078 0 0 0 2867 53 0 0 20 0 20 0 13818506 19566772224 404160 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 404160 5887 1 0 661693 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=11464 CPUtime=24.95 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 9966 0 0 0 2450 45 0 0 20 0 20 0 13818506 19566772224 404160 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 404160 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=650060 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 404160 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=281333779780912 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 404160 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 29.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1616640 KiB

[startup+51.1061 s]
/proc/loadavg: 4.37 4.50 4.47 5/338 129963
/proc/meminfo: memFree=115133304/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=1639372 CPUtime=54.57 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 33566 0 0 0 5392 65 0 0 20 0 20 0 13818506 19566772224 409843 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 409843 5887 1 0 661693 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=1633052 CPUtime=50.04 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 12149 0 0 0 4949 55 0 0 20 0 20 0 13818506 19566772224 409843 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=43816 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 409843 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0

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

/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592172 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 2894 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592172 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=2368688 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592172 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3228.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368688 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.29 4.28 6/339 131764
/proc/meminfo: memFree=45811124/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=2368692 CPUtime=3287.83 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 320834 0 0 0 327556 1227 0 0 20 0 20 0 13818506 19566772224 592173 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 592173 5903 1 0 603746 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=-9032639082292617916 CPUtime=3236 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 106277 0 0 0 322507 1093 0 0 20 0 20 0 13818506 19566772224 592173 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 977 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=2368692 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592173 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=16076 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 2971 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592173 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=2368668 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592173 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3287.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.30 4.28 5/339 131775
/proc/meminfo: memFree=44797276/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=2368724 CPUtime=3348.07 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 333125 0 0 0 333563 1244 0 0 20 0 20 0 13818506 19566772224 592181 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 592181 5903 1 0 603746 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=2368724 CPUtime=3295.03 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 110579 0 0 0 328395 1108 0 0 20 0 20 0 13818506 19566772224 592181 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 986 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=2368724 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592181 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=2368724 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 3094 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592181 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=-9126187760472343709 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592181 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3348.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.27 4.27 5/338 131789
/proc/meminfo: memFree=43615904/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=2368728 CPUtime=3407.96 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 336173 0 0 0 339533 1263 0 0 20 0 20 0 13818506 19566772224 592182 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 592182 5903 1 0 603746 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=2368724 CPUtime=3354.23 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 112046 0 0 0 334297 1126 0 0 20 0 20 0 13818506 19566772224 592182 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1012 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=2368724 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592182 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=12256 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 3183 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592182 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=-9032639082292617916 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592182 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3407.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368728 KiB

[startup+3462.3 s]
/proc/loadavg: 3.88 4.19 4.24 4/312 131835
/proc/meminfo: memFree=62708168/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=2368740 CPUtime=3467.47 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 338607 0 0 0 345476 1271 0 0 20 0 20 0 13818506 19566772224 592185 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 592185 5903 1 0 603746 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=2368724 CPUtime=3413.49 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 113264 0 0 0 340217 1132 0 0 20 0 20 0 13818506 19566772224 592185 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1023 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592185 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 3322 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592185 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=16076 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592185 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3467.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368740 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.92 4.15 2/260 131913
/proc/meminfo: memFree=113718636/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=2368792 CPUtime=3527.7 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 349565 0 0 0 351484 1286 0 0 20 0 20 0 13818506 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 592198 5903 1 0 603764 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=2368740 CPUtime=3472.84 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 115928 0 0 0 346139 1145 0 0 20 0 20 0 13818506 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1031 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=2368792 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 3457 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=2368792 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3527.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368792 KiB

[startup+3582.3 s]
/proc/loadavg: 1.85 3.40 3.95 2/258 131926
/proc/meminfo: memFree=113606956/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=2368792 CPUtime=3587.69 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 352788 0 0 0 357469 1300 0 0 20 0 20 0 13818506 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 592198 5903 1 0 603764 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=25868 CPUtime=3532.41 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 117270 0 0 0 352084 1157 0 0 20 0 20 0 13818506 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1041 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=43956 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 3598 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.7 s]
/proc/loadavg: 1.66 3.28 3.90 2/258 131927
/proc/meminfo: memFree=113590256/131524600 swapFree=131064524/131071996
[pid=129935] ppid=129932 vsize=19108176 memory=2368792 CPUtime=3600.06 cores=4,6
/proc/129935/stat : 129935 (java) S 129932 129935 124419 0 -1 1077936128 353070 0 0 0 358704 1302 0 0 20 0 20 0 13818506 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
/proc/129935/statm: 4777044 592198 5903 1 0 603764 0
[pid=129935/tid=129937] ppid=129932 vsize=19108176 memory=16076 CPUtime=3544.78 cores=4,6
/proc/129935/task/129937/stat : 129937 (java) R 129932 129935 124419 0 -1 4194368 117504 0 0 0 353319 1159 0 0 20 0 20 0 13818506 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1041 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129946] ppid=129932 vsize=19108176 memory=2368792 CPUtime=0 cores=4,6
/proc/129935/task/129946/stat : 129946 (Finalizer) S 129932 129935 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13818508 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129953] ppid=129932 vsize=19108176 memory=2368792 CPUtime=0 cores=4,6
/proc/129935/task/129953/stat : 129953 (Common-Cleaner) S 129932 129935 124419 0 -1 1077936192 3598 0 0 0 0 0 0 0 20 0 20 0 13818509 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
[pid=129935/tid=129955] ppid=129932 vsize=19108176 memory=11464 CPUtime=0 cores=4,6
/proc/129935/task/129955/stat : 129955 (Timer-0) S 129932 129935 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13818545 19566772224 592198 134679101440 94433117847552 94433117851248 140730921667200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94433117859064 94433117859856 94433124638720 140730921673643 140730921673825 140730921673825 140730921680840 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2368792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.17 s, system=13.0544 s

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

[startup+3594.8 s]*
/proc/loadavg: 1.66 3.28 3.90 3/240 131930
/proc/meminfo: memFree=113594600/131524600 swapFree=131064524/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3594.81
CPU time (s): 3600.22
CPU user time (s): 3587.17
CPU system time (s): 13.0544
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2603368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.17
system time used= 13.0544
maximum resident set size= 2603368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24209088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126285
involuntary context switches= 18623


# summary of solver processes directly reported to runsolver:
#   pid: 129935
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3587.17
#   total CPU system time (s): 13.0544

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86063 second user time and 17.8229 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-24 00:15:43
IDJOB=4441922
IDBENCH=147756
IDSOLVER=3079
FILE ID=nodeC034/4441922-1721772943
RUNJOBID= nodeC034-1721765707-124430
SLURM_JOB_ID= 7770676
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
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 --file-size-limit 102400 -w /tmp/evaluation-result-4441922-1721772943/watcher-4441922-1721772943 -o /tmp/evaluation-result-4441922-1721772943/solver-4441922-1721772943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124430 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4441922-1721772943 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4441922-1721772943.opb

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

MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=521172512

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3664.547
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3676.166
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3665.587
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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.984
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3654.468
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3676.209
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3641.303
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3600.197
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118917616 kB
MemAvailable:   123830944 kB
Buffers:          179936 kB
Cached:          5537632 kB
SwapCached:          104 kB
Active:          1143736 kB
Inactive:       10835700 kB
Active(anon):       4060 kB
Inactive(anon):  6294980 kB
Active(file):    1139676 kB
Inactive(file):  4540720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064524 kB
Dirty:            251820 kB
Writeback:             0 kB
AnonPages:       6259184 kB
Mapped:           118960 kB
Shmem:             37116 kB
KReclaimable:     145160 kB
Slab:             257088 kB
SReclaimable:     145160 kB
SUnreclaim:       111928 kB
KernelStack:        5152 kB
PageTables:        22468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8228212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5990400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      330452 kB
DirectMap2M:    41385984 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC034 at 2024-07-24 01:15:38