Trace number 4451344

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 3611.6

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v100-n1.opb
MD5SUM45eb186e954a64c3939c4a0ffb1dff0e
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.02559
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables199
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)100
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 		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.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-4451344-1721432859.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.016s.
0.13/0.14	c declared #vars     199
0.13/0.14	c #constraints  200
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 => 198
0.13/0.14	c 200 constraints processed.
0.53/0.40	c cleaning 2499 clauses out of 5002 with flag 32282/5002
1.10/0.69	c cleaning 4248 clauses out of 8503 with flag 79639/11002
1.64/0.90	c cleaning 5615 clauses out of 11254 with flag 144002/18001
1.92/1.14	c cleaning 6807 clauses out of 13638 with flag 215073/26000
2.35/1.44	c cleaning 7913 clauses out of 15832 with flag 303619/35001
2.79/1.83	c cleaning 8953 clauses out of 17918 with flag 406416/45000
3.40/2.41	c cleaning 9983 clauses out of 19967 with flag 571940/56002
4.04/3.02	c cleaning 10966 clauses out of 21986 with flag 730369/68004
4.64/3.60	c cleaning 11993 clauses out of 24016 with flag 866928/81000
5.25/4.27	c cleaning 13010 clauses out of 26023 with flag 1047559/95000
6.15/5.11	c cleaning 13998 clauses out of 28013 with flag 1264339/110000
7.14/6.15	c cleaning 15000 clauses out of 30015 with flag 1470407/126000
8.17/7.16	c cleaning 16000 clauses out of 32016 with flag 1693728/143001
9.48/8.48	c cleaning 16993 clauses out of 34016 with flag 1947015/161001
10.78/9.74	c cleaning 18004 clauses out of 36024 with flag 2207231/180002
11.98/10.90	c cleaning 18985 clauses out of 38018 with flag 2470213/200000
13.38/12.39	c cleaning 20011 clauses out of 40034 with flag 2781813/221001
14.98/13.91	c cleaning 20987 clauses out of 42024 with flag 3097638/243002
16.38/15.31	c cleaning 22016 clauses out of 44035 with flag 3380483/266000
17.88/16.80	c cleaning 23001 clauses out of 46019 with flag 3671029/290000
19.57/18.51	c cleaning 23998 clauses out of 48018 with flag 3978722/315000
21.47/20.47	c cleaning 25006 clauses out of 50021 with flag 4348165/341001
23.66/22.69	c cleaning 25996 clauses out of 52014 with flag 4733778/368000
25.95/24.95	c cleaning 26999 clauses out of 54018 with flag 5103509/396000
28.54/27.53	c cleaning 28000 clauses out of 56021 with flag 5503362/425002
31.44/30.46	c cleaning 29004 clauses out of 58019 with flag 5933691/455000
34.53/33.51	c cleaning 29998 clauses out of 60016 with flag 6358937/486001
37.32/36.39	c cleaning 31007 clauses out of 62017 with flag 6793960/518000
39.91/38.93	c cleaning 31997 clauses out of 64010 with flag 7181347/551000
42.90/41.96	c cleaning 33002 clauses out of 66013 with flag 7543109/585000
45.70/44.74	c cleaning 34002 clauses out of 68011 with flag 7944693/620000
48.70/47.76	c cleaning 34979 clauses out of 70009 with flag 8314862/656000
52.19/51.29	c cleaning 35993 clauses out of 72032 with flag 8686671/693002
56.08/55.15	c cleaning 36986 clauses out of 74037 with flag 9063247/731000
59.87/58.98	c cleaning 38008 clauses out of 76051 with flag 9512866/770000
63.46/62.53	c cleaning 39015 clauses out of 78044 with flag 9956761/810001
67.47/66.52	c cleaning 40006 clauses out of 80028 with flag 10501718/851000
71.16/70.28	c cleaning 40999 clauses out of 82022 with flag 11017756/893000
75.45/74.54	c cleaning 41997 clauses out of 84023 with flag 11548203/936000
80.04/79.18	c cleaning 43005 clauses out of 86026 with flag 12107120/980000
84.64/83.78	c cleaning 44005 clauses out of 88025 with flag 12692919/1025004
89.49/88.65	c cleaning 45000 clauses out of 90016 with flag 13243535/1071000
94.36/93.58	c cleaning 45994 clauses out of 92017 with flag 13802757/1118001
99.51/98.77	c cleaning 46999 clauses out of 94022 with flag 14380802/1166000
104.99/104.22	c cleaning 48000 clauses out of 96023 with flag 15008596/1215000
110.94/110.28	c cleaning 49000 clauses out of 98024 with flag 15611493/1265001
116.59/115.98	c cleaning 50004 clauses out of 100025 with flag 16236406/1316002
122.84/122.23	c cleaning 50998 clauses out of 102019 with flag 16884853/1368000
128.99/128.41	c cleaning 52002 clauses out of 104022 with flag 17550605/1421001
135.03/134.58	c cleaning 52985 clauses out of 106019 with flag 18437496/1475000
140.88/140.47	c cleaning 54002 clauses out of 108036 with flag 19215085/1530002
146.64/146.21	c cleaning 55014 clauses out of 110032 with flag 19912868/1586000
153.39/153.04	c cleaning 55995 clauses out of 112018 with flag 20572223/1643000
160.43/160.11	c cleaning 57002 clauses out of 114025 with flag 21264951/1701002
167.36/167.11	c cleaning 57990 clauses out of 116021 with flag 22019037/1760000
175.02/174.81	c cleaning 59006 clauses out of 118032 with flag 22837559/1820001
183.84/183.74	c cleaning 59991 clauses out of 120025 with flag 23472102/1881000
191.87/191.84	c cleaning 60993 clauses out of 122034 with flag 24095771/1943000
201.02/201.09	c cleaning 61997 clauses out of 124041 with flag 24782896/2006000
210.33/210.40	c cleaning 63002 clauses out of 126045 with flag 25439271/2070001
219.16/219.30	c cleaning 64019 clauses out of 128043 with flag 26153927/2135001
227.49/227.70	c cleaning 65003 clauses out of 130024 with flag 27022120/2201001
236.64/236.98	c cleaning 65985 clauses out of 132020 with flag 27877682/2268000
245.36/245.77	c cleaning 66991 clauses out of 134035 with flag 28749968/2336000
255.76/256.22	c cleaning 68016 clauses out of 136045 with flag 29443994/2405001
265.40/265.93	c cleaning 69004 clauses out of 138029 with flag 30185239/2475001
274.23/274.89	c cleaning 70004 clauses out of 140024 with flag 30921578/2546000
284.38/285.06	c cleaning 71004 clauses out of 142020 with flag 31779501/2618000
294.68/295.41	c cleaning 71998 clauses out of 144016 with flag 32712330/2691000
304.00/304.87	c cleaning 72999 clauses out of 146018 with flag 33505706/2765000
314.90/315.83	c cleaning 74003 clauses out of 148019 with flag 34342845/2840000
325.61/326.69	c cleaning 75001 clauses out of 150017 with flag 35256478/2916001
338.29/339.42	c cleaning 75996 clauses out of 152015 with flag 36247971/2993000
350.48/351.72	c cleaning 76997 clauses out of 154019 with flag 37241234/3071000
361.73/363.08	c cleaning 77999 clauses out of 156022 with flag 38197137/3150000
373.13/374.53	c cleaning 78992 clauses out of 158023 with flag 39155839/3230000
385.43/386.96	c cleaning 80004 clauses out of 160031 with flag 40263555/3311000
398.41/400.00	c cleaning 81002 clauses out of 162028 with flag 41340541/3393001
410.99/412.74	c cleaning 82002 clauses out of 164026 with flag 42350135/3476001
423.67/425.55	c cleaning 82996 clauses out of 166024 with flag 43381438/3560001
437.55/439.59	c cleaning 84005 clauses out of 168029 with flag 44511184/3645002
450.63/452.78	c cleaning 85003 clauses out of 170022 with flag 45582911/3731000
463.91/466.12	c cleaning 85983 clauses out of 172021 with flag 46528335/3818002
477.38/479.77	c cleaning 86989 clauses out of 174037 with flag 47425579/3906001
491.36/493.83	c cleaning 87996 clauses out of 176049 with flag 48419641/3995002
506.32/508.97	c cleaning 88993 clauses out of 178052 with flag 49441247/4085001
521.68/524.48	c cleaning 90000 clauses out of 180058 with flag 50471306/4176000
536.44/539.31	c cleaning 91000 clauses out of 182059 with flag 51488985/4268001
551.61/554.64	c cleaning 91998 clauses out of 184059 with flag 52459925/4361001
567.17/570.35	c cleaning 92997 clauses out of 186063 with flag 53478357/4455003
583.62/586.94	c cleaning 94002 clauses out of 188064 with flag 54531818/4550001
599.57/603.03	c cleaning 94997 clauses out of 190061 with flag 55613559/4646000
616.12/619.74	c cleaning 95999 clauses out of 192064 with flag 56648211/4743000
634.55/638.14	c cleaning 97026 clauses out of 194065 with flag 57687781/4841000
654.67/658.41	c cleaning 98005 clauses out of 196039 with flag 58704523/4940000
672.90/676.89	c cleaning 99002 clauses out of 198034 with flag 59923261/5040000
692.02/696.12	c cleaning 99996 clauses out of 200032 with flag 61169328/5141000
713.03/717.32	c cleaning 100998 clauses out of 202038 with flag 62459352/5243002
734.07/738.32	c cleaning 102006 clauses out of 204038 with flag 63784242/5346000
754.52/758.88	c cleaning 103003 clauses out of 206032 with flag 65098994/5450000
775.86/780.27	c cleaning 104000 clauses out of 208029 with flag 66527284/5555000
796.42/800.50	c cleaning 105008 clauses out of 210030 with flag 67782158/5661001
815.67/819.87	c cleaning 106006 clauses out of 212021 with flag 68782734/5768000
837.02/841.28	c cleaning 106995 clauses out of 214016 with flag 69900827/5876001
859.95/864.24	c cleaning 107995 clauses out of 216020 with flag 71040752/5985000
882.71/887.08	c cleaning 109004 clauses out of 218026 with flag 72224598/6095001
904.15/908.50	c cleaning 109995 clauses out of 220021 with flag 73343473/6206000
926.79/931.28	c cleaning 111005 clauses out of 222027 with flag 74521100/6318001
950.22/954.74	c cleaning 112000 clauses out of 224024 with flag 75739380/6431003
972.77/977.30	c cleaning 112995 clauses out of 226021 with flag 76936135/6545000
997.13/1001.75	c cleaning 114013 clauses out of 228026 with flag 78143506/6660000
1021.17/1025.86	c cleaning 114996 clauses out of 230014 with flag 79395665/6776001
1045.60/1050.34	c cleaning 116004 clauses out of 232017 with flag 80582189/6893000
1071.14/1075.97	c cleaning 116999 clauses out of 234014 with flag 81755183/7011001
1094.48/1099.37	c cleaning 117994 clauses out of 236014 with flag 82935048/7130000
1118.82/1123.78	c cleaning 118990 clauses out of 238022 with flag 84258241/7250002
1144.48/1149.41	c cleaning 120005 clauses out of 240031 with flag 85614230/7371001
1170.31/1175.38	c cleaning 121010 clauses out of 242025 with flag 86788203/7493000
1196.84/1201.94	c cleaning 121998 clauses out of 244015 with flag 88032546/7616000
1223.27/1228.48	c cleaning 122994 clauses out of 246017 with flag 89310151/7740000
1253.90/1259.12	c cleaning 124010 clauses out of 248025 with flag 90771139/7865002
1284.10/1289.37	c cleaning 124999 clauses out of 250013 with flag 92055440/7991000
1312.02/1317.37	c cleaning 125997 clauses out of 252014 with flag 93386374/8118000
1340.75/1346.18	c cleaning 126993 clauses out of 254018 with flag 94727639/8246001
1369.97/1375.41	c cleaning 127992 clauses out of 256025 with flag 96032417/8375001
1398.90/1404.46	c cleaning 129013 clauses out of 258032 with flag 97286259/8505000
1429.52/1435.16	c cleaning 130000 clauses out of 260019 with flag 98614445/8636000
1462.83/1468.51	c cleaning 131001 clauses out of 262020 with flag 99934305/8768001
1495.15/1500.95	c cleaning 131994 clauses out of 264019 with flag 101344030/8901001
1527.02/1532.82	c cleaning 133003 clauses out of 266026 with flag 102640039/9035002
1559.93/1565.87	c cleaning 134004 clauses out of 268023 with flag 104045715/9170002
1594.52/1600.59	c cleaning 135007 clauses out of 270017 with flag 105507421/9306000
1627.03/1633.17	c cleaning 135991 clauses out of 272010 with flag 106921519/9443000
1665.22/1671.44	c cleaning 137008 clauses out of 274019 with flag 108386182/9581000
1698.33/1704.66	c cleaning 137993 clauses out of 276013 with flag 109830562/9720002
1736.91/1743.36	c cleaning 138997 clauses out of 278021 with flag 111366294/9860003
1775.10/1781.68	c cleaning 140003 clauses out of 280022 with flag 112662959/10001001
1816.68/1823.36	c cleaning 141002 clauses out of 282019 with flag 114039764/10143001
1855.86/1862.54	c cleaning 141999 clauses out of 284017 with flag 115471796/10286001
1893.47/1900.21	c cleaning 143000 clauses out of 286017 with flag 116907453/10430000
1934.95/1941.89	c cleaning 144000 clauses out of 288017 with flag 118304842/10575000
1971.86/1978.88	c cleaning 145007 clauses out of 290018 with flag 119851171/10721001
2010.36/2017.47	c cleaning 146004 clauses out of 292014 with flag 121359756/10868004
2052.16/2059.36	c cleaning 146998 clauses out of 294007 with flag 122860942/11016001
2090.55/2097.83	c cleaning 147998 clauses out of 296008 with flag 124336738/11165000
2132.04/2139.44	c cleaning 149000 clauses out of 298010 with flag 125874667/11315000
2173.34/2180.88	c cleaning 149997 clauses out of 300010 with flag 127336071/11466000
2215.72/2223.36	c cleaning 150999 clauses out of 302015 with flag 128846971/11618002
2256.20/2263.83	c cleaning 151999 clauses out of 304016 with flag 130392726/11771002
2301.57/2309.39	c cleaning 153007 clauses out of 306016 with flag 131987165/11925001
2334.75/2342.68	c cleaning 153987 clauses out of 308008 with flag 133506511/12080000
2376.62/2384.69	c cleaning 155006 clauses out of 310021 with flag 135072305/12236000
2422.89/2431.03	c cleaning 155996 clauses out of 312015 with flag 136696237/12393000
2463.25/2471.52	c cleaning 156996 clauses out of 314020 with flag 138245981/12551001
2510.81/2519.21	c cleaning 158005 clauses out of 316024 with flag 139894626/12710001
2556.46/2565.04	c cleaning 159002 clauses out of 318018 with flag 141524134/12870000
2596.64/2605.33	c cleaning 159988 clauses out of 320016 with flag 143238203/13031000
2638.81/2647.65	c cleaning 161009 clauses out of 322029 with flag 144862694/13193001
2690.83/2699.74	c cleaning 162001 clauses out of 324019 with flag 146540358/13356000
2736.99/2746.04	c cleaning 163004 clauses out of 326018 with flag 148094379/13520000
2788.50/2797.65	c cleaning 164001 clauses out of 328016 with flag 149838045/13685002
2843.23/2852.55	c cleaning 165001 clauses out of 330016 with flag 151581376/13851003
2892.69/2902.19	c cleaning 166005 clauses out of 332014 with flag 153186536/14018002
2945.62/2955.25	c cleaning 166980 clauses out of 334007 with flag 154990003/14186000
2995.06/3004.83	c cleaning 168001 clauses out of 336027 with flag 156725620/14355000
3045.91/3055.83	c cleaning 169009 clauses out of 338026 with flag 158438910/14525000
3098.95/3109.03	c cleaning 170000 clauses out of 340019 with flag 160111846/14696002
3151.84/3162.05	c cleaning 171003 clauses out of 342019 with flag 162089601/14868002
3208.48/3218.82	c cleaning 172000 clauses out of 344015 with flag 163922235/15041001
3255.15/3265.68	c cleaning 172987 clauses out of 346014 with flag 165835564/15215000
3312.58/3323.29	c cleaning 174006 clauses out of 348028 with flag 167767890/15390001
3364.51/3375.39	c cleaning 175008 clauses out of 350022 with flag 169543313/15566001
3424.63/3435.65	c cleaning 176004 clauses out of 352014 with flag 171500979/15743001
3475.57/3486.75	c cleaning 176999 clauses out of 354010 with flag 173374360/15921001
3527.47/3538.72	c cleaning 177994 clauses out of 356011 with flag 175230251/16100001
3587.71/3599.11	c cleaning 179004 clauses out of 358017 with flag 177508185/16280001
3600.08/3611.51	c starts		: 37800
3600.08/3611.52	c timeout
3600.08/3611.52	c conflicts		: 16325023
3600.08/3611.52	c decisions		: 20539749
3600.08/3611.52	c propagations		: 513820987
3600.08/3611.52	c inspects		: 55448862197
3600.08/3611.52	c shortcuts		: 0
3600.08/3611.52	c learnt literals	: 0
3600.08/3611.52	c learnt binary clauses	: 0
3600.08/3611.52	c learnt ternary clauses	: 0
3600.08/3611.52	c learnt constraints	: 16325023
3600.08/3611.52	c ignored constraints	: 0
3600.08/3611.52	c root simplifications	: 0
3600.08/3611.52	c removed literals (reason simplification)	: 0
3600.08/3611.52	c reason swapping (by a shorter reason)	: 0
3600.08/3611.52	c Calls to reduceDB	: 176
3600.08/3611.52	c Number of update (reduction) of LBD	: 4654615
3600.08/3611.52	c Imported unit clauses	: 0
3600.08/3611.52	c No decision after first conflict	: false
3600.08/3611.52	c number of reductions to clauses (during analyze)	: 0
3600.08/3611.52	c number of learned constraints concerned by reduction	: 0
3600.08/3611.52	c number of learning phase by resolution	: 0
3600.08/3611.52	c number of learning phase by cutting planes	: 0
3600.08/3611.52	c number of rounding to 1 operations	: 0
3600.08/3611.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3611.53	c number of reductions of the coefficients by power 2 	: 0
3600.08/3611.53	c number of right shift for reduction by power 2 	: 0
3600.08/3611.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3611.53	c number of ending skipping 	: 0
3600.08/3611.53	c number of internal skipping 	: 0
3600.08/3611.53	c number of derivation steps 	: 0
3600.08/3611.53	c number of skipped derivation steps 	: 0
3600.08/3611.53	c number of remaining unassigned 	: 0
3600.08/3611.53	c number of remaining assigned 	: 0
3600.08/3611.53	c number of falsified literals weakened from reason	: 0
3600.08/3611.53	c number of falsified literals weakened from conflict	: 0
3600.08/3611.53	c time for arithmetic operations	: 0
3600.08/3611.53	c minimum degree of deleted constraints	: null
3600.08/3611.53	c maximum degree of deleted constraints	: null
3600.08/3611.53	c number of deleted constraints	: 0
3600.08/3611.53	c speed (assignments/second)	: 142277.70349131015
3600.08/3611.53	c non guided choices	: 216
3600.08/3611.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 224035
3600.08/3611.59	s UNKNOWN
3600.08/3611.59	c Total wall clock time (in seconds): 3611.473

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1080093, runsolver pid=1080090
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.17 4.17 4.14 5/328 1080111
/proc/meminfo: memFree=124348192/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=18975048 memory=64344 CPUtime=0.13 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 7100 0 0 0 11 2 0 0 20 0 18 0 195454056 19430449152 16086 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4743762 16086 5614 1 0 549342 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 5679 0 0 0 7 2 0 0 20 0 18 0 195454057 19430449152 16086 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195454059 19430449152 16086 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 195454060 19430449152 16086 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64344 KiB

[startup+0.212096 s]*
/proc/loadavg: 4.17 4.17 4.14 7/329 1080112
/proc/meminfo: memFree=124341172/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19041612 memory=71656 CPUtime=0.35 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 8844 0 0 0 32 3 0 0 20 0 19 0 195454056 19498610688 17914 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4760403 17914 5786 1 0 550640 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19041612 memory=6876556183782621315 CPUtime=0.2 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 5857 0 0 0 18 2 0 0 20 0 19 0 195454057 19498610688 17914 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19041612 memory=17016 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195454059 19498610688 17914 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195454060 19498610688 17914 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195454070 19498610688 17914 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71656 KiB

[startup+0.305737 s]*
/proc/loadavg: 4.31 4.20 4.15 7/329 1080112
/proc/meminfo: memFree=124337472/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19041612 memory=73128 CPUtime=0.53 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 9289 0 0 0 50 3 0 0 20 0 19 0 195454056 19498610688 18282 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4760403 18282 5786 1 0 550904 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19041612 memory=-7811033386257310311 CPUtime=0.29 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 5857 0 0 0 27 2 0 0 20 0 19 0 195454057 19498610688 18282 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195454059 19498610688 18282 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195454060 19498610688 18282 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195454070 19498610688 18282 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73128 KiB

[startup+0.708085 s]
/proc/loadavg: 4.31 4.20 4.15 6/329 1080112
/proc/meminfo: memFree=124325868/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19041612 memory=85608 CPUtime=1.3 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 11329 0 0 0 127 3 0 0 20 0 19 0 195454056 19498610688 21402 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4760403 21402 5818 1 0 552469 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19041612 memory=47120 CPUtime=0.68 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 5901 0 0 0 66 2 0 0 20 0 19 0 195454057 19498610688 21402 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195454059 19498610688 21402 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195454060 19498610688 21402 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195454070 19498610688 21402 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85608 KiB

[startup+1.50308 s]
/proc/loadavg: 4.31 4.20 4.15 5/329 1080112
/proc/meminfo: memFree=124314452/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19041612 memory=96564 CPUtime=2.49 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 14627 0 0 0 245 4 0 0 20 0 19 0 195454056 19498610688 24141 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4760403 24141 5818 1 0 552471 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19041612 memory=13116 CPUtime=1.46 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 6278 0 0 0 144 2 0 0 20 0 19 0 195454057 19498610688 24141 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195454059 19498610688 24141 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195454060 19498610688 24141 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195454070 19498610688 24141 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96564 KiB

[startup+3.1056 s]
/proc/loadavg: 4.31 4.20 4.15 6/329 1080114
/proc/meminfo: memFree=124282884/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19041612 memory=108932 CPUtime=4.14 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 15192 0 0 0 410 4 0 0 20 0 19 0 195454056 19498610688 27233 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4760403 27233 5818 1 0 552473 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19041612 memory=0 CPUtime=3.07 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 6533 0 0 0 304 3 0 0 20 0 19 0 195454057 19498610688 27233 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19041612 memory=-7811033386257310311 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195454059 19498610688 27233 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195454060 19498610688 27233 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195454070 19498610688 27233 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108932 KiB

[startup+6.30027 s]
/proc/loadavg: 4.29 4.20 4.15 5/329 1080114
/proc/meminfo: memFree=124243552/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19041612 memory=129744 CPUtime=7.36 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 17955 0 0 0 731 5 0 0 20 0 19 0 195454056 19498610688 32436 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4760403 32436 5824 1 0 552491 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19041612 memory=2212 CPUtime=6.25 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 7141 0 0 0 622 3 0 0 20 0 19 0 195454057 19498610688 32436 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195454059 19498610688 32436 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195454060 19498610688 32436 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19041612 memory=-2832536777585008440 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 195454070 19498610688 32436 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129744 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.19 4.15 5/331 1080117
/proc/meminfo: memFree=124158768/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=179420 CPUtime=13.78 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 22130 0 0 0 1371 7 0 0 20 0 20 0 195454056 19566772224 44855 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 44855 5856 1 0 552780 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=13116 CPUtime=12.62 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 8012 0 0 0 1258 4 0 0 20 0 20 0 195454057 19566772224 44855 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=148176 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 44855 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=47120 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 44855 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 44855 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179420 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.19 4.15 5/331 1080119
/proc/meminfo: memFree=124145812/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=179464 CPUtime=26.55 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 23920 0 0 0 2648 7 0 0 20 0 20 0 195454056 19566772224 44866 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 44866 5856 1 0 552780 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=6944656574621848725 CPUtime=25.37 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 9024 0 0 0 2533 4 0 0 20 0 20 0 195454057 19566772224 44866 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 44866 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=3522 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 44866 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 44866 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 26.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179464 KiB

[startup+51.1057 s]
/proc/loadavg: 4.20 4.18 4.15 5/331 1080122
/proc/meminfo: memFree=124087676/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=216616 CPUtime=52.1 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 26918 0 0 0 5201 9 0 0 20 0 20 0 195454056 19566772224 54154 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 54154 5856 1 0 552780 0

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

/proc/meminfo: memFree=118695660/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3271.8 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 119349 0 0 0 327024 156 0 0 20 0 20 0 195454056 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485712 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3265.58 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 61235 0 0 0 326532 26 0 0 20 0 20 0 195454057 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=1942844 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4300 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=37188 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3271.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/334 1082125
/proc/meminfo: memFree=118686664/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3331.62 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 120440 0 0 0 333004 158 0 0 20 0 20 0 195454056 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485712 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3325.37 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 62089 0 0 0 332510 27 0 0 20 0 20 0 195454057 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=1400791667241541690 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4422 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=5464 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3331.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/334 1082137
/proc/meminfo: memFree=118685896/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3391.43 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 121564 0 0 0 338983 160 0 0 20 0 20 0 195454056 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485712 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3385.15 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 62953 0 0 0 338488 27 0 0 20 0 20 0 195454057 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=5464 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4559 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/331 1082147
/proc/meminfo: memFree=118684260/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3451.24 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 122707 0 0 0 344962 162 0 0 20 0 20 0 195454056 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485712 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3444.94 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 63842 0 0 0 344467 27 0 0 20 0 20 0 195454057 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=5464 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=47120 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4682 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/331 1082157
/proc/meminfo: memFree=118683512/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=3511.06 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 123858 0 0 0 350942 164 0 0 20 0 20 0 195454056 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485712 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=47120 CPUtime=3504.72 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 64747 0 0 0 350445 27 0 0 20 0 20 0 195454057 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=47120 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4804 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=1942848 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485712 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/332 1082169
/proc/meminfo: memFree=118682588/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=3570.95 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 125641 0 0 0 356929 166 0 0 20 0 20 0 195454056 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485728 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=3564.45 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 65290 0 0 0 356418 27 0 0 20 0 20 0 195454057 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=1900 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4943 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.16 4.16 4.12 5/332 1082172
/proc/meminfo: memFree=118682312/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=3600.08 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 126256 0 0 0 359840 168 0 0 20 0 20 0 195454056 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485728 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=3593.56 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 65820 0 0 0 359328 28 0 0 20 0 20 0 195454057 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4943 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=47120 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942912 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.53 s, system=1.6992 s

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

[startup+3611.5 s]
/proc/loadavg: 4.16 4.16 4.12 5/332 1082172
/proc/meminfo: memFree=118682312/131524600 swapFree=131071996/131071996
[pid=1080093] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=3600.08 cores=0,2
/proc/1080093/stat : 1080093 (java) S 1080090 1080093 1074922 0 -1 1077936128 126256 0 0 0 359840 168 0 0 20 0 20 0 195454056 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
/proc/1080093/statm: 4777044 485728 5872 1 0 555005 0
[pid=1080093/tid=1080095] ppid=1080090 vsize=19108176 memory=1942912 CPUtime=3593.56 cores=0,2
/proc/1080093/task/1080095/stat : 1080095 (java) R 1080090 1080093 1074922 0 -1 4194368 65820 0 0 0 359328 28 0 0 20 0 20 0 195454057 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080104] ppid=1080090 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1080093/task/1080104/stat : 1080104 (Finalizer) S 1080090 1080093 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195454059 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080111] ppid=1080090 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1080093/task/1080111/stat : 1080111 (Common-Cleaner) S 1080090 1080093 1074922 0 -1 1077936192 4943 0 0 0 0 0 0 0 20 0 20 0 195454060 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
[pid=1080093/tid=1080112] ppid=1080090 vsize=19108176 memory=47120 CPUtime=0 cores=0,2
/proc/1080093/task/1080112/stat : 1080112 (Timer-0) S 1080090 1080093 1074922 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 195454070 19566772224 485728 134679101440 94850474889216 94850474892912 140723914539888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94850474900728 94850474901520 94850478931968 140723914544133 140723914544223 140723914544223 140723914551240 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1942912 KiB

Child status: 143

Real time (s): 3611.6
CPU time (s): 3600.23
CPU user time (s): 3598.53
CPU system time (s): 1.6992
CPU usage (%): 99.6851
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1942912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.53
system time used= 1.6992
maximum resident set size= 1945020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102598
involuntary context switches= 28817


# summary of solver processes directly reported to runsolver:
#   pid: 1080093
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.53
#   total CPU system time (s): 1.6992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60645 second user time and 17.9352 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 01:47:53
IDJOB=4451344
IDBENCH=162393
IDSOLVER=3058
FILE ID=nodeC030/4451344-1721432859
RUNJOBID= nodeC030-1721425652-1074932
SLURM_JOB_ID= 7545616
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= 45eb186e954a64c3939c4a0ffb1dff0e
RANDOM SEED=1923125506

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		: 3638.125
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		: 3684.051
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		: 3626.367
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		: 3599.924
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		: 3676.194
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		: 3684.171
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		: 3644.164
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		: 3599.829
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:        124394032 kB
MemAvailable:   126870648 kB
Buffers:          523884 kB
Cached:          2773628 kB
SwapCached:            0 kB
Active:          1182232 kB
Inactive:        5273124 kB
Active(anon):       1564 kB
Inactive(anon):  3202184 kB
Active(file):    1180668 kB
Inactive(file):  2070940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1824 kB
Writeback:             0 kB
AnonPages:       3157452 kB
Mapped:           127316 kB
Shmem:             45912 kB
KReclaimable:     129660 kB
Slab:             247924 kB
SReclaimable:     129660 kB
SUnreclaim:       118264 kB
KernelStack:        5056 kB
PageTables:        16452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7345152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2988032 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:04