Trace number 4453744

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.23 3606.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-70.shuf-2.opb
MD5SUM910ccac47c65ba0051d9c956ec5a939d
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 benchmark0.002801
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables281
Total number of constraints280
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints230
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.08	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f 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	No 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@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4453744-1721491798.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.024s.
0.13/0.15	c declared #vars     281
0.13/0.15	c #constraints  280
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 280
0.13/0.15	c 280 constraints processed.
0.72/0.42	c cleaning 2493 clauses out of 5000 with flag 24306/5000
1.09/0.62	c cleaning 4245 clauses out of 8509 with flag 53323/11002
1.49/0.81	c cleaning 5619 clauses out of 11262 with flag 90643/18000
1.66/1.01	c cleaning 6809 clauses out of 13643 with flag 136164/26000
1.96/1.20	c cleaning 7905 clauses out of 15834 with flag 182129/35000
2.24/1.39	c cleaning 8961 clauses out of 17929 with flag 231197/45000
2.64/1.62	c cleaning 9961 clauses out of 19968 with flag 284763/56000
2.84/1.88	c cleaning 10993 clauses out of 22007 with flag 343147/68000
3.25/2.20	c cleaning 12000 clauses out of 24014 with flag 417164/81000
3.55/2.54	c cleaning 12996 clauses out of 26017 with flag 490812/95003
3.95/2.91	c cleaning 13998 clauses out of 28018 with flag 574292/110000
4.34/3.37	c cleaning 15004 clauses out of 30021 with flag 662624/126001
4.97/3.92	c cleaning 15990 clauses out of 32018 with flag 761895/143002
5.49/4.42	c cleaning 17006 clauses out of 34028 with flag 859822/161002
6.00/4.95	c cleaning 18000 clauses out of 36021 with flag 962673/180001
6.60/5.56	c cleaning 19011 clauses out of 38022 with flag 1071311/200002
7.29/6.23	c cleaning 19999 clauses out of 40009 with flag 1185210/221000
7.99/6.92	c cleaning 20991 clauses out of 42010 with flag 1303502/243000
8.69/7.66	c cleaning 22007 clauses out of 44019 with flag 1427295/266000
9.58/8.50	c cleaning 22998 clauses out of 46012 with flag 1566288/290000
10.38/9.39	c cleaning 23997 clauses out of 48016 with flag 1708101/315002
11.39/10.38	c cleaning 24996 clauses out of 50017 with flag 1861526/341000
12.48/11.46	c cleaning 26003 clauses out of 52021 with flag 2017622/368000
13.68/12.65	c cleaning 27000 clauses out of 54018 with flag 2178727/396000
14.99/13.91	c cleaning 27998 clauses out of 56018 with flag 2351927/425000
16.19/15.10	c cleaning 29000 clauses out of 58020 with flag 2522192/455000
17.68/16.63	c cleaning 29999 clauses out of 60021 with flag 2710859/486001
18.98/17.99	c cleaning 31001 clauses out of 62021 with flag 2891800/518000
20.58/19.59	c cleaning 31997 clauses out of 64021 with flag 3079766/551001
22.18/21.17	c cleaning 33004 clauses out of 66024 with flag 3273060/585001
23.77/22.78	c cleaning 34000 clauses out of 68021 with flag 3475282/620002
25.77/24.70	c cleaning 35002 clauses out of 70019 with flag 3685537/656000
27.46/26.49	c cleaning 35998 clauses out of 72017 with flag 3896065/693000
29.47/28.48	c cleaning 37003 clauses out of 74020 with flag 4122864/731001
31.66/30.66	c cleaning 37995 clauses out of 76016 with flag 4347883/770000
33.96/32.93	c cleaning 39006 clauses out of 78025 with flag 4584147/810004
36.55/35.52	c cleaning 40006 clauses out of 80015 with flag 4824075/851000
38.95/37.95	c cleaning 41004 clauses out of 82010 with flag 5066025/893001
41.74/40.76	c cleaning 41990 clauses out of 84006 with flag 5319328/936001
44.43/43.45	c cleaning 42996 clauses out of 86015 with flag 5568559/980000
47.22/46.26	c cleaning 43996 clauses out of 88019 with flag 5827122/1025000
50.62/49.68	c cleaning 44998 clauses out of 90023 with flag 6097301/1071000
53.71/52.78	c cleaning 46009 clauses out of 92025 with flag 6366814/1118000
56.70/55.78	c cleaning 47000 clauses out of 94020 with flag 6655255/1166004
60.00/59.02	c cleaning 47999 clauses out of 96016 with flag 6937131/1215000
63.49/62.50	c cleaning 49000 clauses out of 98017 with flag 7225957/1265000
67.00/66.05	c cleaning 49999 clauses out of 100019 with flag 7522294/1316002
70.69/69.73	c cleaning 50990 clauses out of 102019 with flag 7821757/1368001
74.42/73.42	c cleaning 52000 clauses out of 104028 with flag 8133689/1421000
77.71/76.75	c cleaning 53007 clauses out of 106029 with flag 8450752/1475001
81.50/80.59	c cleaning 54000 clauses out of 108021 with flag 8772935/1530000
85.79/84.75	c cleaning 54999 clauses out of 110021 with flag 9091639/1586000
89.68/88.63	c cleaning 55997 clauses out of 112022 with flag 9420350/1643000
94.26/93.27	c cleaning 57001 clauses out of 114026 with flag 9761675/1701001
98.66/97.66	c cleaning 58002 clauses out of 116024 with flag 10086513/1760000
103.06/102.02	c cleaning 59004 clauses out of 118023 with flag 10426512/1820001
107.84/106.88	c cleaning 59997 clauses out of 120018 with flag 10770381/1881000
112.53/111.56	c cleaning 61005 clauses out of 122021 with flag 11116999/1943000
117.72/116.78	c cleaning 61997 clauses out of 124016 with flag 11476655/2006000
122.64/121.60	c cleaning 63000 clauses out of 126019 with flag 11835090/2070000
127.82/126.83	c cleaning 63999 clauses out of 128019 with flag 12212405/2135000
132.91/131.95	c cleaning 65000 clauses out of 130020 with flag 12568873/2201000
138.50/137.54	c cleaning 65994 clauses out of 132020 with flag 12934121/2268000
143.89/142.99	c cleaning 66997 clauses out of 134026 with flag 13299642/2336000
149.27/148.38	c cleaning 68004 clauses out of 136030 with flag 13680382/2405001
155.32/154.46	c cleaning 69001 clauses out of 138026 with flag 14073503/2475001
161.46/160.69	c cleaning 69995 clauses out of 140024 with flag 14458759/2546000
168.50/167.78	c cleaning 71000 clauses out of 142030 with flag 14870266/2618001
174.84/174.18	c cleaning 72003 clauses out of 144031 with flag 15275405/2691002
182.01/181.36	c cleaning 72999 clauses out of 146026 with flag 15686142/2765000
188.90/188.20	c cleaning 74001 clauses out of 148028 with flag 16088171/2840001
195.98/195.39	c cleaning 75003 clauses out of 150027 with flag 16502944/2916001
203.38/202.76	c cleaning 76003 clauses out of 152023 with flag 16917850/2993000
210.80/210.14	c cleaning 77004 clauses out of 154022 with flag 17346820/3071002
218.07/217.49	c cleaning 78004 clauses out of 156016 with flag 17767522/3150000
225.46/224.83	c cleaning 78999 clauses out of 158012 with flag 18201945/3230000
233.24/232.69	c cleaning 79995 clauses out of 160015 with flag 18629960/3311002
242.23/241.65	c cleaning 81002 clauses out of 162021 with flag 19080175/3393003
250.21/249.64	c cleaning 82001 clauses out of 164016 with flag 19516490/3476000
258.50/257.96	c cleaning 83003 clauses out of 166015 with flag 19965158/3560000
267.08/266.56	c cleaning 84004 clauses out of 168013 with flag 20431286/3645001
275.77/275.22	c cleaning 84992 clauses out of 170009 with flag 20879941/3731001
284.07/283.55	c cleaning 85998 clauses out of 172016 with flag 21335850/3818000
293.35/292.85	c cleaning 87005 clauses out of 174018 with flag 21795689/3906000
302.63/302.17	c cleaning 87998 clauses out of 176014 with flag 22259056/3995001
312.80/312.31	c cleaning 88993 clauses out of 178015 with flag 22727343/4085000
322.32/321.80	c cleaning 89997 clauses out of 180022 with flag 23195673/4176000
332.30/331.87	c cleaning 90998 clauses out of 182025 with flag 23682872/4268000
342.28/341.85	c cleaning 91998 clauses out of 184027 with flag 24164387/4361000
353.26/352.83	c cleaning 93012 clauses out of 186029 with flag 24655620/4455000
363.84/363.44	c cleaning 94003 clauses out of 188017 with flag 25144730/4550000
375.21/374.85	c cleaning 95000 clauses out of 190016 with flag 25649601/4646002
386.43/386.03	c cleaning 95998 clauses out of 192015 with flag 26138525/4743001
398.60/398.20	c cleaning 97002 clauses out of 194016 with flag 26635170/4841000
409.97/409.67	c cleaning 97995 clauses out of 196014 with flag 27137298/4940000
421.35/421.07	c cleaning 99002 clauses out of 198020 with flag 27646676/5040001
432.92/432.67	c cleaning 99990 clauses out of 200018 with flag 28158142/5141001
444.79/444.59	c cleaning 101004 clauses out of 202028 with flag 28667360/5243001
458.10/457.82	c cleaning 102000 clauses out of 204023 with flag 29186362/5346000
471.09/470.82	c cleaning 103000 clauses out of 206023 with flag 29703125/5450000
484.86/484.60	c cleaning 104004 clauses out of 208023 with flag 30239650/5555000
498.42/498.29	c cleaning 105003 clauses out of 210020 with flag 30768258/5661001
512.39/512.22	c cleaning 106004 clauses out of 212018 with flag 31297998/5768002
525.10/524.99	c cleaning 106995 clauses out of 214015 with flag 31812966/5876003
539.37/539.28	c cleaning 107997 clauses out of 216017 with flag 32355872/5985000
553.94/553.81	c cleaning 109002 clauses out of 218020 with flag 32905487/6095000
568.80/568.73	c cleaning 110003 clauses out of 220018 with flag 33444616/6206000
583.18/583.18	c cleaning 110997 clauses out of 222017 with flag 33992469/6318002
597.84/597.85	c cleaning 111995 clauses out of 224018 with flag 34545125/6431000
613.30/613.35	c cleaning 113000 clauses out of 226023 with flag 35086128/6545000
630.38/630.42	c cleaning 113999 clauses out of 228025 with flag 35653887/6660002
646.75/646.82	c cleaning 115000 clauses out of 230024 with flag 36225785/6776000
662.82/662.93	c cleaning 116003 clauses out of 232024 with flag 36791821/6893000
680.77/680.94	c cleaning 116996 clauses out of 234022 with flag 37382585/7011001
697.33/697.50	c cleaning 118008 clauses out of 236025 with flag 37970862/7130000
714.30/714.53	c cleaning 119003 clauses out of 238017 with flag 38552594/7250000
731.51/731.71	c cleaning 119992 clauses out of 240014 with flag 39126887/7371000
749.18/749.47	c cleaning 120997 clauses out of 242022 with flag 39717787/7493000
767.24/767.57	c cleaning 122006 clauses out of 244025 with flag 40298968/7616000
784.89/785.27	c cleaning 122994 clauses out of 246019 with flag 40890544/7740000
803.55/803.92	c cleaning 124005 clauses out of 248025 with flag 41494176/7865000
823.81/824.25	c cleaning 125003 clauses out of 250020 with flag 42110454/7991000
842.76/843.21	c cleaning 126002 clauses out of 252018 with flag 42712081/8118001
862.22/862.79	c cleaning 127001 clauses out of 254015 with flag 43322997/8246000
882.18/882.70	c cleaning 128001 clauses out of 256014 with flag 43937222/8375000
902.70/903.23	c cleaning 128994 clauses out of 258013 with flag 44562877/8505000
921.96/922.58	c cleaning 129995 clauses out of 260019 with flag 45200289/8636000
941.22/941.88	c cleaning 131000 clauses out of 262025 with flag 45828336/8768001
962.58/963.24	c cleaning 132006 clauses out of 264024 with flag 46461729/8901000
983.63/984.37	c cleaning 133001 clauses out of 266019 with flag 47089454/9035001
1005.67/1006.46	c cleaning 133995 clauses out of 268017 with flag 47713460/9170000
1028.23/1029.04	c cleaning 135006 clauses out of 270024 with flag 48347014/9306002
1051.48/1052.34	c cleaning 136000 clauses out of 272018 with flag 49002114/9443002
1075.98/1076.86	c cleaning 137005 clauses out of 274017 with flag 49646625/9581001
1098.05/1098.96	c cleaning 138001 clauses out of 276011 with flag 50292384/9720000
1124.98/1125.90	c cleaning 138995 clauses out of 278013 with flag 50971819/9860003
1149.04/1150.02	c cleaning 139989 clauses out of 280016 with flag 51621088/10001001
1172.78/1173.87	c cleaning 141001 clauses out of 282026 with flag 52280235/10143000
1199.42/1200.51	c cleaning 141996 clauses out of 284025 with flag 52962712/10286000
1223.67/1224.80	c cleaning 143008 clauses out of 286029 with flag 53627354/10430000
1250.01/1251.21	c cleaning 144007 clauses out of 288025 with flag 54303009/10575004
1276.65/1277.98	c cleaning 144996 clauses out of 290014 with flag 55003079/10721000
1304.39/1305.70	c cleaning 145996 clauses out of 292019 with flag 55692752/10868001
1331.41/1332.77	c cleaning 146996 clauses out of 294023 with flag 56387982/11016001
1358.84/1360.29	c cleaning 148003 clauses out of 296026 with flag 57079766/11165000
1386.69/1388.19	c cleaning 149003 clauses out of 298023 with flag 57786311/11315000
1414.53/1416.10	c cleaning 150003 clauses out of 300021 with flag 58496441/11466001
1442.35/1443.99	c cleaning 151001 clauses out of 302018 with flag 59204688/11618001
1471.19/1472.89	c cleaning 152002 clauses out of 304018 with flag 59914387/11771002
1502.53/1504.21	c cleaning 153009 clauses out of 306017 with flag 60639943/11925003
1531.77/1533.58	c cleaning 153995 clauses out of 308006 with flag 61367583/12080001
1560.41/1562.27	c cleaning 155000 clauses out of 310010 with flag 62088372/12236000
1591.25/1593.19	c cleaning 155996 clauses out of 312010 with flag 62809061/12393000
1621.81/1623.96	c cleaning 156995 clauses out of 314015 with flag 63529251/12551001
1652.74/1654.96	c cleaning 157995 clauses out of 316019 with flag 64270834/12710000
1681.88/1684.14	c cleaning 159003 clauses out of 318024 with flag 65023821/12870000
1713.71/1716.02	c cleaning 159997 clauses out of 320021 with flag 65768387/13031000
1743.85/1746.30	c cleaning 161002 clauses out of 322024 with flag 66519487/13193000
1775.98/1778.43	c cleaning 162004 clauses out of 324022 with flag 67267977/13356000
1809.70/1812.27	c cleaning 162999 clauses out of 326019 with flag 68026808/13520001
1842.13/1844.77	c cleaning 164005 clauses out of 328019 with flag 68776729/13685000
1876.26/1878.93	c cleaning 164992 clauses out of 330017 with flag 69546062/13851003
1907.90/1910.61	c cleaning 166001 clauses out of 332025 with flag 70311437/14018003
1943.82/1946.63	c cleaning 167000 clauses out of 334021 with flag 71086810/14186000
1976.65/1979.50	c cleaning 167994 clauses out of 336021 with flag 71877278/14355000
2011.77/2014.71	c cleaning 169008 clauses out of 338027 with flag 72665697/14525000
2051.98/2055.09	c cleaning 169998 clauses out of 340019 with flag 73462689/14696000
2087.50/2090.60	c cleaning 170999 clauses out of 342022 with flag 74262057/14868001
2125.61/2128.83	c cleaning 172000 clauses out of 344022 with flag 75055620/15041000
2164.12/2167.43	c cleaning 172998 clauses out of 346022 with flag 75857508/15215000
2200.74/2204.15	c cleaning 173994 clauses out of 348024 with flag 76653332/15390000
2240.54/2244.05	c cleaning 175008 clauses out of 350030 with flag 77458167/15566000
2280.05/2283.61	c cleaning 176007 clauses out of 352023 with flag 78265811/15743001
2322.65/2326.33	c cleaning 176998 clauses out of 354015 with flag 79103516/15921000
2364.27/2368.00	c cleaning 178007 clauses out of 356018 with flag 79915595/16100001
2403.00/2406.74	c cleaning 178996 clauses out of 358010 with flag 80756174/16280000
2444.24/2448.06	c cleaning 179983 clauses out of 360016 with flag 81584971/16461002
2486.66/2490.50	c cleaning 181002 clauses out of 362033 with flag 82432584/16643002
2526.79/2530.75	c cleaning 182007 clauses out of 364030 with flag 83277229/16826001
2569.01/2573.02	c cleaning 183002 clauses out of 366023 with flag 84122431/17010001
2609.74/2613.89	c cleaning 183993 clauses out of 368020 with flag 84968530/17195000
2652.77/2656.92	c cleaning 185000 clauses out of 370029 with flag 85825956/17381002
2696.48/2700.72	c cleaning 186003 clauses out of 372028 with flag 86668832/17568001
2741.48/2745.80	c cleaning 187005 clauses out of 374025 with flag 87542059/17756001
2785.78/2790.24	c cleaning 187999 clauses out of 376019 with flag 88412194/17945000
2831.59/2836.13	c cleaning 189004 clauses out of 378021 with flag 89291194/18135001
2876.42/2880.94	c cleaning 190001 clauses out of 380016 with flag 90162799/18326000
2920.81/2925.43	c cleaning 190996 clauses out of 382016 with flag 91047498/18518001
2966.61/2971.36	c cleaning 192006 clauses out of 384019 with flag 91922594/18711000
3012.81/3017.61	c cleaning 192997 clauses out of 386014 with flag 92818425/18905001
3056.71/3061.69	c cleaning 193998 clauses out of 388018 with flag 93726005/19100002
3102.81/3107.87	c cleaning 195004 clauses out of 390019 with flag 94617106/19296001
3151.10/3156.25	c cleaning 195995 clauses out of 392014 with flag 95518696/19493000
3198.89/3204.19	c cleaning 196998 clauses out of 394020 with flag 96432347/19691001
3251.08/3256.44	c cleaning 198008 clauses out of 396022 with flag 97342972/19890001
3302.29/3307.64	c cleaning 198993 clauses out of 398013 with flag 98251765/20090000
3353.20/3358.67	c cleaning 200000 clauses out of 400023 with flag 99156825/20291003
3402.91/3408.43	c cleaning 200997 clauses out of 402020 with flag 100092581/20493000
3451.54/3457.19	c cleaning 201999 clauses out of 404023 with flag 101021912/20696000
3504.24/3509.95	c cleaning 203008 clauses out of 406026 with flag 101962279/20900002
3555.57/3561.33	c cleaning 203997 clauses out of 408017 with flag 102896165/21105001
3600.08/3605.92	c starts		: 48188
3600.08/3605.92	c timeout
3600.08/3605.92	c conflicts		: 21284935
3600.08/3605.92	c decisions		: 29484095
3600.08/3605.92	c propagations		: 377782055
3600.08/3605.92	c inspects		: 63290309607
3600.08/3605.92	c shortcuts		: 0
3600.08/3605.92	c learnt literals	: 0
3600.08/3605.92	c learnt binary clauses	: 0
3600.08/3605.92	c learnt ternary clauses	: 0
3600.08/3605.92	c learnt constraints	: 21284935
3600.08/3605.92	c ignored constraints	: 0
3600.08/3605.92	c root simplifications	: 0
3600.08/3605.92	c removed literals (reason simplification)	: 0
3600.08/3605.92	c reason swapping (by a shorter reason)	: 0
3600.08/3605.92	c Calls to reduceDB	: 201
3600.08/3605.92	c Number of update (reduction) of LBD	: 5202224
3600.08/3605.92	c Imported unit clauses	: 0
3600.08/3605.92	c No decision after first conflict	: false
3600.08/3605.92	c number of reductions to clauses (during analyze)	: 0
3600.08/3605.92	c number of learned constraints concerned by reduction	: 0
3600.08/3605.92	c number of learning phase by resolution	: 0
3600.08/3605.92	c number of learning phase by cutting planes	: 0
3600.08/3605.92	c number of rounding to 1 operations	: 0
3600.08/3605.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3605.92	c number of reductions of the coefficients by power 2 	: 0
3600.08/3605.92	c number of right shift for reduction by power 2 	: 0
3600.08/3605.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3605.92	c number of ending skipping 	: 0
3600.08/3605.92	c number of internal skipping 	: 0
3600.08/3605.92	c number of derivation steps 	: 0
3600.08/3605.92	c number of skipped derivation steps 	: 0
3600.08/3605.92	c number of remaining unassigned 	: 0
3600.08/3605.92	c number of remaining assigned 	: 0
3600.08/3605.92	c number of falsified literals weakened from reason	: 0
3600.08/3605.92	c number of falsified literals weakened from conflict	: 0
3600.08/3605.92	c time for arithmetic operations	: 0
3600.08/3605.93	c minimum degree of deleted constraints	: null
3600.08/3605.93	c maximum degree of deleted constraints	: null
3600.08/3605.93	c number of deleted constraints	: 0
3600.08/3605.93	c speed (assignments/second)	: 104771.24366988556
3600.08/3605.93	c non guided choices	: 119673
3600.08/3605.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 383954
3600.08/3605.99	s UNKNOWN
3600.08/3605.99	c Total wall clock time (in seconds): 3605.87

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453744-1721491798/watcher-4453744-1721491798 -o /tmp/evaluation-result-4453744-1721491798/solver-4453744-1721491798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089314 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453744-1721491798.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
solver pid=1091325, runsolver pid=1091322
Current StackSize limit: 8192 KiB


[startup+0.100223 s]*
/proc/loadavg: 4.10 4.14 4.16 5/328 1091343
/proc/meminfo: memFree=118711224/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=18975048 memory=64892 CPUtime=0.13 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 7116 0 0 0 12 1 0 0 20 0 18 0 201342165 19430449152 16223 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4743762 16223 5669 1 0 549334 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 1078198336 5675 0 0 0 7 1 0 0 20 0 18 0 201342166 19430449152 16223 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201342168 19430449152 16223 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201342169 19430449152 16223 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64892 KiB

[startup+0.212956 s]*
/proc/loadavg: 4.10 4.14 4.16 7/329 1091344
/proc/meminfo: memFree=118704916/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19041612 memory=71408 CPUtime=0.34 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 8837 0 0 0 32 2 0 0 20 0 19 0 201342165 19498610688 17852 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4760403 17852 5837 1 0 550525 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 5864 0 0 0 17 1 0 0 20 0 19 0 201342166 19498610688 17852 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19041612 memory=1905144 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201342168 19498610688 17852 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201342169 19498610688 17852 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201342181 19498610688 17852 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71408 KiB

[startup+0.310952 s]*
/proc/loadavg: 4.10 4.14 4.16 6/329 1091344
/proc/meminfo: memFree=118702892/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19041612 memory=73520 CPUtime=0.53 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 9344 0 0 0 51 2 0 0 20 0 19 0 201342165 19498610688 18380 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4760403 18380 5837 1 0 550925 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19041612 memory=-7738694317242542436 CPUtime=0.28 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 5868 0 0 0 27 1 0 0 20 0 19 0 201342166 19498610688 18380 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201342168 19498610688 18380 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201342169 19498610688 18380 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201342181 19498610688 18380 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73520 KiB

[startup+0.700955 s]
/proc/loadavg: 4.10 4.14 4.16 6/329 1091344
/proc/meminfo: memFree=118687400/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19041612 memory=92596 CPUtime=1.28 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 14790 0 0 0 125 3 0 0 20 0 19 0 201342165 19498610688 23149 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4760403 23149 5869 1 0 554209 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19041612 memory=51092 CPUtime=0.66 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 5933 0 0 0 64 2 0 0 20 0 19 0 201342166 19498610688 23149 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19041612 memory=13124 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201342168 19498610688 23149 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19041612 memory=2328 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201342169 19498610688 23149 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201342181 19498610688 23149 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92596 KiB

[startup+1.50029 s]
/proc/loadavg: 4.09 4.14 4.16 6/329 1091344
/proc/meminfo: memFree=118678792/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19041612 memory=103864 CPUtime=2.54 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 18583 0 0 0 250 4 0 0 20 0 19 0 201342165 19498610688 25966 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4760403 25966 5869 1 0 554211 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19041612 memory=13124 CPUtime=1.45 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 6243 0 0 0 143 2 0 0 20 0 19 0 201342166 19498610688 25966 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201342168 19498610688 25966 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19041612 memory=2328 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201342169 19498610688 25966 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201342181 19498610688 25966 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 103864 KiB

[startup+3.10582 s]
/proc/loadavg: 4.09 4.14 4.16 5/329 1091344
/proc/meminfo: memFree=118657900/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19041612 memory=118328 CPUtime=4.15 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 19233 0 0 0 411 4 0 0 20 0 19 0 201342165 19498610688 29582 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4760403 29582 5869 1 0 554229 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19041612 memory=0 CPUtime=3.05 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 6480 0 0 0 303 2 0 0 20 0 19 0 201342166 19498610688 29582 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19041612 memory=-7738694317242542436 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201342168 19498610688 29582 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19041612 memory=13124 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201342169 19498610688 29582 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19041612 memory=2328 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201342181 19498610688 29582 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118328 KiB

[startup+6.30028 s]
/proc/loadavg: 4.16 4.15 4.16 4/304 1091378
/proc/meminfo: memFree=120479852/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19041612 memory=137068 CPUtime=7.39 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 19840 0 0 0 734 5 0 0 20 0 19 0 201342165 19498610688 34267 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4760403 34267 5869 1 0 554229 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19041612 memory=2328 CPUtime=6.24 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 6767 0 0 0 621 3 0 0 20 0 19 0 201342166 19498610688 34267 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201342168 19498610688 34267 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19041612 memory=13124 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201342169 19498610688 34267 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19041612 memory=103864 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201342181 19498610688 34267 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137068 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.16 5/329 1091616
/proc/meminfo: memFree=125970996/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=186828 CPUtime=13.79 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 22356 0 0 0 1372 7 0 0 20 0 20 0 201342165 19566772224 46707 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 46707 5901 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=13124 CPUtime=12.61 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 7446 0 0 0 1257 4 0 0 20 0 20 0 201342166 19566772224 46707 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=103864 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 46707 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=186800 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 46707 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 46707 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.16 5/333 1091623
/proc/meminfo: memFree=125313224/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=186900 CPUtime=26.56 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 24211 0 0 0 2649 7 0 0 20 0 20 0 201342165 19566772224 46725 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 46725 5917 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=186800 CPUtime=25.37 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 8651 0 0 0 2533 4 0 0 20 0 20 0 201342166 19566772224 46725 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=186896 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 46725 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=186892 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 46725 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=186892 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 46725 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 26.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186900 KiB

[startup+51.1056 s]
/proc/loadavg: 4.26 4.18 4.17 5/333 1091829
/proc/meminfo: memFree=125501356/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=213784 CPUtime=52.12 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 27801 0 0 0 5204 8 0 0 20 0 20 0 201342165 19566772224 53446 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 53446 5933 1 0 554518 0

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

/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=1975452 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 3971 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=1975452 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3217.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1975452 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.14 4.14 5/331 1093784
/proc/meminfo: memFree=118215140/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=1975452 CPUtime=3276.92 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 92987 0 0 0 327552 140 0 0 20 0 20 0 201342165 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 493863 5933 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=1975452 CPUtime=3271.9 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 47923 0 0 0 327168 22 0 0 20 0 20 0 201342166 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=1975452 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=1975452 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 4068 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=1975452 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 493863 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3276.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1975452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/331 1093794
/proc/meminfo: memFree=118089444/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3336.93 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 94566 0 0 0 333548 145 0 0 20 0 20 0 201342165 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 525101 5933 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=29676 CPUtime=3331.61 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 48705 0 0 0 333138 23 0 0 20 0 20 0 201342166 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=5628 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 4157 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=26172 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3336.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/331 1093804
/proc/meminfo: memFree=118087176/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3396.82 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 95411 0 0 0 339535 147 0 0 20 0 20 0 201342165 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 525101 5933 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3391.47 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 49385 0 0 0 339124 23 0 0 20 0 20 0 201342166 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=51092 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 4260 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3396.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/331 1093815
/proc/meminfo: memFree=118086780/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3456.72 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 96417 0 0 0 345523 149 0 0 20 0 20 0 201342165 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 525101 5933 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=14364 CPUtime=3451.34 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 50216 0 0 0 345111 23 0 0 20 0 20 0 201342166 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 4378 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=20776 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3456.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/330 1093825
/proc/meminfo: memFree=118078292/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3516.63 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 97527 0 0 0 351511 152 0 0 20 0 20 0 201342165 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 525101 5933 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3511.21 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 51119 0 0 0 351098 23 0 0 20 0 20 0 201342166 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=51092 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 4496 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3516.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/330 1093835
/proc/meminfo: memFree=118077912/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3576.53 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 98672 0 0 0 357500 153 0 0 20 0 20 0 201342165 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 525101 5933 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3571.08 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 52047 0 0 0 357085 23 0 0 20 0 20 0 201342166 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 4614 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3576.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.9 s]
/proc/loadavg: 4.07 4.10 4.11 5/330 1093838
/proc/meminfo: memFree=118077776/131524600 swapFree=131071216/131071996
[pid=1091325] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3600.08 cores=4,6
/proc/1091325/stat : 1091325 (java) S 1091322 1091325 1089301 0 -1 1077936128 98955 0 0 0 359855 153 0 0 20 0 20 0 201342165 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
/proc/1091325/statm: 4777044 525101 5933 1 0 554518 0
[pid=1091325/tid=1091327] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=3594.63 cores=4,6
/proc/1091325/task/1091327/stat : 1091327 (java) R 1091322 1091325 1089301 0 -1 4194368 52322 0 0 0 359440 23 0 0 20 0 20 0 201342166 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091336] ppid=1091322 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1091325/task/1091336/stat : 1091336 (Finalizer) S 1091322 1091325 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201342168 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091343] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091343/stat : 1091343 (Common-Cleaner) S 1091322 1091325 1089301 0 -1 1077936192 4614 0 0 0 0 0 0 0 20 0 20 0 201342169 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
[pid=1091325/tid=1091344] ppid=1091322 vsize=19108176 memory=2100404 CPUtime=0 cores=4,6
/proc/1091325/task/1091344/stat : 1091344 (Timer-0) S 1091322 1091325 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201342181 19566772224 525101 134679101440 94633432006656 94633432010352 140737096525120 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94633432018168 94633432018960 94633464721408 140737096528901 140737096528991 140737096528991 140737096536008 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100404 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.68 s, system=1.54805 s

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

[startup+3606.01 s]*
/proc/loadavg: 4.07 4.10 4.11 5/312 1093842
/proc/meminfo: memFree=120156820/131524600 swapFree=131071216/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.01
CPU time (s): 3600.23
CPU user time (s): 3598.68
CPU system time (s): 1.54805
CPU usage (%): 99.8397
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2100404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.54805
maximum resident set size= 2102004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101886
involuntary context switches= 2662


# summary of solver processes directly reported to runsolver:
#   pid: 1091325
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.68
#   total CPU system time (s): 1.54805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50839 second user time and 17.938 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-20 18:10:10
IDJOB=4453744
IDBENCH=175877
IDSOLVER=3058
FILE ID=nodeC018/4453744-1721491798
RUNJOBID= nodeC018-1721488208-1089314
SLURM_JOB_ID= 7545781
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-70.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453744-1721491798/watcher-4453744-1721491798 -o /tmp/evaluation-result-4453744-1721491798/solver-4453744-1721491798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089314 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453744-1721491798.opb

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

MD5SUM BENCH= 910ccac47c65ba0051d9c956ec5a939d
RANDOM SEED=1890756934

nodeC018.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		: 3629.811
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.52
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		: 3686.707
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.30
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		: 3677.444
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.52
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.055
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.30
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		: 3639.847
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.52
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		: 3688.198
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3641.821
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.52
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.978
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118755356 kB
MemAvailable:   121847048 kB
Buffers:          584328 kB
Cached:          3323268 kB
SwapCached:          148 kB
Active:          1163896 kB
Inactive:       10966800 kB
Active(anon):       1552 kB
Inactive(anon):  8267328 kB
Active(file):    1162344 kB
Inactive(file):  2699472 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:               792 kB
Writeback:             0 kB
AnonPages:       8222956 kB
Mapped:           129732 kB
Shmem:             45784 kB
KReclaimable:     139396 kB
Slab:             240996 kB
SReclaimable:     139396 kB
SUnreclaim:       101600 kB
KernelStack:        5008 kB
PageTables:        26340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9410868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7938048 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:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC018 at 2024-07-20 19:10:16