Trace number 4450804

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.16 3604.51

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-1.opb
MD5SUM2d93360d2b62765c062d6e400c743a07
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark390.676
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-4450804-1721418191.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.33/0.27	c ... done. Wall clock time 0.149s.
0.33/0.27	c declared #vars     4128
0.33/0.27	c #constraints  9984
0.33/0.27	c constraints type 
0.33/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.33/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.33/0.27	c org.sat4j.specs.Constr$1 => 904
0.33/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6720
0.33/0.27	c org.sat4j.pb.constraints.pb.UnitClausePB => 504
0.33/0.27	c 9984 constraints processed.
1.47/0.89	c cleaning 2486 clauses out of 4998 with flag 15461/5000
2.33/1.30	c cleaning 4254 clauses out of 8512 with flag 38307/11000
3.11/1.81	c cleaning 5618 clauses out of 11259 with flag 65046/18001
3.82/2.38	c cleaning 6800 clauses out of 13642 with flag 98262/26002
4.52/3.03	c cleaning 7885 clauses out of 15840 with flag 136627/35000
5.22/3.74	c cleaning 8975 clauses out of 17955 with flag 182772/45000
6.01/4.57	c cleaning 9962 clauses out of 19981 with flag 234411/56001
6.91/5.46	c cleaning 10976 clauses out of 22018 with flag 295093/68000
7.91/6.49	c cleaning 12011 clauses out of 24042 with flag 361844/81000
9.11/7.62	c cleaning 13009 clauses out of 26031 with flag 434605/95000
10.33/8.84	c cleaning 13976 clauses out of 28022 with flag 513324/110000
11.63/10.13	c cleaning 15002 clauses out of 30047 with flag 600991/126001
13.05/11.52	c cleaning 15979 clauses out of 32046 with flag 694091/143002
14.57/13.03	c cleaning 17028 clauses out of 34065 with flag 793755/161000
16.17/14.65	c cleaning 17960 clauses out of 36037 with flag 900910/180000
17.96/16.47	c cleaning 19032 clauses out of 38077 with flag 1017282/200000
19.86/18.36	c cleaning 20008 clauses out of 40046 with flag 1138590/221001
21.97/20.44	c cleaning 20996 clauses out of 42039 with flag 1265065/243002
24.16/22.63	c cleaning 22003 clauses out of 44041 with flag 1399381/266000
26.46/24.98	c cleaning 22999 clauses out of 46038 with flag 1540826/290000
28.95/27.43	c cleaning 24021 clauses out of 48041 with flag 1692164/315002
31.45/29.94	c cleaning 24985 clauses out of 50018 with flag 1851820/341000
34.14/32.66	c cleaning 26003 clauses out of 52034 with flag 2012527/368001
37.23/35.72	c cleaning 26972 clauses out of 54030 with flag 2184653/396000
40.34/38.88	c cleaning 28003 clauses out of 56058 with flag 2358773/425000
43.83/42.30	c cleaning 29022 clauses out of 58055 with flag 2541750/455000
47.42/45.91	c cleaning 30013 clauses out of 60034 with flag 2731496/486001
51.12/49.67	c cleaning 30982 clauses out of 62021 with flag 2930981/518001
55.12/53.62	c cleaning 31980 clauses out of 64038 with flag 3132146/551000
59.21/57.74	c cleaning 32993 clauses out of 66058 with flag 3340738/585000
63.40/62.00	c cleaning 33989 clauses out of 68066 with flag 3557536/620001
68.01/66.51	c cleaning 35014 clauses out of 70077 with flag 3782600/656001
72.66/71.23	c cleaning 35997 clauses out of 72063 with flag 4015571/693001
77.42/76.07	c cleaning 37004 clauses out of 74066 with flag 4252447/731001
82.57/81.27	c cleaning 38014 clauses out of 76062 with flag 4498979/770001
87.84/86.55	c cleaning 39000 clauses out of 78048 with flag 4753200/810001
93.48/92.20	c cleaning 39999 clauses out of 80047 with flag 5007244/851000
99.33/98.15	c cleaning 40961 clauses out of 82048 with flag 5273541/893000
105.19/104.08	c cleaning 42025 clauses out of 84087 with flag 5546615/936000
111.33/110.24	c cleaning 43002 clauses out of 86064 with flag 5824603/980002
117.67/116.69	c cleaning 43990 clauses out of 88061 with flag 6109240/1025001
124.55/123.51	c cleaning 45030 clauses out of 90070 with flag 6399293/1071000
131.25/130.29	c cleaning 45987 clauses out of 92040 with flag 6699040/1118000
138.43/137.43	c cleaning 47015 clauses out of 94053 with flag 6999541/1166000
145.84/144.87	c cleaning 47984 clauses out of 96038 with flag 7311578/1215000
153.53/152.51	c cleaning 49016 clauses out of 98054 with flag 7631039/1265000
161.42/160.49	c cleaning 49977 clauses out of 100040 with flag 7956533/1316002
169.44/168.45	c cleaning 51017 clauses out of 102061 with flag 8293534/1368000
177.82/176.87	c cleaning 51978 clauses out of 104045 with flag 8629714/1421001
186.54/185.58	c cleaning 53000 clauses out of 106068 with flag 8976182/1475002
195.62/194.66	c cleaning 54010 clauses out of 108066 with flag 9331126/1530000
205.02/204.04	c cleaning 54972 clauses out of 110056 with flag 9689405/1586000
214.71/213.73	c cleaning 56021 clauses out of 112084 with flag 10048722/1643000
224.50/223.57	c cleaning 57017 clauses out of 114063 with flag 10414919/1701000
234.88/233.99	c cleaning 58002 clauses out of 116047 with flag 10790595/1760001
245.50/244.60	c cleaning 59011 clauses out of 118044 with flag 11172678/1820000
256.29/255.38	c cleaning 60011 clauses out of 120033 with flag 11561067/1881000
267.16/266.29	c cleaning 60994 clauses out of 122023 with flag 11954945/1943001
278.75/277.85	c cleaning 61977 clauses out of 124029 with flag 12352334/2006001
290.35/289.48	c cleaning 62979 clauses out of 126051 with flag 12752448/2070000
302.33/301.43	c cleaning 64004 clauses out of 128072 with flag 13164224/2135000
314.80/313.97	c cleaning 64985 clauses out of 130069 with flag 13579841/2201001
327.82/326.98	c cleaning 66031 clauses out of 132083 with flag 14002661/2268000
339.89/339.06	c cleaning 67016 clauses out of 134052 with flag 14429547/2336000
352.46/351.66	c cleaning 68001 clauses out of 136037 with flag 14866699/2405001
365.34/364.56	c cleaning 68986 clauses out of 138035 with flag 15308226/2475000
378.75/377.93	c cleaning 69974 clauses out of 140049 with flag 15757320/2546000
392.43/391.73	c cleaning 71014 clauses out of 142075 with flag 16210186/2618000
406.50/405.99	c cleaning 72010 clauses out of 144061 with flag 16671950/2691000
421.17/420.72	c cleaning 73010 clauses out of 146051 with flag 17134555/2765000
436.13/435.81	c cleaning 73996 clauses out of 148041 with flag 17603534/2840000
451.44/451.27	c cleaning 74976 clauses out of 150045 with flag 18078281/2916000
467.03/466.95	c cleaning 76025 clauses out of 152069 with flag 18559982/2993000
483.21/483.17	c cleaning 76974 clauses out of 154044 with flag 19047570/3071000
500.08/500.03	c cleaning 78025 clauses out of 156070 with flag 19544373/3150000
517.15/517.12	c cleaning 78953 clauses out of 158046 with flag 20049577/3230001
534.78/534.75	c cleaning 79997 clauses out of 160092 with flag 20555640/3311000
552.65/552.62	c cleaning 81036 clauses out of 162096 with flag 21067758/3393001
570.61/570.67	c cleaning 82008 clauses out of 164059 with flag 21584076/3476000
589.38/589.41	c cleaning 82987 clauses out of 166051 with flag 22107295/3560000
608.24/608.30	c cleaning 83985 clauses out of 168069 with flag 22635927/3645005
627.71/627.84	c cleaning 84981 clauses out of 170080 with flag 23173592/3731001
647.96/648.00	c cleaning 86019 clauses out of 172099 with flag 23717357/3818001
668.30/668.40	c cleaning 86998 clauses out of 174079 with flag 24264279/3906000
688.97/689.13	c cleaning 87982 clauses out of 176081 with flag 24828932/3995000
709.84/710.09	c cleaning 89010 clauses out of 178100 with flag 25394812/4085001
731.59/731.81	c cleaning 90019 clauses out of 180089 with flag 25964974/4176000
753.36/753.60	c cleaning 90990 clauses out of 182070 with flag 26538310/4268000
775.68/775.95	c cleaning 92023 clauses out of 184080 with flag 27117841/4361000
798.33/798.69	c cleaning 92976 clauses out of 186057 with flag 27706353/4455000
821.99/822.37	c cleaning 94020 clauses out of 188082 with flag 28302145/4550001
845.95/846.32	c cleaning 94980 clauses out of 190061 with flag 28899580/4646000
870.31/870.70	c cleaning 95998 clauses out of 192082 with flag 29504956/4743001
895.36/895.82	c cleaning 97023 clauses out of 194083 with flag 30119859/4841000
920.98/921.42	c cleaning 98029 clauses out of 196060 with flag 30731949/4940000
946.73/947.23	c cleaning 99011 clauses out of 198031 with flag 31355675/5040000
972.99/973.59	c cleaning 99959 clauses out of 200021 with flag 31984442/5141001
999.73/1000.36	c cleaning 101006 clauses out of 202062 with flag 32620700/5243001
1026.88/1027.57	c cleaning 101994 clauses out of 204057 with flag 33260254/5346002
1054.62/1055.38	c cleaning 103015 clauses out of 206061 with flag 33908580/5450000
1082.86/1083.69	c cleaning 103979 clauses out of 208047 with flag 34559740/5555001
1112.22/1112.99	c cleaning 105005 clauses out of 210067 with flag 35219614/5661000
1142.16/1142.98	c cleaning 105973 clauses out of 212062 with flag 35883064/5768000
1171.71/1172.56	c cleaning 107018 clauses out of 214089 with flag 36550394/5876000
1202.36/1203.27	c cleaning 108032 clauses out of 216072 with flag 37217347/5985001
1233.60/1234.52	c cleaning 108993 clauses out of 218039 with flag 37897694/6095000
1265.25/1266.22	c cleaning 109991 clauses out of 220046 with flag 38581068/6206000
1297.54/1298.54	c cleaning 111009 clauses out of 222055 with flag 39274567/6318000
1329.78/1330.86	c cleaning 112013 clauses out of 224046 with flag 39970473/6431000
1362.91/1364.06	c cleaning 113002 clauses out of 226033 with flag 40682110/6545000
1396.24/1397.41	c cleaning 113979 clauses out of 228031 with flag 41391789/6660000
1430.66/1431.91	c cleaning 114998 clauses out of 230052 with flag 42109319/6776000
1465.30/1466.62	c cleaning 115986 clauses out of 232055 with flag 42827735/6893001
1501.42/1502.55	c cleaning 117020 clauses out of 234068 with flag 43553917/7011000
1537.76/1538.98	c cleaning 118008 clauses out of 236050 with flag 44283579/7130002
1573.99/1575.22	c cleaning 119000 clauses out of 238043 with flag 45019450/7250003
1610.93/1612.28	c cleaning 119995 clauses out of 240043 with flag 45762725/7371003
1648.55/1649.97	c cleaning 120975 clauses out of 242045 with flag 46508238/7493000
1686.68/1688.15	c cleaning 121990 clauses out of 244070 with flag 47258998/7616000
1725.36/1726.87	c cleaning 123021 clauses out of 246080 with flag 48019691/7740000
1765.09/1766.61	c cleaning 123998 clauses out of 248059 with flag 48786043/7865000
1805.43/1807.09	c cleaning 125008 clauses out of 250061 with flag 49554567/7991000
1845.75/1847.49	c cleaning 125987 clauses out of 252053 with flag 50336906/8118000
1886.98/1888.72	c cleaning 127002 clauses out of 254066 with flag 51119788/8246000
1929.00/1930.87	c cleaning 128008 clauses out of 256064 with flag 51907494/8375000
1971.54/1973.38	c cleaning 128996 clauses out of 258057 with flag 52710898/8505001
2014.66/2016.51	c cleaning 130009 clauses out of 260060 with flag 53511908/8636000
2058.39/2060.34	c cleaning 131010 clauses out of 262051 with flag 54322638/8768000
2102.40/2104.45	c cleaning 131975 clauses out of 264043 with flag 55138180/8901002
2147.33/2149.49	c cleaning 133033 clauses out of 266066 with flag 55953875/9035000
2193.15/2195.31	c cleaning 133951 clauses out of 268033 with flag 56783662/9170000
2239.56/2241.70	c cleaning 135037 clauses out of 270083 with flag 57615069/9306001
2286.36/2288.64	c cleaning 135990 clauses out of 272046 with flag 58452491/9443001
2333.26/2335.62	c cleaning 137015 clauses out of 274055 with flag 59297871/9581000
2381.26/2383.74	c cleaning 137994 clauses out of 276040 with flag 60148891/9720000
2429.75/2432.37	c cleaning 138974 clauses out of 278047 with flag 61009047/9860001
2479.04/2481.74	c cleaning 140003 clauses out of 280074 with flag 61869109/10001002
2529.51/2532.22	c cleaning 141014 clauses out of 282069 with flag 62736220/10143000
2580.12/2582.90	c cleaning 141987 clauses out of 284056 with flag 63608327/10286001
2631.53/2634.49	c cleaning 143005 clauses out of 286069 with flag 64482635/10430001
2683.83/2686.81	c cleaning 144012 clauses out of 288063 with flag 65368163/10575000
2736.75/2739.85	c cleaning 145006 clauses out of 290051 with flag 66256014/10721000
2789.71/2792.82	c cleaning 145960 clauses out of 292045 with flag 67153121/10868000
2843.52/2846.71	c cleaning 146980 clauses out of 294088 with flag 68056034/11016003
2897.72/2901.07	c cleaning 148008 clauses out of 296105 with flag 68966598/11165000
2953.12/2956.54	c cleaning 149015 clauses out of 298097 with flag 69877666/11315000
3009.53/3013.09	c cleaning 150013 clauses out of 300082 with flag 70797631/11466000
3066.23/3069.80	c cleaning 151011 clauses out of 302070 with flag 71721743/11618001
3124.12/3127.88	c cleaning 152019 clauses out of 304058 with flag 72655258/11771000
3182.91/3186.79	c cleaning 153013 clauses out of 306042 with flag 73594614/11925003
3243.05/3246.81	c cleaning 153998 clauses out of 308026 with flag 74534905/12080000
3303.05/3307.00	c cleaning 154999 clauses out of 310028 with flag 75483678/12236000
3364.53/3368.55	c cleaning 155976 clauses out of 312029 with flag 76436010/12393000
3426.92/3431.02	c cleaning 157006 clauses out of 314054 with flag 77398635/12551001
3489.92/3494.14	c cleaning 158022 clauses out of 316048 with flag 78366844/12710001
3552.71/3557.09	c cleaning 158974 clauses out of 318025 with flag 79343507/12870000
3600.01/3604.42	c starts		: 114568
3600.01/3604.42	c timeout
3600.01/3604.42	c conflicts		: 12999062
3600.01/3604.42	c decisions		: 120909473
3600.01/3604.42	c propagations		: 1727682594
3600.01/3604.42	c inspects		: 38873810073
3600.01/3604.42	c shortcuts		: 0
3600.01/3604.42	c learnt literals	: 2
3600.01/3604.42	c learnt binary clauses	: 51
3600.01/3604.42	c learnt ternary clauses	: 772
3600.01/3604.42	c learnt constraints	: 12999060
3600.01/3604.42	c ignored constraints	: 0
3600.01/3604.42	c root simplifications	: 0
3600.01/3604.42	c removed literals (reason simplification)	: 0
3600.01/3604.42	c reason swapping (by a shorter reason)	: 0
3600.01/3604.42	c Calls to reduceDB	: 156
3600.01/3604.42	c Number of update (reduction) of LBD	: 2744983
3600.01/3604.42	c Imported unit clauses	: 0
3600.01/3604.42	c No decision after first conflict	: false
3600.01/3604.42	c number of reductions to clauses (during analyze)	: 0
3600.01/3604.42	c number of learned constraints concerned by reduction	: 0
3600.01/3604.42	c number of learning phase by resolution	: 0
3600.01/3604.42	c number of learning phase by cutting planes	: 0
3600.01/3604.42	c number of rounding to 1 operations	: 0
3600.01/3604.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3604.42	c number of reductions of the coefficients by power 2 	: 0
3600.01/3604.42	c number of right shift for reduction by power 2 	: 0
3600.01/3604.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3604.43	c number of ending skipping 	: 0
3600.01/3604.43	c number of internal skipping 	: 0
3600.01/3604.43	c number of derivation steps 	: 0
3600.01/3604.43	c number of skipped derivation steps 	: 0
3600.01/3604.43	c number of remaining unassigned 	: 0
3600.01/3604.43	c number of remaining assigned 	: 0
3600.01/3604.43	c number of falsified literals weakened from reason	: 0
3600.01/3604.43	c number of falsified literals weakened from conflict	: 0
3600.01/3604.43	c time for arithmetic operations	: 0
3600.01/3604.44	c minimum degree of deleted constraints	: null
3600.01/3604.44	c maximum degree of deleted constraints	: null
3600.01/3604.44	c number of deleted constraints	: 0
3600.01/3604.44	c speed (assignments/second)	: 479358.1729768784
3600.01/3604.44	c non guided choices	: 30083
3600.01/3604.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 288062
3600.01/3604.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 51
3600.01/3604.50	s UNKNOWN
3600.01/3604.50	c Total wall clock time (in seconds): 3604.377

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450804-1721418191/watcher-4450804-1721418191 -o /tmp/evaluation-result-4450804-1721418191/solver-4450804-1721418191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024583 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450804-1721418191.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1029540, runsolver pid=1029537

[startup+0.100455 s]*
/proc/loadavg: 4.44 4.24 4.18 5/330 1029558
/proc/meminfo: memFree=124725380/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=18975048 memory=62608 CPUtime=0.13 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 7214 0 0 0 11 2 0 0 20 0 18 0 193985286 19430449152 15652 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4743762 15652 5539 1 0 549334 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 1078198336 5736 0 0 0 7 1 0 0 20 0 18 0 193985286 19430449152 15652 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193985289 19430449152 15652 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193985289 19430449152 15652 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62608 KiB

[startup+0.206714 s]*
/proc/loadavg: 4.44 4.24 4.18 7/330 1029558
/proc/meminfo: memFree=124709956/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=18975048 memory=79620 CPUtime=0.33 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 8672 0 0 0 30 3 0 0 20 0 18 0 193985286 19430449152 19905 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4743762 19905 5834 1 0 550245 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 5931 0 0 0 16 2 0 0 20 0 18 0 193985286 19430449152 19905 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=18975048 memory=1676398 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193985289 19430449152 19905 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193985289 19430449152 19905 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79620 KiB

[startup+0.305715 s]*
/proc/loadavg: 4.44 4.24 4.18 6/331 1029559
/proc/meminfo: memFree=124692092/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19041612 memory=96404 CPUtime=0.49 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 9277 0 0 0 46 3 0 0 20 0 19 0 193985286 19498610688 24101 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4760403 24101 5834 1 0 550917 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19041612 memory=-7164203889775765602 CPUtime=0.25 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 1077936192 5972 0 0 0 23 2 0 0 20 0 19 0 193985286 19498610688 24101 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 24101 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 24101 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193985314 19498610688 24101 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96404 KiB

[startup+0.700718 s]
/proc/loadavg: 4.44 4.24 4.18 6/331 1029559
/proc/meminfo: memFree=124685840/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19041612 memory=111280 CPUtime=1.26 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 12804 0 0 0 122 4 0 0 20 0 19 0 193985286 19498610688 27820 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4760403 27820 5850 1 0 553502 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19041612 memory=12420 CPUtime=0.62 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 5982 0 0 0 60 2 0 0 20 0 19 0 193985286 19498610688 27820 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 27820 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 27820 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193985314 19498610688 27820 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111280 KiB

[startup+1.50071 s]
/proc/loadavg: 4.44 4.24 4.18 6/331 1029559
/proc/meminfo: memFree=124674496/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19041612 memory=123536 CPUtime=2.72 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 19490 0 0 0 267 5 0 0 20 0 19 0 193985286 19498610688 30884 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4760403 30884 5850 1 0 554824 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19041612 memory=12420 CPUtime=1.41 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 6319 0 0 0 139 2 0 0 20 0 19 0 193985286 19498610688 30884 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 30884 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 30884 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193985314 19498610688 30884 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123536 KiB

[startup+3.10573 s]
/proc/loadavg: 4.44 4.24 4.18 6/331 1029561
/proc/meminfo: memFree=124647736/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19041612 memory=140708 CPUtime=4.62 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 21365 0 0 0 456 6 0 0 20 0 19 0 193985286 19498610688 35177 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4760403 35177 5850 1 0 555480 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19041612 memory=0 CPUtime=2.99 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 6618 0 0 0 297 2 0 0 20 0 19 0 193985286 19498610688 35177 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 35177 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19041612 memory=127704 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 35177 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193985314 19498610688 35177 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 140708 KiB

[startup+6.30028 s]
/proc/loadavg: 4.40 4.24 4.18 5/331 1029561
/proc/meminfo: memFree=124629380/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19041612 memory=160844 CPUtime=7.81 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 21981 0 0 0 775 6 0 0 20 0 19 0 193985286 19498610688 40211 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4760403 40211 5866 1 0 555481 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19041612 memory=12420 CPUtime=6.17 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 6736 0 0 0 614 3 0 0 20 0 19 0 193985286 19498610688 40211 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 40211 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19041612 memory=7882531222908790634 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193985289 19498610688 40211 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19041612 memory=5468 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193985314 19498610688 40211 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 7.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160844 KiB

[startup+12.7003 s]
/proc/loadavg: 4.37 4.23 4.18 5/332 1029562
/proc/meminfo: memFree=124600176/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=187984 CPUtime=14.27 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 27125 0 0 0 1419 8 0 0 20 0 20 0 193985286 19566772224 46996 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 46996 5911 1 0 555770 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=0 CPUtime=12.55 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 7654 0 0 0 1251 4 0 0 20 0 20 0 193985286 19566772224 46996 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=187984 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 46996 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 46996 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 46996 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187984 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 4.23 4.17 5/332 1029565
/proc/meminfo: memFree=124564812/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=194316 CPUtime=27.06 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 30237 0 0 0 2698 8 0 0 20 0 20 0 193985286 19566772224 48579 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 48579 5911 1 0 555770 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=187984 CPUtime=25.3 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 8890 0 0 0 2526 4 0 0 20 0 20 0 193985286 19566772224 48579 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 48579 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=187992 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 48579 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 48579 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194316 KiB

[startup+51.1057 s]
/proc/loadavg: 4.26 4.22 4.17 5/332 1029569
/proc/meminfo: memFree=124389668/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=268416 CPUtime=52.63 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 33608 0 0 0 5252 11 0 0 20 0 20 0 193985286 19566772224 67104 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 67104 5911 1 0 555770 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=227344 CPUtime=50.72 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 10427 0 0 0 5068 4 0 0 20 0 20 0 193985286 19566772224 67104 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0

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

[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/331 1031474
/proc/meminfo: memFree=121132388/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=2172740 CPUtime=3278.49 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 124507 0 0 0 327688 161 0 0 20 0 20 0 193985286 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 543185 5911 1 0 558088 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=2172740 CPUtime=3271.18 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 58788 0 0 0 327102 16 0 0 20 0 20 0 193985286 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=2172740 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4231 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=47456 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3278.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172740 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/331 1031485
/proc/meminfo: memFree=121113340/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=2172740 CPUtime=3338.38 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 125411 0 0 0 333675 163 0 0 20 0 20 0 193985286 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 543185 5911 1 0 558088 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=2172740 CPUtime=3331.04 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 59544 0 0 0 333088 16 0 0 20 0 20 0 193985286 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=2172740 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4315 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=2172740 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 543185 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3338.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/331 1031495
/proc/meminfo: memFree=120952548/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=3398.28 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 126443 0 0 0 339663 165 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 543190 5911 1 0 558099 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=12420 CPUtime=3390.91 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 60383 0 0 0 339075 16 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4450 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3398.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/334 1031511
/proc/meminfo: memFree=120951748/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=3458.17 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 127508 0 0 0 345650 167 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 543190 5911 1 0 558099 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=12420 CPUtime=3450.78 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 61247 0 0 0 345061 17 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4583 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3458.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/333 1031521
/proc/meminfo: memFree=120949076/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=3518.06 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 128573 0 0 0 351636 170 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 543190 5911 1 0 558099 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=3510.64 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 62112 0 0 0 351047 17 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=47456 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4716 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3518.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172760 KiB

[startup+3582.3 s]
/proc/loadavg: 3.64 3.99 4.06 4/307 1031565
/proc/meminfo: memFree=123029208/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=3577.96 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 129677 0 0 0 357624 172 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 543190 5911 1 0 558099 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=11664 CPUtime=3570.51 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 63015 0 0 0 357034 17 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4849 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3577.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.4 s]
/proc/loadavg: 3.45 3.92 4.03 4/307 1031571
/proc/meminfo: memFree=122928420/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19108176 memory=2172760 CPUtime=3600.01 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 130090 0 0 0 359829 172 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4777044 543190 5911 1 0 558099 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19108176 memory=-7164203889775765602 CPUtime=3592.55 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) R 1029537 1029540 1024572 0 -1 4194368 63366 0 0 0 359238 17 0 0 20 0 20 0 193985286 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19108176 memory=39476 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19108176 memory=26000 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4849 0 0 0 0 0 0 0 20 0 20 0 193985289 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029559] ppid=1029537 vsize=19108176 memory=5536 CPUtime=0 cores=4,6
/proc/1029540/task/1029559/stat : 1029559 (Timer-0) S 1029537 1029540 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193985314 19566772224 543190 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.42 s, system=1.73927 s

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

[startup+3604.5 s]
/proc/loadavg: 3.45 3.92 4.03 4/307 1031571
/proc/meminfo: memFree=122928420/131524600 swapFree=131071996/131071996
[pid=1029540] ppid=1029537 vsize=19307868 memory=2173612 CPUtime=3600.15 cores=4,6
/proc/1029540/stat : 1029540 (java) S 1029537 1029540 1024572 0 -1 1077936128 132741 0 0 0 359842 173 0 0 20 0 20 0 193985286 19771256832 543403 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
/proc/1029540/statm: 4826967 543403 5923 1 0 559018 0
[pid=1029540/tid=1029542] ppid=1029537 vsize=19307868 memory=11664 CPUtime=3592.56 cores=4,6
/proc/1029540/task/1029542/stat : 1029542 (java) S 1029537 1029540 1024572 0 -1 1077936192 63461 0 0 0 359239 17 0 0 20 0 20 0 193985286 19771256832 543403 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029551] ppid=1029537 vsize=19307868 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029551/stat : 1029551 (Finalizer) S 1029537 1029540 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193985289 19771256832 543403 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
[pid=1029540/tid=1029558] ppid=1029537 vsize=19307868 memory=2172760 CPUtime=0 cores=4,6
/proc/1029540/task/1029558/stat : 1029558 (Common-Cleaner) S 1029537 1029540 1024572 0 -1 1077936192 4849 0 0 0 0 0 0 0 20 0 20 0 193985289 19771256832 543403 134679101440 94545599827968 94545599831664 140725396347792 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94545599839480 94545599840272 94545610604544 140725396354053 140725396354143 140725396354143 140725396361160 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2173612 KiB

Child status: 143

Real time (s): 3604.51
CPU time (s): 3600.16
CPU user time (s): 3598.42
CPU system time (s): 1.73927
CPU usage (%): 99.8792
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2173612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.42
system time used= 1.73927
maximum resident set size= 2174808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102453
involuntary context switches= 3275


# summary of solver processes directly reported to runsolver:
#   pid: 1029540
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.42
#   total CPU system time (s): 1.73927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02007 second user time and 17.7866 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-19 21:43:24
IDJOB=4450804
IDBENCH=162279
IDSOLVER=3058
FILE ID=nodeC026/4450804-1721418191
RUNJOBID= nodeC026-1721410942-1024583
SLURM_JOB_ID= 7545477
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450804-1721418191/watcher-4450804-1721418191 -o /tmp/evaluation-result-4450804-1721418191/solver-4450804-1721418191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024583 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4450804-1721418191.opb

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

MD5SUM BENCH= 2d93360d2b62765c062d6e400c743a07
RANDOM SEED=2144588432

nodeC026.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		: 3664.804
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.74
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		: 3600.372
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.45
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		: 3618.252
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.74
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		: 3683.886
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.45
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		: 3604.994
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.74
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		: 3686.159
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.45
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		: 3619.519
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.74
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		: 3600.157
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124767420 kB
MemAvailable:   125336432 kB
Buffers:          569388 kB
Cached:           846324 kB
SwapCached:            0 kB
Active:          1084540 kB
Inactive:        5054268 kB
Active(anon):       1548 kB
Inactive(anon):  4767452 kB
Active(file):    1082992 kB
Inactive(file):   286816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1652 kB
Writeback:             0 kB
AnonPages:       4720080 kB
Mapped:           127408 kB
Shmem:             45912 kB
KReclaimable:      78056 kB
Slab:             189052 kB
SReclaimable:      78056 kB
SUnreclaim:       110996 kB
KernelStack:        5040 kB
PageTables:        19380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7411500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4390912 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC026 at 2024-07-19 22:43:29