Trace number 4446134

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 Default 2024-07-07? (TO) 3600.21 3606.22

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.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 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.11	--- Begin Solver configuration ---
0.13/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	Learn all clauses as in MiniSAT
0.13/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	No reason simplification
0.13/0.11	Glucose 2.1 dynamic restart strategy
0.13/0.11	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.11	timeout=2147483s
0.13/0.11	DB Simplification allowed=false
0.13/0.11	Listener: none
0.13/0.11	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4446134-1721324463.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
2.63/1.41	c ... done. Wall clock time 1.285s.
2.63/1.41	c declared #vars     12587
2.63/1.41	c #constraints  284398
2.63/1.41	c constraints type 
2.63/1.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 59821
2.63/1.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 906
2.63/1.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.63/1.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 195762
2.63/1.41	c 284398 constraints processed.
5.32/3.24	c cleaning 2487 clauses out of 5000 with flag 109434/5000
6.57/4.29	c cleaning 4239 clauses out of 8511 with flag 181759/11000
7.98/5.33	c cleaning 5605 clauses out of 11268 with flag 258575/18000
8.89/6.26	c cleaning 6812 clauses out of 13663 with flag 341093/26001
10.49/7.86	c cleaning 7898 clauses out of 15850 with flag 436316/35000
11.69/9.09	c cleaning 8898 clauses out of 17952 with flag 539426/45000
13.18/10.51	c cleaning 9924 clauses out of 20056 with flag 656752/56002
14.48/11.87	c cleaning 11026 clauses out of 22131 with flag 770522/68001
16.08/13.43	c cleaning 12022 clauses out of 24104 with flag 882936/81000
17.68/15.04	c cleaning 13026 clauses out of 26082 with flag 997949/95000
19.47/16.89	c cleaning 13953 clauses out of 28056 with flag 1146811/110000
21.87/19.30	c cleaning 15022 clauses out of 30103 with flag 1330960/126000
23.79/21.19	c cleaning 15912 clauses out of 32081 with flag 1505091/143000
25.81/23.15	c cleaning 17026 clauses out of 34170 with flag 1656513/161001
27.61/24.97	c cleaning 18057 clauses out of 36143 with flag 1813056/180000
29.60/26.99	c cleaning 19023 clauses out of 38088 with flag 1978983/200002
31.70/29.04	c cleaning 20015 clauses out of 40064 with flag 2149167/221001
34.19/31.54	c cleaning 21009 clauses out of 42049 with flag 2325473/243001
37.28/34.63	c cleaning 21962 clauses out of 44040 with flag 2532957/266001
39.97/37.35	c cleaning 23023 clauses out of 46077 with flag 2745801/290000
43.16/40.51	c cleaning 24014 clauses out of 48055 with flag 2945972/315001
46.26/43.68	c cleaning 24944 clauses out of 50040 with flag 3157021/341000
50.16/47.59	c cleaning 25959 clauses out of 52098 with flag 3420702/368002
54.25/51.67	c cleaning 27051 clauses out of 54137 with flag 3648971/396000
57.84/55.25	c cleaning 27996 clauses out of 56086 with flag 3903059/425000
62.44/59.84	c cleaning 28970 clauses out of 58090 with flag 4199053/455000
67.33/64.70	c cleaning 29917 clauses out of 60121 with flag 4522234/486001
71.62/69.07	c cleaning 31093 clauses out of 62203 with flag 4807604/518000
76.40/73.87	c cleaning 31945 clauses out of 64110 with flag 5088215/551000
80.70/78.15	c cleaning 33064 clauses out of 66165 with flag 5381373/585000
85.58/83.00	c cleaning 33957 clauses out of 68102 with flag 5708681/620001
90.47/87.95	c cleaning 35039 clauses out of 70144 with flag 6141031/656000
96.87/94.33	c cleaning 35952 clauses out of 72105 with flag 6531542/693000
102.45/99.98	c cleaning 37044 clauses out of 74153 with flag 6821979/731000
108.34/105.85	c cleaning 38019 clauses out of 76110 with flag 7106477/770001
114.73/112.23	c cleaning 39014 clauses out of 78090 with flag 7426887/810000
120.71/118.23	c cleaning 39979 clauses out of 80076 with flag 7729349/851000
126.60/124.12	c cleaning 41020 clauses out of 82098 with flag 8063239/893001
133.59/131.19	c cleaning 41950 clauses out of 84079 with flag 8404449/936002
140.93/138.48	c cleaning 42940 clauses out of 86127 with flag 8775808/980000
148.21/145.72	c cleaning 44078 clauses out of 88187 with flag 9130099/1025000
155.50/153.08	c cleaning 45000 clauses out of 90110 with flag 9490363/1071001
163.77/161.30	c cleaning 46018 clauses out of 92111 with flag 9903866/1118002
172.95/170.54	c cleaning 46986 clauses out of 94091 with flag 10384467/1166000
181.43/179.06	c cleaning 48017 clauses out of 96105 with flag 10910223/1215000
190.76/188.36	c cleaning 49010 clauses out of 98090 with flag 11334098/1265002
200.54/198.18	c cleaning 49998 clauses out of 100078 with flag 11700672/1316000
209.42/207.05	c cleaning 51005 clauses out of 102080 with flag 12108312/1368000
218.19/215.84	c cleaning 52020 clauses out of 104077 with flag 12494637/1421002
226.58/224.27	c cleaning 52940 clauses out of 106055 with flag 12899990/1475000
236.55/234.22	c cleaning 54033 clauses out of 108115 with flag 13273011/1530000
246.69/244.35	c cleaning 54872 clauses out of 110082 with flag 13681568/1586000
256.67/254.37	c cleaning 56066 clauses out of 112210 with flag 14119430/1643000
267.34/265.08	c cleaning 57041 clauses out of 114144 with flag 14538542/1701000
278.01/275.76	c cleaning 58023 clauses out of 116104 with flag 14975736/1760001
287.98/285.71	c cleaning 58982 clauses out of 118080 with flag 15441047/1820000
298.90/296.66	c cleaning 59984 clauses out of 120098 with flag 15897233/1881000
309.77/307.51	c cleaning 61023 clauses out of 122115 with flag 16402076/1943001
320.84/318.69	c cleaning 62045 clauses out of 124093 with flag 16875463/2006002
332.81/330.63	c cleaning 62973 clauses out of 126047 with flag 17367322/2070001
346.13/343.94	c cleaning 64035 clauses out of 128074 with flag 17984543/2135001
360.79/358.65	c cleaning 64966 clauses out of 130040 with flag 18665820/2201002
373.95/371.81	c cleaning 65837 clauses out of 132072 with flag 19267477/2268000
388.18/386.08	c cleaning 67107 clauses out of 134235 with flag 19950082/2336000
402.54/400.49	c cleaning 68060 clauses out of 136128 with flag 20447265/2405000
415.90/413.89	c cleaning 69021 clauses out of 138069 with flag 20919966/2475001
428.76/426.79	c cleaning 69957 clauses out of 140047 with flag 21468518/2546000
444.21/442.14	c cleaning 71029 clauses out of 142090 with flag 22080765/2618000
457.66/455.61	c cleaning 72015 clauses out of 144061 with flag 22710635/2691000
472.63/470.61	c cleaning 72836 clauses out of 146049 with flag 23292484/2765003
487.54/485.52	c cleaning 74020 clauses out of 148210 with flag 23900036/2840000
503.20/501.26	c cleaning 75058 clauses out of 150190 with flag 24448464/2916000
518.85/516.92	c cleaning 76025 clauses out of 152132 with flag 25023169/2993000
536.37/534.49	c cleaning 76990 clauses out of 154109 with flag 25869713/3071002
551.92/550.02	c cleaning 77988 clauses out of 156117 with flag 26551994/3150000
568.17/566.34	c cleaning 79035 clauses out of 158129 with flag 27211567/3230000
584.82/582.95	c cleaning 80018 clauses out of 160094 with flag 27941178/3311000
601.66/599.87	c cleaning 80988 clauses out of 162077 with flag 28627491/3393001
619.40/617.69	c cleaning 82015 clauses out of 164088 with flag 29322039/3476000
638.22/636.48	c cleaning 82908 clauses out of 166073 with flag 29968564/3560000
657.88/656.13	c cleaning 84009 clauses out of 168166 with flag 30653890/3645001
676.52/674.89	c cleaning 85006 clauses out of 170156 with flag 31344875/3731000
697.37/695.75	c cleaning 85955 clauses out of 172150 with flag 32060937/3818000
715.59/713.90	c cleaning 87043 clauses out of 174195 with flag 32774327/3906000
734.24/732.67	c cleaning 87991 clauses out of 176153 with flag 33524340/3995001
753.09/751.58	c cleaning 89046 clauses out of 178163 with flag 34235688/4085002
772.71/771.12	c cleaning 89991 clauses out of 180115 with flag 35035571/4176000
793.74/792.24	c cleaning 90974 clauses out of 182124 with flag 35776726/4268000
814.79/813.36	c cleaning 92036 clauses out of 184150 with flag 36430799/4361000
834.13/832.70	c cleaning 93001 clauses out of 186114 with flag 37231831/4455000
853.27/851.90	c cleaning 94001 clauses out of 188113 with flag 37989785/4550000
874.22/872.99	c cleaning 94950 clauses out of 190112 with flag 38769263/4646000
896.13/894.87	c cleaning 96040 clauses out of 192162 with flag 39502083/4743000
916.08/914.83	c cleaning 96945 clauses out of 194123 with flag 40254632/4841001
938.42/937.27	c cleaning 98064 clauses out of 196178 with flag 41015278/4940001
961.05/959.92	c cleaning 99044 clauses out of 198113 with flag 41867846/5040000
985.24/984.03	c cleaning 99975 clauses out of 200069 with flag 42638171/5141000
1007.07/1005.99	c cleaning 101014 clauses out of 202094 with flag 43407192/5243000
1030.91/1029.80	c cleaning 102026 clauses out of 204080 with flag 44181948/5346000
1054.52/1053.43	c cleaning 102973 clauses out of 206054 with flag 44944090/5450000
1080.65/1079.67	c cleaning 104019 clauses out of 208081 with flag 45753671/5555000
1105.09/1104.11	c cleaning 105013 clauses out of 210062 with flag 46551385/5661000
1129.81/1128.96	c cleaning 106002 clauses out of 212051 with flag 47321352/5768002
1154.53/1153.62	c cleaning 107006 clauses out of 214047 with flag 48187150/5876000
1180.46/1179.64	c cleaning 107939 clauses out of 216043 with flag 49016937/5985002
1206.79/1206.07	c cleaning 109008 clauses out of 218102 with flag 50040132/6095000
1231.12/1230.48	c cleaning 109959 clauses out of 220094 with flag 50883930/6206000
1259.89/1259.11	c cleaning 110943 clauses out of 222135 with flag 51719090/6318000
1285.71/1285.06	c cleaning 112071 clauses out of 224194 with flag 52561084/6431002
1312.33/1311.70	c cleaning 112920 clauses out of 226121 with flag 53430998/6545000
1340.75/1340.27	c cleaning 114088 clauses out of 228201 with flag 54335835/6660000
1371.37/1370.85	c cleaning 114945 clauses out of 230113 with flag 55213476/6776000
1401.79/1401.40	c cleaning 116052 clauses out of 232168 with flag 56323733/6893000
1430.11/1429.75	c cleaning 117053 clauses out of 234116 with flag 57270084/7011000
1462.42/1462.13	c cleaning 117932 clauses out of 236063 with flag 58273909/7130000
1496.37/1496.10	c cleaning 119030 clauses out of 238132 with flag 59207714/7250001
1527.38/1527.17	c cleaning 120033 clauses out of 240102 with flag 60047463/7371001
1560.29/1560.12	c cleaning 120993 clauses out of 242070 with flag 60925732/7493002
1589.68/1589.65	c cleaning 122018 clauses out of 244075 with flag 61900369/7616000
1625.51/1625.49	c cleaning 122976 clauses out of 246057 with flag 62774629/7740000
1657.14/1657.16	c cleaning 123934 clauses out of 248081 with flag 63654156/7865000
1688.93/1689.05	c cleaning 125026 clauses out of 250147 with flag 64612881/7991000
1721.62/1721.80	c cleaning 126031 clauses out of 252121 with flag 65636787/8118000
1755.22/1755.55	c cleaning 126847 clauses out of 254090 with flag 66582214/8246000
1794.24/1794.23	c cleaning 128091 clauses out of 256243 with flag 67509332/8375000
1828.52/1828.66	c cleaning 129059 clauses out of 258152 with flag 68417937/8505000
1862.70/1862.99	c cleaning 130022 clauses out of 260094 with flag 69458791/8636001
1897.58/1897.80	c cleaning 130959 clauses out of 262071 with flag 70424415/8768000
1932.06/1932.46	c cleaning 132035 clauses out of 264112 with flag 71378592/8901000
1973.22/1973.77	c cleaning 133039 clauses out of 266077 with flag 72312646/9035000
2013.19/2013.88	c cleaning 134002 clauses out of 268040 with flag 73326715/9170002
2051.97/2052.66	c cleaning 134948 clauses out of 270036 with flag 74339834/9306000
2088.96/2089.75	c cleaning 136033 clauses out of 272090 with flag 75420714/9443002
2127.04/2127.98	c cleaning 136958 clauses out of 274055 with flag 76624200/9581000
2168.61/2169.66	c cleaning 138014 clauses out of 276097 with flag 77818047/9720000
2207.63/2208.86	c cleaning 139015 clauses out of 278083 with flag 78933180/9860000
2246.86/2248.42	c cleaning 139948 clauses out of 280070 with flag 80115026/10001002
2289.83/2291.83	c cleaning 141014 clauses out of 282120 with flag 81155459/10143000
2335.10/2337.56	c cleaning 141970 clauses out of 284107 with flag 82162903/10286001
2374.56/2377.07	c cleaning 142994 clauses out of 286137 with flag 83275381/10430001
2415.64/2418.26	c cleaning 143975 clauses out of 288142 with flag 84457122/10575000
2458.63/2461.21	c cleaning 145054 clauses out of 290168 with flag 85597779/10721001
2498.43/2501.29	c cleaning 146012 clauses out of 292113 with flag 86739813/10868000
2541.19/2544.17	c cleaning 147040 clauses out of 294104 with flag 87910302/11016003
2586.24/2589.35	c cleaning 147996 clauses out of 296062 with flag 89079470/11165001
2633.99/2637.16	c cleaning 148968 clauses out of 298065 with flag 90333945/11315000
2683.44/2686.76	c cleaning 149990 clauses out of 300097 with flag 91363814/11466000
2733.18/2736.69	c cleaning 151016 clauses out of 302107 with flag 92567301/11618000
2778.93/2782.57	c cleaning 152022 clauses out of 304094 with flag 93699293/11771003
2824.78/2828.50	c cleaning 153012 clauses out of 306070 with flag 94945757/11925001
2870.65/2874.45	c cleaning 154003 clauses out of 308057 with flag 96166888/12080000
2919.70/2923.63	c cleaning 155002 clauses out of 310055 with flag 97362706/12236001
2969.73/2973.81	c cleaning 155924 clauses out of 312052 with flag 98541625/12393000
3016.27/3020.56	c cleaning 157060 clauses out of 314130 with flag 99714713/12551002
3061.83/3066.20	c cleaning 158020 clauses out of 316069 with flag 100975642/12710001
3108.42/3112.81	c cleaning 158991 clauses out of 318048 with flag 102212302/12870000
3159.47/3164.04	c cleaning 160022 clauses out of 320057 with flag 103447488/13031000
3209.70/3214.44	c cleaning 160985 clauses out of 322038 with flag 104711400/13193003
3263.24/3268.14	c cleaning 162007 clauses out of 324050 with flag 105902809/13356000
3315.44/3320.37	c cleaning 163019 clauses out of 326043 with flag 107214605/13520000
3369.89/3374.93	c cleaning 164003 clauses out of 328025 with flag 108421785/13685001
3423.72/3428.97	c cleaning 164990 clauses out of 330022 with flag 109681263/13851001
3477.25/3482.62	c cleaning 165954 clauses out of 332031 with flag 111016902/14018000
3533.14/3538.65	c cleaning 166987 clauses out of 334077 with flag 112241436/14186000
3587.26/3593.29	c cleaning 167994 clauses out of 336090 with flag 113529368/14355000
3600.05/3606.13	c starts		: 53505
3600.05/3606.13	c timeout
3600.05/3606.13	c conflicts		: 14402493
3600.05/3606.14	c decisions		: 89725297
3600.05/3606.14	c propagations		: 2483038517
3600.05/3606.14	c inspects		: 44503458369
3600.05/3606.14	c shortcuts		: 0
3600.05/3606.14	c learnt literals	: 7
3600.05/3606.14	c learnt binary clauses	: 2459
3600.05/3606.14	c learnt ternary clauses	: 6081
3600.05/3606.14	c learnt constraints	: 14402486
3600.05/3606.14	c ignored constraints	: 0
3600.05/3606.14	c root simplifications	: 0
3600.05/3606.14	c removed literals (reason simplification)	: 0
3600.05/3606.14	c reason swapping (by a shorter reason)	: 0
3600.05/3606.14	c Calls to reduceDB	: 165
3600.05/3606.14	c Number of update (reduction) of LBD	: 8124658
3600.05/3606.14	c Imported unit clauses	: 0
3600.05/3606.14	c No decision after first conflict	: false
3600.05/3606.14	c number of reductions to clauses (during analyze)	: 0
3600.05/3606.14	c number of learned constraints concerned by reduction	: 0
3600.05/3606.14	c number of learning phase by resolution	: 0
3600.05/3606.14	c number of learning phase by cutting planes	: 0
3600.05/3606.14	c number of rounding to 1 operations	: 0
3600.05/3606.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3606.14	c number of reductions of the coefficients by power 2 	: 0
3600.05/3606.14	c number of right shift for reduction by power 2 	: 0
3600.05/3606.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3606.14	c number of ending skipping 	: 0
3600.05/3606.14	c number of internal skipping 	: 0
3600.05/3606.14	c number of derivation steps 	: 0
3600.05/3606.14	c number of skipped derivation steps 	: 0
3600.05/3606.14	c number of remaining unassigned 	: 0
3600.05/3606.14	c number of remaining assigned 	: 0
3600.05/3606.14	c number of falsified literals weakened from reason	: 0
3600.05/3606.14	c number of falsified literals weakened from conflict	: 0
3600.05/3606.14	c time for arithmetic operations	: 0
3600.05/3606.14	c minimum degree of deleted constraints	: null
3600.05/3606.14	c maximum degree of deleted constraints	: null
3600.05/3606.14	c number of deleted constraints	: 0
3600.05/3606.14	c speed (assignments/second)	: 688828.0691835642
3600.05/3606.14	c non guided choices	: 2766729
3600.05/3606.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 213130
3600.05/3606.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2459
3600.05/3606.20	s UNKNOWN
3600.05/3606.20	c Total wall clock time (in seconds): 3606.084

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446134-1721324463/watcher-4446134-1721324463 -o /tmp/evaluation-result-4446134-1721324463/solver-4446134-1721324463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446134-1721324463.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=942912, runsolver pid=942909

[startup+0.100076 s]*
/proc/loadavg: 4.42 4.26 4.18 5/330 942930
/proc/meminfo: memFree=121680756/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=18975048 memory=62824 CPUtime=0.13 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 7227 0 0 0 12 1 0 0 20 0 18 0 184606885 19430449152 15706 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4743762 15706 5605 1 0 549341 0
[pid=942912/tid=942914] ppid=942909 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 5753 0 0 0 7 1 0 0 20 0 18 0 184606886 19430449152 15706 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184606888 19430449152 15706 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184606889 19430449152 15706 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62824 KiB

[startup+0.205691 s]*
/proc/loadavg: 4.42 4.26 4.18 7/330 942930
/proc/meminfo: memFree=121657664/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=18975048 memory=88012 CPUtime=0.34 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 8656 0 0 0 31 3 0 0 20 0 18 0 184606885 19430449152 22003 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4743762 22003 5848 1 0 550212 0
[pid=942912/tid=942914] ppid=942909 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 5925 0 0 0 17 2 0 0 20 0 18 0 184606886 19430449152 22003 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=18975048 memory=14994 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184606888 19430449152 22003 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184606889 19430449152 22003 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 88012 KiB

[startup+0.306631 s]*
/proc/loadavg: 4.54 4.29 4.19 6/330 942930
/proc/meminfo: memFree=121623312/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=18975048 memory=124672 CPUtime=0.51 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 9145 0 0 0 48 3 0 0 20 0 18 0 184606885 19430449152 31168 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4743762 31168 5848 1 0 550561 0
[pid=942912/tid=942914] ppid=942909 vsize=18975048 memory=-8529080378987946684 CPUtime=0.28 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 5943 0 0 0 25 3 0 0 20 0 18 0 184606886 19430449152 31168 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184606888 19430449152 31168 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184606889 19430449152 31168 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124672 KiB

[startup+0.700616 s]
/proc/loadavg: 4.54 4.29 4.19 6/331 942931
/proc/meminfo: memFree=121571156/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19041612 memory=191224 CPUtime=1.26 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 16571 0 0 0 121 5 0 0 20 0 19 0 184606885 19498610688 47806 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4760403 47806 5848 1 0 555889 0
[pid=942912/tid=942914] ppid=942909 vsize=19041612 memory=5560 CPUtime=0.61 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 5961 0 0 0 58 3 0 0 20 0 19 0 184606886 19498610688 47806 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184606888 19498610688 47806 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184606889 19498610688 47806 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 191224 KiB

[startup+1.50024 s]
/proc/loadavg: 4.54 4.29 4.19 7/331 942931
/proc/meminfo: memFree=121514424/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=448316 CPUtime=2.82 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 19296 0 0 0 270 12 0 0 20 0 20 0 184606885 19566772224 112079 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 112079 5848 1 0 1083064 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=13012 CPUtime=1.27 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 6094 0 0 0 119 8 0 0 20 0 20 0 184606886 19566772224 112079 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 112079 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 112079 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 448316 KiB

[startup+3.1056 s]
/proc/loadavg: 4.54 4.29 4.19 5/332 942932
/proc/meminfo: memFree=121293180/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=449336 CPUtime=5.22 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 19500 0 0 0 510 12 0 0 20 0 20 0 184606885 19566772224 112334 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 112334 5864 1 0 1083097 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=198340509722 CPUtime=2.85 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 6099 0 0 0 277 8 0 0 20 0 20 0 184606886 19566772224 112334 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 112334 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 112334 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=448844 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 112334 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 449336 KiB

[startup+6.30027 s]
/proc/loadavg: 4.58 4.31 4.19 5/332 942932
/proc/meminfo: memFree=121297716/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=445392 CPUtime=8.99 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 27835 0 0 0 886 13 0 0 20 0 20 0 184606885 19566772224 111348 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 111348 5896 1 0 1083210 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=0 CPUtime=6.03 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 6787 0 0 0 595 8 0 0 20 0 20 0 184606886 19566772224 111348 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 111348 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=449336 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 111348 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=445388 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 111348 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 445392 KiB

[startup+12.7003 s]
/proc/loadavg: 4.53 4.30 4.19 5/332 942933
/proc/meminfo: memFree=121297532/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=445404 CPUtime=15.38 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 28684 0 0 0 1524 14 0 0 20 0 20 0 184606885 19566772224 111351 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 111351 5896 1 0 1083210 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=445400 CPUtime=12.41 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 7417 0 0 0 1233 8 0 0 20 0 20 0 184606886 19566772224 111351 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 111351 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=7669747165696713555 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 111351 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 111351 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 445404 KiB

[startup+25.5003 s]
/proc/loadavg: 4.45 4.29 4.19 5/332 942935
/proc/meminfo: memFree=121131104/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=445572 CPUtime=28.21 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 31991 0 0 0 2806 15 0 0 20 0 20 0 184606885 19566772224 111393 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 111393 5904 1 0 1083226 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=7669747165696713555 CPUtime=25.17 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 8062 0 0 0 2509 8 0 0 20 0 20 0 184606886 19566772224 111393 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 111393 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=5444 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 111393 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=-8529080378987946684 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 111393 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 28.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 445572 KiB

[startup+51.1056 s]
/proc/loadavg: 4.35 4.28 4.19 5/332 942940
/proc/meminfo: memFree=121110044/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=466264 CPUtime=53.76 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 35106 0 0 0 5360 16 0 0 20 0 20 0 184606885 19566772224 116566 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 116566 5904 1 0 1083226 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=445576 CPUtime=50.63 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 9389 0 0 0 5055 8 0 0 20 0 20 0 184606886 19566772224 116566 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 116566 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 116566 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 116566 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0

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

/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 4264 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3217252 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3217.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3217252 KiB

[startup+3282.3 s]
/proc/loadavg: 3.16 3.36 3.71 4/304 944952
/proc/meminfo: memFree=112333248/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=3217252 CPUtime=3277.39 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 163234 0 0 0 327562 177 0 0 20 0 20 0 184606885 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 804313 5904 1 0 1086642 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=3217252 CPUtime=3265.96 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 77505 0 0 0 326569 27 0 0 20 0 20 0 184606886 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=3217252 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 4351 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3217252 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 804313 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3277.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3217252 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.32 3.68 4/304 944962
/proc/meminfo: memFree=112190960/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3337.39 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 166065 0 0 0 333560 179 0 0 20 0 20 0 184606885 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 804825 5904 1 0 1086642 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3325.6 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 78527 0 0 0 332532 28 0 0 20 0 20 0 184606886 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=28352 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=5560 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 4438 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3219300 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3337.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3219300 KiB

[startup+3402.3 s]
/proc/loadavg: 3.18 3.29 3.64 4/304 944973
/proc/meminfo: memFree=112173928/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3397.2 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 167487 0 0 0 339539 181 0 0 20 0 20 0 184606885 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 804825 5904 1 0 1086642 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3385.39 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 79704 0 0 0 338510 29 0 0 20 0 20 0 184606886 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=5560 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=5560 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 4550 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3219300 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3397.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3219300 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.25 3.61 4/304 944983
/proc/meminfo: memFree=112146384/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3457.01 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 169236 0 0 0 345519 182 0 0 20 0 20 0 184606885 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 804825 5904 1 0 1086642 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3445.17 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 81181 0 0 0 344488 29 0 0 20 0 20 0 184606886 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=5560 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=5560 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 4678 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3219300 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3457.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3219300 KiB

[startup+3522.3 s]
/proc/loadavg: 3.16 3.24 3.58 4/304 944994
/proc/meminfo: memFree=112000096/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3516.83 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 171130 0 0 0 351498 185 0 0 20 0 20 0 184606885 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 804825 5904 1 0 1086642 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=3219300 CPUtime=3504.95 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 82766 0 0 0 350466 29 0 0 20 0 20 0 184606886 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=3219300 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=3219300 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 4806 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3219300 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 804825 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3516.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3219300 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.22 3.55 4/306 945009
/proc/meminfo: memFree=111952076/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=3225444 CPUtime=3576.46 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 173534 0 0 0 357459 187 0 0 20 0 20 0 184606885 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 806361 5904 1 0 1086643 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=3225444 CPUtime=3564.24 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 83720 0 0 0 356394 30 0 0 20 0 20 0 184606886 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=3225444 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 4890 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3225444 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3576.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3225444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.11 s]
/proc/loadavg: 3.27 3.24 3.55 4/306 945013
/proc/meminfo: memFree=111951832/131524600 swapFree=131071996/131071996
[pid=942912] ppid=942909 vsize=19108176 memory=3225444 CPUtime=3600.05 cores=0,2
/proc/942912/stat : 942912 (java) S 942909 942912 937004 0 -1 1077936128 174198 0 0 0 359818 187 0 0 20 0 20 0 184606885 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
/proc/942912/statm: 4777044 806361 5904 1 0 1086643 0
[pid=942912/tid=942914] ppid=942909 vsize=19108176 memory=3225444 CPUtime=3587.83 cores=0,2
/proc/942912/task/942914/stat : 942914 (java) R 942909 942912 937004 0 -1 4194368 84249 0 0 0 358753 30 0 0 20 0 20 0 184606886 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942923] ppid=942909 vsize=19108176 memory=3225444 CPUtime=0 cores=0,2
/proc/942912/task/942923/stat : 942923 (Finalizer) S 942909 942912 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184606888 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942930] ppid=942909 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/942912/task/942930/stat : 942930 (Common-Cleaner) S 942909 942912 937004 0 -1 1077936192 5017 0 0 0 0 0 0 0 20 0 20 0 184606889 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
[pid=942912/tid=942932] ppid=942909 vsize=19108176 memory=3225444 CPUtime=0 cores=0,2
/proc/942912/task/942932/stat : 942932 (Timer-0) S 942909 942912 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184607027 19566772224 806361 134679101440 94886026944512 94886026948208 140733611262336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94886026956024 94886026956816 94886036643840 140733611271174 140733611271264 140733611271264 140733611278280 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3225444 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.31 s, system=1.89237 s

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

[startup+3606.21 s]*
/proc/loadavg: 3.33 3.25 3.55 5/288 945016
/proc/meminfo: memFree=113179612/131524600 swapFree=131071996/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): 3606.22
CPU time (s): 3600.21
CPU user time (s): 3598.31
CPU system time (s): 1.89237
CPU usage (%): 99.8332
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3225444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.31
system time used= 1.89237
maximum resident set size= 3227516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113169
involuntary context switches= 26573


# summary of solver processes directly reported to runsolver:
#   pid: 942912
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.31
#   total CPU system time (s): 1.89237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46015 second user time and 18.8829 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 19:41:15
IDJOB=4446134
IDBENCH=155459
IDSOLVER=3058
FILE ID=nodeC016/4446134-1721324463
RUNJOBID= nodeC016-1721316965-937014
SLURM_JOB_ID= 7542659
Free space on /tmp= 890040 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-96.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446134-1721324463/watcher-4446134-1721324463 -o /tmp/evaluation-result-4446134-1721324463/solver-4446134-1721324463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446134-1721324463.opb

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

MD5SUM BENCH= 41cda2cdd43cae95a9671374dc621893
RANDOM SEED=1820988757

nodeC016.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		: 3633.293
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.70
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		: 3680.055
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.63
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		: 3663.630
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.70
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.049
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.63
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		: 3602.309
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.70
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		: 3680.075
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.63
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		: 3668.536
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.70
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		: 3599.884
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.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121722544 kB
MemAvailable:   125409248 kB
Buffers:          355120 kB
Cached:          4167532 kB
SwapCached:            0 kB
Active:           582064 kB
Inactive:        8600876 kB
Active(anon):       1552 kB
Inactive(anon):  4696500 kB
Active(file):     580512 kB
Inactive(file):  3904376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12952 kB
Writeback:             0 kB
AnonPages:       4658840 kB
Mapped:           126644 kB
Shmem:             37720 kB
KReclaimable:      82928 kB
Slab:             192836 kB
SReclaimable:      82928 kB
SUnreclaim:       109908 kB
KernelStack:        5040 kB
PageTables:        19220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13391040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69792 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4311040 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 889976 MiB
End job on nodeC016 at 2024-07-18 20:41:21