Trace number 4450642

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 2024 2024-07-07? (TO) 3600.28 3629.92

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-9.opb
MD5SUMbf1757ad4e21f2473915004abf7b1376
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints896
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.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version CUSTOM.v20240707
0.12/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.17	c java.vm.version	22.0.1+8-16
0.12/0.17	c java.vm.vendor	Oracle Corporation
0.12/0.17	c sun.arch.data.model	64
0.12/0.17	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.17	c Free memory 		2113181440
0.12/0.17	c Max memory 		16282288128
0.12/0.18	c Total memory 		2122317824
0.12/0.18	c Number of processors 	2
0.30/0.26	--- Begin Solver configuration ---
0.30/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.26	Learn all clauses as in MiniSAT
0.30/0.26	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.26	Expensive reason simplification
0.30/0.26	Glucose 2.1 dynamic restart strategy
0.30/0.26	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.30/0.26	timeout=2147483s
0.30/0.26	DB Simplification allowed=false
0.30/0.26	Listener: none
0.30/0.26	--- End Solver configuration ---
0.30/0.26	c Pseudo Boolean Optimization by upper bound
0.30/0.26	c --- Begin Solver configuration ---
0.30/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.26	c Learn all clauses as in MiniSAT
0.30/0.26	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.26	c Expensive reason simplification
0.30/0.26	c Glucose 2.1 dynamic restart strategy
0.30/0.26	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.30/0.26	c timeout=2147483s
0.30/0.26	c DB Simplification allowed=false
0.30/0.26	c Listener: none
0.30/0.26	c --- End Solver configuration ---
0.30/0.27	c solving HOME/instance-4450642-1721828135.opb
0.30/0.27	c reading problem ... 
0.30/0.27	c using VERIPB proof format
0.30/0.27	c  no objective function found
0.81/0.55	c ... done. Wall clock time 0.281s.
0.81/0.55	c declared #vars     4288
0.81/0.55	c #constraints  10816
0.81/0.55	c constraints type 
0.81/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.81/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.81/0.55	c org.sat4j.specs.Constr$1 => 904
0.81/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.81/0.55	c org.sat4j.pb.constraints.pb.UnitClausePB => 504
0.81/0.55	c 10816 constraints processed.
2.92/1.62	c cleaning 2494 clauses out of 4998 with flag 15905/5000
4.09/2.24	c cleaning 4244 clauses out of 8504 with flag 38929/11000
5.23/2.88	c cleaning 5620 clauses out of 11261 with flag 68955/18001
6.44/3.56	c cleaning 6820 clauses out of 13640 with flag 101921/26000
7.16/4.26	c cleaning 7885 clauses out of 15820 with flag 142709/35000
8.16/5.10	c cleaning 8948 clauses out of 17935 with flag 193226/45000
9.07/6.06	c cleaning 9984 clauses out of 19987 with flag 245041/56000
10.16/7.17	c cleaning 11000 clauses out of 22004 with flag 305818/68001
11.44/8.41	c cleaning 11996 clauses out of 24003 with flag 373732/81000
12.86/9.74	c cleaning 12956 clauses out of 26007 with flag 449239/95000
14.37/11.22	c cleaning 14018 clauses out of 28052 with flag 529814/110001
15.86/12.76	c cleaning 14995 clauses out of 30033 with flag 616416/126000
17.72/14.41	c cleaning 16007 clauses out of 32039 with flag 712105/143001
19.59/16.14	c cleaning 17008 clauses out of 34032 with flag 817125/161001
21.48/18.03	c cleaning 18005 clauses out of 36023 with flag 928474/180000
23.56/20.06	c cleaning 18992 clauses out of 38018 with flag 1046353/200000
25.74/22.27	c cleaning 19971 clauses out of 40026 with flag 1171622/221000
27.91/24.49	c cleaning 21018 clauses out of 42055 with flag 1303662/243000
30.40/26.92	c cleaning 21945 clauses out of 44038 with flag 1443118/266001
32.98/29.55	c cleaning 23042 clauses out of 46093 with flag 1587573/290001
35.55/32.17	c cleaning 24013 clauses out of 48050 with flag 1737623/315000
38.42/35.23	c cleaning 24999 clauses out of 50039 with flag 1894099/341002
41.50/38.36	c cleaning 25976 clauses out of 52038 with flag 2055506/368000
44.77/41.63	c cleaning 27032 clauses out of 54063 with flag 2221732/396001
48.04/44.96	c cleaning 27992 clauses out of 56032 with flag 2397976/425002
51.72/48.64	c cleaning 28988 clauses out of 58038 with flag 2580318/455000
55.58/52.50	c cleaning 30010 clauses out of 60051 with flag 2763283/486001
59.44/56.44	c cleaning 30983 clauses out of 62040 with flag 2961204/518000
63.41/60.45	c cleaning 32006 clauses out of 64057 with flag 3164458/551000
68.67/65.72	c cleaning 33008 clauses out of 66051 with flag 3375883/585000
72.89/70.08	c cleaning 33977 clauses out of 68043 with flag 3591734/620000
77.65/74.87	c cleaning 35002 clauses out of 70067 with flag 3813194/656001
82.44/79.61	c cleaning 36023 clauses out of 72064 with flag 4039622/693000
87.61/84.82	c cleaning 36988 clauses out of 74041 with flag 4270414/731000
93.00/90.28	c cleaning 38001 clauses out of 76053 with flag 4509165/770000
98.70/95.92	c cleaning 39014 clauses out of 78052 with flag 4751067/810000
105.37/103.69	c cleaning 39979 clauses out of 80039 with flag 5009064/851001
111.45/109.71	c cleaning 41016 clauses out of 82059 with flag 5272265/893000
117.53/115.80	c cleaning 42000 clauses out of 84044 with flag 5541225/936001
123.73/122.02	c cleaning 43011 clauses out of 86043 with flag 5816254/980000
130.34/128.88	c cleaning 44004 clauses out of 88032 with flag 6098116/1025000
137.12/135.66	c cleaning 45003 clauses out of 90028 with flag 6381427/1071000
144.09/142.62	c cleaning 45976 clauses out of 92025 with flag 6676674/1118000
151.29/149.84	c cleaning 46989 clauses out of 94050 with flag 6976351/1166001
158.77/157.31	c cleaning 47997 clauses out of 96061 with flag 7284504/1215001
166.52/165.31	c cleaning 49006 clauses out of 98063 with flag 7596768/1265000
174.40/173.21	c cleaning 50017 clauses out of 100057 with flag 7915906/1316000
182.37/181.26	c cleaning 51013 clauses out of 102042 with flag 8235767/1368002
191.54/190.82	c cleaning 52001 clauses out of 104027 with flag 8565124/1421000
200.31/199.65	c cleaning 52966 clauses out of 106026 with flag 8904597/1475000
209.49/208.83	c cleaning 54013 clauses out of 108060 with flag 9248900/1530000
218.87/218.26	c cleaning 55010 clauses out of 110047 with flag 9599213/1586000
228.59/228.09	c cleaning 56012 clauses out of 112039 with flag 9957221/1643002
238.45/237.90	c cleaning 56976 clauses out of 114025 with flag 10317754/1701000
249.03/248.55	c cleaning 58007 clauses out of 116049 with flag 10679583/1760000
259.74/259.67	c cleaning 58993 clauses out of 118042 with flag 11052239/1820000
270.77/270.62	c cleaning 59996 clauses out of 120049 with flag 11427327/1881000
282.02/282.22	c cleaning 60994 clauses out of 122054 with flag 11809520/1943001
293.94/294.16	c cleaning 61976 clauses out of 124061 with flag 12198099/2006002
305.94/306.15	c cleaning 62988 clauses out of 126087 with flag 12591610/2070004
318.28/318.69	c cleaning 64046 clauses out of 128096 with flag 12996728/2135001
331.53/331.82	c cleaning 64992 clauses out of 130050 with flag 13399189/2201001
345.17/345.53	c cleaning 65968 clauses out of 132057 with flag 13814782/2268000
358.86/359.25	c cleaning 67036 clauses out of 134089 with flag 14237684/2336000
372.92/373.36	c cleaning 68020 clauses out of 136053 with flag 14660298/2405000
388.01/388.93	c cleaning 68967 clauses out of 138035 with flag 15090417/2475002
402.79/403.79	c cleaning 70012 clauses out of 140068 with flag 15528008/2546002
418.57/419.81	c cleaning 70994 clauses out of 142054 with flag 15969132/2618000
434.50/435.98	c cleaning 72018 clauses out of 144060 with flag 16424842/2691000
450.26/451.73	c cleaning 72996 clauses out of 146042 with flag 16879813/2765000
466.95/468.85	c cleaning 74015 clauses out of 148046 with flag 17342293/2840000
482.97/484.86	c cleaning 74956 clauses out of 150032 with flag 17815406/2916001
499.93/501.81	c cleaning 76016 clauses out of 152075 with flag 18291264/2993000
517.93/519.81	c cleaning 77007 clauses out of 154059 with flag 18770073/3071000
536.10/538.06	c cleaning 78016 clauses out of 156052 with flag 19253140/3150000
554.19/556.18	c cleaning 79007 clauses out of 158036 with flag 19740982/3230000
573.19/575.26	c cleaning 79983 clauses out of 160029 with flag 20242409/3311000
592.22/594.36	c cleaning 81017 clauses out of 162048 with flag 20748910/3393002
611.94/614.06	c cleaning 81987 clauses out of 164030 with flag 21262958/3476001
631.66/633.84	c cleaning 82979 clauses out of 166043 with flag 21781796/3560001
652.03/654.42	c cleaning 84011 clauses out of 168063 with flag 22305335/3645000
673.53/675.98	c cleaning 85007 clauses out of 170052 with flag 22836939/3731000
694.53/696.98	c cleaning 85978 clauses out of 172045 with flag 23372384/3818000
716.28/718.79	c cleaning 87018 clauses out of 174067 with flag 23908904/3906000
737.99/740.47	c cleaning 87994 clauses out of 176049 with flag 24453779/3995000
760.16/762.63	c cleaning 89004 clauses out of 178055 with flag 25004254/4085000
782.67/785.29	c cleaning 90002 clauses out of 180051 with flag 25558910/4176000
805.36/808.11	c cleaning 91026 clauses out of 182051 with flag 26120078/4268002
829.22/831.87	c cleaning 92012 clauses out of 184024 with flag 26691166/4361001
852.88/855.54	c cleaning 92985 clauses out of 186011 with flag 27267048/4455000
877.46/880.14	c cleaning 93968 clauses out of 188026 with flag 27844032/4550000
902.42/905.10	c cleaning 95006 clauses out of 190059 with flag 28425632/4646001
928.91/931.60	c cleaning 95976 clauses out of 192052 with flag 29016745/4743000
955.14/958.00	c cleaning 97000 clauses out of 194076 with flag 29614954/4841000
982.04/984.88	c cleaning 97993 clauses out of 196077 with flag 30215954/4940001
1009.17/1012.02	c cleaning 99024 clauses out of 198083 with flag 30821046/5040000
1037.03/1039.93	c cleaning 100014 clauses out of 200059 with flag 31433370/5141000
1064.64/1067.73	c cleaning 101014 clauses out of 202045 with flag 32054397/5243000
1094.17/1097.42	c cleaning 101987 clauses out of 204031 with flag 32680438/5346000
1124.01/1127.40	c cleaning 102998 clauses out of 206046 with flag 33306755/5450002
1153.88/1157.50	c cleaning 103997 clauses out of 208046 with flag 33949162/5555000
1184.01/1187.81	c cleaning 104971 clauses out of 210051 with flag 34592580/5661002
1215.61/1219.52	c cleaning 106003 clauses out of 212078 with flag 35237161/5768000
1246.33/1250.35	c cleaning 107020 clauses out of 214076 with flag 35889174/5876001
1277.55/1281.64	c cleaning 108019 clauses out of 216057 with flag 36543480/5985002
1310.25/1314.42	c cleaning 109011 clauses out of 218037 with flag 37203661/6095001
1342.48/1346.82	c cleaning 110006 clauses out of 220025 with flag 37871486/6206000
1376.44/1381.10	c cleaning 110999 clauses out of 222019 with flag 38549019/6318000
1411.01/1415.82	c cleaning 111960 clauses out of 224020 with flag 39224944/6431000
1446.39/1451.53	c cleaning 113006 clauses out of 226061 with flag 39908785/6545001
1481.81/1486.99	c cleaning 113973 clauses out of 228054 with flag 40599593/6660000
1517.23/1522.69	c cleaning 115007 clauses out of 230081 with flag 41293990/6776000
1553.68/1559.52	c cleaning 116017 clauses out of 232076 with flag 41999338/6893002
1590.66/1596.92	c cleaning 116984 clauses out of 234059 with flag 42709608/7011002
1629.06/1637.12	c cleaning 118032 clauses out of 236073 with flag 43419918/7130000
1667.55/1675.94	c cleaning 119012 clauses out of 238042 with flag 44141846/7250001
1706.36/1714.80	c cleaning 119969 clauses out of 240030 with flag 44864413/7371001
1745.12/1753.64	c cleaning 121008 clauses out of 242060 with flag 45594193/7493000
1785.11/1794.45	c cleaning 121989 clauses out of 244052 with flag 46329708/7616000
1825.60/1834.97	c cleaning 123012 clauses out of 246063 with flag 47070567/7740000
1865.13/1874.67	c cleaning 123977 clauses out of 248051 with flag 47818209/7865000
1906.47/1916.48	c cleaning 125008 clauses out of 250074 with flag 48570973/7991000
1948.78/1958.94	c cleaning 126026 clauses out of 252066 with flag 49327030/8118000
1990.47/2000.84	c cleaning 126999 clauses out of 254040 with flag 50092601/8246000
2033.66/2044.24	c cleaning 127995 clauses out of 256041 with flag 50861747/8375000
2077.51/2088.38	c cleaning 128983 clauses out of 258046 with flag 51631411/8505000
2121.90/2133.19	c cleaning 130008 clauses out of 260065 with flag 52407571/8636002
2167.28/2178.73	c cleaning 130998 clauses out of 262055 with flag 53190335/8768000
2212.77/2224.43	c cleaning 131990 clauses out of 264058 with flag 53980069/8901001
2260.33/2271.80	c cleaning 133012 clauses out of 266067 with flag 54770387/9035000
2307.93/2319.58	c cleaning 133987 clauses out of 268055 with flag 55570107/9170000
2355.87/2367.63	c cleaning 135022 clauses out of 270069 with flag 56385232/9306001
2404.32/2417.18	c cleaning 135982 clauses out of 272046 with flag 57205036/9443000
2452.61/2465.50	c cleaning 137027 clauses out of 274065 with flag 58020809/9581001
2501.98/2515.18	c cleaning 137992 clauses out of 276038 with flag 58840541/9720001
2554.01/2576.31	c cleaning 139013 clauses out of 278046 with flag 59668987/9860001
2604.11/2627.16	c cleaning 139986 clauses out of 280032 with flag 60502061/10001000
2655.94/2679.39	c cleaning 140973 clauses out of 282046 with flag 61337586/10143000
2708.69/2732.44	c cleaning 142030 clauses out of 284074 with flag 62181053/10286001
2760.65/2784.79	c cleaning 142985 clauses out of 286043 with flag 63024485/10430000
2815.01/2839.24	c cleaning 143994 clauses out of 288058 with flag 63881542/10575000
2869.45/2893.91	c cleaning 144999 clauses out of 290065 with flag 64744390/10721001
2923.28/2947.91	c cleaning 146027 clauses out of 292065 with flag 65611678/10868000
2980.15/3005.01	c cleaning 146975 clauses out of 294038 with flag 66483134/11016000
3035.82/3061.02	c cleaning 148012 clauses out of 296064 with flag 67361407/11165001
3086.55/3111.88	c cleaning 149013 clauses out of 298051 with flag 68247084/11315000
3138.89/3164.28	c cleaning 150003 clauses out of 300039 with flag 69131619/11466001
3191.77/3217.21	c cleaning 151010 clauses out of 302035 with flag 70022841/11618000
3247.34/3276.44	c cleaning 151992 clauses out of 304025 with flag 70923494/11771000
3301.40/3330.58	c cleaning 152988 clauses out of 306033 with flag 71825226/11925000
3356.22/3385.34	c cleaning 153975 clauses out of 308045 with flag 72727510/12080000
3411.26/3440.41	c cleaning 155004 clauses out of 310070 with flag 73641320/12236000
3467.16/3496.31	c cleaning 155983 clauses out of 312067 with flag 74561786/12393001
3523.91/3553.22	c cleaning 157022 clauses out of 314083 with flag 75487652/12551000
3581.66/3611.27	c cleaning 157996 clauses out of 316061 with flag 76422805/12710000
3600.06/3629.83	c starts		: 104521
3600.06/3629.83	c conflicts		: 12772839
3600.06/3629.83	c decisions		: 113695775
3600.06/3629.83	c propagations		: 1686896766
3600.06/3629.83	c inspects		: 36598042106
3600.06/3629.83	c shortcuts		: 0
3600.06/3629.83	c learnt literals	: 2
3600.06/3629.83	c learnt binary clauses	: 52
3600.06/3629.83	c learnt ternary clauses	: 842
3600.06/3629.83	c learnt constraints	: 12772837
3600.06/3629.83	c ignored constraints	: 0
3600.06/3629.83	c root simplifications	: 0
3600.06/3629.83	c removed literals (reason simplification)	: 11753669
3600.06/3629.83	c reason swapping (by a shorter reason)	: 0
3600.06/3629.83	c Calls to reduceDB	: 155
3600.06/3629.83	c Number of update (reduction) of LBD	: 2724433
3600.06/3629.83	c Imported unit clauses	: 0
3600.06/3629.83	c No decision after first conflict	: false
3600.06/3629.83	c number of reductions to clauses (during analyze)	: 0
3600.06/3629.83	c number of learned constraints concerned by reduction	: 0
3600.06/3629.83	c number of learning phase by resolution	: 0
3600.06/3629.83	c number of learning phase by cutting planes	: 0
3600.06/3629.83	c number of rounding to 1 operations	: 0
3600.06/3629.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3629.83	c number of reductions of the coefficients by power 2 	: 0
3600.06/3629.83	c number of right shift for reduction by power 2 	: 0
3600.06/3629.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3629.83	c number of ending skipping 	: 0
3600.06/3629.83	c number of internal skipping 	: 0
3600.06/3629.83	c number of derivation steps 	: 0
3600.06/3629.83	c number of skipped derivation steps 	: 0
3600.06/3629.83	c number of remaining unassigned 	: 0
3600.06/3629.83	c number of remaining assigned 	: 0
3600.06/3629.83	c number of falsified literals weakened from reason	: 0
3600.06/3629.83	c number of falsified literals weakened from conflict	: 0
3600.06/3629.83	c time for arithmetic operations	: 0
3600.06/3629.83	c minimum degree of deleted constraints	: null
3600.06/3629.83	c maximum degree of deleted constraints	: null
3600.06/3629.83	c number of deleted constraints	: 0
3600.06/3629.83	c speed (assignments/second)	: 464803.58187932114
3600.06/3629.83	c non guided choices	: 43527
3600.06/3629.84	c timeout
3600.06/3629.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 220852
3600.06/3629.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 52
3600.06/3629.89	s UNKNOWN
3600.06/3629.89	c Total wall clock time (in seconds): 3629.629

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: 64059 MiB (35840 MiB free)
  memory of node 1: 64510 MiB (39921 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450642-1721828135/watcher-4450642-1721828135 -o /tmp/evaluation-result-4450642-1721828135/solver-4450642-1721828135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182129 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4450642-1721828135 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450642-1721828135.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=187133, runsolver pid=187130

[startup+0.109992 s]*
/proc/loadavg: 4.24 4.23 4.19 5/320 187151
/proc/meminfo: memFree=77543532/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=18975048 memory=56244 CPUtime=0.12 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 6614 0 0 0 10 2 0 0 20 0 18 0 18802562 19430449152 14061 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4743762 14061 5572 1 0 550925 0
[pid=187133/tid=187135] ppid=187130 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 5517 0 0 0 7 1 0 0 20 0 18 0 18802563 19430449152 14061 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18802566 19430449152 14061 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=18975048 memory=14131147652205475 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18802567 19430449152 14061 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56244 KiB

[startup+0.240136 s]*
/proc/loadavg: 4.24 4.23 4.19 7/320 187151
/proc/meminfo: memFree=77531608/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=18975048 memory=67776 CPUtime=0.3 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 7295 0 0 0 27 3 0 0 20 0 18 0 18802562 19430449152 16944 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4743762 16944 5716 1 0 551523 0
[pid=187133/tid=187135] ppid=187130 vsize=18975048 memory=4782652875487838339 CPUtime=0.21 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 5809 0 0 0 19 2 0 0 20 0 18 0 18802563 19430449152 16944 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=18975048 memory=1057316 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18802566 19430449152 16944 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=18975048 memory=15824391262966388 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18802567 19430449152 16944 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67776 KiB

[startup+0.313623 s]*
/proc/loadavg: 4.24 4.23 4.19 7/320 187151
/proc/meminfo: memFree=77527992/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=18975048 memory=70476 CPUtime=0.44 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 7433 0 0 0 41 3 0 0 20 0 18 0 18802562 19430449152 17619 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4743762 17619 5743 1 0 551631 0
[pid=187133/tid=187135] ppid=187130 vsize=18975048 memory=-9176763074950767292 CPUtime=0.29 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 5928 0 0 0 27 2 0 0 20 0 18 0 18802563 19430449152 17619 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18802566 19430449152 17619 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18802567 19430449152 17619 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70476 KiB

[startup+0.705991 s]
/proc/loadavg: 4.24 4.23 4.19 7/320 187151
/proc/meminfo: memFree=77500536/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19041612 memory=105792 CPUtime=1.15 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 9092 0 0 0 110 5 0 0 20 0 19 0 18802562 19498610688 26448 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4760403 26448 5837 1 0 553081 0
[pid=187133/tid=187135] ppid=187130 vsize=19041612 memory=5456 CPUtime=0.65 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 6040 0 0 0 63 2 0 0 20 0 19 0 18802563 19498610688 26448 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19041612 memory=12108 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18802566 19498610688 26448 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18802567 19498610688 26448 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105792 KiB

[startup+1.50098 s]
/proc/loadavg: 4.24 4.23 4.19 7/321 187152
/proc/meminfo: memFree=77464376/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19041612 memory=168876 CPUtime=2.72 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 15186 0 0 0 265 7 0 0 20 0 19 0 18802562 19498610688 42219 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4760403 42219 5874 1 0 554758 0
[pid=187133/tid=187135] ppid=187130 vsize=19041612 memory=12108 CPUtime=1.44 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 6681 0 0 0 140 4 0 0 20 0 19 0 18802563 19498610688 42219 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18802566 19498610688 42219 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18802567 19498610688 42219 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18802619 19498610688 42219 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168876 KiB

[startup+3.10597 s]
/proc/loadavg: 4.30 4.24 4.19 7/322 187153
/proc/meminfo: memFree=77379044/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=188388 CPUtime=5.75 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 21979 0 0 0 566 9 0 0 20 0 20 0 18802562 19566772224 47097 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 47097 5906 1 0 557625 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=0 CPUtime=2.97 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 7396 0 0 0 292 5 0 0 20 0 20 0 18802563 19566772224 47097 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 47097 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18802567 19566772224 47097 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 47097 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188388 KiB

[startup+6.30097 s]
/proc/loadavg: 4.30 4.24 4.19 5/322 187153
/proc/meminfo: memFree=77050912/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=530872 CPUtime=9.36 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 25180 0 0 0 919 17 0 0 20 0 20 0 18802562 19566772224 132718 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 132718 5906 1 0 557778 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=0 CPUtime=6.13 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 8184 0 0 0 601 12 0 0 20 0 20 0 18802563 19566772224 132718 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 132718 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18802567 19566772224 132718 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=67960 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 132718 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 530872 KiB

[startup+12.701 s]
/proc/loadavg: 4.33 4.25 4.20 5/322 187154
/proc/meminfo: memFree=76119200/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=1319500 CPUtime=15.86 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 28840 0 0 0 1548 38 0 0 20 0 20 0 18802562 19566772224 329875 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 329875 5921 1 0 557778 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=111200 CPUtime=12.42 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 9745 0 0 0 1211 31 0 0 20 0 20 0 18802563 19566772224 329875 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=1268252 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 329875 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=188896 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18802567 19566772224 329875 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 329875 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 15.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1319500 KiB

[startup+25.501 s]
/proc/loadavg: 4.36 4.26 4.20 5/322 187156
/proc/meminfo: memFree=75912008/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=1324520 CPUtime=29.01 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 33922 0 0 0 2858 43 0 0 20 0 20 0 18802562 19566772224 331130 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 331130 5921 1 0 557778 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=1268252 CPUtime=25.07 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 11263 0 0 0 2471 36 0 0 20 0 20 0 18802563 19566772224 331130 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=1324520 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 331130 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18802567 19566772224 331130 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 331130 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 29.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324520 KiB

[startup+51.106 s]
/proc/loadavg: 4.23 4.24 4.19 5/322 187161
/proc/meminfo: memFree=75534576/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=1330676 CPUtime=54.19 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 38076 0 0 0 5366 53 0 0 20 0 20 0 18802562 19566772224 332669 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 332669 5921 1 0 557778 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=1324528 CPUtime=50.07 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 12938 0 0 0 4963 44 0 0 20 0 20 0 18802563 19566772224 332669 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=1324528 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 332669 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 18802567 19566772224 332669 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0

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

[startup+3282.3 s]
/proc/loadavg: 1.12 2.13 3.13 2/246 189232
/proc/meminfo: memFree=83756836/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=2177400 CPUtime=3253.22 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 171789 0 0 0 324491 831 0 0 20 0 20 0 18802562 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 544350 5921 1 0 559027 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=2177400 CPUtime=3221.94 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 79482 0 0 0 321537 657 0 0 20 0 20 0 18802563 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3056 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=2177400 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=67960 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 3774 0 0 0 1 0 0 0 20 0 20 0 18802567 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=2177400 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3253.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177400 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.95 3.01 2/246 189243
/proc/meminfo: memFree=83675920/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=2177400 CPUtime=3313.18 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 174179 0 0 0 330471 847 0 0 20 0 20 0 18802562 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 544350 5921 1 0 559027 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=67960 CPUtime=3281.55 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 80805 0 0 0 327487 668 0 0 20 0 20 0 18802563 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3062 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=1154 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=2177400 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 3911 0 0 0 1 0 0 0 20 0 20 0 18802567 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=2177400 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 544350 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3313.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177400 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.79 2.88 2/246 189255
/proc/meminfo: memFree=83594464/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=2177408 CPUtime=3373.24 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 176603 0 0 0 336464 860 0 0 20 0 20 0 18802562 19566772224 544352 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 544352 5921 1 0 559027 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=2177400 CPUtime=3341.11 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 82305 0 0 0 333432 679 0 0 20 0 20 0 18802563 19566772224 544352 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3065 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=2177392 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 544352 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=2177408 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 4030 0 0 0 1 0 0 0 20 0 20 0 18802567 19566772224 544352 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=2177408 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 544352 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3373.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177408 KiB

[startup+3462.3 s]
/proc/loadavg: 1.23 1.69 2.78 2/246 189265
/proc/meminfo: memFree=83515548/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=2177412 CPUtime=3433.1 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 179006 0 0 0 342438 872 0 0 20 0 20 0 18802562 19566772224 544353 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 544353 5921 1 0 559027 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=2177408 CPUtime=3400.68 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 83623 0 0 0 339379 689 0 0 20 0 20 0 18802563 19566772224 544353 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3077 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=-9176763074950767292 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 544353 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=67960 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 4167 0 0 0 1 0 0 0 20 0 20 0 18802567 19566772224 544353 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=-9176763074950767292 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 544353 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3433.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177412 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.58 2.67 2/246 189277
/proc/meminfo: memFree=83438412/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=2177420 CPUtime=3493.05 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 181978 0 0 0 348420 885 0 0 20 0 20 0 18802562 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 544355 5921 1 0 559027 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=-9176763074950767292 CPUtime=3460.11 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 84898 0 0 0 345312 699 0 0 20 0 20 0 18802563 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3093 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=67960 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=16096 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 4300 0 0 0 1 0 0 0 20 0 20 0 18802567 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=2177420 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3493.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177420 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.49 2.57 2/243 189289
/proc/meminfo: memFree=83359800/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=2177420 CPUtime=3552.85 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 184587 0 0 0 354387 898 0 0 20 0 20 0 18802562 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 544355 5921 1 0 559027 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=2177420 CPUtime=3519.63 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) D 187130 187133 182119 0 -1 4194368 86614 0 0 0 351253 710 0 0 20 0 20 0 18802563 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3098 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=16096 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=2177420 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 4417 0 0 0 1 0 0 0 20 0 20 0 18802567 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=-9176763074950767292 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 544355 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3552.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.8 s]
/proc/loadavg: 1.16 1.44 2.49 2/243 189297
/proc/meminfo: memFree=83299688/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19108176 memory=2177424 CPUtime=3600.06 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 186765 0 0 0 359097 909 0 0 20 0 20 0 18802562 19566772224 544356 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4777044 544356 5921 1 0 559027 0
[pid=187133/tid=187135] ppid=187130 vsize=19108176 memory=5464 CPUtime=3566.34 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) R 187130 187133 182119 0 -1 4194368 87659 0 0 0 355915 719 0 0 20 0 20 0 18802563 19566772224 544356 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3152 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19108176 memory=1972 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18802566 19566772224 544356 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19108176 memory=-9176763074950767292 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 4553 0 0 0 1 0 0 0 20 0 20 0 18802567 19566772224 544356 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187152] ppid=187130 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/187133/task/187152/stat : 187152 (Timer-0) S 187130 187133 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18802619 19566772224 544356 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177424 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.16 s, system=9.11772 s

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

[startup+3629.9 s]
/proc/loadavg: 1.16 1.44 2.49 2/243 189297
/proc/meminfo: memFree=83299688/131655788 swapFree=131063676/131071996
[pid=187133] ppid=187130 vsize=19307868 memory=2178368 CPUtime=3600.26 cores=0,2
/proc/187133/stat : 187133 (java) S 187130 187133 182119 0 -1 1077936128 190221 0 0 0 359116 910 0 0 20 0 15 0 18802562 19771256832 544592 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
/proc/187133/statm: 4826967 544592 5949 1 0 559989 0
[pid=187133/tid=187135] ppid=187130 vsize=19307868 memory=67960 CPUtime=3566.36 cores=0,2
/proc/187133/task/187135/stat : 187135 (java) S 187130 187133 182119 0 -1 1077936192 87993 0 0 0 355917 719 0 0 20 0 15 0 18802563 19771256832 544592 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3152 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187144] ppid=187130 vsize=19307868 memory=0 CPUtime=0 cores=0,2
/proc/187133/task/187144/stat : 187144 (Finalizer) S 187130 187133 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18802566 19771256832 544592 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
[pid=187133/tid=187151] ppid=187130 vsize=19307868 memory=2177424 CPUtime=0.01 cores=0,2
/proc/187133/task/187151/stat : 187151 (Common-Cleaner) S 187130 187133 182119 0 -1 1077936192 4553 0 0 0 1 0 0 0 20 0 15 0 18802567 19771256832 544592 134679101440 93924404404224 93924404407920 140734702574448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93924404415736 93924404416528 93924430090240 140734702580651 140734702580833 140734702580833 140734702587848 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2178368 KiB

Child status: 143

Real time (s): 3629.92
CPU time (s): 3600.28
CPU user time (s): 3591.16
CPU system time (s): 9.11772
CPU usage (%): 99.1833
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2178368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.16
system time used= 9.11772
maximum resident set size= 2179464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11431256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114605
involuntary context switches= 27134


# summary of solver processes directly reported to runsolver:
#   pid: 187133
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3591.16
#   total CPU system time (s): 9.11772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4963 second user time and 38.992 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 15:35:35
IDJOB=4450642
IDBENCH=162177
IDSOLVER=3079
FILE ID=nodeC003/4450642-1721828135
RUNJOBID= nodeC003-1721820325-182129
SLURM_JOB_ID= 7891444
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-9.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450642-1721828135/watcher-4450642-1721828135 -o /tmp/evaluation-result-4450642-1721828135/solver-4450642-1721828135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182129 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4450642-1721828135 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450642-1721828135.opb

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

MD5SUM BENCH= bf1757ad4e21f2473915004abf7b1376
RANDOM SEED=1633063348

nodeC003.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	: 0xb00001f
cpu MHz		: 3492.053
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.09
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	: 0xb00001f
cpu MHz		: 3649.918
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.287
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.439
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3623.101
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.09
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	: 0xb00001f
cpu MHz		: 3636.077
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.393
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.299
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        77581416 kB
MemAvailable:   122730864 kB
Buffers:          260092 kB
Cached:         45429596 kB
SwapCached:          800 kB
Active:          2542736 kB
Inactive:       50501776 kB
Active(anon):       2100 kB
Inactive(anon):  7406036 kB
Active(file):    2540636 kB
Inactive(file): 43095740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063676 kB
Dirty:            244324 kB
Writeback:             0 kB
AnonPages:       7353948 kB
Mapped:           131612 kB
Shmem:             53532 kB
KReclaimable:     574816 kB
Slab:             697156 kB
SReclaimable:     574816 kB
SUnreclaim:       122340 kB
KernelStack:        4944 kB
PageTables:        24532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9045700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7084032 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-24 16:36:05