Trace number 4450654

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 3609.32

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
MD5SUMfa6ba6ab9373c7e836356a3f9ed023a2
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 benchmark65.6087
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 constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
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.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	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-4450654-1721414581.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.32/0.26	c ... done. Wall clock time 0.134s.
0.32/0.26	c declared #vars     4128
0.32/0.26	c #constraints  9952
0.32/0.26	c constraints type 
0.32/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.32/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.32/0.26	c org.sat4j.specs.Constr$1 => 888
0.32/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6720
0.32/0.26	c org.sat4j.pb.constraints.pb.UnitClausePB => 488
0.32/0.26	c 9952 constraints processed.
1.48/0.89	c cleaning 2491 clauses out of 4998 with flag 17736/5000
2.29/1.35	c cleaning 4249 clauses out of 8507 with flag 38938/11000
3.06/1.85	c cleaning 5630 clauses out of 11259 with flag 65826/18001
3.87/2.42	c cleaning 6793 clauses out of 13628 with flag 97655/26000
4.87/3.15	c cleaning 7910 clauses out of 15835 with flag 135204/35000
5.66/3.93	c cleaning 8955 clauses out of 17925 with flag 179888/45000
6.46/4.77	c cleaning 9974 clauses out of 19971 with flag 230727/56001
7.45/5.70	c cleaning 10990 clauses out of 21997 with flag 289120/68001
8.46/6.72	c cleaning 11979 clauses out of 24006 with flag 355377/81000
9.56/7.89	c cleaning 13005 clauses out of 26027 with flag 428646/95000
10.76/9.08	c cleaning 13995 clauses out of 28022 with flag 510292/110000
12.04/10.31	c cleaning 14944 clauses out of 30027 with flag 600610/126000
13.36/11.68	c cleaning 15989 clauses out of 32083 with flag 693263/143000
14.96/13.27	c cleaning 17033 clauses out of 34095 with flag 793260/161001
16.65/14.92	c cleaning 18013 clauses out of 36061 with flag 901568/180000
18.34/16.61	c cleaning 18994 clauses out of 38050 with flag 1020849/200002
20.12/18.45	c cleaning 20009 clauses out of 40054 with flag 1142327/221000
22.12/20.40	c cleaning 21012 clauses out of 42045 with flag 1273287/243000
24.12/22.47	c cleaning 21984 clauses out of 44033 with flag 1410952/266000
26.32/24.64	c cleaning 22993 clauses out of 46050 with flag 1555361/290001
28.61/26.91	c cleaning 23997 clauses out of 48056 with flag 1705060/315000
31.01/29.30	c cleaning 25031 clauses out of 50062 with flag 1861785/341003
33.50/31.85	c cleaning 25969 clauses out of 52028 with flag 2024075/368000
36.31/34.66	c cleaning 27012 clauses out of 54059 with flag 2193908/396000
39.21/37.52	c cleaning 27981 clauses out of 56047 with flag 2374647/425000
42.20/40.51	c cleaning 28984 clauses out of 58069 with flag 2559026/455003
45.29/43.67	c cleaning 29991 clauses out of 60083 with flag 2749233/486001
48.69/47.06	c cleaning 31020 clauses out of 62091 with flag 2947498/518000
52.37/50.71	c cleaning 32028 clauses out of 64072 with flag 3152164/551001
56.26/54.66	c cleaning 33006 clauses out of 66043 with flag 3361250/585000
60.46/58.81	c cleaning 33984 clauses out of 68038 with flag 3578757/620001
64.76/63.18	c cleaning 34991 clauses out of 70055 with flag 3805152/656002
69.45/67.80	c cleaning 35965 clauses out of 72063 with flag 4032994/693001
74.14/72.52	c cleaning 37021 clauses out of 74097 with flag 4270911/731000
79.03/77.44	c cleaning 38031 clauses out of 76076 with flag 4514718/770000
84.34/82.72	c cleaning 38990 clauses out of 78045 with flag 4766170/810000
89.65/88.07	c cleaning 40006 clauses out of 80055 with flag 5027615/851000
95.13/93.59	c cleaning 40991 clauses out of 82049 with flag 5295227/893000
101.12/99.50	c cleaning 42004 clauses out of 84058 with flag 5564902/936000
107.14/105.51	c cleaning 42995 clauses out of 86054 with flag 5843181/980000
113.43/111.82	c cleaning 44000 clauses out of 88059 with flag 6130010/1025000
120.01/118.41	c cleaning 45018 clauses out of 90059 with flag 6424729/1071000
126.73/125.12	c cleaning 46018 clauses out of 92041 with flag 6721223/1118000
133.51/131.95	c cleaning 46994 clauses out of 94023 with flag 7027744/1166000
140.71/139.12	c cleaning 47984 clauses out of 96030 with flag 7341196/1215001
148.13/146.54	c cleaning 48992 clauses out of 98046 with flag 7663327/1265001
155.81/154.26	c cleaning 49995 clauses out of 100053 with flag 7990937/1316000
163.94/162.31	c cleaning 51029 clauses out of 102058 with flag 8321826/1368000
172.22/170.60	c cleaning 51995 clauses out of 104032 with flag 8658434/1421003
180.50/178.97	c cleaning 53006 clauses out of 106034 with flag 9009680/1475000
189.12/187.51	c cleaning 53980 clauses out of 108029 with flag 9365116/1530001
198.21/196.66	c cleaning 55009 clauses out of 110048 with flag 9724983/1586000
207.32/205.76	c cleaning 56020 clauses out of 112040 with flag 10094944/1643001
216.90/215.39	c cleaning 56966 clauses out of 114020 with flag 10465281/1701001
226.68/225.12	c cleaning 57985 clauses out of 116054 with flag 10846063/1760001
236.89/235.31	c cleaning 58995 clauses out of 118068 with flag 11225527/1820000
247.07/245.53	c cleaning 60027 clauses out of 120073 with flag 11617478/1881000
257.76/256.25	c cleaning 61018 clauses out of 122046 with flag 12014826/1943000
268.94/267.42	c cleaning 61973 clauses out of 124029 with flag 12416483/2006001
280.22/278.74	c cleaning 62988 clauses out of 126058 with flag 12822903/2070003
291.79/290.31	c cleaning 64008 clauses out of 128068 with flag 13235708/2135001
303.87/302.45	c cleaning 65009 clauses out of 130059 with flag 13656624/2201000
316.05/314.68	c cleaning 65978 clauses out of 132050 with flag 14082814/2268000
328.77/327.30	c cleaning 67032 clauses out of 134072 with flag 14518293/2336000
341.04/339.60	c cleaning 68011 clauses out of 136040 with flag 14955762/2405000
353.92/352.51	c cleaning 69001 clauses out of 138030 with flag 15399918/2475001
367.29/365.94	c cleaning 69939 clauses out of 140028 with flag 15850505/2546000
381.56/380.21	c cleaning 70983 clauses out of 142090 with flag 16304714/2618001
395.64/394.37	c cleaning 72038 clauses out of 144106 with flag 16767992/2691000
410.21/408.99	c cleaning 72962 clauses out of 146068 with flag 17244444/2765000
425.17/423.99	c cleaning 73994 clauses out of 148106 with flag 17723385/2840000
440.80/439.55	c cleaning 75039 clauses out of 150112 with flag 18205615/2916000
456.57/455.39	c cleaning 76013 clauses out of 152074 with flag 18692473/2993001
472.93/471.77	c cleaning 76992 clauses out of 154060 with flag 19191350/3071000
489.50/488.32	c cleaning 78004 clauses out of 156068 with flag 19693026/3150000
506.46/505.31	c cleaning 79013 clauses out of 158065 with flag 20200823/3230001
524.04/522.93	c cleaning 80026 clauses out of 160052 with flag 20711913/3311001
541.91/540.82	c cleaning 81005 clauses out of 162025 with flag 21231511/3393000
559.87/558.82	c cleaning 81979 clauses out of 164020 with flag 21757731/3476000
578.64/577.62	c cleaning 82972 clauses out of 166041 with flag 22289414/3560000
597.90/596.99	c cleaning 83983 clauses out of 168069 with flag 22828021/3645000
617.53/616.54	c cleaning 85027 clauses out of 170086 with flag 23375599/3731000
637.50/636.55	c cleaning 86014 clauses out of 172059 with flag 23928563/3818000
657.96/657.08	c cleaning 86994 clauses out of 174046 with flag 24484730/3906001
678.82/677.95	c cleaning 88022 clauses out of 176052 with flag 25046662/3995001
700.18/699.31	c cleaning 88993 clauses out of 178029 with flag 25615700/4085000
722.13/721.30	c cleaning 89997 clauses out of 180039 with flag 26188840/4176003
744.46/743.77	c cleaning 91006 clauses out of 182039 with flag 26772215/4268000
766.75/766.25	c cleaning 91950 clauses out of 184034 with flag 27357853/4361001
789.94/789.69	c cleaning 93017 clauses out of 186083 with flag 27956936/4455000
813.61/813.53	c cleaning 94015 clauses out of 188066 with flag 28560078/4550000
837.19/837.34	c cleaning 95008 clauses out of 190052 with flag 29171572/4646001
861.47/861.86	c cleaning 96000 clauses out of 192043 with flag 29781623/4743000
886.41/886.94	c cleaning 97003 clauses out of 194043 with flag 30397999/4841000
911.18/911.90	c cleaning 97980 clauses out of 196040 with flag 31019908/4940000
936.63/937.68	c cleaning 99009 clauses out of 198061 with flag 31654957/5040001
962.17/963.49	c cleaning 99964 clauses out of 200051 with flag 32292775/5141000
988.81/990.39	c cleaning 100987 clauses out of 202087 with flag 32932783/5243000
1015.75/1017.56	c cleaning 102029 clauses out of 204100 with flag 33581293/5346000
1043.28/1045.31	c cleaning 103010 clauses out of 206071 with flag 34234001/5450000
1071.22/1073.48	c cleaning 104009 clauses out of 208061 with flag 34898870/5555000
1100.14/1102.62	c cleaning 105026 clauses out of 210052 with flag 35565026/5661000
1129.36/1132.13	c cleaning 105985 clauses out of 212026 with flag 36240470/5768000
1159.36/1162.44	c cleaning 106996 clauses out of 214041 with flag 36917877/5876000
1189.47/1192.85	c cleaning 108015 clauses out of 216045 with flag 37607398/5985000
1220.49/1224.01	c cleaning 108971 clauses out of 218031 with flag 38301306/6095001
1251.79/1255.65	c cleaning 109985 clauses out of 220059 with flag 38998040/6206000
1283.90/1288.07	c cleaning 110982 clauses out of 222076 with flag 39705625/6318002
1315.99/1320.47	c cleaning 112025 clauses out of 224092 with flag 40418590/6431000
1349.08/1353.82	c cleaning 113010 clauses out of 226067 with flag 41140940/6545000
1382.76/1387.89	c cleaning 113968 clauses out of 228057 with flag 41870938/6660000
1416.83/1422.14	c cleaning 115027 clauses out of 230089 with flag 42602145/6776000
1450.61/1456.26	c cleaning 115995 clauses out of 232063 with flag 43338215/6893001
1485.61/1491.46	c cleaning 116986 clauses out of 234067 with flag 44083238/7011000
1521.45/1527.37	c cleaning 117991 clauses out of 236081 with flag 44838008/7130000
1557.79/1563.73	c cleaning 119028 clauses out of 238090 with flag 45592700/7250000
1595.03/1601.08	c cleaning 120015 clauses out of 240062 with flag 46355116/7371000
1632.75/1638.84	c cleaning 120999 clauses out of 242048 with flag 47126790/7493001
1671.18/1677.36	c cleaning 121973 clauses out of 244049 with flag 47891664/7616001
1710.40/1716.34	c cleaning 123005 clauses out of 246075 with flag 48672824/7740000
1749.94/1755.90	c cleaning 123979 clauses out of 248070 with flag 49460773/7865000
1789.76/1795.86	c cleaning 125018 clauses out of 250091 with flag 50259216/7991000
1830.69/1836.89	c cleaning 126005 clauses out of 252073 with flag 51060815/8118000
1872.01/1878.25	c cleaning 126994 clauses out of 254070 with flag 51861813/8246002
1914.33/1920.68	c cleaning 128027 clauses out of 256075 with flag 52674155/8375001
1956.88/1963.29	c cleaning 129017 clauses out of 258048 with flag 53490359/8505001
2000.21/2006.61	c cleaning 129986 clauses out of 260030 with flag 54306254/8636000
2043.53/2050.05	c cleaning 131023 clauses out of 262045 with flag 55128259/8768001
2088.15/2094.73	c cleaning 131989 clauses out of 264021 with flag 55962113/8901000
2133.25/2139.91	c cleaning 132983 clauses out of 266033 with flag 56801389/9035001
2178.73/2185.41	c cleaning 134018 clauses out of 268050 with flag 57646045/9170001
2225.35/2232.15	c cleaning 134984 clauses out of 270032 with flag 58498970/9306001
2272.66/2279.50	c cleaning 135985 clauses out of 272049 with flag 59352365/9443002
2320.58/2327.56	c cleaning 137023 clauses out of 274065 with flag 60217031/9581003
2369.19/2376.23	c cleaning 138011 clauses out of 276040 with flag 61083233/9720001
2418.11/2425.23	c cleaning 139010 clauses out of 278028 with flag 61954975/9860000
2468.42/2475.64	c cleaning 139995 clauses out of 280020 with flag 62831277/10001002
2518.23/2525.55	c cleaning 140969 clauses out of 282027 with flag 63724625/10143004
2569.93/2577.32	c cleaning 142009 clauses out of 284054 with flag 64619412/10286000
2622.54/2630.03	c cleaning 142998 clauses out of 286045 with flag 65521114/10430000
2674.73/2682.35	c cleaning 144018 clauses out of 288048 with flag 66418573/10575001
2729.40/2737.17	c cleaning 145005 clauses out of 290029 with flag 67332010/10721000
2784.48/2792.24	c cleaning 145987 clauses out of 292025 with flag 68250227/10868001
2839.19/2847.08	c cleaning 147019 clauses out of 294037 with flag 69171740/11016000
2894.58/2902.57	c cleaning 147970 clauses out of 296018 with flag 70098475/11165000
2950.98/2958.98	c cleaning 149025 clauses out of 298050 with flag 71032677/11315002
3007.68/3015.79	c cleaning 149984 clauses out of 300025 with flag 71968556/11466002
3065.17/3073.39	c cleaning 151007 clauses out of 302040 with flag 72920342/11618001
3123.26/3131.52	c cleaning 152008 clauses out of 304032 with flag 73869630/11771000
3182.05/3190.48	c cleaning 152996 clauses out of 306024 with flag 74831772/11925000
3241.35/3249.82	c cleaning 153984 clauses out of 308029 with flag 75795965/12080001
3300.83/3309.49	c cleaning 154987 clauses out of 310045 with flag 76757871/12236001
3361.82/3370.52	c cleaning 155994 clauses out of 312057 with flag 77727051/12393000
3422.51/3431.35	c cleaning 156991 clauses out of 314064 with flag 78710330/12551001
3484.21/3493.11	c cleaning 158001 clauses out of 316073 with flag 79700088/12710001
3546.78/3555.85	c cleaning 159012 clauses out of 318071 with flag 80696848/12870000
3600.08/3609.22	c starts		: 113658
3600.08/3609.22	c timeout
3600.08/3609.22	c conflicts		: 13012405
3600.08/3609.22	c decisions		: 128596849
3600.08/3609.22	c propagations		: 1773922441
3600.08/3609.22	c inspects		: 38911024411
3600.08/3609.22	c shortcuts		: 0
3600.08/3609.22	c learnt literals	: 2
3600.08/3609.22	c learnt binary clauses	: 46
3600.08/3609.22	c learnt ternary clauses	: 736
3600.08/3609.22	c learnt constraints	: 13012403
3600.08/3609.22	c ignored constraints	: 0
3600.08/3609.22	c root simplifications	: 0
3600.08/3609.22	c removed literals (reason simplification)	: 0
3600.08/3609.22	c reason swapping (by a shorter reason)	: 0
3600.08/3609.22	c Calls to reduceDB	: 156
3600.08/3609.22	c Number of update (reduction) of LBD	: 2726613
3600.08/3609.22	c Imported unit clauses	: 0
3600.08/3609.22	c No decision after first conflict	: false
3600.08/3609.22	c number of reductions to clauses (during analyze)	: 0
3600.08/3609.22	c number of learned constraints concerned by reduction	: 0
3600.08/3609.22	c number of learning phase by resolution	: 0
3600.08/3609.22	c number of learning phase by cutting planes	: 0
3600.08/3609.22	c number of rounding to 1 operations	: 0
3600.08/3609.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3609.22	c number of reductions of the coefficients by power 2 	: 0
3600.08/3609.22	c number of right shift for reduction by power 2 	: 0
3600.08/3609.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3609.22	c number of ending skipping 	: 0
3600.08/3609.22	c number of internal skipping 	: 0
3600.08/3609.22	c number of derivation steps 	: 0
3600.08/3609.22	c number of skipped derivation steps 	: 0
3600.08/3609.22	c number of remaining unassigned 	: 0
3600.08/3609.22	c number of remaining assigned 	: 0
3600.08/3609.22	c number of falsified literals weakened from reason	: 0
3600.08/3609.22	c number of falsified literals weakened from conflict	: 0
3600.08/3609.22	c time for arithmetic operations	: 0
3600.08/3609.24	c minimum degree of deleted constraints	: null
3600.08/3609.24	c maximum degree of deleted constraints	: null
3600.08/3609.24	c number of deleted constraints	: 0
3600.08/3609.24	c speed (assignments/second)	: 491531.0923633954
3600.08/3609.24	c non guided choices	: 27235
3600.20/3609.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 301418
3600.20/3609.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 46
3600.20/3609.31	s UNKNOWN
3600.20/3609.31	c Total wall clock time (in seconds): 3609.185

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100588 s]*
/proc/loadavg: 4.20 4.23 4.15 7/331 1027379
/proc/meminfo: memFree=124687356/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=18975048 memory=62704 CPUtime=0.13 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 7216 0 0 0 11 2 0 0 20 0 18 0 193624314 19430449152 15676 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4743762 15676 5562 1 0 549335 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 1077936192 5739 0 0 0 7 1 0 0 20 0 18 0 193624314 19430449152 15676 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193624316 19430449152 15676 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 193624317 19430449152 15676 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62704 KiB

[startup+0.206066 s]*
/proc/loadavg: 4.20 4.23 4.15 7/331 1027379
/proc/meminfo: memFree=124669828/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=18975048 memory=78680 CPUtime=0.32 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 8015 0 0 0 30 2 0 0 20 0 18 0 193624314 19430449152 19670 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4743762 19670 5856 1 0 549809 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=18975048 memory=6876556183782621315 CPUtime=0.17 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 5931 0 0 0 16 1 0 0 20 0 18 0 193624314 19430449152 19670 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=18975048 memory=1676398 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193624316 19430449152 19670 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 193624317 19430449152 19670 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78680 KiB

[startup+0.306064 s]*
/proc/loadavg: 4.20 4.23 4.15 7/332 1027380
/proc/meminfo: memFree=124654084/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19041612 memory=96564 CPUtime=0.51 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 9270 0 0 0 48 3 0 0 20 0 19 0 193624314 19498610688 24141 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4760403 24141 5856 1 0 550893 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19041612 memory=-7308319077851555428 CPUtime=0.26 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 5973 0 0 0 24 2 0 0 20 0 19 0 193624314 19498610688 24141 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193624316 19498610688 24141 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 193624317 19498610688 24141 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193624340 19498610688 24141 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96564 KiB

[startup+0.701071 s]
/proc/loadavg: 4.20 4.23 4.15 6/332 1027380
/proc/meminfo: memFree=124647748/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19041612 memory=110464 CPUtime=1.28 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 12632 0 0 0 124 4 0 0 20 0 19 0 193624314 19498610688 27616 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4760403 27616 5856 1 0 553350 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19041612 memory=12420 CPUtime=0.63 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 5984 0 0 0 61 2 0 0 20 0 19 0 193624314 19498610688 27616 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193624316 19498610688 27616 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 193624317 19498610688 27616 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193624340 19498610688 27616 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110464 KiB

[startup+1.50806 s]
/proc/loadavg: 4.20 4.23 4.15 5/332 1027380
/proc/meminfo: memFree=124637092/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19041612 memory=122632 CPUtime=2.66 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 18815 0 0 0 262 4 0 0 20 0 19 0 193624314 19498610688 30658 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4760403 30658 5856 1 0 554153 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19041612 memory=12420 CPUtime=1.42 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 6375 0 0 0 140 2 0 0 20 0 19 0 193624314 19498610688 30658 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193624316 19498610688 30658 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 193624317 19498610688 30658 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193624340 19498610688 30658 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122632 KiB

[startup+3.10607 s]
/proc/loadavg: 4.20 4.23 4.15 5/332 1027382
/proc/meminfo: memFree=124574092/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19041612 memory=143404 CPUtime=4.87 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 22330 0 0 0 482 5 0 0 20 0 19 0 193624314 19498610688 35851 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4760403 35851 5856 1 0 555644 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19041612 memory=0 CPUtime=3 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 6703 0 0 0 298 2 0 0 20 0 19 0 193624314 19498610688 35851 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193624316 19498610688 35851 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19041612 memory=125208 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 193624317 19498610688 35851 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193624340 19498610688 35851 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 143404 KiB

[startup+6.30028 s]
/proc/loadavg: 4.18 4.22 4.15 5/332 1027382
/proc/meminfo: memFree=124552768/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19041612 memory=164616 CPUtime=8.05 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 22982 0 0 0 800 5 0 0 20 0 19 0 193624314 19498610688 41154 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4760403 41154 5872 1 0 555644 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19041612 memory=12420 CPUtime=6.17 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 6818 0 0 0 614 3 0 0 20 0 19 0 193624314 19498610688 41154 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193624316 19498610688 41154 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19041612 memory=7738416034833066854 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 193624317 19498610688 41154 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19041612 memory=5468 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193624340 19498610688 41154 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164616 KiB

[startup+12.7011 s]
/proc/loadavg: 4.17 4.22 4.14 5/333 1027383
/proc/meminfo: memFree=124529744/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=185600 CPUtime=14.47 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 28014 0 0 0 1441 6 0 0 20 0 20 0 193624314 19566772224 46400 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 46400 5915 1 0 555933 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=0 CPUtime=12.51 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 7752 0 0 0 1248 3 0 0 20 0 20 0 193624314 19566772224 46400 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=185596 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 46400 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 46400 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 46400 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185600 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.22 4.15 5/333 1027454
/proc/meminfo: memFree=126434212/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=191948 CPUtime=27.22 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 31521 0 0 0 2715 7 0 0 20 0 20 0 193624314 19566772224 47987 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 47987 5915 1 0 555933 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=185596 CPUtime=25.22 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 9370 0 0 0 2519 3 0 0 20 0 20 0 193624314 19566772224 47987 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 47987 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 47987 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=166664 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 47987 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191948 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.21 4.14 5/333 1027457
/proc/meminfo: memFree=126378120/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=210408 CPUtime=52.78 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 34940 0 0 0 5270 8 0 0 20 0 20 0 193624314 19566772224 52602 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 52602 5915 1 0 555933 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=47456 CPUtime=50.71 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 10804 0 0 0 5067 4 0 0 20 0 20 0 193624314 19566772224 52602 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0

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

[startup+3282.3 s]
/proc/loadavg: 4.46 4.20 4.14 5/330 1029363
/proc/meminfo: memFree=121161128/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=1850096 CPUtime=3273.78 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 120056 0 0 0 327233 145 0 0 20 0 20 0 193624314 19566772224 462524 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 462524 5930 1 0 558073 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=1850096 CPUtime=3266.5 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 55660 0 0 0 326640 10 0 0 20 0 20 0 193624314 19566772224 462524 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 462524 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=1850096 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 4435 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 462524 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=1850096 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 462524 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1850096 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.20 4.15 5/330 1029373
/proc/meminfo: memFree=121111272/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=3333.66 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 121625 0 0 0 333218 148 0 0 20 0 20 0 193624314 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 474302 5930 1 0 558073 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=3326.23 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 56419 0 0 0 332613 10 0 0 20 0 20 0 193624314 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 4566 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1897208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.22 4.16 5/330 1029383
/proc/meminfo: memFree=121110204/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=3393.56 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 122403 0 0 0 339206 150 0 0 20 0 20 0 193624314 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 474302 5930 1 0 558073 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=3386.1 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 57002 0 0 0 338600 10 0 0 20 0 20 0 193624314 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 4701 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 474302 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1897208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/332 1029399
/proc/meminfo: memFree=121109700/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=3453.45 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 123315 0 0 0 345193 152 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 474308 5930 1 0 558085 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=3445.96 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 57739 0 0 0 344586 10 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=1897208 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 4816 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1897232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/332 1029409
/proc/meminfo: memFree=121109084/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=3513.35 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 124059 0 0 0 351180 155 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 474308 5930 1 0 558085 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=3505.82 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 58343 0 0 0 350572 10 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 4898 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1897232 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.20 4.16 5/332 1029486
/proc/meminfo: memFree=122957952/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=3573.23 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 124911 0 0 0 357166 157 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 474308 5930 1 0 558085 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=3565.68 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 59086 0 0 0 356558 10 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=26000 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 4947 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=47456 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1897232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.21 4.20 4.16 5/332 1029491
/proc/meminfo: memFree=122887360/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19108176 memory=1897232 CPUtime=3600.08 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 125118 0 0 0 359850 158 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4777044 474308 5930 1 0 558085 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19108176 memory=1676315 CPUtime=3592.51 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) R 1027358 1027361 1024572 0 -1 4194368 59169 0 0 0 359241 10 0 0 20 0 20 0 193624314 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19108176 memory=1676900 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193624316 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19108176 memory=3906646384329374033 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 5063 0 0 0 0 0 0 0 20 0 20 0 193624317 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027380] ppid=1027358 vsize=19108176 memory=26000 CPUtime=0 cores=4,6
/proc/1027361/task/1027380/stat : 1027380 (Timer-0) S 1027358 1027361 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193624340 19566772224 474308 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1897232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.64 s, system=1.59305 s

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

[startup+3609.31 s]
/proc/loadavg: 4.21 4.20 4.16 5/332 1029491
/proc/meminfo: memFree=122887360/131524600 swapFree=131071996/131071996
[pid=1027361] ppid=1027358 vsize=19307868 memory=1898072 CPUtime=3600.2 cores=4,6
/proc/1027361/stat : 1027361 (java) S 1027358 1027361 1024572 0 -1 1077936128 127414 0 0 0 359862 158 0 0 20 0 21 0 193624314 19771256832 474518 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
/proc/1027361/statm: 4826967 474518 5929 1 0 558988 0
[pid=1027361/tid=1027363] ppid=1027358 vsize=19307868 memory=1897232 CPUtime=3592.53 cores=4,6
/proc/1027361/task/1027363/stat : 1027363 (java) S 1027358 1027361 1024572 0 -1 1077936192 59282 0 0 0 359243 10 0 0 20 0 21 0 193624314 19771256832 474518 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027372] ppid=1027358 vsize=19307868 memory=1897232 CPUtime=0 cores=4,6
/proc/1027361/task/1027372/stat : 1027372 (Finalizer) S 1027358 1027361 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 193624316 19771256832 474518 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
[pid=1027361/tid=1027379] ppid=1027358 vsize=19307868 memory=5468 CPUtime=0 cores=4,6
/proc/1027361/task/1027379/stat : 1027379 (Common-Cleaner) S 1027358 1027361 1024572 0 -1 1077936192 5063 0 0 0 0 0 0 0 20 0 21 0 193624317 19771256832 474518 134679101440 94680892936192 94680892939888 140726604551776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94680892947704 94680892948496 94680919056384 140726604559365 140726604559455 140726604559455 140726604566472 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1898072 KiB

Child status: 143

Real time (s): 3609.32
CPU time (s): 3600.23
CPU user time (s): 3598.64
CPU system time (s): 1.59305
CPU usage (%): 99.7482
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1898072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.64
system time used= 1.59305
maximum resident set size= 1898672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102620
involuntary context switches= 10395


# summary of solver processes directly reported to runsolver:
#   pid: 1027361
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.64
#   total CPU system time (s): 1.59305

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55162 second user time and 18.4498 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-19 20:43:14
IDJOB=4450654
IDBENCH=162192
IDSOLVER=3058
FILE ID=nodeC026/4450654-1721414581
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-size112-round22-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450654-1721414581/watcher-4450654-1721414581 -o /tmp/evaluation-result-4450654-1721414581/solver-4450654-1721414581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024583 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4450654-1721414581.opb

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

MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=765412584

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		: 3673.950
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		: 3685.897
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		: 3652.167
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		: 3600.198
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		: 3620.569
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.001
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		: 3645.942
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		: 3599.962
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:        124729320 kB
MemAvailable:   125259548 kB
Buffers:          565368 kB
Cached:           811612 kB
SwapCached:            0 kB
Active:          1080656 kB
Inactive:        5096220 kB
Active(anon):       1548 kB
Inactive(anon):  4844260 kB
Active(file):    1079108 kB
Inactive(file):   251960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1644 kB
Writeback:             0 kB
AnonPages:       4796552 kB
Mapped:           127264 kB
Shmem:             45912 kB
KReclaimable:      77968 kB
Slab:             188632 kB
SReclaimable:      77968 kB
SUnreclaim:       110664 kB
KernelStack:        5056 kB
PageTables:        19572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7455724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4495360 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= 890076 MiB
End job on nodeC026 at 2024-07-19 21:43:24