Trace number 4498242

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)11 3600.22 3605.02

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb
MD5SUM6ddedb73bef771d6a1c994e2b60000f2
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark17.7647
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1248
Sum of products size (including duplicates)2496
Number of different products1248
Sum of products size2496

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4498242-1751273663.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
0.31/0.21	c ... done. Wall clock time 0.065s.
0.31/0.21	c declared #vars     100
0.31/0.21	c internal #vars     1348
0.31/0.21	c #constraints  2596
0.31/0.21	c constraints type 
0.31/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1248
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1348
0.31/0.21	c 2596 constraints processed.
0.31/0.21	c objective function length is 100 literals
0.31/0.22	c SATISFIABLE
0.31/0.22	c OPTIMIZING...
0.31/0.22	c Got one! Elapsed wall clock time (in seconds):0.087
0.31/0.22	o 16
0.31/0.24	c Got one! Elapsed wall clock time (in seconds):0.106
0.31/0.24	o 15
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.125
0.31/0.26	o 14
1.66/0.96	c cleaning 2539 clauses out of 5099 with flag 12325/5099
2.58/1.67	c cleaning 4272 clauses out of 8560 with flag 28650/11099
3.56/2.54	c cleaning 5646 clauses out of 11291 with flag 47508/18102
4.66/3.55	c cleaning 6819 clauses out of 13642 with flag 68751/26099
5.80/4.69	c cleaning 7906 clauses out of 15823 with flag 92453/35099
7.10/5.90	c cleaning 8959 clauses out of 17917 with flag 119935/45099
8.41/7.26	c cleaning 9978 clauses out of 19958 with flag 150408/56099
9.90/8.73	c cleaning 10990 clauses out of 21980 with flag 182725/68099
11.60/10.35	c cleaning 11986 clauses out of 23990 with flag 218890/81099
13.31/12.10	c cleaning 13003 clauses out of 26005 with flag 257354/95100
15.21/13.96	c cleaning 13994 clauses out of 28004 with flag 297800/110102
17.40/16.14	c cleaning 14999 clauses out of 30007 with flag 341847/126099
19.72/18.44	c cleaning 16002 clauses out of 32008 with flag 387467/143099
22.14/20.85	c cleaning 16994 clauses out of 34007 with flag 435944/161100
24.64/23.34	c cleaning 18007 clauses out of 36017 with flag 487735/180104
27.34/26.05	c cleaning 19000 clauses out of 38005 with flag 542308/200099
30.14/28.83	c cleaning 19998 clauses out of 40007 with flag 599641/221101
32.94/31.63	c cleaning 21000 clauses out of 42010 with flag 660100/243102
35.85/34.59	c cleaning 22004 clauses out of 44007 with flag 722199/266099
38.84/37.58	c cleaning 22997 clauses out of 46009 with flag 790032/290105
42.13/40.85	c cleaning 24000 clauses out of 48007 with flag 861250/315100
45.62/44.31	c cleaning 24999 clauses out of 50006 with flag 933203/341099
49.32/48.01	c cleaning 25994 clauses out of 52007 with flag 1009753/368099
53.00/51.74	c cleaning 27004 clauses out of 54015 with flag 1086262/396101
56.59/55.37	c cleaning 28003 clauses out of 56009 with flag 1165104/425099
60.59/59.32	c cleaning 28995 clauses out of 58006 with flag 1246617/455099
64.48/63.20	c cleaning 29994 clauses out of 60013 with flag 1329730/486101
68.47/67.29	c cleaning 30996 clauses out of 62017 with flag 1416880/518099
73.07/71.85	c cleaning 32009 clauses out of 64024 with flag 1507143/551102
77.76/76.58	c cleaning 32997 clauses out of 66012 with flag 1598896/585099
82.74/81.50	c cleaning 34006 clauses out of 68015 with flag 1693402/620099
87.43/86.27	c cleaning 34997 clauses out of 70009 with flag 1791294/656099
90.42/89.24	c Got one! Elapsed wall clock time (in seconds):89.103
90.42/89.24	o 13
91.22/90.09	c cleaning 30735 clauses out of 61498 with flag 14087/682585
92.12/90.91	c cleaning 18378 clauses out of 36760 with flag 31074/688582
92.91/91.77	c cleaning 12691 clauses out of 25383 with flag 50706/695583
93.91/92.71	c cleaning 10339 clauses out of 20692 with flag 73254/703583
94.91/93.75	c cleaning 9672 clauses out of 19352 with flag 97866/712582
96.01/94.83	c cleaning 9836 clauses out of 19680 with flag 124378/722582
97.26/96.08	c cleaning 10422 clauses out of 20845 with flag 154042/733583
98.75/97.50	c cleaning 11196 clauses out of 22422 with flag 187417/745582
100.25/99.03	c cleaning 12110 clauses out of 24228 with flag 223004/758584
101.85/100.65	c cleaning 13056 clauses out of 26116 with flag 263435/772582
103.54/102.35	c cleaning 14032 clauses out of 28063 with flag 305808/787585
105.43/104.24	c cleaning 15008 clauses out of 30028 with flag 350491/803582
107.43/106.22	c cleaning 16008 clauses out of 32023 with flag 398151/820585
109.52/108.30	c cleaning 17004 clauses out of 34012 with flag 448161/838582
111.72/110.52	c cleaning 17999 clauses out of 36008 with flag 502789/857582
114.11/112.94	c cleaning 18990 clauses out of 38009 with flag 559118/877582
116.61/115.43	c cleaning 20005 clauses out of 40019 with flag 616958/898582
119.50/118.34	c cleaning 21004 clauses out of 42014 with flag 679687/920582
122.60/121.40	c cleaning 21998 clauses out of 44010 with flag 747008/943582
125.69/124.58	c cleaning 23009 clauses out of 46018 with flag 816597/967588
128.98/127.84	c cleaning 23994 clauses out of 48006 with flag 889173/992585
132.28/131.19	c cleaning 24998 clauses out of 50010 with flag 963377/1018583
136.07/134.94	c cleaning 26001 clauses out of 52014 with flag 1042233/1045585
139.76/138.63	c cleaning 27003 clauses out of 54012 with flag 1124345/1073584
143.58/142.44	c cleaning 28001 clauses out of 56007 with flag 1209674/1102582
147.77/146.69	c cleaning 28995 clauses out of 58009 with flag 1299898/1132585
152.26/151.19	c cleaning 30004 clauses out of 60011 with flag 1394076/1163582
156.94/155.80	c cleaning 30995 clauses out of 62007 with flag 1491962/1195582
161.53/160.49	c cleaning 32004 clauses out of 64012 with flag 1591362/1228582
166.62/165.52	c cleaning 33001 clauses out of 66009 with flag 1695634/1262583
171.90/170.86	c cleaning 34002 clauses out of 68007 with flag 1803766/1297582
177.30/176.22	c cleaning 34997 clauses out of 70005 with flag 1913944/1333582
182.58/181.50	c cleaning 35993 clauses out of 72008 with flag 2025536/1370582
187.89/186.86	c cleaning 37005 clauses out of 74015 with flag 2140430/1408582
193.59/192.51	c cleaning 38001 clauses out of 76010 with flag 2261699/1447582
199.08/198.09	c cleaning 38998 clauses out of 78010 with flag 2385469/1487583
204.86/203.87	c cleaning 39999 clauses out of 80011 with flag 2511414/1528582
210.44/209.45	c cleaning 41006 clauses out of 82013 with flag 2641879/1570583
216.22/215.29	c cleaning 41992 clauses out of 84006 with flag 2776179/1613582
222.83/221.87	c cleaning 43002 clauses out of 86014 with flag 2912999/1657582
229.62/228.64	c cleaning 44005 clauses out of 88013 with flag 3056826/1702583
236.40/235.43	c cleaning 45002 clauses out of 90007 with flag 3207464/1748582
243.19/242.21	c cleaning 45992 clauses out of 92006 with flag 3357590/1795583
249.97/249.05	c cleaning 47002 clauses out of 94013 with flag 3509381/1843582
256.89/255.81	c cleaning 48003 clauses out of 96015 with flag 3670825/1892586
263.90/262.83	c cleaning 49003 clauses out of 98009 with flag 3836904/1942583
271.48/270.42	c cleaning 50000 clauses out of 100005 with flag 4004094/1993582
279.26/278.27	c cleaning 50998 clauses out of 102005 with flag 4174889/2045582
287.05/286.09	c cleaning 51999 clauses out of 104007 with flag 4353401/2098582
295.43/294.47	c cleaning 52997 clauses out of 106009 with flag 4537047/2152583
303.85/302.88	c cleaning 54004 clauses out of 108011 with flag 4714716/2207582
312.23/311.28	c cleaning 54997 clauses out of 110008 with flag 4897250/2263583
320.22/319.24	c cleaning 56001 clauses out of 112010 with flag 5086050/2320582
329.10/328.10	c cleaning 57002 clauses out of 114012 with flag 5277325/2378585
338.21/337.28	c cleaning 58002 clauses out of 116008 with flag 5470071/2437583
347.70/346.74	c cleaning 58995 clauses out of 118005 with flag 5674211/2497582
357.18/356.22	c cleaning 60000 clauses out of 120010 with flag 5883340/2558582
366.96/366.10	c cleaning 61002 clauses out of 122011 with flag 6104852/2620583
376.66/375.74	c cleaning 61999 clauses out of 124009 with flag 6324906/2683583
386.54/385.69	c cleaning 62995 clauses out of 126009 with flag 6552500/2747582
396.42/395.58	c cleaning 64004 clauses out of 128017 with flag 6777133/2812585
406.69/405.80	c cleaning 64998 clauses out of 130010 with flag 7010427/2878582
416.90/416.02	c cleaning 65987 clauses out of 132012 with flag 7242936/2945582
427.77/426.95	c cleaning 67005 clauses out of 134025 with flag 7493653/3013582
438.34/437.57	c cleaning 68005 clauses out of 136020 with flag 7746064/3082582
449.72/448.94	c cleaning 69003 clauses out of 138015 with flag 8011198/3152582
461.51/460.71	c cleaning 69997 clauses out of 140012 with flag 8285363/3223582
472.79/472.02	c cleaning 71002 clauses out of 142015 with flag 8555164/3295582
482.86/482.18	c cleaning 72003 clauses out of 144018 with flag 8811521/3368587
494.24/493.54	c cleaning 73006 clauses out of 146011 with flag 9093654/3442583
505.76/505.03	c cleaning 74001 clauses out of 148004 with flag 9380063/3517582
516.75/516.04	c cleaning 74997 clauses out of 150003 with flag 9683581/3593582
528.21/527.50	c cleaning 75992 clauses out of 152006 with flag 9991314/3670582
543.69/543.04	c cleaning 76999 clauses out of 154014 with flag 10222104/3748582
558.20/557.51	c cleaning 78002 clauses out of 156016 with flag 10460730/3827583
571.47/570.88	c cleaning 79008 clauses out of 158015 with flag 10690467/3907584
586.84/586.27	c cleaning 79997 clauses out of 160008 with flag 10929821/3988585
601.80/601.20	c cleaning 80993 clauses out of 162008 with flag 11180459/4070582
618.87/618.30	c cleaning 81997 clauses out of 164015 with flag 11438300/4153582
634.59/634.07	c cleaning 83005 clauses out of 166022 with flag 11703647/4237586
650.35/649.89	c cleaning 84001 clauses out of 168013 with flag 11976328/4322582
666.11/665.64	c cleaning 85002 clauses out of 170012 with flag 12242492/4408582
683.67/683.21	c cleaning 86002 clauses out of 172010 with flag 12530740/4495582
700.24/699.87	c cleaning 86995 clauses out of 174009 with flag 12828223/4583583
716.48/716.01	c cleaning 88002 clauses out of 176014 with flag 13123648/4672583
733.84/733.47	c cleaning 89002 clauses out of 178013 with flag 13410114/4762584
752.59/752.20	c cleaning 90007 clauses out of 180013 with flag 13674563/4853586
770.64/770.34	c cleaning 90982 clauses out of 182003 with flag 13961184/4945583
787.80/787.53	c cleaning 92006 clauses out of 184021 with flag 14248441/5038583
804.86/804.66	c cleaning 92996 clauses out of 186014 with flag 14544259/5132582
821.17/820.91	c cleaning 94009 clauses out of 188018 with flag 14851314/5227582
839.42/839.22	c cleaning 95005 clauses out of 190015 with flag 15154555/5323588
860.07/859.99	c cleaning 95991 clauses out of 192004 with flag 15463397/5420582
878.42/878.39	c cleaning 96998 clauses out of 194015 with flag 15791528/5518584
897.08/897.08	c cleaning 98005 clauses out of 196016 with flag 16117533/5617583
915.10/915.02	c cleaning 99004 clauses out of 198013 with flag 16447613/5717585
934.05/934.05	c cleaning 99996 clauses out of 200007 with flag 16772524/5818583
955.00/955.01	c cleaning 100991 clauses out of 202010 with flag 17079504/5920582
975.04/975.16	c cleaning 102004 clauses out of 204020 with flag 17389178/6023583
995.79/995.93	c cleaning 102995 clauses out of 206016 with flag 17704523/6127583
1018.43/1018.68	c Got one! Elapsed wall clock time (in seconds):1018.543
1018.43/1018.68	o 12
1020.43/1020.64	c cleaning 106127 clauses out of 212256 with flag 14250/6236818
1021.83/1022.07	c cleaning 56061 clauses out of 112128 with flag 31520/6242817
1023.02/1023.21	c cleaning 31532 clauses out of 63073 with flag 51993/6249823
1024.02/1024.28	c cleaning 19759 clauses out of 39536 with flag 74960/6257818
1025.12/1025.39	c cleaning 14374 clauses out of 28778 with flag 101231/6266819
1026.31/1026.55	c cleaning 12199 clauses out of 24402 with flag 130692/6276817
1027.61/1027.81	c cleaning 11597 clauses out of 23205 with flag 162059/6287819
1028.81/1029.08	c cleaning 11799 clauses out of 23606 with flag 196498/6299817
1030.20/1030.49	c cleaning 12399 clauses out of 24808 with flag 233270/6312818
1031.81/1032.10	c cleaning 13195 clauses out of 26408 with flag 273759/6326817
1033.50/1033.73	c cleaning 14095 clauses out of 28214 with flag 316815/6341818
1035.29/1035.55	c cleaning 15058 clauses out of 30120 with flag 364223/6357819
1037.28/1037.52	c cleaning 16030 clauses out of 32063 with flag 413223/6374820
1039.28/1039.58	c cleaning 17005 clauses out of 34030 with flag 465878/6392817
1041.57/1041.82	c cleaning 18007 clauses out of 36025 with flag 518950/6411817
1043.97/1044.28	c cleaning 19009 clauses out of 38018 with flag 576333/6431817
1046.46/1046.78	c cleaning 20005 clauses out of 40010 with flag 635874/6452818
1049.24/1049.49	c cleaning 20993 clauses out of 42004 with flag 697281/6474817
1052.13/1052.34	c cleaning 22006 clauses out of 44011 with flag 762783/6497817
1055.03/1055.23	c cleaning 22990 clauses out of 46007 with flag 830636/6521819
1058.02/1058.24	c cleaning 24003 clauses out of 48015 with flag 903897/6546817
1061.11/1061.39	c cleaning 24998 clauses out of 50012 with flag 981100/6572817
1064.40/1064.64	c cleaning 26002 clauses out of 52014 with flag 1060676/6599817
1067.71/1068.00	c cleaning 27001 clauses out of 54012 with flag 1144332/6627817
1071.20/1071.42	c cleaning 28001 clauses out of 56011 with flag 1226815/6656817
1074.79/1075.10	c cleaning 28999 clauses out of 58011 with flag 1316245/6686818
1078.68/1078.97	c cleaning 30000 clauses out of 60012 with flag 1408187/6717818
1082.67/1082.90	c cleaning 31007 clauses out of 62013 with flag 1503115/6749819
1086.56/1086.85	c cleaning 31997 clauses out of 64004 with flag 1602855/6782817
1090.95/1091.28	c cleaning 33000 clauses out of 66007 with flag 1706445/6816817
1095.24/1095.53	c cleaning 33998 clauses out of 68007 with flag 1810115/6851817
1099.93/1100.28	c cleaning 34995 clauses out of 70011 with flag 1915287/6887819
1104.73/1105.08	c cleaning 36001 clauses out of 72014 with flag 2027432/6924817
1109.51/1109.87	c cleaning 36991 clauses out of 74014 with flag 2143628/6962818
1114.50/1114.82	c cleaning 38002 clauses out of 76022 with flag 2261932/7001817
1119.39/1119.72	c cleaning 39005 clauses out of 78020 with flag 2386991/7041817
1124.08/1124.44	c cleaning 40008 clauses out of 80015 with flag 2521734/7082817
1129.46/1129.80	c cleaning 41004 clauses out of 82009 with flag 2652057/7124819
1134.86/1135.21	c cleaning 41983 clauses out of 84003 with flag 2781699/7167817
1140.95/1141.33	c cleaning 43007 clauses out of 86020 with flag 2912661/7211817
1147.36/1147.79	c cleaning 43998 clauses out of 88014 with flag 3043813/7256818
1153.85/1154.28	c cleaning 45000 clauses out of 90016 with flag 3179503/7302818
1160.44/1160.83	c cleaning 46000 clauses out of 92019 with flag 3318305/7349821
1167.03/1167.49	c cleaning 47011 clauses out of 94023 with flag 3472762/7397825
1174.31/1174.72	c cleaning 47996 clauses out of 96004 with flag 3621066/7446817
1181.19/1181.60	c cleaning 48994 clauses out of 98008 with flag 3769160/7496817
1188.47/1188.90	c cleaning 50007 clauses out of 100015 with flag 3923713/7547818
1195.96/1196.46	c cleaning 50997 clauses out of 102007 with flag 4080491/7599817
1203.45/1203.97	c cleaning 51990 clauses out of 104010 with flag 4243799/7652817
1211.03/1211.50	c cleaning 52999 clauses out of 106020 with flag 4410469/7706817
1219.11/1219.68	c cleaning 54006 clauses out of 108023 with flag 4574003/7761819
1226.89/1227.47	c cleaning 55001 clauses out of 110016 with flag 4745485/7817818
1234.88/1235.49	c cleaning 55997 clauses out of 112014 with flag 4921390/7874817
1243.56/1244.15	c cleaning 57001 clauses out of 114017 with flag 5098704/7932817
1251.94/1252.55	c cleaning 58006 clauses out of 116017 with flag 5279146/7991818
1261.02/1261.67	c cleaning 58994 clauses out of 118010 with flag 5463500/8051817
1270.29/1270.94	c cleaning 59992 clauses out of 120016 with flag 5651674/8112817
1279.82/1280.42	c cleaning 61009 clauses out of 122024 with flag 5838968/8174817
1289.09/1289.75	c cleaning 61997 clauses out of 124015 with flag 6034569/8237817
1299.08/1299.78	c cleaning 63005 clauses out of 126019 with flag 6232941/8301818
1309.16/1309.88	c cleaning 64007 clauses out of 128014 with flag 6438969/8366818
1318.93/1319.63	c cleaning 64987 clauses out of 130006 with flag 6646630/8432817
1329.71/1330.41	c cleaning 65999 clauses out of 132019 with flag 6856718/8499817
1339.58/1340.35	c cleaning 67010 clauses out of 134021 with flag 7070063/8567818
1350.27/1351.01	c cleaning 67998 clauses out of 136010 with flag 7289751/8636817
1360.94/1361.72	c cleaning 68999 clauses out of 138012 with flag 7505820/8706817
1373.12/1373.91	c cleaning 69997 clauses out of 140013 with flag 7739003/8777817
1384.39/1385.21	c cleaning 70990 clauses out of 142019 with flag 7968257/8849820
1395.06/1395.95	c cleaning 72008 clauses out of 144026 with flag 8199627/8922817
1406.54/1407.43	c cleaning 73004 clauses out of 146018 with flag 8438172/8996817
1417.91/1418.83	c cleaning 74005 clauses out of 148014 with flag 8696207/9071817
1430.29/1431.29	c cleaning 75002 clauses out of 150009 with flag 8959936/9147817
1442.86/1443.81	c cleaning 75998 clauses out of 152007 with flag 9227925/9224817
1455.42/1456.43	c cleaning 76995 clauses out of 154009 with flag 9493122/9302817
1468.10/1469.15	c cleaning 78001 clauses out of 156015 with flag 9753031/9381818
1479.97/1481.01	c cleaning 79003 clauses out of 158013 with flag 10026371/9461817
1492.23/1493.38	c cleaning 79998 clauses out of 160010 with flag 10306778/9542817
1505.50/1506.63	c cleaning 80999 clauses out of 162015 with flag 10590012/9624820
1518.07/1519.27	c cleaning 82006 clauses out of 164013 with flag 10872449/9707817
1531.44/1532.66	c cleaning 82992 clauses out of 166008 with flag 11165933/9791818
1544.71/1545.98	c cleaning 84005 clauses out of 168016 with flag 11476893/9876818
1557.79/1559.09	c cleaning 84999 clauses out of 170010 with flag 11794011/9962817
1570.76/1572.02	c cleaning 85999 clauses out of 172011 with flag 12116591/10049817
1584.12/1585.41	c cleaning 87000 clauses out of 174012 with flag 12456485/10137817
1596.59/1597.91	c cleaning 87998 clauses out of 176012 with flag 12776062/10226817
1611.26/1612.66	c cleaning 88995 clauses out of 178014 with flag 13068940/10316817
1627.92/1629.32	c cleaning 90007 clauses out of 180021 with flag 13354594/10407819
1648.19/1649.59	c cleaning 90998 clauses out of 182012 with flag 13648684/10499817
1665.36/1666.75	c cleaning 92005 clauses out of 184014 with flag 13947304/10592817
1683.31/1684.77	c cleaning 92996 clauses out of 186012 with flag 14250341/10686820
1699.98/1701.43	c cleaning 94004 clauses out of 188013 with flag 14556201/10781817
1717.84/1719.31	c cleaning 94998 clauses out of 190010 with flag 14854980/10877818
1737.99/1739.51	c cleaning 95989 clauses out of 192011 with flag 15153423/10974817
1756.05/1757.61	c cleaning 97006 clauses out of 194022 with flag 15458877/11072817
1773.21/1774.84	c cleaning 98002 clauses out of 196019 with flag 15761790/11171820
1788.97/1790.70	c cleaning 99002 clauses out of 198018 with flag 16080049/11271821
1809.21/1810.97	c cleaning 100002 clauses out of 200015 with flag 16388841/11372820
1830.56/1832.36	c cleaning 100991 clauses out of 202011 with flag 16705198/11474818
1850.70/1852.53	c cleaning 102006 clauses out of 204019 with flag 17032162/11577817
1869.26/1871.18	c cleaning 103004 clauses out of 206015 with flag 17367942/11681819
1889.40/1891.31	c cleaning 103991 clauses out of 208009 with flag 17697009/11786817
1912.16/1914.13	c cleaning 105011 clauses out of 210024 with flag 18013990/11892823
1928.30/1930.32	c Got one! Elapsed wall clock time (in seconds):1930.184
1928.30/1930.32	o 11
1931.03/1932.59	c cleaning 94661 clauses out of 189345 with flag 15297/11977155
1932.53/1934.05	c cleaning 50342 clauses out of 100686 with flag 33692/11983157
1933.53/1935.06	c cleaning 28666 clauses out of 57342 with flag 54748/11990155
1934.42/1935.97	c cleaning 18331 clauses out of 36676 with flag 78986/11998155
1935.32/1936.88	c cleaning 13672 clauses out of 27345 with flag 106486/12007155
1936.42/1937.93	c cleaning 11834 clauses out of 23676 with flag 135982/12017158
1937.52/1939.02	c cleaning 11413 clauses out of 22839 with flag 168945/12028155
1938.71/1940.23	c cleaning 11703 clauses out of 23427 with flag 204843/12040156
1940.11/1941.62	c cleaning 12357 clauses out of 24724 with flag 244531/12053156
1941.51/1943.04	c cleaning 13182 clauses out of 26368 with flag 286701/12067157
1943.20/1944.72	c cleaning 14086 clauses out of 28185 with flag 333052/12082156
1944.90/1946.44	c cleaning 15049 clauses out of 30105 with flag 381276/12098162
1946.69/1948.22	c cleaning 16023 clauses out of 32052 with flag 432914/12115158
1948.59/1950.12	c cleaning 17006 clauses out of 34026 with flag 485931/12133155
1950.59/1952.13	c cleaning 18000 clauses out of 36021 with flag 541144/12152156
1952.78/1954.38	c cleaning 19005 clauses out of 38024 with flag 600127/12172159
1955.17/1956.70	c cleaning 20002 clauses out of 40016 with flag 662338/12193156
1957.57/1959.19	c cleaning 20994 clauses out of 42014 with flag 729476/12215156
1960.26/1961.85	c cleaning 22002 clauses out of 44020 with flag 798570/12238156
1962.95/1964.50	c cleaning 22991 clauses out of 46017 with flag 873196/12262155
1965.84/1967.48	c cleaning 24014 clauses out of 48027 with flag 950131/12287156
1968.74/1970.32	c cleaning 24996 clauses out of 50012 with flag 1028521/12313155
1971.84/1973.49	c cleaning 26008 clauses out of 52016 with flag 1115511/12340155
1975.03/1976.67	c cleaning 27001 clauses out of 54008 with flag 1205748/12368155
1978.22/1979.86	c cleaning 27993 clauses out of 56009 with flag 1297463/12397157
1981.61/1983.23	c cleaning 29005 clauses out of 58014 with flag 1391325/12427155
1984.90/1986.57	c cleaning 30003 clauses out of 60014 with flag 1489994/12458160
1988.40/1990.09	c cleaning 30992 clauses out of 62006 with flag 1592027/12490155
1992.08/1993.76	c cleaning 32003 clauses out of 64017 with flag 1693665/12523158
1996.07/1997.78	c cleaning 32996 clauses out of 66011 with flag 1796901/12557155
2000.16/2001.85	c cleaning 34002 clauses out of 68015 with flag 1905388/12592155
2004.45/2006.18	c cleaning 34995 clauses out of 70014 with flag 2014471/12628156
2009.04/2010.73	c cleaning 36003 clauses out of 72021 with flag 2126019/12665158
2013.52/2015.24	c cleaning 37006 clauses out of 74017 with flag 2243060/12703157
2018.42/2020.12	c cleaning 38000 clauses out of 76009 with flag 2361395/12742155
2023.40/2025.15	c cleaning 38994 clauses out of 78009 with flag 2484396/12782155
2028.48/2030.21	c cleaning 39989 clauses out of 80016 with flag 2607514/12823156
2033.78/2035.57	c cleaning 41011 clauses out of 82028 with flag 2734793/12865157
2039.06/2040.88	c cleaning 42003 clauses out of 84015 with flag 2865781/12908155
2045.04/2046.83	c cleaning 43000 clauses out of 86012 with flag 3002260/12952155
2050.94/2052.74	c cleaning 43996 clauses out of 88012 with flag 3145225/12997155
2056.72/2058.57	c cleaning 44997 clauses out of 90016 with flag 3292018/13043155
2062.43/2064.27	c cleaning 46003 clauses out of 92021 with flag 3445640/13090157
2068.41/2070.20	c cleaning 47004 clauses out of 94019 with flag 3598456/13138158
2074.59/2076.43	c cleaning 48004 clauses out of 96012 with flag 3756592/13187155
2080.69/2082.59	c cleaning 49002 clauses out of 98008 with flag 3922968/13237155
2087.27/2089.11	c cleaning 49992 clauses out of 100006 with flag 4087174/13288155
2093.85/2095.78	c cleaning 51000 clauses out of 102014 with flag 4251527/13340155
2101.03/2102.97	c cleaning 52002 clauses out of 104014 with flag 4410406/13393155
2108.71/2110.66	c cleaning 52998 clauses out of 106014 with flag 4570436/13447157
2117.29/2119.26	c cleaning 54005 clauses out of 108021 with flag 4735309/13502162
2125.77/2127.78	c cleaning 55000 clauses out of 110010 with flag 4898307/13558156
2134.54/2136.51	c cleaning 55992 clauses out of 112009 with flag 5068378/13615155
2142.72/2144.79	c cleaning 56998 clauses out of 114017 with flag 5238480/13673155
2151.40/2153.43	c cleaning 58007 clauses out of 116019 with flag 5413506/13732155
2159.79/2161.87	c cleaning 58999 clauses out of 118012 with flag 5591413/13792155
2168.56/2170.60	c cleaning 60004 clauses out of 120014 with flag 5774702/13853156
2177.24/2179.30	c cleaning 60998 clauses out of 122011 with flag 5955594/13915157
2186.61/2188.78	c cleaning 62000 clauses out of 124011 with flag 6141938/13978155
2195.69/2197.84	c cleaning 63005 clauses out of 126012 with flag 6330145/14042156
2205.06/2207.23	c cleaning 63993 clauses out of 128014 with flag 6522425/14107163
2215.14/2217.31	c cleaning 64997 clauses out of 130016 with flag 6720198/14173158
2225.02/2227.29	c cleaning 66004 clauses out of 132018 with flag 6922031/14240157
2235.09/2237.30	c cleaning 66998 clauses out of 134012 with flag 7126953/14308155
2245.87/2248.11	c cleaning 68001 clauses out of 136015 with flag 7333680/14377156
2256.93/2259.26	c cleaning 69006 clauses out of 138017 with flag 7541035/14447159
2268.51/2270.81	c cleaning 70003 clauses out of 140008 with flag 7750486/14518156
2280.08/2282.49	c cleaning 70996 clauses out of 142004 with flag 7968218/14590155
2290.85/2293.28	c cleaning 71997 clauses out of 144013 with flag 8188642/14663160
2302.33/2304.71	c cleaning 73002 clauses out of 146014 with flag 8418754/14737158
2314.09/2316.59	c cleaning 73996 clauses out of 148009 with flag 8650703/14812155
2326.67/2329.20	c cleaning 75000 clauses out of 150014 with flag 8881370/14888156
2338.44/2340.99	c cleaning 76003 clauses out of 152015 with flag 9114122/14965157
2351.30/2353.84	c cleaning 76998 clauses out of 154013 with flag 9343718/15043158
2364.67/2367.25	c cleaning 78002 clauses out of 156013 with flag 9581281/15122156
2377.04/2379.62	c cleaning 78988 clauses out of 158010 with flag 9820728/15202155
2391.60/2394.22	c cleaning 80006 clauses out of 160022 with flag 10066696/15283155
2405.97/2408.65	c cleaning 81001 clauses out of 162016 with flag 10311329/15365155
2419.93/2422.61	c cleaning 82006 clauses out of 164017 with flag 10562278/15448157
2434.20/2437.00	c cleaning 83001 clauses out of 166013 with flag 10824211/15532159
2450.26/2453.04	c cleaning 83999 clauses out of 168010 with flag 11077911/15617157
2465.18/2467.90	c cleaning 84995 clauses out of 170011 with flag 11330715/15703157
2479.15/2481.95	c cleaning 86003 clauses out of 172014 with flag 11582092/15790155
2495.01/2497.85	c cleaning 87002 clauses out of 174012 with flag 11839947/15878156
2511.78/2514.66	c cleaning 87987 clauses out of 176009 with flag 12103465/15967155
2528.04/2530.93	c cleaning 89005 clauses out of 178022 with flag 12379736/16057155
2544.31/2547.24	c cleaning 90002 clauses out of 180017 with flag 12655884/16148155
2559.87/2562.87	c cleaning 91005 clauses out of 182020 with flag 12943494/16240160
2577.73/2580.74	c cleaning 92002 clauses out of 184012 with flag 13241863/16333157
2594.99/2598.03	c cleaning 92993 clauses out of 186009 with flag 13538913/16427156
2610.85/2613.92	c cleaning 94003 clauses out of 188015 with flag 13833368/16522155
2626.81/2629.92	c cleaning 94997 clauses out of 190012 with flag 14138067/16618155
2643.77/2646.93	c cleaning 96005 clauses out of 192015 with flag 14448087/16715155
2662.22/2665.46	c cleaning 97002 clauses out of 194013 with flag 14768741/16813158
2679.57/2682.85	c cleaning 97997 clauses out of 196008 with flag 15097436/16912155
2698.23/2701.59	c cleaning 98999 clauses out of 198011 with flag 15436153/17012155
2716.39/2719.70	c cleaning 100006 clauses out of 200013 with flag 15770746/17113156
2734.24/2737.60	c cleaning 100993 clauses out of 202006 with flag 16115155/17215155
2751.90/2755.30	c cleaning 102006 clauses out of 204013 with flag 16469904/17318155
2770.85/2774.33	c cleaning 102988 clauses out of 206008 with flag 16823883/17422156
2789.71/2793.24	c cleaning 103997 clauses out of 208021 with flag 17181471/17527157
2807.66/2811.14	c cleaning 105007 clauses out of 210022 with flag 17543473/17633155
2826.62/2830.16	c cleaning 106003 clauses out of 212015 with flag 17910251/17740155
2846.07/2849.65	c cleaning 107003 clauses out of 214012 with flag 18301350/17848155
2865.83/2869.46	c cleaning 108003 clauses out of 216009 with flag 18702921/17957155
2885.19/2888.80	c cleaning 108989 clauses out of 218006 with flag 19112002/18067155
2904.65/2908.34	c cleaning 110000 clauses out of 220018 with flag 19525769/18178156
2924.20/2927.96	c cleaning 110999 clauses out of 222018 with flag 19950760/18290156
2945.05/2948.82	c cleaning 111994 clauses out of 224018 with flag 20340056/18403155
2969.80/2973.68	c cleaning 113011 clauses out of 226026 with flag 20681082/18517157
2992.95/2996.82	c cleaning 114001 clauses out of 228013 with flag 21027685/18632155
3017.31/3021.28	c cleaning 114998 clauses out of 230013 with flag 21372817/18748156
3041.25/3045.25	c cleaning 115992 clauses out of 232015 with flag 21723010/18865156
3065.00/3069.09	c cleaning 117002 clauses out of 234022 with flag 22075154/18983155
3089.15/3093.20	c cleaning 118003 clauses out of 236020 with flag 22429269/19102155
3111.90/3116.01	c cleaning 119001 clauses out of 238019 with flag 22788132/19222157
3134.35/3138.58	c cleaning 119998 clauses out of 240016 with flag 23160027/19343155
3156.60/3160.84	c cleaning 121008 clauses out of 242019 with flag 23540992/19465156
3182.25/3186.51	c cleaning 121994 clauses out of 244010 with flag 23922225/19588155
3206.90/3211.23	c cleaning 123004 clauses out of 246016 with flag 24304089/19712155
3231.24/3235.69	c cleaning 123996 clauses out of 248012 with flag 24693530/19837155
3255.00/3259.48	c cleaning 125000 clauses out of 250016 with flag 25089189/19963155
3278.27/3282.68	c cleaning 125996 clauses out of 252018 with flag 25494285/20090157
3305.61/3310.08	c cleaning 127010 clauses out of 254021 with flag 25898656/20218156
3331.56/3336.02	c cleaning 128006 clauses out of 256015 with flag 26310831/20347160
3355.20/3359.78	c cleaning 128996 clauses out of 258004 with flag 26717488/20477155
3383.15/3387.77	c cleaning 130000 clauses out of 260012 with flag 27112520/20608159
3410.39/3415.03	c cleaning 130996 clauses out of 262008 with flag 27514190/20740155
3438.63/3443.30	c cleaning 132001 clauses out of 264013 with flag 27922610/20873156
3466.57/3471.33	c cleaning 133002 clauses out of 266011 with flag 28332951/21007155
3496.01/3500.87	c cleaning 133997 clauses out of 268010 with flag 28759712/21142156
3521.56/3526.45	c cleaning 134999 clauses out of 270012 with flag 29202188/21278155
3549.90/3554.81	c cleaning 136001 clauses out of 272013 with flag 29668572/21415155
3577.34/3582.36	c cleaning 137004 clauses out of 274013 with flag 30109314/21553156
3600.00/3604.91	c starts		: 3161
3600.00/3604.92	c conflicts		: 21681085
3600.00/3604.92	c decisions		: 44546791
3600.00/3604.92	c propagations		: 3195716225
3600.00/3604.92	c inspects		: 40168754154
3600.00/3604.92	c shortcuts		: 0
3600.00/3604.92	c learnt literals	: 0
3600.00/3604.92	c learnt binary clauses	: 0
3600.00/3604.92	c learnt ternary clauses	: 60
3600.00/3604.92	c learnt constraints	: 21681085
3600.00/3604.92	c ignored constraints	: 0
3600.00/3604.92	c root simplifications	: 0
3600.00/3604.92	c removed literals (reason simplification)	: 1447179
3600.00/3604.92	c reason swapping (by a shorter reason)	: 0
3600.00/3604.92	c Calls to reduceDB	: 368
3600.00/3604.92	c Number of update (reduction) of LBD	: 5624568
3600.00/3604.92	c Imported unit clauses	: 0
3600.00/3604.92	c No decision after first conflict	: false
3600.00/3604.92	c number of reductions to clauses (during analyze)	: 0
3600.00/3604.92	c number of learned constraints concerned by reduction	: 0
3600.00/3604.92	c number of learning phase by resolution	: 0
3600.00/3604.92	c number of learning phase by cutting planes	: 0
3600.00/3604.92	c number of rounding to 1 operations	: 0
3600.00/3604.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3604.92	c number of reductions of the coefficients by power 2 	: 0
3600.00/3604.92	c number of right shift for reduction by power 2 	: 0
3600.00/3604.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3604.92	c number of ending skipping 	: 0
3600.00/3604.93	c number of internal skipping 	: 0
3600.00/3604.93	c number of derivation steps 	: 0
3600.00/3604.93	c number of skipped derivation steps 	: 0
3600.00/3604.93	c number of remaining unassigned 	: 0
3600.00/3604.93	c number of remaining assigned 	: 0
3600.00/3604.93	c number of falsified literals weakened from reason	: 0
3600.00/3604.93	c number of falsified literals weakened from conflict	: 0
3600.00/3604.93	c time for arithmetic operations	: 0
3600.00/3604.93	c minimum degree of deleted constraints	: null
3600.00/3604.93	c maximum degree of deleted constraints	: null
3600.00/3604.93	c number of deleted constraints	: 0
3600.00/3604.94	c speed (assignments/second)	: 886537.5871497227
3600.00/3604.94	c non guided choices	: 0
3600.00/3604.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 264938
3600.00/3604.99	s SATISFIABLE
3600.00/3605.00	c Found 6 solution(s)
3600.00/3605.00	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
3600.00/3605.00	c objective function=11
3600.00/3605.00	c Total wall clock time (in seconds): 3604.863

Verifier Data 

OK	11

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: 63708 MiB (62578 MiB free)
  memory of node 1: 64465 MiB (53500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498242-1751273663/watcher-4498242-1751273663 -o /tmp/evaluation-result-4498242-1751273663/solver-4498242-1751273663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36242 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498242-1751273663.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=36862, runsolver pid=36859

[startup+0.100016 s]*
/proc/loadavg: 4.29 4.17 4.19 6/337 36880
/proc/meminfo: memFree=118840028/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18930384 memory=55516 CPUtime=0.12 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 6532 0 0 0 10 2 0 0 20 0 18 0 43043766 19384713216 13879 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4732596 13879 5350 1 0 547587 0
[pid=36862/tid=36864] ppid=36859 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) S 36859 36862 35566 0 -1 4194368 5033 0 0 0 6 1 0 0 20 0 18 0 43043767 19384713216 13879 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43043769 19384713216 13879 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18930384 memory=56286469452864 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43043770 19384713216 13879 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB

[startup+0.205858 s]*
/proc/loadavg: 4.29 4.17 4.19 7/337 36880
/proc/meminfo: memFree=118831396/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18930384 memory=64052 CPUtime=0.31 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 7048 0 0 0 29 2 0 0 20 0 18 0 43043766 19384713216 16013 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4732596 16013 5446 1 0 547922 0
[pid=36862/tid=36864] ppid=36859 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 5330 0 0 0 16 1 0 0 20 0 18 0 43043767 19384713216 16013 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18930384 memory=2621 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43043769 19384713216 16013 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18930384 memory=55186957796323 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43043770 19384713216 16013 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64052 KiB

[startup+0.305829 s]*
/proc/loadavg: 4.29 4.17 4.19 6/338 36881
/proc/meminfo: memFree=118825536/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18996948 memory=70328 CPUtime=0.51 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 9019 0 0 0 48 3 0 0 20 0 19 0 43043766 19452874752 17582 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4749237 17582 5446 1 0 549213 0
[pid=36862/tid=36864] ppid=36859 vsize=18996948 memory=-6000919468411348588 CPUtime=0.27 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 5420 0 0 0 26 1 0 0 20 0 19 0 43043767 19452874752 17582 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43043769 19452874752 17582 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43043770 19452874752 17582 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43043788 19452874752 17582 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70328 KiB

[startup+0.70026 s]
/proc/loadavg: 4.29 4.17 4.19 6/338 36881
/proc/meminfo: memFree=118817724/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18996948 memory=84896 CPUtime=1.26 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 12969 0 0 0 123 3 0 0 20 0 19 0 43043766 19452874752 21224 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4749237 21224 5478 1 0 552154 0
[pid=36862/tid=36864] ppid=36859 vsize=18996948 memory=17536 CPUtime=0.66 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 5427 0 0 0 65 1 0 0 20 0 19 0 43043767 19452874752 21224 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43043769 19452874752 21224 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43043770 19452874752 21224 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43043788 19452874752 21224 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84896 KiB

[startup+1.50021 s]
/proc/loadavg: 4.29 4.17 4.19 6/338 36881
/proc/meminfo: memFree=118805564/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18996948 memory=88392 CPUtime=2.48 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 15194 0 0 0 244 4 0 0 20 0 19 0 43043766 19452874752 22098 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4749237 22098 5478 1 0 552435 0
[pid=36862/tid=36864] ppid=36859 vsize=18996948 memory=10752 CPUtime=1.43 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 5548 0 0 0 142 1 0 0 20 0 19 0 43043767 19452874752 22098 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43043769 19452874752 22098 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43043770 19452874752 22098 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43043788 19452874752 22098 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88392 KiB

[startup+3.10556 s]
/proc/loadavg: 4.29 4.17 4.19 5/338 36881
/proc/meminfo: memFree=118752324/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18996948 memory=92704 CPUtime=4.27 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 17996 0 0 0 423 4 0 0 20 0 19 0 43043766 19452874752 23176 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4749237 23176 5478 1 0 552437 0
[pid=36862/tid=36864] ppid=36859 vsize=18996948 memory=10752 CPUtime=3.03 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 6091 0 0 0 302 1 0 0 20 0 19 0 43043767 19452874752 23176 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18996948 memory=-6000919468411348588 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43043769 19452874752 23176 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43043770 19452874752 23176 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43043788 19452874752 23176 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92704 KiB

[startup+6.30019 s]
/proc/loadavg: 4.27 4.17 4.18 6/338 36881
/proc/meminfo: memFree=118686284/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18996948 memory=99248 CPUtime=7.5 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 18266 0 0 0 746 4 0 0 20 0 19 0 43043766 19452874752 24812 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4749237 24812 5478 1 0 552437 0
[pid=36862/tid=36864] ppid=36859 vsize=18996948 memory=0 CPUtime=6.23 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 6153 0 0 0 621 2 0 0 20 0 19 0 43043767 19452874752 24812 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43043769 19452874752 24812 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43043770 19452874752 24812 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=18996948 memory=90528 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43043788 19452874752 24812 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99248 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.18 5/338 36881
/proc/meminfo: memFree=118429060/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18996948 memory=115760 CPUtime=14.01 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 25123 0 0 0 1395 6 0 0 20 0 19 0 43043766 19452874752 28940 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4749237 28940 5478 1 0 552437 0
[pid=36862/tid=36864] ppid=36859 vsize=18996948 memory=90528 CPUtime=12.61 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 7264 0 0 0 1259 2 0 0 20 0 19 0 43043767 19452874752 28940 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43043769 19452874752 28940 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18996948 memory=111664 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43043770 19452874752 28940 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43043788 19452874752 28940 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 14.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115760 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.16 4.18 5/338 36882
/proc/meminfo: memFree=118129572/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=18996948 memory=144560 CPUtime=26.83 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 27574 0 0 0 2676 7 0 0 20 0 19 0 43043766 19452874752 36140 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4749237 36140 5510 1 0 552437 0
[pid=36862/tid=36864] ppid=36859 vsize=18996948 memory=10752 CPUtime=25.38 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 7670 0 0 0 2535 3 0 0 20 0 19 0 43043767 19452874752 36140 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=18996948 memory=111664 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43043769 19452874752 36140 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=18996948 memory=4252 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43043770 19452874752 36140 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43043788 19452874752 36140 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 26.83 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144560 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.14 4.17 5/339 36883
/proc/meminfo: memFree=117727920/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=179940 CPUtime=52.41 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 28992 0 0 0 5232 9 0 0 20 0 20 0 43043766 19521036288 44985 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 44985 5542 1 0 552726 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=179940 CPUtime=50.9 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 7753 0 0 0 5087 3 0 0 20 0 20 0 43043767 19521036288 44985 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=179940 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=124997836/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3277.97 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 72402 0 0 0 327671 126 0 0 20 0 20 0 43043766 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 513440 5574 1 0 556185 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=2760 CPUtime=3271.94 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 28197 0 0 0 327178 16 0 0 20 0 20 0 43043767 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43043769 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19063512 memory=7438895033846111764 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1123 0 0 0 0 0 0 0 20 0 20 0 43043770 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=19063512 memory=2020960 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43043788 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3277.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053760 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/341 37202
/proc/meminfo: memFree=124981092/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3337.84 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 73034 0 0 0 333657 127 0 0 20 0 20 0 43043766 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 513440 5574 1 0 556185 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3331.79 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 28635 0 0 0 333163 16 0 0 20 0 20 0 43043767 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43043769 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1238 0 0 0 0 0 0 0 20 0 20 0 43043770 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43043788 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3337.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/341 37205
/proc/meminfo: memFree=124951672/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3397.71 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 73817 0 0 0 339643 128 0 0 20 0 20 0 43043766 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 513440 5574 1 0 556185 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=4252 CPUtime=3391.64 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 29210 0 0 0 339148 16 0 0 20 0 20 0 43043767 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43043769 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1354 0 0 0 0 0 0 0 20 0 20 0 43043770 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43043788 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3397.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/339 37207
/proc/meminfo: memFree=124902520/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3457.59 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 74052 0 0 0 345629 130 0 0 20 0 20 0 43043766 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 513440 5574 1 0 556185 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=4252 CPUtime=3451.49 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 29438 0 0 0 345133 16 0 0 20 0 20 0 43043767 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43043769 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1354 0 0 0 0 0 0 0 20 0 20 0 43043770 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43043788 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3457.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/339 37210
/proc/meminfo: memFree=124856608/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3517.46 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 74149 0 0 0 351615 131 0 0 20 0 20 0 43043766 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 513440 5574 1 0 556185 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3511.34 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 29530 0 0 0 351118 16 0 0 20 0 20 0 43043767 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43043769 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1354 0 0 0 0 0 0 0 20 0 20 0 43043770 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43043788 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3517.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.13 4.14 5/339 37279
/proc/meminfo: memFree=126765452/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3577.34 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 74576 0 0 0 357602 132 0 0 20 0 20 0 43043766 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 513440 5574 1 0 556185 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=4764 CPUtime=3571.19 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 29953 0 0 0 357103 16 0 0 20 0 20 0 43043767 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43043769 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1354 0 0 0 0 0 0 0 20 0 20 0 43043770 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43043788 19521036288 513440 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3577.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.9 s]
/proc/loadavg: 4.24 4.14 4.14 5/339 37279
/proc/meminfo: memFree=125523440/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19063512 memory=2055852 CPUtime=3600 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 75960 0 0 0 359867 133 0 0 20 0 20 0 43043766 19521036288 513963 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4765878 513963 5574 1 0 556185 0
[pid=36862/tid=36864] ppid=36859 vsize=19063512 memory=2053760 CPUtime=3593.63 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) R 36859 36862 35566 0 -1 4194368 30285 0 0 0 359347 16 0 0 20 0 20 0 43043767 19521036288 513963 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43043769 19521036288 513963 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1354 0 0 0 0 0 0 0 20 0 20 0 43043770 19521036288 513963 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36881] ppid=36859 vsize=19063512 memory=2053760 CPUtime=0 cores=0,2
/proc/36862/task/36881/stat : 36881 (Timer-0) S 36859 36862 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43043788 19521036288 513963 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2055852 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.87 s, system=1.34811 s

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

[startup+3605 s]*
/proc/loadavg: 4.22 4.13 4.14 4/335 37282
/proc/meminfo: memFree=125523692/131249996 swapFree=33010684/33010684
[pid=36862] ppid=36859 vsize=19263204 memory=2056748 CPUtime=3600.2 cores=0,2
/proc/36862/stat : 36862 (java) S 36859 36862 35566 0 -1 4194304 78396 0 0 0 359887 133 0 0 20 0 16 0 43043766 19725520896 514187 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
/proc/36862/statm: 4815801 514187 5574 1 0 557139 0
[pid=36862/tid=36864] ppid=36859 vsize=19263204 memory=-6000919485591610732 CPUtime=3593.71 cores=0,2
/proc/36862/task/36864/stat : 36864 (java) S 36859 36862 35566 0 -1 4194368 30392 0 0 0 359354 17 0 0 20 0 16 0 43043767 19725520896 514187 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36873] ppid=36859 vsize=19263204 memory=5252 CPUtime=0 cores=0,2
/proc/36862/task/36873/stat : 36873 (Finalizer) S 36859 36862 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 43043769 19725520896 514187 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=36880] ppid=36859 vsize=19263204 memory=6768 CPUtime=0 cores=0,2
/proc/36862/task/36880/stat : 36880 (Common-Cleaner) S 36859 36862 35566 0 -1 4194368 1354 0 0 0 0 0 0 0 20 0 16 0 43043770 19725520896 514187 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
[pid=36862/tid=37282] ppid=36859 vsize=19263204 memory=2055852 CPUtime=0.07 cores=0,2
/proc/36862/task/37282/stat : 37282 (Thread-0) S 36859 36862 35566 0 -1 4194368 531 0 0 0 7 0 0 0 20 0 16 0 43404257 19725520896 514187 18446744073709551615 94628168843264 94628168846960 140723544025568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94628168854776 94628168855568 94628179025920 140723544033665 140723544033766 140723544033766 140723544039368 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2056748 KiB

Child status: 143

Real time (s): 3605.02
CPU time (s): 3600.22
CPU user time (s): 3598.87
CPU system time (s): 1.34811
CPU usage (%): 99.8667
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2056748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.34811
maximum resident set size= 2056876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103171
involuntary context switches= 5792


# summary of solver processes directly reported to runsolver:
#   pid: 36862
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.87
#   total CPU system time (s): 1.34811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52521 second user time and 17.2206 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 10:54:23
IDJOB=4498242
IDBENCH=148580
IDSOLVER=3363
FILE ID=nodeC015/4498242-1751273663
RUNJOBID= nodeC015-1751270066-36242
SLURM_JOB_ID= 9594182
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498242-1751273663/watcher-4498242-1751273663 -o /tmp/evaluation-result-4498242-1751273663/solver-4498242-1751273663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36242 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498242-1751273663.opb

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

MD5SUM BENCH= 6ddedb73bef771d6a1c994e2b60000f2
RANDOM SEED=1813967683

nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3598.714
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3599.593
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.059
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3595.972
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.082
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.070
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3559.756
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3611.184
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        118864916 kB
MemAvailable:   118827252 kB
Buffers:            3280 kB
Cached:           769952 kB
SwapCached:            0 kB
Active:         11297292 kB
Inactive:         513412 kB
Active(anon):   11055548 kB
Inactive(anon):        0 kB
Active(file):     241744 kB
Inactive(file):   513412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2120 kB
Writeback:             0 kB
AnonPages:      11040616 kB
Mapped:           123148 kB
Shmem:             18076 kB
KReclaimable:      92836 kB
Slab:             180408 kB
SReclaimable:      92836 kB
SUnreclaim:        87572 kB
KernelStack:        5116 kB
PageTables:        25332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14313100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10745856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC015 at 2025-06-30 11:54:28