Trace number 4451314

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.22 3616.59

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v080-n1.opb
MD5SUM139bb5ccb101e0ad3f28f227f0d5b150
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.040808
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables159
Total number of constraints80
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 		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.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4451314-1721432856.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.014s.
0.13/0.14	c declared #vars     159
0.13/0.14	c #constraints  160
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 158
0.13/0.14	c 160 constraints processed.
0.53/0.37	c cleaning 2490 clauses out of 5000 with flag 26431/5000
0.92/0.58	c cleaning 4253 clauses out of 8510 with flag 68270/11000
1.49/0.85	c cleaning 5624 clauses out of 11259 with flag 135533/18002
1.87/1.13	c cleaning 6806 clauses out of 13633 with flag 214521/26000
2.30/1.47	c cleaning 7913 clauses out of 15833 with flag 298248/35006
2.77/1.86	c cleaning 8949 clauses out of 17914 with flag 400243/45000
3.27/2.31	c cleaning 9971 clauses out of 19966 with flag 505244/56001
3.87/2.94	c cleaning 10992 clauses out of 21995 with flag 637577/68001
4.47/3.56	c cleaning 11995 clauses out of 24004 with flag 773074/81002
5.17/4.26	c cleaning 13000 clauses out of 26007 with flag 927363/95000
5.97/4.97	c cleaning 13989 clauses out of 28008 with flag 1089472/110001
6.87/5.86	c cleaning 15004 clauses out of 30018 with flag 1287327/126000
7.99/6.93	c cleaning 15991 clauses out of 32014 with flag 1494863/143000
9.11/8.00	c cleaning 16991 clauses out of 34026 with flag 1704446/161003
10.22/9.10	c cleaning 18006 clauses out of 36034 with flag 1919003/180002
11.41/10.36	c cleaning 19008 clauses out of 38027 with flag 2194791/200001
12.91/11.83	c cleaning 19999 clauses out of 40018 with flag 2474421/221000
14.40/13.36	c cleaning 20999 clauses out of 42022 with flag 2764587/243003
16.10/15.01	c cleaning 21990 clauses out of 44022 with flag 3071408/266002
17.80/16.79	c cleaning 23009 clauses out of 46031 with flag 3366752/290001
19.89/18.82	c cleaning 24005 clauses out of 48022 with flag 3712768/315001
21.99/20.92	c cleaning 24995 clauses out of 50017 with flag 4064240/341001
24.29/23.24	c cleaning 25999 clauses out of 52023 with flag 4457312/368002
27.09/26.05	c cleaning 27007 clauses out of 54023 with flag 4918741/396001
29.78/28.79	c cleaning 27998 clauses out of 56015 with flag 5349230/425000
32.27/31.24	c cleaning 29001 clauses out of 58017 with flag 5739528/455000
34.86/33.81	c cleaning 30001 clauses out of 60016 with flag 6111074/486000
37.75/36.71	c cleaning 31002 clauses out of 62016 with flag 6534086/518001
40.75/39.74	c cleaning 32000 clauses out of 64013 with flag 6978123/551000
43.94/42.90	c cleaning 32998 clauses out of 66013 with flag 7422975/585000
47.64/46.62	c cleaning 34006 clauses out of 68017 with flag 7919590/620002
51.33/50.34	c cleaning 34993 clauses out of 70009 with flag 8346263/656000
54.72/53.76	c cleaning 36001 clauses out of 72017 with flag 8812721/693001
58.52/57.59	c cleaning 37002 clauses out of 74016 with flag 9279402/731001
62.39/61.45	c cleaning 37999 clauses out of 76013 with flag 9750390/770000
66.74/65.86	c cleaning 38992 clauses out of 78015 with flag 10251797/810001
71.50/70.67	c cleaning 40004 clauses out of 80024 with flag 10833139/851002
76.55/75.72	c cleaning 40996 clauses out of 82018 with flag 11396291/893000
81.80/81.08	c cleaning 42002 clauses out of 84022 with flag 11935902/936000
87.28/86.54	c cleaning 42996 clauses out of 86021 with flag 12460464/980001
92.43/91.78	c cleaning 44004 clauses out of 88024 with flag 12976991/1025000
97.48/96.86	c cleaning 44987 clauses out of 90020 with flag 13501659/1071000
103.03/102.45	c cleaning 46009 clauses out of 92034 with flag 14084967/1118001
109.38/108.86	c cleaning 46993 clauses out of 94025 with flag 14707752/1166001
114.87/114.39	c cleaning 48000 clauses out of 96031 with flag 15284190/1215000
120.92/120.44	c cleaning 48997 clauses out of 98033 with flag 15886189/1265002
127.36/126.99	c cleaning 50010 clauses out of 100034 with flag 16473784/1316000
134.39/134.08	c cleaning 51005 clauses out of 102024 with flag 17180581/1368000
141.45/141.19	c cleaning 52003 clauses out of 104023 with flag 17864935/1421004
148.78/148.55	c cleaning 53001 clauses out of 106016 with flag 18493745/1475000
155.72/155.52	c cleaning 53998 clauses out of 108016 with flag 19248252/1530001
163.17/163.08	c cleaning 54999 clauses out of 110019 with flag 19974809/1586002
171.92/171.86	c cleaning 55997 clauses out of 112019 with flag 20721119/1643001
181.01/180.96	c cleaning 56994 clauses out of 114024 with flag 21650584/1701003
189.89/189.85	c cleaning 57995 clauses out of 116028 with flag 22488098/1760001
199.47/199.47	c cleaning 59007 clauses out of 118034 with flag 23240081/1820002
209.26/209.26	c cleaning 59986 clauses out of 120025 with flag 24016755/1881000
218.54/218.58	c cleaning 61002 clauses out of 122039 with flag 24822889/1943000
228.71/228.76	c cleaning 62008 clauses out of 124040 with flag 25614294/2006003
240.20/240.20	c cleaning 63001 clauses out of 126029 with flag 26434962/2070000
251.60/251.66	c cleaning 64000 clauses out of 128028 with flag 27200266/2135000
262.48/262.58	c cleaning 65007 clauses out of 130030 with flag 28040656/2201002
274.65/274.76	c cleaning 66005 clauses out of 132023 with flag 28980937/2268002
288.54/288.63	c cleaning 66990 clauses out of 134020 with flag 29983826/2336004
301.61/301.75	c cleaning 68003 clauses out of 136028 with flag 30959572/2405002
314.48/314.66	c cleaning 68988 clauses out of 138024 with flag 31930892/2475001
326.97/327.17	c cleaning 70012 clauses out of 140035 with flag 32915789/2546000
339.44/339.61	c cleaning 71003 clauses out of 142023 with flag 33827853/2618000
352.32/352.50	c cleaning 71996 clauses out of 144020 with flag 34662043/2691000
365.13/365.33	c cleaning 72999 clauses out of 146024 with flag 35633653/2765000
377.50/377.77	c cleaning 73991 clauses out of 148025 with flag 36611165/2840000
390.87/391.18	c cleaning 75006 clauses out of 150037 with flag 37687717/2916003
403.54/403.82	c cleaning 75994 clauses out of 152028 with flag 38823292/2993000
416.74/417.05	c cleaning 77006 clauses out of 154036 with flag 39875171/3071002
429.81/430.15	c cleaning 77989 clauses out of 156028 with flag 40964339/3150000
443.68/444.09	c cleaning 79014 clauses out of 158040 with flag 42057155/3230001
459.25/459.60	c cleaning 79994 clauses out of 160026 with flag 43115411/3311001
474.44/474.80	c cleaning 81007 clauses out of 162032 with flag 44130620/3393001
488.91/489.36	c cleaning 82000 clauses out of 164024 with flag 45141716/3476000
504.18/504.67	c cleaning 82999 clauses out of 166024 with flag 46205880/3560000
521.35/521.89	c cleaning 84002 clauses out of 168025 with flag 47334362/3645000
536.86/537.38	c cleaning 85001 clauses out of 170024 with flag 48488986/3731001
554.53/555.07	c cleaning 86008 clauses out of 172024 with flag 49818139/3818002
570.40/570.96	c cleaning 87000 clauses out of 174016 with flag 50898468/3906002
586.36/586.98	c cleaning 87986 clauses out of 176014 with flag 52218787/3995000
606.87/607.49	c cleaning 88994 clauses out of 178028 with flag 53512531/4085000
626.73/627.38	c cleaning 90000 clauses out of 180034 with flag 54816368/4176000
643.29/643.93	c cleaning 91008 clauses out of 182035 with flag 56076081/4268001
661.66/662.34	c cleaning 91993 clauses out of 184027 with flag 57435636/4361001
679.88/680.54	c cleaning 92998 clauses out of 186033 with flag 58684708/4455000
698.54/699.28	c cleaning 93993 clauses out of 188036 with flag 59865826/4550001
718.41/719.10	c cleaning 94995 clauses out of 190042 with flag 61130061/4646000
741.26/742.06	c cleaning 96001 clauses out of 192047 with flag 62562533/4743000
762.87/763.60	c cleaning 97020 clauses out of 194047 with flag 63832250/4841001
783.83/784.65	c cleaning 98004 clauses out of 196027 with flag 65198274/4940001
804.19/805.09	c cleaning 98990 clauses out of 198024 with flag 66527928/5040002
825.15/826.08	c cleaning 100007 clauses out of 200032 with flag 67831742/5141000
847.60/848.50	c cleaning 101003 clauses out of 202026 with flag 69264960/5243001
872.80/873.87	c cleaning 101994 clauses out of 204022 with flag 70644115/5346000
897.87/899.15	c cleaning 103010 clauses out of 206028 with flag 72043641/5450000
926.30/927.89	c cleaning 103998 clauses out of 208019 with flag 73491853/5555001
955.72/957.57	c cleaning 105000 clauses out of 210021 with flag 75019412/5661001
978.40/980.43	c cleaning 106000 clauses out of 212021 with flag 76394233/5768001
1000.90/1003.15	c cleaning 106993 clauses out of 214021 with flag 77549040/5876001
1023.51/1025.86	c cleaning 107995 clauses out of 216027 with flag 78961536/5985000
1049.95/1052.37	c cleaning 109002 clauses out of 218033 with flag 80457068/6095001
1074.30/1076.77	c cleaning 109999 clauses out of 220032 with flag 82003951/6206002
1099.65/1102.18	c cleaning 110997 clauses out of 222032 with flag 83547145/6318001
1126.89/1129.45	c cleaning 111999 clauses out of 224034 with flag 85076412/6431000
1155.13/1157.74	c cleaning 112998 clauses out of 226035 with flag 86599153/6545000
1180.88/1183.57	c cleaning 114016 clauses out of 228039 with flag 87985752/6660002
1207.83/1210.52	c cleaning 114997 clauses out of 230023 with flag 89461701/6776002
1234.97/1237.72	c cleaning 115992 clauses out of 232024 with flag 90870418/6893000
1263.61/1266.40	c cleaning 117003 clauses out of 234032 with flag 92358097/7011000
1292.44/1295.31	c cleaning 118008 clauses out of 236030 with flag 93872287/7130001
1325.46/1328.46	c cleaning 118987 clauses out of 238024 with flag 95614862/7250003
1357.77/1360.88	c cleaning 120003 clauses out of 240035 with flag 97229129/7371001
1390.38/1393.51	c cleaning 120995 clauses out of 242031 with flag 98983704/7493000
1421.60/1424.89	c cleaning 122017 clauses out of 244039 with flag 100623114/7616003
1457.61/1460.93	c cleaning 122998 clauses out of 246019 with flag 102293576/7740000
1493.61/1497.01	c cleaning 123995 clauses out of 248021 with flag 103965635/7865000
1526.13/1529.68	c cleaning 124986 clauses out of 250027 with flag 105643817/7991001
1559.98/1563.32	c cleaning 126011 clauses out of 252040 with flag 107306614/8118000
1597.71/1601.19	c cleaning 127005 clauses out of 254029 with flag 109095682/8246000
1635.33/1638.89	c cleaning 127999 clauses out of 256024 with flag 110805796/8375000
1668.56/1672.18	c cleaning 128997 clauses out of 258025 with flag 112372814/8505000
1707.08/1710.71	c cleaning 129999 clauses out of 260028 with flag 113979491/8636000
1746.50/1750.21	c cleaning 130987 clauses out of 262030 with flag 115453036/8768001
1787.13/1790.99	c cleaning 132008 clauses out of 264043 with flag 116973406/8901001
1826.18/1829.59	c cleaning 133004 clauses out of 266036 with flag 118642318/9035002
1865.60/1869.09	c cleaning 133998 clauses out of 268031 with flag 120369255/9170001
1904.81/1908.34	c cleaning 135012 clauses out of 270032 with flag 122250369/9306000
1946.53/1950.19	c cleaning 135997 clauses out of 272020 with flag 124030006/9443000
1983.48/1987.15	c cleaning 136995 clauses out of 274023 with flag 125706506/9581000
2024.10/2027.88	c cleaning 137999 clauses out of 276029 with flag 127627178/9720001
2065.51/2069.31	c cleaning 138996 clauses out of 278030 with flag 129388833/9860001
2109.33/2113.22	c cleaning 140010 clauses out of 280034 with flag 131243466/10001001
2154.43/2158.43	c cleaning 141004 clauses out of 282025 with flag 133158030/10143002
2196.54/2200.68	c cleaning 141997 clauses out of 284019 with flag 135166170/10286000
2242.34/2246.58	c cleaning 142999 clauses out of 286023 with flag 137095962/10430001
2286.87/2291.32	c cleaning 144005 clauses out of 288023 with flag 138920901/10575000
2331.95/2336.89	c cleaning 144989 clauses out of 290022 with flag 140705494/10721004
2374.56/2379.84	c cleaning 145996 clauses out of 292029 with flag 142120895/10868000
2423.90/2429.66	c cleaning 147005 clauses out of 294033 with flag 143691375/11016000
2472.85/2479.08	c cleaning 148006 clauses out of 296028 with flag 145820093/11165000
2524.27/2530.98	c cleaning 148999 clauses out of 298022 with flag 147871715/11315000
2565.78/2572.81	c cleaning 150004 clauses out of 300025 with flag 150083000/11466002
2610.57/2617.93	c cleaning 150995 clauses out of 302020 with flag 152133418/11618001
2651.68/2659.41	c cleaning 151984 clauses out of 304024 with flag 154295277/11771000
2705.18/2713.43	c cleaning 153003 clauses out of 306043 with flag 156439157/11925003
2756.11/2764.80	c cleaning 154007 clauses out of 308037 with flag 158450137/12080000
2801.28/2810.45	c cleaning 154992 clauses out of 310031 with flag 160548315/12236001
2855.97/2865.69	c cleaning 156011 clauses out of 312039 with flag 162610228/12393001
2925.15/2935.33	c cleaning 156999 clauses out of 314027 with flag 164619492/12551000
2986.19/2996.97	c cleaning 157994 clauses out of 316028 with flag 166660751/12710000
3042.07/3053.37	c cleaning 158996 clauses out of 318034 with flag 168548049/12870000
3103.99/3115.84	c cleaning 159995 clauses out of 320038 with flag 170515001/13031000
3163.33/3175.71	c cleaning 161012 clauses out of 322043 with flag 172607363/13193000
3224.03/3237.07	c cleaning 162005 clauses out of 324031 with flag 174666139/13356000
3278.96/3292.40	c cleaning 163000 clauses out of 326027 with flag 176724123/13520001
3344.35/3358.42	c cleaning 164009 clauses out of 328028 with flag 178933902/13685002
3406.27/3420.99	c cleaning 164988 clauses out of 330018 with flag 181050467/13851001
3468.40/3483.65	c cleaning 166007 clauses out of 332029 with flag 183093329/14018000
3533.10/3548.95	c cleaning 166992 clauses out of 334023 with flag 185148952/14186001
3593.83/3610.24	c cleaning 168000 clauses out of 336032 with flag 187121656/14355002
3600.08/3616.52	c starts		: 4400
3600.08/3616.52	c timeout
3600.08/3616.52	c conflicts		: 14381573
3600.08/3616.52	c decisions		: 16812537
3600.08/3616.52	c propagations		: 495174536
3600.08/3616.52	c inspects		: 53957864242
3600.08/3616.52	c shortcuts		: 0
3600.08/3616.52	c learnt literals	: 0
3600.08/3616.52	c learnt binary clauses	: 0
3600.08/3616.52	c learnt ternary clauses	: 0
3600.08/3616.52	c learnt constraints	: 14381573
3600.08/3616.52	c ignored constraints	: 0
3600.08/3616.52	c root simplifications	: 0
3600.08/3616.52	c removed literals (reason simplification)	: 0
3600.08/3616.52	c reason swapping (by a shorter reason)	: 0
3600.08/3616.52	c Calls to reduceDB	: 165
3600.08/3616.52	c Number of update (reduction) of LBD	: 4726816
3600.08/3616.52	c Imported unit clauses	: 0
3600.08/3616.52	c No decision after first conflict	: false
3600.08/3616.52	c number of reductions to clauses (during analyze)	: 0
3600.08/3616.52	c number of learned constraints concerned by reduction	: 0
3600.08/3616.52	c number of learning phase by resolution	: 0
3600.08/3616.52	c number of learning phase by cutting planes	: 0
3600.08/3616.52	c number of rounding to 1 operations	: 0
3600.08/3616.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3616.52	c number of reductions of the coefficients by power 2 	: 0
3600.08/3616.52	c number of right shift for reduction by power 2 	: 0
3600.08/3616.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3616.52	c number of ending skipping 	: 0
3600.08/3616.52	c number of internal skipping 	: 0
3600.08/3616.52	c number of derivation steps 	: 0
3600.08/3616.52	c number of skipped derivation steps 	: 0
3600.08/3616.52	c number of remaining unassigned 	: 0
3600.08/3616.52	c number of remaining assigned 	: 0
3600.08/3616.52	c number of falsified literals weakened from reason	: 0
3600.08/3616.52	c number of falsified literals weakened from conflict	: 0
3600.08/3616.52	c time for arithmetic operations	: 0
3600.08/3616.52	c minimum degree of deleted constraints	: null
3600.08/3616.52	c maximum degree of deleted constraints	: null
3600.08/3616.52	c number of deleted constraints	: 0
3600.08/3616.52	c speed (assignments/second)	: 136925.47132768127
3600.08/3616.52	c non guided choices	: 40
3600.08/3616.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 194603
3600.08/3616.58	s UNKNOWN
3600.08/3616.58	c Total wall clock time (in seconds): 3616.457

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451314-1721432856/watcher-4451314-1721432856 -o /tmp/evaluation-result-4451314-1721432856/solver-4451314-1721432856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074934 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451314-1721432856.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1080026, runsolver pid=1080023
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.17 4.17 4.14 7/329 1080044
/proc/meminfo: memFree=122283256/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=18975048 memory=65464 CPUtime=0.13 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 7217 0 0 0 12 1 0 0 20 0 18 0 195453669 19430449152 16366 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4743762 16366 5747 1 0 549330 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 5744 0 0 0 7 1 0 0 20 0 18 0 195453670 19430449152 16366 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195453672 19430449152 16366 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 195453673 19430449152 16366 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65464 KiB

[startup+0.209025 s]*
/proc/loadavg: 4.17 4.17 4.14 6/330 1080045
/proc/meminfo: memFree=122277164/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19041612 memory=71844 CPUtime=0.34 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 8966 0 0 0 32 2 0 0 20 0 19 0 195453669 19498610688 17961 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4760403 17961 5834 1 0 550460 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 5938 0 0 0 18 1 0 0 20 0 19 0 195453670 19498610688 17961 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19041612 memory=17016 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195453672 19498610688 17961 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195453673 19498610688 17961 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195453684 19498610688 17961 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71844 KiB

[startup+0.305805 s]*
/proc/loadavg: 4.17 4.17 4.14 7/330 1080045
/proc/meminfo: memFree=122275160/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19041612 memory=73120 CPUtime=0.53 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 9622 0 0 0 51 2 0 0 20 0 19 0 195453669 19498610688 18280 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4760403 18280 5834 1 0 550774 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19041612 memory=-7811033386257115495 CPUtime=0.28 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 5941 0 0 0 27 1 0 0 20 0 19 0 195453670 19498610688 18280 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195453672 19498610688 18280 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195453673 19498610688 18280 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195453684 19498610688 18280 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73120 KiB

[startup+0.700806 s]
/proc/loadavg: 4.17 4.17 4.14 6/330 1080045
/proc/meminfo: memFree=122265436/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19041612 memory=86012 CPUtime=1.29 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 12070 0 0 0 127 2 0 0 20 0 19 0 195453669 19498610688 21503 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4760403 21503 5834 1 0 552405 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19041612 memory=47120 CPUtime=0.67 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 5987 0 0 0 66 1 0 0 20 0 19 0 195453670 19498610688 21503 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19041612 memory=13116 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195453672 19498610688 21503 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195453673 19498610688 21503 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19041612 memory=1900 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195453684 19498610688 21503 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86012 KiB

[startup+1.50028 s]
/proc/loadavg: 4.17 4.17 4.14 5/330 1080045
/proc/meminfo: memFree=122259996/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19041612 memory=94816 CPUtime=2.43 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 15869 0 0 0 240 3 0 0 20 0 19 0 195453669 19498610688 23704 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4760403 23704 5834 1 0 552407 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19041612 memory=13116 CPUtime=1.47 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 6378 0 0 0 145 2 0 0 20 0 19 0 195453670 19498610688 23704 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195453672 19498610688 23704 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195453673 19498610688 23704 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19041612 memory=1900 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195453684 19498610688 23704 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94816 KiB

[startup+3.10562 s]
/proc/loadavg: 4.17 4.17 4.14 5/330 1080045
/proc/meminfo: memFree=122239428/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19041612 memory=107120 CPUtime=4.07 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 16244 0 0 0 404 3 0 0 20 0 19 0 195453669 19498610688 26780 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4760403 26780 5834 1 0 552407 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19041612 memory=0 CPUtime=3.07 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 6589 0 0 0 305 2 0 0 20 0 19 0 195453670 19498610688 26780 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19041612 memory=-7811033386257115495 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195453672 19498610688 26780 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19041612 memory=13116 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195453673 19498610688 26780 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195453684 19498610688 26780 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107120 KiB

[startup+6.30025 s]
/proc/loadavg: 4.31 4.20 4.15 5/329 1080114
/proc/meminfo: memFree=124297200/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19041612 memory=126228 CPUtime=7.39 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 20382 0 0 0 735 4 0 0 20 0 19 0 195453669 19498610688 31557 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4760403 31557 5844 1 0 552410 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19041612 memory=2212 CPUtime=6.25 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 7229 0 0 0 623 2 0 0 20 0 19 0 195453670 19498610688 31557 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195453672 19498610688 31557 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19041612 memory=13116 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195453673 19498610688 31557 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19041612 memory=1399947280888402291 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195453684 19498610688 31557 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126228 KiB

[startup+12.7003 s]
/proc/loadavg: 4.29 4.20 4.15 5/329 1080114
/proc/meminfo: memFree=124216880/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19041612 memory=163096 CPUtime=13.8 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 23160 0 0 0 1375 5 0 0 20 0 19 0 195453669 19498610688 40774 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4760403 40774 5844 1 0 552410 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19041612 memory=13116 CPUtime=12.64 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 8155 0 0 0 1261 3 0 0 20 0 19 0 195453670 19498610688 40774 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19041612 memory=150808 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195453672 19498610688 40774 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19041612 memory=16236 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195453673 19498610688 40774 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195453684 19498610688 40774 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163096 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.19 4.15 5/331 1080117
/proc/meminfo: memFree=124150300/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=176012 CPUtime=26.58 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 25656 0 0 0 2652 6 0 0 20 0 20 0 195453669 19566772224 44003 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 44003 5891 1 0 552699 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=0 CPUtime=25.39 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 9030 0 0 0 2536 3 0 0 20 0 20 0 195453670 19566772224 44003 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 44003 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=146712 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 44003 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=13116 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 44003 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176012 KiB

[startup+51.1051 s]
/proc/loadavg: 4.22 4.19 4.15 5/331 1080122
/proc/meminfo: memFree=124087696/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=180256 CPUtime=52.13 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 28862 0 0 0 5206 7 0 0 20 0 20 0 195453669 19566772224 45064 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 45064 5891 1 0 552699 0

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

/proc/meminfo: memFree=118695780/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=3268.96 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 120165 0 0 0 326764 132 0 0 20 0 20 0 195453669 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564293 5907 1 0 579009 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=3262.79 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 61893 0 0 0 326256 23 0 0 20 0 20 0 195453670 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=2253052 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=2253048 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4455 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3268.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/334 1082122
/proc/meminfo: memFree=118686768/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=3328.4 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 121039 0 0 0 332706 134 0 0 20 0 20 0 195453669 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564293 5907 1 0 579009 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=2253048 CPUtime=3322.22 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 62615 0 0 0 332198 24 0 0 20 0 20 0 195453670 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4537 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3328.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/334 1082134
/proc/meminfo: memFree=118686032/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=3387.85 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 122156 0 0 0 338649 136 0 0 20 0 20 0 195453669 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564293 5907 1 0 579009 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=3381.63 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 63527 0 0 0 338139 24 0 0 20 0 20 0 195453670 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=37188 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4617 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564293 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3387.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/331 1082145
/proc/meminfo: memFree=118684364/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257176 CPUtime=3447.3 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 123255 0 0 0 344592 138 0 0 20 0 20 0 195453669 19566772224 564294 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564294 5907 1 0 579009 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=2257172 CPUtime=3441.05 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 64379 0 0 0 344081 24 0 0 20 0 20 0 195453670 19566772224 564294 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=37188 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564294 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=5464 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4692 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564294 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564294 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3447.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/331 1082155
/proc/meminfo: memFree=118683616/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257180 CPUtime=3506.74 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 124274 0 0 0 350535 139 0 0 20 0 20 0 195453669 19566772224 564295 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564295 5907 1 0 579010 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=2257176 CPUtime=3500.47 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 65249 0 0 0 350023 24 0 0 20 0 20 0 195453670 19566772224 564295 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564295 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=13116 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4772 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564295 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564295 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3506.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/332 1082166
/proc/meminfo: memFree=118682688/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257188 CPUtime=3566.19 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 125302 0 0 0 356478 141 0 0 20 0 20 0 195453669 19566772224 564297 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564297 5907 1 0 579013 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=13116 CPUtime=3559.89 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 66129 0 0 0 355965 24 0 0 20 0 20 0 195453670 19566772224 564297 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564297 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4852 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564297 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=47120 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564297 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3566.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.5 s]
/proc/loadavg: 4.16 4.16 4.12 4/306 1082208
/proc/meminfo: memFree=120609620/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257196 CPUtime=3600.08 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 126148 0 0 0 359866 142 0 0 20 0 20 0 195453669 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564299 5907 1 0 579014 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=2257180 CPUtime=3593.76 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 66801 0 0 0 359352 24 0 0 20 0 20 0 195453670 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=47120 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=2257196 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4968 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=2257192 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257196 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.78 s, system=1.43834 s

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

[startup+3616.5 s]
/proc/loadavg: 4.16 4.16 4.12 4/306 1082208
/proc/meminfo: memFree=120609620/131524600 swapFree=131071996/131071996
[pid=1080026] ppid=1080023 vsize=19108176 memory=2257196 CPUtime=3600.08 cores=1,3
/proc/1080026/stat : 1080026 (java) S 1080023 1080026 1074922 0 -1 1077936128 126148 0 0 0 359866 142 0 0 20 0 20 0 195453669 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
/proc/1080026/statm: 4777044 564299 5907 1 0 579014 0
[pid=1080026/tid=1080028] ppid=1080023 vsize=19108176 memory=2257180 CPUtime=3593.76 cores=1,3
/proc/1080026/task/1080028/stat : 1080028 (java) R 1080023 1080026 1074922 0 -1 4194368 66801 0 0 0 359352 24 0 0 20 0 20 0 195453670 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080037] ppid=1080023 vsize=19108176 memory=47120 CPUtime=0 cores=1,3
/proc/1080026/task/1080037/stat : 1080037 (Finalizer) S 1080023 1080026 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195453672 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080044] ppid=1080023 vsize=19108176 memory=2257196 CPUtime=0 cores=1,3
/proc/1080026/task/1080044/stat : 1080044 (Common-Cleaner) S 1080023 1080026 1074922 0 -1 1077936192 4968 0 0 0 0 0 0 0 20 0 20 0 195453673 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
[pid=1080026/tid=1080045] ppid=1080023 vsize=19108176 memory=2257192 CPUtime=0 cores=1,3
/proc/1080026/task/1080045/stat : 1080045 (Timer-0) S 1080023 1080026 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195453684 19566772224 564299 134679101440 94902999240704 94902999244400 140721628390496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94902999252216 94902999253008 94903010799616 140721628398597 140721628398687 140721628398687 140721628405704 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2257196 KiB

Child status: 143

Real time (s): 3616.59
CPU time (s): 3600.22
CPU user time (s): 3598.78
CPU system time (s): 1.43834
CPU usage (%): 99.5473
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2257196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.78
system time used= 1.43834
maximum resident set size= 2257972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102742
involuntary context switches= 20986


# summary of solver processes directly reported to runsolver:
#   pid: 1080026
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.78
#   total CPU system time (s): 1.43834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79272 second user time and 18.1349 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 01:47:49
IDJOB=4451314
IDBENCH=162392
IDSOLVER=3058
FILE ID=nodeC030/4451314-1721432856
RUNJOBID= nodeC030-1721425652-1074934
SLURM_JOB_ID= 7545616
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v080-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451314-1721432856/watcher-4451314-1721432856 -o /tmp/evaluation-result-4451314-1721432856/solver-4451314-1721432856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074934 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451314-1721432856.opb

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

MD5SUM BENCH= 139bb5ccb101e0ad3f28f227f0d5b150
RANDOM SEED=1685295315

nodeC030.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		: 3665.462
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.28
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		: 3655.888
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.11
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		: 3599.641
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.28
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		: 3612.397
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.11
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		: 3664.031
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.28
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		: 3671.601
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.11
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		: 3599.746
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.28
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		: 3609.282
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122327368 kB
MemAvailable:   124804392 kB
Buffers:          523884 kB
Cached:          2773760 kB
SwapCached:            0 kB
Active:          1182420 kB
Inactive:        7335400 kB
Active(anon):       1540 kB
Inactive(anon):  5264264 kB
Active(file):    1180880 kB
Inactive(file):  2071136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               796 kB
Writeback:            28 kB
AnonPages:       5219544 kB
Mapped:           127324 kB
Shmem:             45912 kB
KReclaimable:     129660 kB
Slab:             248052 kB
SReclaimable:     129660 kB
SUnreclaim:       118392 kB
KernelStack:        5024 kB
PageTables:        20500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7338044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4933632 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:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-20 02:48:05