Trace number 4446152

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.18 3638.51

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-96.opb
MD5SUM41cda2cdd43cae95a9671374dc621893
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 benchmark97.8949
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.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.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4446152-1721820836.opb
0.13/0.13	c reading problem ... 
0.18/0.87	c using VERIPB proof format
0.18/0.88	c  no objective function found
2.95/2.31	c ... done. Wall clock time 2.183s.
2.95/2.32	c declared #vars     12587
2.95/2.32	c #constraints  284398
2.95/2.32	c constraints type 
2.95/2.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 59821
2.95/2.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 906
2.95/2.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.95/2.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 195762
2.95/2.32	c 284398 constraints processed.
6.79/4.48	c cleaning 2493 clauses out of 5000 with flag 122096/5000
9.56/6.56	c cleaning 4234 clauses out of 8507 with flag 298283/11000
11.59/8.25	c cleaning 5614 clauses out of 11273 with flag 479160/18000
13.53/10.14	c cleaning 6771 clauses out of 13661 with flag 673506/26002
15.82/12.44	c cleaning 7837 clauses out of 15888 with flag 869333/35000
18.11/14.75	c cleaning 8938 clauses out of 18051 with flag 1037189/45000
20.89/17.53	c cleaning 9970 clauses out of 20113 with flag 1211390/56000
23.67/20.39	c cleaning 11046 clauses out of 22143 with flag 1362693/68000
26.70/23.34	c cleaning 11906 clauses out of 24097 with flag 1526434/81000
29.93/26.55	c cleaning 12968 clauses out of 26191 with flag 1730002/95000
33.12/29.76	c cleaning 14084 clauses out of 28223 with flag 1926533/110000
36.52/33.14	c cleaning 14937 clauses out of 30139 with flag 2140861/126000
40.08/36.69	c cleaning 16039 clauses out of 32202 with flag 2372963/143000
43.93/40.47	c cleaning 17067 clauses out of 34165 with flag 2598379/161002
47.35/43.89	c cleaning 17975 clauses out of 36096 with flag 2797006/180000
50.84/47.39	c cleaning 19062 clauses out of 38124 with flag 3009965/200003
53.84/50.38	c cleaning 20014 clauses out of 40060 with flag 3221945/221001
57.10/53.30	c cleaning 20963 clauses out of 42043 with flag 3430826/243000
60.19/56.33	c cleaning 21968 clauses out of 44083 with flag 3616445/266004
63.49/59.60	c cleaning 22998 clauses out of 46109 with flag 3817739/290000
66.82/62.98	c cleaning 24001 clauses out of 48110 with flag 4053853/315001
70.11/66.27	c cleaning 25016 clauses out of 50110 with flag 4269719/341002
73.35/69.55	c cleaning 25964 clauses out of 52092 with flag 4495275/368000
77.10/73.15	c cleaning 26982 clauses out of 54128 with flag 4742336/396000
80.69/76.78	c cleaning 28054 clauses out of 56146 with flag 4977483/425000
85.01/81.09	c cleaning 28924 clauses out of 58095 with flag 5195074/455003
89.89/85.96	c cleaning 30065 clauses out of 60168 with flag 5470005/486000
94.71/90.78	c cleaning 31026 clauses out of 62103 with flag 5731103/518000
99.60/95.60	c cleaning 31996 clauses out of 64077 with flag 5998057/551000
104.92/101.33	c cleaning 32976 clauses out of 66081 with flag 6260287/585000
110.31/106.73	c cleaning 34038 clauses out of 68105 with flag 6586624/620000
116.21/112.66	c cleaning 34979 clauses out of 70067 with flag 6869154/656000
121.80/118.22	c cleaning 36010 clauses out of 72092 with flag 7178387/693004
127.19/123.61	c cleaning 37017 clauses out of 74080 with flag 7459631/731002
133.41/130.00	c cleaning 38017 clauses out of 76061 with flag 7784462/770000
140.80/137.30	c cleaning 38983 clauses out of 78046 with flag 8078003/810002
147.10/143.67	c cleaning 40000 clauses out of 80062 with flag 8388690/851001
153.15/149.76	c cleaning 41020 clauses out of 82063 with flag 8680589/893002
159.89/156.52	c cleaning 41887 clauses out of 84041 with flag 9025842/936000
167.42/164.10	c cleaning 42955 clauses out of 86154 with flag 9361103/980000
174.99/171.72	c cleaning 44042 clauses out of 88199 with flag 9719902/1025000
182.67/179.42	c cleaning 45070 clauses out of 90157 with flag 10106183/1071000
190.79/187.56	c cleaning 45962 clauses out of 92088 with flag 10482348/1118001
198.44/195.24	c cleaning 47025 clauses out of 94127 with flag 10853900/1166002
206.33/203.16	c cleaning 48019 clauses out of 96100 with flag 11255637/1215000
214.60/211.46	c cleaning 48994 clauses out of 98081 with flag 11694645/1265000
222.93/219.70	c cleaning 50006 clauses out of 100087 with flag 12088991/1316000
232.28/229.16	c cleaning 50943 clauses out of 102081 with flag 12545324/1368000
242.45/239.39	c cleaning 51841 clauses out of 104138 with flag 13117636/1421000
253.33/250.20	c cleaning 53021 clauses out of 106297 with flag 13680606/1475000
264.24/262.34	c cleaning 54121 clauses out of 108278 with flag 14263914/1530002
274.80/272.97	c cleaning 54961 clauses out of 110156 with flag 14881689/1586001
285.44/283.60	c cleaning 56031 clauses out of 112194 with flag 15426106/1643000
296.86/295.00	c cleaning 57045 clauses out of 114163 with flag 15900341/1701000
307.93/306.11	c cleaning 57993 clauses out of 116121 with flag 16378997/1760003
320.16/318.48	c cleaning 59028 clauses out of 118125 with flag 16936117/1820000
333.33/331.68	c cleaning 59994 clauses out of 120097 with flag 17510997/1881000
347.33/345.76	c cleaning 61044 clauses out of 122103 with flag 18144049/1943000
360.21/358.66	c cleaning 62002 clauses out of 124060 with flag 18776688/2006001
371.98/370.45	c cleaning 63013 clauses out of 126059 with flag 19355373/2070002
385.36/383.84	c cleaning 64004 clauses out of 128044 with flag 19979373/2135000
397.44/395.98	c cleaning 65002 clauses out of 130040 with flag 20502660/2201000
411.87/410.48	c cleaning 65951 clauses out of 132038 with flag 21005013/2268000
425.47/424.02	c cleaning 67035 clauses out of 134088 with flag 21573829/2336001
439.39/438.06	c cleaning 67992 clauses out of 136052 with flag 22138577/2405000
453.56/452.29	c cleaning 69012 clauses out of 138062 with flag 22678635/2475002
468.06/466.75	c cleaning 69975 clauses out of 140048 with flag 23216162/2546000
482.16/480.99	c cleaning 71037 clauses out of 142074 with flag 23831121/2618001
497.34/496.18	c cleaning 72004 clauses out of 144037 with flag 24407420/2691001
513.09/512.10	c cleaning 72966 clauses out of 146033 with flag 24930111/2765001
527.95/527.03	c cleaning 73981 clauses out of 148067 with flag 25462201/2840001
542.18/541.40	c cleaning 74977 clauses out of 150085 with flag 26065438/2916000
559.22/558.61	c cleaning 76026 clauses out of 152108 with flag 26767518/2993000
574.54/574.07	c cleaning 77033 clauses out of 154082 with flag 27397134/3071000
590.61/590.12	c cleaning 77968 clauses out of 156054 with flag 28014175/3150005
608.27/607.83	c cleaning 79032 clauses out of 158081 with flag 28693221/3230000
625.14/624.75	c cleaning 79964 clauses out of 160050 with flag 29332246/3311001
643.59/643.28	c cleaning 80990 clauses out of 162086 with flag 29957303/3393001
662.15/668.03	c cleaning 82011 clauses out of 164095 with flag 30539181/3476000
678.27/684.14	c cleaning 83006 clauses out of 166085 with flag 31195422/3560001
696.30/702.56	c cleaning 83989 clauses out of 168079 with flag 31916365/3645001
714.53/720.92	c cleaning 84830 clauses out of 170089 with flag 32601722/3731000
734.09/740.57	c cleaning 86035 clauses out of 172259 with flag 33320656/3818000
752.76/759.43	c cleaning 87100 clauses out of 174225 with flag 34013858/3906001
774.05/781.03	c cleaning 88017 clauses out of 176124 with flag 34695033/3995000
795.01/802.08	c cleaning 89035 clauses out of 178107 with flag 35383307/4085000
814.94/822.55	c cleaning 90019 clauses out of 180073 with flag 36052029/4176001
836.02/843.96	c cleaning 91007 clauses out of 182055 with flag 36760543/4268002
856.82/864.74	c cleaning 92010 clauses out of 184047 with flag 37491279/4361001
880.08/888.54	c cleaning 92939 clauses out of 186036 with flag 38281638/4455000
903.24/911.97	c cleaning 93980 clauses out of 188098 with flag 39110718/4550001
926.07/934.95	c cleaning 94981 clauses out of 190117 with flag 40039115/4646000
948.82/957.76	c cleaning 95987 clauses out of 192137 with flag 40858759/4743001
972.06/981.22	c cleaning 97062 clauses out of 194149 with flag 41657487/4841000
994.84/1004.59	c cleaning 97977 clauses out of 196088 with flag 42425149/4940001
1021.77/1032.91	c cleaning 98891 clauses out of 198110 with flag 43243848/5040000
1044.83/1056.08	c cleaning 100095 clauses out of 200219 with flag 44069950/5141000
1069.72/1080.94	c cleaning 100985 clauses out of 202124 with flag 44830548/5243000
1094.39/1105.74	c cleaning 102032 clauses out of 204139 with flag 45627845/5346000
1119.38/1130.73	c cleaning 103040 clauses out of 206113 with flag 46427097/5450006
1146.84/1158.27	c cleaning 103952 clauses out of 208067 with flag 47321515/5555000
1172.81/1184.30	c cleaning 104923 clauses out of 210115 with flag 48174668/5661000
1199.37/1210.81	c cleaning 106024 clauses out of 212195 with flag 49126860/5768003
1227.78/1240.46	c cleaning 107036 clauses out of 214168 with flag 49909214/5876000
1255.58/1268.26	c cleaning 108023 clauses out of 216133 with flag 50809235/5985001
1282.29/1294.94	c cleaning 108974 clauses out of 218109 with flag 51672289/6095000
1311.60/1324.33	c cleaning 109963 clauses out of 220135 with flag 52539962/6206000
1342.05/1354.82	c cleaning 111066 clauses out of 222173 with flag 53541874/6318001
1375.32/1388.11	c cleaning 112038 clauses out of 224106 with flag 54403967/6431000
1406.60/1419.52	c cleaning 112991 clauses out of 226070 with flag 55294635/6545002
1438.03/1450.95	c cleaning 114028 clauses out of 228079 with flag 56117316/6660002
1469.05/1481.98	c cleaning 114969 clauses out of 230049 with flag 57051092/6776000
1499.06/1512.02	c cleaning 115930 clauses out of 232082 with flag 57906770/6893002
1528.97/1541.94	c cleaning 117075 clauses out of 234151 with flag 58979712/7011001
1560.37/1573.38	c cleaning 118026 clauses out of 236076 with flag 59938143/7130001
1593.57/1606.69	c cleaning 119000 clauses out of 238051 with flag 60842575/7250002
1626.68/1639.76	c cleaning 119865 clauses out of 240049 with flag 61870757/7371000
1660.08/1675.62	c cleaning 121083 clauses out of 242184 with flag 62804052/7493000
1695.22/1710.90	c cleaning 122016 clauses out of 244101 with flag 63759709/7616000
1730.06/1745.95	c cleaning 122874 clauses out of 246085 with flag 64730260/7740000
1764.52/1780.47	c cleaning 124076 clauses out of 248213 with flag 65795509/7865002
1800.30/1816.25	c cleaning 125012 clauses out of 250135 with flag 66832152/7991000
1838.07/1854.11	c cleaning 126002 clauses out of 252124 with flag 67794853/8118001
1874.82/1890.92	c cleaning 126991 clauses out of 254121 with flag 68777780/8246000
1913.03/1929.20	c cleaning 128048 clauses out of 256130 with flag 69749986/8375000
1951.38/1967.66	c cleaning 129034 clauses out of 258085 with flag 70713090/8505003
1990.84/2007.59	c cleaning 129984 clauses out of 260048 with flag 71550775/8636000
2027.01/2043.89	c cleaning 130972 clauses out of 262066 with flag 72521757/8768002
2063.15/2080.17	c cleaning 131990 clauses out of 264092 with flag 73567705/8901000
2104.21/2121.20	c cleaning 133001 clauses out of 266102 with flag 74561705/9035000
2141.40/2158.50	c cleaning 133981 clauses out of 268101 with flag 75620894/9170000
2180.03/2197.24	c cleaning 135013 clauses out of 270121 with flag 76623933/9306001
2221.20/2238.50	c cleaning 136031 clauses out of 272108 with flag 77679487/9443001
2265.53/2282.96	c cleaning 137022 clauses out of 274076 with flag 78757956/9581000
2307.90/2326.31	c cleaning 137955 clauses out of 276054 with flag 79720038/9720000
2352.17/2370.79	c cleaning 139004 clauses out of 278099 with flag 80757376/9860000
2397.02/2415.66	c cleaning 140031 clauses out of 280095 with flag 81840782/10001000
2437.99/2456.62	c cleaning 141007 clauses out of 282065 with flag 82886632/10143001
2480.96/2499.70	c cleaning 142009 clauses out of 284059 with flag 83916407/10286002
2523.32/2542.42	c cleaning 142979 clauses out of 286048 with flag 85015300/10430000
2568.31/2587.58	c cleaning 143994 clauses out of 288071 with flag 86137647/10575002
2609.56/2628.80	c cleaning 144910 clauses out of 290075 with flag 87295509/10721000
2657.26/2676.68	c cleaning 146035 clauses out of 292165 with flag 88336125/10868000
2703.71/2723.19	c cleaning 147014 clauses out of 294130 with flag 89443008/11016000
2752.54/2772.13	c cleaning 148036 clauses out of 296116 with flag 90466972/11165000
2799.65/2819.41	c cleaning 149015 clauses out of 298080 with flag 91526114/11315000
2849.67/2869.93	c cleaning 149989 clauses out of 300065 with flag 92547259/11466000
2894.09/2914.95	c cleaning 150979 clauses out of 302077 with flag 93817299/11618001
2942.43/2963.44	c cleaning 151887 clauses out of 304099 with flag 94836823/11771002
2991.99/3013.20	c cleaning 153072 clauses out of 306210 with flag 96100401/11925000
3042.48/3063.95	c cleaning 154019 clauses out of 308138 with flag 97175098/12080000
3091.66/3113.25	c cleaning 155029 clauses out of 310119 with flag 98307840/12236000
3143.06/3165.41	c cleaning 155961 clauses out of 312090 with flag 99484221/12393000
3198.26/3221.22	c cleaning 156977 clauses out of 314129 with flag 100532973/12551000
3250.98/3274.32	c cleaning 158017 clauses out of 316152 with flag 101612665/12710000
3301.53/3326.15	c cleaning 158984 clauses out of 318135 with flag 102760365/12870000
3354.60/3379.89	c cleaning 160057 clauses out of 320154 with flag 103920958/13031003
3410.15/3436.18	c cleaning 161023 clauses out of 322095 with flag 105030223/13193001
3465.69/3492.05	c cleaning 161885 clauses out of 324071 with flag 106217260/13356000
3511.54/3538.42	c cleaning 163056 clauses out of 326187 with flag 107544060/13520001
3565.07/3603.21	c cleaning 163934 clauses out of 328131 with flag 108672926/13685001
3600.02/3638.41	c starts		: 49941
3600.02/3638.41	c timeout
3600.02/3638.41	c conflicts		: 13802318
3600.02/3638.41	c decisions		: 87284437
3600.02/3638.41	c propagations		: 2451023989
3600.02/3638.41	c inspects		: 42103433400
3600.02/3638.41	c shortcuts		: 0
3600.02/3638.41	c learnt literals	: 7
3600.02/3638.41	c learnt binary clauses	: 4860
3600.02/3638.42	c learnt ternary clauses	: 13760
3600.02/3638.42	c learnt constraints	: 13802311
3600.02/3638.42	c ignored constraints	: 0
3600.02/3638.42	c root simplifications	: 0
3600.02/3638.42	c removed literals (reason simplification)	: 178769844
3600.02/3638.42	c reason swapping (by a shorter reason)	: 0
3600.02/3638.42	c Calls to reduceDB	: 161
3600.02/3638.42	c Number of update (reduction) of LBD	: 8046938
3600.02/3638.42	c Imported unit clauses	: 0
3600.02/3638.42	c No decision after first conflict	: false
3600.02/3638.42	c number of reductions to clauses (during analyze)	: 0
3600.02/3638.42	c number of learned constraints concerned by reduction	: 0
3600.02/3638.42	c number of learning phase by resolution	: 0
3600.02/3638.42	c number of learning phase by cutting planes	: 0
3600.02/3638.42	c number of rounding to 1 operations	: 0
3600.02/3638.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3638.42	c number of reductions of the coefficients by power 2 	: 0
3600.02/3638.42	c number of right shift for reduction by power 2 	: 0
3600.02/3638.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3638.42	c number of ending skipping 	: 0
3600.02/3638.42	c number of internal skipping 	: 0
3600.02/3638.42	c number of derivation steps 	: 0
3600.02/3638.42	c number of skipped derivation steps 	: 0
3600.02/3638.42	c number of remaining unassigned 	: 0
3600.02/3638.42	c number of remaining assigned 	: 0
3600.02/3638.42	c number of falsified literals weakened from reason	: 0
3600.02/3638.42	c number of falsified literals weakened from conflict	: 0
3600.02/3638.42	c time for arithmetic operations	: 0
3600.02/3638.42	c minimum degree of deleted constraints	: null
3600.02/3638.42	c maximum degree of deleted constraints	: null
3600.02/3638.42	c number of deleted constraints	: 0
3600.02/3638.42	c speed (assignments/second)	: 674081.7655103982
3600.02/3638.42	c non guided choices	: 2638255
3600.02/3638.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 276654
3600.02/3638.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4860
3600.02/3638.49	s UNKNOWN
3600.02/3638.49	c Total wall clock time (in seconds): 3638.365

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: 63968 MiB (39384 MiB free)
  memory of node 1: 64473 MiB (38349 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446152-1721820836/watcher-4446152-1721820836 -o /tmp/evaluation-result-4446152-1721820836/solver-4446152-1721820836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721817188-181609 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4446152-1721820836 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446152-1721820836.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=184618, runsolver pid=184615

[startup+0.104917 s]*
/proc/loadavg: 4.29 4.31 4.18 7/333 184636
/proc/meminfo: memFree=79552652/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=18975048 memory=67668 CPUtime=0.13 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 7222 0 0 0 11 2 0 0 20 0 18 0 18613356 19430449152 16917 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4743762 16917 5749 1 0 549373 0
[pid=184618/tid=184620] ppid=184615 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 5771 0 0 0 7 1 0 0 20 0 18 0 18613356 19430449152 16917 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 16917 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=18975048 memory=14131147602140469 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 16917 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67668 KiB

[startup+0.205843 s]*
/proc/loadavg: 4.29 4.31 4.18 4/333 184636
/proc/meminfo: memFree=79550412/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=18975048 memory=68672 CPUtime=0.18 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 7419 0 0 0 16 2 0 0 20 0 18 0 18613356 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4743762 17168 5851 1 0 549486 0
[pid=184618/tid=184620] ppid=184615 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) D 184615 184618 181598 0 -1 1078198336 5877 0 0 0 9 1 0 0 20 0 18 0 18613356 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=18975048 memory=1318409 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68672 KiB

[startup+0.305648 s]*
/proc/loadavg: 4.29 4.31 4.18 4/333 184636
/proc/meminfo: memFree=79549740/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=18975048 memory=68672 CPUtime=0.18 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 7419 0 0 0 16 2 0 0 20 0 18 0 18613356 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4743762 17168 5851 1 0 549486 0
[pid=184618/tid=184620] ppid=184615 vsize=18975048 memory=-8817032570041311932 CPUtime=0.1 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) D 184615 184618 181598 0 -1 1078198336 5877 0 0 0 9 1 0 0 20 0 18 0 18613356 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68672 KiB

[startup+0.700161 s]
/proc/loadavg: 4.29 4.31 4.18 4/333 184636
/proc/meminfo: memFree=79549068/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=18975048 memory=68672 CPUtime=0.18 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 7421 0 0 0 16 2 0 0 20 0 18 0 18613356 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4743762 17168 5851 1 0 549486 0
[pid=184618/tid=184620] ppid=184615 vsize=18975048 memory=5476 CPUtime=0.1 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) D 184615 184618 181598 0 -1 1077936192 5879 0 0 0 9 1 0 0 20 0 18 0 18613356 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=18975048 memory=12928 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18613359 19430449152 17168 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68672 KiB

[startup+1.50073 s]
/proc/loadavg: 4.29 4.31 4.18 7/333 184636
/proc/meminfo: memFree=79504072/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19041612 memory=199192 CPUtime=1.39 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 16042 0 0 0 134 5 0 0 20 0 19 0 18613356 19498610688 49798 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4760403 49798 5851 1 0 555915 0
[pid=184618/tid=184620] ppid=184615 vsize=19041612 memory=12928 CPUtime=0.67 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 6003 0 0 0 64 3 0 0 20 0 19 0 18613356 19498610688 49798 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18613359 19498610688 49798 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18613359 19498610688 49798 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 199192 KiB

[startup+3.1059 s]
/proc/loadavg: 4.29 4.31 4.18 6/335 184640
/proc/meminfo: memFree=79171156/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=432896 CPUtime=4.55 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 19981 0 0 0 444 11 0 0 20 0 20 0 18613356 19566772224 108224 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 108224 5867 1 0 1022897 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=0 CPUtime=2.1 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 6158 0 0 0 203 7 0 0 20 0 20 0 18613356 19566772224 108224 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 108224 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=226120 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 108224 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 108224 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 432896 KiB

[startup+6.30548 s]
/proc/loadavg: 4.35 4.32 4.18 5/335 184640
/proc/meminfo: memFree=79156724/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=454648 CPUtime=9.36 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 29943 0 0 0 923 13 0 0 20 0 20 0 18613356 19566772224 113662 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 113662 5883 1 0 1022941 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=0 CPUtime=5.22 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 7475 0 0 0 515 7 0 0 20 0 20 0 18613356 19566772224 113662 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 113662 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=433468 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 113662 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 113662 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 454648 KiB

[startup+12.7007 s]
/proc/loadavg: 4.32 4.31 4.18 5/315 184757
/proc/meminfo: memFree=119840000/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=463088 CPUtime=16.13 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 31651 0 0 0 1599 14 0 0 20 0 20 0 18613356 19566772224 115772 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 115772 5914 1 0 1022941 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=454716 CPUtime=11.55 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 7869 0 0 0 1147 8 0 0 20 0 20 0 18613356 19566772224 115772 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=-8817032570041311932 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 115772 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 115772 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 115772 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 16.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 463088 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 4.31 4.18 7/335 184848
/proc/meminfo: memFree=122920664/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=649600 CPUtime=28.9 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 36600 0 0 0 2871 19 0 0 20 0 20 0 18613356 19566772224 162400 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 162400 5914 1 0 1022957 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=454716 CPUtime=24.18 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 9163 0 0 0 2406 12 0 0 20 0 20 0 18613356 19566772224 162400 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 162400 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=-8817032570041311932 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 162400 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 162400 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 28.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 649600 KiB

[startup+51.1057 s]
/proc/loadavg: 4.27 4.30 4.18 5/335 184851
/proc/meminfo: memFree=119497220/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=1106360 CPUtime=54.65 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 44427 0 0 0 5432 33 0 0 20 0 20 0 18613356 19566772224 276590 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 276590 5914 1 0 1022958 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=1102264 CPUtime=49.64 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 11387 0 0 0 4940 24 0 0 20 0 20 0 18613356 19566772224 276590 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=1063348 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 276590 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=944552 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 276590 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 276590 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0

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

/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 857523 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=3430092 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 3752 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 857523 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 857523 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3199.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3430092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.34 4.26 4.20 5/336 186705
/proc/meminfo: memFree=86595592/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=3456736 CPUtime=3258.3 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 239975 0 0 0 325070 760 0 0 20 0 20 0 18613356 19566772224 864184 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 864184 5914 1 0 1023022 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=3430104 CPUtime=3239.5 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 116446 0 0 0 323316 634 0 0 20 0 20 0 18613356 19566772224 864184 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2535 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 864184 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 3755 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 864184 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=3464 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 864184 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3258.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3456736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/336 186717
/proc/meminfo: memFree=86203284/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=3485408 CPUtime=3317.25 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 242478 0 0 0 330954 771 0 0 20 0 20 0 18613356 19566772224 871352 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 871352 5914 1 0 1023022 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=3430092 CPUtime=3298.2 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 118210 0 0 0 329178 642 0 0 20 0 20 0 18613356 19566772224 871352 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2627 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=3485408 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 871352 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 3809 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 871352 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=20352 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 871352 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3317.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3485408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.41 4.29 4.21 5/337 186853
/proc/meminfo: memFree=97037848/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=3501792 CPUtime=3376.76 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 245101 0 0 0 336891 785 0 0 20 0 20 0 18613356 19566772224 875448 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 875448 5914 1 0 1023022 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=3430092 CPUtime=3357.48 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 119712 0 0 0 335094 654 0 0 20 0 20 0 18613356 19566772224 875448 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2653 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=3485408 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 875448 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=3485408 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 3861 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 875448 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 875448 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3376.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3501792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.26 4.21 5/337 186864
/proc/meminfo: memFree=96299624/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=3512032 CPUtime=3436.04 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 247479 0 0 0 342809 795 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 878008 5914 1 0 1023022 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=3430092 CPUtime=3416.59 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 120961 0 0 0 340997 662 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2675 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=3485408 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 3914 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=3512032 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3436.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3512032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.24 4.20 5/337 186875
/proc/meminfo: memFree=95978832/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=3512032 CPUtime=3495.89 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 250713 0 0 0 348782 807 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 878008 5914 1 0 1023038 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=3512032 CPUtime=3476.28 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 122892 0 0 0 346955 673 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2686 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=3512032 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 3965 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=3512032 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3495.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3512032 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.23 4.20 5/337 186888
/proc/meminfo: memFree=95637896/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=3512032 CPUtime=3554.95 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 253906 0 0 0 354676 819 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 878008 5914 1 0 1023038 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=3512032 CPUtime=3535.17 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 124774 0 0 0 352835 682 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2776 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=3512032 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=3512032 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 4027 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3554.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3512032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3638.4 s]
/proc/loadavg: 4.13 4.20 4.19 6/338 186966
/proc/meminfo: memFree=109646868/131524600 swapFree=131064476/131071996
[pid=184618] ppid=184615 vsize=19108176 memory=3512032 CPUtime=3600.02 cores=4,6
/proc/184618/stat : 184618 (java) S 184615 184618 181598 0 -1 1077936128 256545 0 0 0 359173 829 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
/proc/184618/statm: 4777044 878008 5914 1 0 1023038 0
[pid=184618/tid=184620] ppid=184615 vsize=19108176 memory=12928 CPUtime=3580.05 cores=4,6
/proc/184618/task/184620/stat : 184620 (java) R 184615 184618 181598 0 -1 4194368 126668 0 0 0 357314 691 0 0 20 0 20 0 18613356 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3873 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184629] ppid=184615 vsize=19108176 memory=67456 CPUtime=0 cores=4,6
/proc/184618/task/184629/stat : 184629 (Finalizer) S 184615 184618 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184636] ppid=184615 vsize=19108176 memory=16024 CPUtime=0 cores=4,6
/proc/184618/task/184636/stat : 184636 (Common-Cleaner) S 184615 184618 181598 0 -1 1077936192 4103 0 0 0 0 0 0 0 20 0 20 0 18613359 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
[pid=184618/tid=184640] ppid=184615 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/184618/task/184640/stat : 184640 (Timer-0) S 184615 184618 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18613588 19566772224 878008 134679101440 94681472942080 94681472945776 140732966668704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94681472953592 94681472954384 94681475596288 140732966671275 140732966671457 140732966671457 140732966678472 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3512032 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.87 s, system=8.30676 s

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

[startup+3638.5 s]*
/proc/loadavg: 4.13 4.20 4.19 8/320 186969
/proc/meminfo: memFree=111961092/131524600 swapFree=131064476/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): 3638.51
CPU time (s): 3600.18
CPU user time (s): 3591.87
CPU system time (s): 8.30676
CPU usage (%): 98.9465
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3512032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.87
system time used= 8.30676
maximum resident set size= 3512880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9651480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109487
involuntary context switches= 10044


# summary of solver processes directly reported to runsolver:
#   pid: 184618
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3591.87
#   total CPU system time (s): 8.30676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24058 second user time and 18.0167 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-24 13:33:57
IDJOB=4446152
IDBENCH=155459
IDSOLVER=3079
FILE ID=nodeC033/4446152-1721820836
RUNJOBID= nodeC033-1721817188-181609
SLURM_JOB_ID= 7816898
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-96.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-4446152-1721820836/watcher-4446152-1721820836 -o /tmp/evaluation-result-4446152-1721820836/solver-4446152-1721820836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721817188-181609 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446152-1721820836 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446152-1721820836.opb

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

MD5SUM BENCH= 41cda2cdd43cae95a9671374dc621893
RANDOM SEED=1663244205

nodeC033.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		: 3675.378
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.99
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		: 3687.100
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	: 7005.76
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		: 3625.156
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.99
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		: 3600.234
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	: 7005.76
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		: 3662.433
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.99
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		: 3686.267
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	: 7005.76
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		: 3642.625
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.99
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.254
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	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        79599788 kB
MemAvailable:   123294404 kB
Buffers:          240896 kB
Cached:         44205604 kB
SwapCached:         5076 kB
Active:          2419336 kB
Inactive:       48734564 kB
Active(anon):       1816 kB
Inactive(anon):  6759008 kB
Active(file):    2417520 kB
Inactive(file): 41975556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064476 kB
Dirty:             18244 kB
Writeback:             4 kB
AnonPages:       6694240 kB
Mapped:           132436 kB
Shmem:             53324 kB
KReclaimable:     282724 kB
Slab:             399720 kB
SReclaimable:     282724 kB
SUnreclaim:       116996 kB
KernelStack:        5088 kB
PageTables:        23164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7271300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6367232 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:      389844 kB
DirectMap2M:    39229440 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 889980 MiB
End job on nodeC033 at 2024-07-24 14:34:35