Trace number 4446332

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.14 3633.6

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-77.opb
MD5SUM71fdab66bbdfc1c9c6ce1eef27fb98d4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1621.08
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
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 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.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-4446332-1721820842.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
2.38/1.32	c ... done. Wall clock time 1.187s.
2.38/1.33	c declared #vars     10086
2.38/1.33	c #constraints  226608
2.38/1.33	c constraints type 
2.38/1.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 47809
2.38/1.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 722
2.38/1.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22218
2.38/1.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 155859
2.38/1.33	c 226608 constraints processed.
5.85/3.22	c cleaning 2493 clauses out of 5000 with flag 77511/5000
7.94/4.65	c cleaning 4217 clauses out of 8507 with flag 216600/11000
10.11/6.22	c cleaning 5599 clauses out of 11290 with flag 376203/18000
11.82/7.96	c cleaning 6791 clauses out of 13691 with flag 536948/26000
13.42/9.58	c cleaning 7939 clauses out of 15900 with flag 682907/35000
15.02/11.16	c cleaning 8961 clauses out of 17963 with flag 829402/45002
17.18/13.24	c cleaning 9944 clauses out of 20001 with flag 994296/56001
19.06/14.90	c cleaning 10991 clauses out of 22051 with flag 1124722/68000
20.90/16.64	c cleaning 11983 clauses out of 24059 with flag 1236659/81000
22.50/18.20	c cleaning 12995 clauses out of 26076 with flag 1341381/95001
24.30/20.07	c cleaning 13916 clauses out of 28080 with flag 1490628/110000
26.19/21.97	c cleaning 15073 clauses out of 30164 with flag 1656222/126000
28.46/24.16	c cleaning 15977 clauses out of 32091 with flag 1799829/143000
31.03/26.62	c cleaning 16968 clauses out of 34115 with flag 1967153/161001
33.95/29.56	c cleaning 17971 clauses out of 36146 with flag 2150354/180000
36.95/32.52	c cleaning 19070 clauses out of 38175 with flag 2408791/200000
39.58/35.30	c cleaning 19999 clauses out of 40105 with flag 2640688/221000
42.70/38.39	c cleaning 20990 clauses out of 42106 with flag 2836394/243000
45.99/41.67	c cleaning 21979 clauses out of 44116 with flag 3055621/266000
48.88/44.54	c cleaning 23045 clauses out of 46138 with flag 3270161/290001
52.19/47.88	c cleaning 24040 clauses out of 48093 with flag 3491784/315001
56.18/51.85	c cleaning 24996 clauses out of 50052 with flag 3776655/341000
59.76/55.44	c cleaning 25977 clauses out of 52056 with flag 4020729/368000
63.86/59.51	c cleaning 27033 clauses out of 54081 with flag 4250300/396002
68.64/64.30	c cleaning 27978 clauses out of 56047 with flag 4524299/425001
73.07/70.72	c cleaning 29004 clauses out of 58068 with flag 4781526/455000
76.97/74.63	c cleaning 30015 clauses out of 60066 with flag 5047247/486002
81.76/79.45	c cleaning 30976 clauses out of 62050 with flag 5321990/518001
86.36/84.04	c cleaning 31980 clauses out of 64073 with flag 5663889/551000
91.04/88.75	c cleaning 32994 clauses out of 66093 with flag 5987317/585000
95.23/92.94	c cleaning 34038 clauses out of 68099 with flag 6302640/620000
100.12/97.84	c cleaning 34999 clauses out of 70064 with flag 6621501/656003
105.68/103.62	c cleaning 35935 clauses out of 72062 with flag 6936305/693000
110.97/108.91	c cleaning 37017 clauses out of 74128 with flag 7282694/731001
116.36/114.30	c cleaning 38033 clauses out of 76111 with flag 7618725/770001
123.05/121.01	c cleaning 39021 clauses out of 78077 with flag 7972540/810000
130.23/128.23	c cleaning 39983 clauses out of 80057 with flag 8310064/851001
137.37/135.54	c cleaning 40998 clauses out of 82073 with flag 8660764/893000
144.75/142.99	c cleaning 41980 clauses out of 84078 with flag 9030892/936003
152.24/150.41	c cleaning 42944 clauses out of 86095 with flag 9436303/980000
160.12/158.30	c cleaning 44055 clauses out of 88151 with flag 9851025/1025000
167.46/165.86	c cleaning 44995 clauses out of 90097 with flag 10309055/1071001
174.95/173.30	c cleaning 46051 clauses out of 92101 with flag 10710681/1118000
182.52/180.96	c cleaning 47011 clauses out of 94051 with flag 11171252/1166001
190.81/189.22	c cleaning 47998 clauses out of 96042 with flag 11598067/1215003
200.01/198.76	c cleaning 48985 clauses out of 98041 with flag 12050969/1265000
208.53/207.25	c cleaning 50000 clauses out of 100056 with flag 12482326/1316000
216.41/215.19	c cleaning 50934 clauses out of 102056 with flag 12886992/1368000
225.07/224.01	c cleaning 51986 clauses out of 104122 with flag 13384524/1421000
233.94/232.98	c cleaning 53032 clauses out of 106136 with flag 13869944/1475000
243.33/242.36	c cleaning 54040 clauses out of 108104 with flag 14277046/1530000
252.61/251.63	c cleaning 55010 clauses out of 110065 with flag 14769754/1586001
265.23/264.47	c cleaning 56007 clauses out of 112055 with flag 15251368/1643001
276.62/275.83	c cleaning 57023 clauses out of 114051 with flag 15752033/1701004
287.32/286.70	c cleaning 57988 clauses out of 116027 with flag 16247449/1760003
299.49/298.93	c cleaning 58981 clauses out of 118036 with flag 16818481/1820000
311.16/310.64	c cleaning 59949 clauses out of 120055 with flag 17285859/1881000
322.40/322.11	c cleaning 60966 clauses out of 122106 with flag 17833414/1943000
334.76/334.57	c cleaning 61988 clauses out of 124142 with flag 18445640/2006002
348.19/348.24	c cleaning 63040 clauses out of 126152 with flag 18979975/2070000
360.79/360.99	c cleaning 64012 clauses out of 128113 with flag 19599528/2135001
373.56/373.84	c cleaning 65032 clauses out of 130100 with flag 20083870/2201000
385.49/386.09	c cleaning 65997 clauses out of 132068 with flag 20643199/2268000
398.98/399.53	c cleaning 67025 clauses out of 134073 with flag 21218293/2336002
412.47/413.25	c cleaning 67987 clauses out of 136046 with flag 21772455/2405000
426.04/426.86	c cleaning 69012 clauses out of 138060 with flag 22325980/2475001
439.41/440.62	c cleaning 69995 clauses out of 140048 with flag 22937212/2546001
454.18/455.44	c cleaning 70967 clauses out of 142052 with flag 23488774/2618000
469.54/470.98	c cleaning 71932 clauses out of 144085 with flag 24154243/2691000
484.41/485.85	c cleaning 73017 clauses out of 146153 with flag 24752788/2765000
500.52/502.19	c cleaning 74019 clauses out of 148136 with flag 25328976/2840000
516.32/517.96	c cleaning 75036 clauses out of 150119 with flag 25917362/2916002
532.71/534.52	c cleaning 75950 clauses out of 152081 with flag 26561388/2993000
549.02/550.87	c cleaning 77038 clauses out of 154131 with flag 27208945/3071000
565.30/567.30	c cleaning 78025 clauses out of 156093 with flag 27833573/3150000
582.53/584.77	c cleaning 78993 clauses out of 158068 with flag 28444716/3230000
600.71/603.11	c cleaning 80015 clauses out of 160075 with flag 29213707/3311000
622.42/625.09	c cleaning 81011 clauses out of 162062 with flag 29889651/3393002
640.74/643.38	c cleaning 82001 clauses out of 164049 with flag 30511373/3476000
660.14/662.91	c cleaning 82972 clauses out of 166048 with flag 31147183/3560000
678.56/681.30	c cleaning 84020 clauses out of 168076 with flag 31834436/3645000
697.80/700.96	c cleaning 84999 clauses out of 170057 with flag 32489244/3731001
717.73/721.21	c cleaning 86002 clauses out of 172059 with flag 33138136/3818002
738.88/742.45	c cleaning 86937 clauses out of 174055 with flag 33840154/3906000
759.25/764.21	c cleaning 88029 clauses out of 176118 with flag 34586350/3995000
778.06/783.31	c cleaning 88986 clauses out of 178091 with flag 35329595/4085002
799.80/805.09	c cleaning 90051 clauses out of 180103 with flag 36014093/4176000
821.55/827.02	c cleaning 91026 clauses out of 182055 with flag 36762737/4268003
845.84/851.45	c cleaning 91990 clauses out of 184026 with flag 37614871/4361000
868.99/874.70	c cleaning 92993 clauses out of 186036 with flag 38393431/4455000
892.13/897.86	c cleaning 93939 clauses out of 188046 with flag 39119080/4550003
915.82/923.37	c cleaning 95027 clauses out of 190104 with flag 39949968/4646000
941.45/949.07	c cleaning 95932 clauses out of 192079 with flag 40688804/4743002
967.67/975.47	c cleaning 96955 clauses out of 194145 with flag 41502781/4841000
996.45/1004.36	c cleaning 98095 clauses out of 196190 with flag 42378735/4940000
1023.46/1031.83	c cleaning 99045 clauses out of 198096 with flag 43277922/5040001
1049.82/1058.48	c cleaning 99983 clauses out of 200050 with flag 44064920/5141000
1074.00/1082.54	c cleaning 100986 clauses out of 202069 with flag 44903782/5243002
1105.05/1113.93	c cleaning 101952 clauses out of 204081 with flag 45722430/5346000
1132.08/1141.06	c cleaning 103029 clauses out of 206130 with flag 46596855/5450001
1158.83/1167.99	c cleaning 104003 clauses out of 208102 with flag 47463819/5555002
1187.34/1196.85	c cleaning 105015 clauses out of 210097 with flag 48327900/5661000
1214.86/1224.44	c cleaning 106023 clauses out of 212083 with flag 49165674/5768001
1247.48/1257.17	c cleaning 107018 clauses out of 214060 with flag 50046714/5876001
1274.61/1284.49	c cleaning 107924 clauses out of 216041 with flag 50962901/5985000
1304.79/1314.79	c cleaning 108999 clauses out of 218117 with flag 51835832/6095000
1337.12/1347.18	c cleaning 110002 clauses out of 220118 with flag 52661659/6206000
1368.46/1378.69	c cleaning 111053 clauses out of 222116 with flag 53547720/6318000
1402.67/1412.93	c cleaning 111945 clauses out of 224064 with flag 54376403/6431001
1434.41/1444.71	c cleaning 113021 clauses out of 226118 with flag 55174949/6545000
1467.87/1478.46	c cleaning 113966 clauses out of 228098 with flag 56074933/6660001
1499.60/1510.25	c cleaning 115040 clauses out of 230131 with flag 56973163/6776000
1530.59/1541.45	c cleaning 116015 clauses out of 232093 with flag 57871745/6893002
1567.67/1578.70	c cleaning 116994 clauses out of 234076 with flag 58852241/7011000
1602.39/1613.60	c cleaning 117954 clauses out of 236084 with flag 59851626/7130002
1638.50/1650.19	c cleaning 119028 clauses out of 238128 with flag 60752621/7250000
1677.53/1689.28	c cleaning 120017 clauses out of 240100 with flag 61674261/7371000
1713.19/1725.10	c cleaning 120977 clauses out of 242084 with flag 62731610/7493001
1746.19/1758.14	c cleaning 121998 clauses out of 244106 with flag 63776578/7616000
1779.89/1791.96	c cleaning 122991 clauses out of 246108 with flag 64683503/7740000
1814.81/1827.05	c cleaning 124021 clauses out of 248117 with flag 65627373/7865000
1853.75/1866.02	c cleaning 125047 clauses out of 250096 with flag 66576217/7991000
1889.78/1902.23	c cleaning 125998 clauses out of 252049 with flag 67553445/8118000
1930.46/1943.07	c cleaning 127005 clauses out of 254053 with flag 68500419/8246002
1967.77/1980.51	c cleaning 127976 clauses out of 256047 with flag 69454369/8375001
2005.35/2018.21	c cleaning 129008 clauses out of 258070 with flag 70497324/8505000
2041.30/2054.21	c cleaning 129998 clauses out of 260063 with flag 71537057/8636001
2082.82/2095.99	c cleaning 130931 clauses out of 262064 with flag 72488172/8768000
2126.92/2140.27	c cleaning 132055 clauses out of 264133 with flag 73499606/8901000
2169.97/2183.41	c cleaning 132999 clauses out of 266078 with flag 74407825/9035000
2213.08/2226.78	c cleaning 133998 clauses out of 268080 with flag 75457206/9170001
2253.63/2267.47	c cleaning 135018 clauses out of 270081 with flag 76403518/9306000
2298.85/2312.81	c cleaning 135966 clauses out of 272063 with flag 77331064/9443000
2342.48/2356.78	c cleaning 137012 clauses out of 274097 with flag 78357112/9581000
2389.62/2404.08	c cleaning 138011 clauses out of 276086 with flag 79365897/9720001
2433.02/2447.61	c cleaning 138990 clauses out of 278074 with flag 80410681/9860000
2476.71/2491.44	c cleaning 140022 clauses out of 280084 with flag 81579350/10001000
2523.83/2538.69	c cleaning 140977 clauses out of 282062 with flag 82526503/10143000
2568.44/2583.37	c cleaning 142041 clauses out of 284085 with flag 83609929/10286000
2614.83/2629.94	c cleaning 143013 clauses out of 286044 with flag 84552640/10430000
2660.26/2675.76	c cleaning 143961 clauses out of 288031 with flag 85641945/10575000
2706.22/2722.09	c cleaning 145029 clauses out of 290073 with flag 86620548/10721003
2754.26/2770.24	c cleaning 146001 clauses out of 292041 with flag 87745118/10868000
2807.22/2823.43	c cleaning 147007 clauses out of 294041 with flag 88756286/11016001
2859.08/2875.53	c cleaning 147990 clauses out of 296033 with flag 89758801/11165000
2913.52/2930.18	c cleaning 149004 clauses out of 298045 with flag 90764552/11315002
2965.51/2982.35	c cleaning 149815 clauses out of 300039 with flag 91771481/11466000
3018.12/3035.15	c cleaning 151091 clauses out of 302224 with flag 92848140/11618000
3071.56/3088.97	c cleaning 152012 clauses out of 304133 with flag 93921050/11771000
3125.19/3142.84	c cleaning 153021 clauses out of 306121 with flag 94923700/11925000
3176.12/3196.17	c cleaning 154024 clauses out of 308100 with flag 96130866/12080000
3229.37/3250.94	c cleaning 155037 clauses out of 310076 with flag 97180870/12236000
3283.00/3305.76	c cleaning 156008 clauses out of 312040 with flag 98228069/12393001
3337.53/3360.49	c cleaning 156975 clauses out of 314033 with flag 99297921/12551002
3392.50/3416.20	c cleaning 158017 clauses out of 316056 with flag 100470088/12710000
3460.40/3486.18	c cleaning 159015 clauses out of 318039 with flag 101517262/12870000
3518.13/3544.12	c cleaning 159986 clauses out of 320024 with flag 102569322/13031000
3575.48/3608.66	c cleaning 161006 clauses out of 322040 with flag 103640872/13193002
3600.00/3633.51	c timeout
3600.00/3633.51	c starts		: 44716
3600.00/3633.51	c conflicts		: 13275322
3600.00/3633.51	c decisions		: 59102739
3600.00/3633.51	c propagations		: 2219923129
3600.00/3633.51	c inspects		: 41348621250
3600.00/3633.51	c shortcuts		: 0
3600.00/3633.51	c learnt literals	: 7
3600.00/3633.51	c learnt binary clauses	: 2322
3600.00/3633.51	c learnt ternary clauses	: 9029
3600.00/3633.52	c learnt constraints	: 13275315
3600.00/3633.52	c ignored constraints	: 0
3600.00/3633.52	c root simplifications	: 0
3600.00/3633.52	c removed literals (reason simplification)	: 231917677
3600.00/3633.52	c reason swapping (by a shorter reason)	: 0
3600.00/3633.52	c Calls to reduceDB	: 158
3600.00/3633.52	c Number of update (reduction) of LBD	: 7884901
3600.00/3633.52	c Imported unit clauses	: 0
3600.00/3633.52	c No decision after first conflict	: false
3600.00/3633.52	c number of reductions to clauses (during analyze)	: 0
3600.00/3633.52	c number of learned constraints concerned by reduction	: 0
3600.00/3633.52	c number of learning phase by resolution	: 0
3600.00/3633.52	c number of learning phase by cutting planes	: 0
3600.00/3633.52	c number of rounding to 1 operations	: 0
3600.00/3633.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3633.52	c number of reductions of the coefficients by power 2 	: 0
3600.00/3633.52	c number of right shift for reduction by power 2 	: 0
3600.00/3633.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3633.52	c number of ending skipping 	: 0
3600.00/3633.52	c number of internal skipping 	: 0
3600.00/3633.52	c number of derivation steps 	: 0
3600.00/3633.52	c number of skipped derivation steps 	: 0
3600.00/3633.52	c number of remaining unassigned 	: 0
3600.00/3633.52	c number of remaining assigned 	: 0
3600.00/3633.52	c number of falsified literals weakened from reason	: 0
3600.00/3633.52	c number of falsified literals weakened from conflict	: 0
3600.00/3633.52	c time for arithmetic operations	: 0
3600.00/3633.52	c minimum degree of deleted constraints	: null
3600.00/3633.52	c maximum degree of deleted constraints	: null
3600.00/3633.52	c number of deleted constraints	: 0
3600.00/3633.52	c speed (assignments/second)	: 611180.1744456721
3600.00/3633.52	c non guided choices	: 1353416
3600.00/3633.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 241032
3600.00/3633.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2322
3600.00/3633.58	s UNKNOWN
3600.00/3633.58	c Total wall clock time (in seconds): 3633.452

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446332-1721820842/watcher-4446332-1721820842 -o /tmp/evaluation-result-4446332-1721820842/solver-4446332-1721820842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721817187-235998 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4446332-1721820842 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446332-1721820842.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=238659, runsolver pid=238656

[startup+0.100786 s]*
/proc/loadavg: 4.50 4.32 4.18 5/337 238677
/proc/meminfo: memFree=114874316/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=18975048 memory=66460 CPUtime=0.13 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 7091 0 0 0 11 2 0 0 20 0 18 0 18607185 19430449152 16615 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4743762 16615 5606 1 0 549327 0
[pid=238659/tid=238661] ppid=238656 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 5665 0 0 0 7 1 0 0 20 0 18 0 18607185 19430449152 16615 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18607188 19430449152 16615 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18607188 19430449152 16615 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66460 KiB

[startup+0.206779 s]*
/proc/loadavg: 4.50 4.32 4.18 7/337 238677
/proc/meminfo: memFree=114855588/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=18975048 memory=78812 CPUtime=0.33 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 7558 0 0 0 30 3 0 0 20 0 18 0 18607185 19430449152 19703 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4743762 19703 5745 1 0 549618 0
[pid=238659/tid=238661] ppid=238656 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 5877 0 0 0 16 2 0 0 20 0 18 0 18607185 19430449152 19703 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=18975048 memory=770575 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18607188 19430449152 19703 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18607188 19430449152 19703 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78812 KiB

[startup+0.306778 s]*
/proc/loadavg: 4.50 4.32 4.18 7/337 238677
/proc/meminfo: memFree=114811272/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=18975048 memory=115740 CPUtime=0.51 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 9080 0 0 0 47 4 0 0 20 0 18 0 18607185 19430449152 28935 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4743762 28935 5745 1 0 550606 0
[pid=238659/tid=238661] ppid=238656 vsize=18975048 memory=-8743849059000492732 CPUtime=0.27 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 5896 0 0 0 24 3 0 0 20 0 18 0 18607185 19430449152 28935 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18607188 19430449152 28935 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18607188 19430449152 28935 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 115740 KiB

[startup+0.709766 s]
/proc/loadavg: 4.62 4.34 4.19 6/338 238678
/proc/meminfo: memFree=114743668/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19041612 memory=190328 CPUtime=1.25 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 16444 0 0 0 119 6 0 0 20 0 19 0 18607185 19498610688 47582 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4760403 47582 5745 1 0 555905 0
[pid=238659/tid=238661] ppid=238656 vsize=19041612 memory=5592 CPUtime=0.6 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 5921 0 0 0 57 3 0 0 20 0 19 0 18607185 19498610688 47582 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19041612 memory=12264 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18607188 19498610688 47582 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18607188 19498610688 47582 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 190328 KiB

[startup+1.50078 s]
/proc/loadavg: 4.62 4.34 4.19 6/338 238680
/proc/meminfo: memFree=114692476/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=401828 CPUtime=2.77 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 20435 0 0 0 266 11 0 0 20 0 20 0 18607185 19566772224 100457 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 100457 5777 1 0 975116 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=12264 CPUtime=1.23 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 6066 0 0 0 116 7 0 0 20 0 20 0 18607185 19566772224 100457 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 100457 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 100457 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 401828 KiB

[startup+3.10614 s]
/proc/loadavg: 4.62 4.34 4.19 5/339 238681
/proc/meminfo: memFree=114475236/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=403132 CPUtime=5.76 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 20833 0 0 0 564 12 0 0 20 0 20 0 18607185 19566772224 100783 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 100783 5812 1 0 975194 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=198340509722 CPUtime=2.81 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 6076 0 0 0 273 8 0 0 20 0 20 0 18607185 19566772224 100783 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 100783 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 100783 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=401928 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 100783 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 403132 KiB

[startup+6.30078 s]
/proc/loadavg: 4.57 4.34 4.19 5/339 238681
/proc/meminfo: memFree=114389564/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=416584 CPUtime=10.23 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 31020 0 0 0 1009 14 0 0 20 0 20 0 18607185 19566772224 104146 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 104146 5828 1 0 975249 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=0 CPUtime=5.93 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 7046 0 0 0 584 9 0 0 20 0 20 0 18607185 19566772224 104146 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 104146 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=402868 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 104146 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=397892 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 104146 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 10.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 416584 KiB

[startup+12.7008 s]
/proc/loadavg: 4.53 4.33 4.19 5/339 238682
/proc/meminfo: memFree=114140008/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=429040 CPUtime=16.68 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 33515 0 0 0 1653 15 0 0 20 0 20 0 18607185 19566772224 107260 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 107260 5843 1 0 975249 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=424904 CPUtime=12.25 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 7570 0 0 0 1215 10 0 0 20 0 20 0 18607185 19566772224 107260 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 107260 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=6084197522373960531 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 107260 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 107260 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 16.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 429040 KiB

[startup+25.5003 s]
/proc/loadavg: 4.59 4.35 4.19 6/337 238685
/proc/meminfo: memFree=112567444/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=957936 CPUtime=29.92 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 43808 0 0 0 2962 30 0 0 20 0 20 0 18607185 19566772224 239484 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 239484 5843 1 0 975251 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=6084197522373960531 CPUtime=24.94 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 10088 0 0 0 2471 23 0 0 20 0 20 0 18607185 19566772224 239484 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 239484 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 239484 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=-8743849059000492732 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 239484 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 957936 KiB

[startup+51.1061 s]
/proc/loadavg: 4.36 4.32 4.18 5/336 238757
/proc/meminfo: memFree=112759232/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=1256984 CPUtime=55.48 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 49341 0 0 0 5507 41 0 0 20 0 20 0 18607185 19566772224 314246 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 314246 5843 1 0 975251 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=-8743849059000492732 CPUtime=50.4 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 12674 0 0 0 5008 32 0 0 20 0 20 0 18607185 19566772224 314246 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=1029656 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 314246 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 314246 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 314246 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0

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

/proc/meminfo: memFree=92527156/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3286104 CPUtime=3259.6 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 245641 0 0 0 325101 859 0 0 20 0 20 0 18607185 19566772224 821526 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 821526 5843 1 0 975296 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=11608 CPUtime=3242.15 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 128269 0 0 0 323481 734 0 0 20 0 20 0 18607185 19566772224 821526 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2367 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 821526 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 3612 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 821526 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=3286104 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 821526 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3259.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3286104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.31 4.27 5/337 240557
/proc/meminfo: memFree=92230792/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3327064 CPUtime=3319.47 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 249346 0 0 0 331073 874 0 0 20 0 20 0 18607185 19566772224 831766 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 831766 5843 1 0 975296 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=71968 CPUtime=3301.58 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 129697 0 0 0 329412 746 0 0 20 0 20 0 18607185 19566772224 831766 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2386 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 831766 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=3312728 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 3669 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 831766 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=3327064 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 831766 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3319.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3327064 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.28 4.26 5/338 240624
/proc/meminfo: memFree=91960500/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3343456 CPUtime=3378.63 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 253253 0 0 0 336977 886 0 0 20 0 20 0 18607185 19566772224 835864 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 835864 5843 1 0 975298 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=12264 CPUtime=3360.51 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 132226 0 0 0 335295 756 0 0 20 0 20 0 18607185 19566772224 835864 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2468 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=3312728 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 835864 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 3766 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 835864 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=3343456 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 835864 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3378.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3343456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.24 4.25 5/336 240635
/proc/meminfo: memFree=91703972/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3343460 CPUtime=3437.51 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 257492 0 0 0 342852 899 0 0 20 0 20 0 18607185 19566772224 835865 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 835865 5843 1 0 975298 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=12264 CPUtime=3419.18 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 134868 0 0 0 341151 767 0 0 20 0 20 0 18607185 19566772224 835865 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2576 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=3312728 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 835865 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 3865 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 835865 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=3343456 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 835865 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3437.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3343460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.23 4.25 5/335 240646
/proc/meminfo: memFree=91461632/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3343476 CPUtime=3496.54 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 261327 0 0 0 348741 913 0 0 20 0 20 0 18607185 19566772224 835869 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 835869 5843 1 0 975302 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=3343460 CPUtime=3477.97 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 137421 0 0 0 347017 780 0 0 20 0 20 0 18607185 19566772224 835869 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2666 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=3343460 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 835869 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 3963 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 835869 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=3343476 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 835869 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3496.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3343476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.21 4.24 5/336 240659
/proc/meminfo: memFree=91147236/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3392628 CPUtime=3555.88 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 265073 0 0 0 354661 927 0 0 20 0 20 0 18607185 19566772224 848157 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 848157 5843 1 0 975302 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=3343476 CPUtime=3537.07 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) D 238656 238659 235987 0 -1 4194368 139653 0 0 0 352915 792 0 0 20 0 20 0 18607185 19566772224 848157 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2669 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=5592 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 848157 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=3392628 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 4089 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 848157 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=1469649506656944729 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 848157 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3555.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3392628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633.5 s]
/proc/loadavg: 4.10 4.19 4.23 5/335 240735
/proc/meminfo: memFree=93266240/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3392632 CPUtime=3600 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 268933 0 0 0 359063 937 0 0 20 0 20 0 18607185 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 848158 5843 1 0 975302 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=3392628 CPUtime=3581.01 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 141404 0 0 0 357300 801 0 0 20 0 20 0 18607185 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3388 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=3392628 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=3392628 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 4090 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=3392628 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3392632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.76 s, system=9.38753 s

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

[startup+3633.5 s]
/proc/loadavg: 4.10 4.19 4.23 5/335 240735
/proc/meminfo: memFree=93266240/131524600 swapFree=131071996/131071996
[pid=238659] ppid=238656 vsize=19108176 memory=3392632 CPUtime=3600 cores=4,6
/proc/238659/stat : 238659 (java) S 238656 238659 235987 0 -1 1077936128 268933 0 0 0 359063 937 0 0 20 0 20 0 18607185 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
/proc/238659/statm: 4777044 848158 5843 1 0 975302 0
[pid=238659/tid=238661] ppid=238656 vsize=19108176 memory=3392628 CPUtime=3581.01 cores=4,6
/proc/238659/task/238661/stat : 238661 (java) R 238656 238659 235987 0 -1 4194368 141404 0 0 0 357300 801 0 0 20 0 20 0 18607185 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3388 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238670] ppid=238656 vsize=19108176 memory=3392628 CPUtime=0 cores=4,6
/proc/238659/task/238670/stat : 238670 (Finalizer) S 238656 238659 235987 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238677] ppid=238656 vsize=19108176 memory=3392628 CPUtime=0 cores=4,6
/proc/238659/task/238677/stat : 238677 (Common-Cleaner) S 238656 238659 235987 0 -1 1077936192 4090 0 0 0 0 0 0 0 20 0 20 0 18607188 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
[pid=238659/tid=238681] ppid=238656 vsize=19108176 memory=3392628 CPUtime=0 cores=4,6
/proc/238659/task/238681/stat : 238681 (Timer-0) S 238656 238659 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18607318 19566772224 848158 134679101440 94474964185088 94474964188784 140729307880384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94474964196600 94474964197392 94474976681984 140729307886507 140729307886689 140729307886689 140729307893704 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3392632 KiB

Child status: 143

Real time (s): 3633.6
CPU time (s): 3600.14
CPU user time (s): 3590.76
CPU system time (s): 9.38753
CPU usage (%): 99.0793
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3392632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.76
system time used= 9.38753
maximum resident set size= 3394380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272377
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10309344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109394
involuntary context switches= 8464


# summary of solver processes directly reported to runsolver:
#   pid: 238659
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3590.76
#   total CPU system time (s): 9.38753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.10259 second user time and 18.7875 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 13:34:02
IDJOB=4446332
IDBENCH=155555
IDSOLVER=3079
FILE ID=nodeC024/4446332-1721820842
RUNJOBID= nodeC024-1721817187-235998
SLURM_JOB_ID= 7816882
Free space on /tmp= 890064 MiB

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

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

MD5SUM BENCH= 71fdab66bbdfc1c9c6ce1eef27fb98d4
RANDOM SEED=1048486167

nodeC024.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		: 3651.192
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.87
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		: 3682.288
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.58
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		: 3669.425
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.87
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.203
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.58
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.785
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.87
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		: 3682.294
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.58
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		: 3639.840
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.87
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.966
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114927708 kB
MemAvailable:   126650852 kB
Buffers:          244844 kB
Cached:         12238860 kB
SwapCached:            0 kB
Active:          2660400 kB
Inactive:       13171892 kB
Active(anon):       1568 kB
Inactive(anon):  3401260 kB
Active(file):    2658832 kB
Inactive(file):  9770632 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            244968 kB
Writeback:             0 kB
AnonPages:       3348176 kB
Mapped:           138892 kB
Shmem:             54104 kB
KReclaimable:     267008 kB
Slab:             397468 kB
SReclaimable:     267008 kB
SUnreclaim:       130460 kB
KernelStack:        5184 kB
PageTables:        16712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9361320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3053568 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC024 at 2024-07-24 14:34:36