Trace number 4498476

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)-14 3600.37 3598.96

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.opb
MD5SUM89e3d0aab3ab52c85bb3615ba7a3ebb4
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

Quality of the solution as a function of time


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

Solver Data 

0.22/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.22/0.23	c This is free software under the dual EPL/GNU LGPL licenses.
0.22/0.23	c See www.sat4j.org for details.
0.22/0.24	c version PB25.v20250606
0.22/0.27	c java.runtime.name	OpenJDK Runtime Environment
0.22/0.27	c java.vm.name		OpenJDK 64-Bit Server VM
0.22/0.27	c java.vm.version	22.0.1+8-16
0.22/0.27	c java.vm.vendor	Oracle Corporation
0.22/0.27	c sun.arch.data.model	64
0.22/0.27	c java.version		22.0.1
0.22/0.27	c os.name		Linux
0.22/0.27	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.22/0.27	c os.arch		amd64
0.22/0.28	c Free memory 		2104792832
0.22/0.28	c Max memory 		16282288128
0.22/0.28	c Total memory 		2113929216
0.22/0.29	c Number of processors 	2
0.37/0.38	c Pseudo Boolean Optimization by upper bound
0.37/0.38	c --- Begin Solver configuration ---
0.37/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.37/0.38	c Learn all clauses as in MiniSAT
0.37/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.37/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.37/0.38	c Expensive reason simplification
0.37/0.38	c Glucose 2.1 dynamic restart strategy
0.37/0.38	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.37/0.38	c timeout=2147483s
0.37/0.38	c DB Simplification allowed=false
0.37/0.38	c Listener: none
0.37/0.38	c --- End Solver configuration ---
0.37/0.39	c solving HOME/instance-4498476-1751396662.opb
0.37/0.39	c reading problem ... 
0.37/0.39	c  objective function found
0.90/0.67	c ... done. Wall clock time 0.269s.
0.90/0.67	c declared #vars     200
0.90/0.67	c internal #vars     3270
0.90/0.67	c #constraints  6442
0.90/0.67	c constraints type 
0.90/0.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.90/0.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202
0.90/0.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3070
0.90/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3070
0.90/0.68	c 6442 constraints processed.
1.06/0.71	c objective function length is 100 literals
1.46/1.00	c SATISFIABLE
1.46/1.00	c OPTIMIZING...
1.66/1.01	c Got one! Elapsed wall clock time (in seconds):0.609
1.66/1.01	o -8
2.04/1.22	c Got one! Elapsed wall clock time (in seconds):0.835
2.04/1.22	o -9
2.63/1.56	c Got one! Elapsed wall clock time (in seconds):1.17
2.63/1.56	o -10
3.83/2.22	c cleaning 3061 clauses out of 6121 with flag 13742/6121
4.76/3.05	c cleaning 4534 clauses out of 9069 with flag 34475/12130
5.40/3.69	c cleaning 5767 clauses out of 11533 with flag 58443/19128
6.34/4.33	c cleaning 6876 clauses out of 13758 with flag 83577/27120
6.44/4.49	c Got one! Elapsed wall clock time (in seconds):4.106
6.44/4.49	o -11
6.92/4.72	c cleaning 6369 clauses out of 12743 with flag 11728/32981
7.41/5.20	c cleaning 6185 clauses out of 12374 with flag 32756/38981
7.81/5.69	c cleaning 6580 clauses out of 13184 with flag 55942/45976
8.52/6.34	c cleaning 7301 clauses out of 14604 with flag 84762/53976
9.26/7.03	c cleaning 8145 clauses out of 16304 with flag 116814/62977
9.93/7.78	c cleaning 9078 clauses out of 18160 with flag 152258/72978
10.73/8.54	c cleaning 10026 clauses out of 20082 with flag 197482/83978
11.66/9.46	c cleaning 11029 clauses out of 22057 with flag 251279/95979
12.65/10.42	c cleaning 12002 clauses out of 24025 with flag 318650/108976
13.55/11.32	c cleaning 13012 clauses out of 26024 with flag 379278/122977
14.70/12.37	c cleaning 13994 clauses out of 28011 with flag 447170/137976
16.01/13.54	c cleaning 14997 clauses out of 30023 with flag 514715/153982
17.20/14.76	c cleaning 16011 clauses out of 32022 with flag 596964/170978
18.52/16.06	c cleaning 17003 clauses out of 34010 with flag 666949/188977
20.31/17.89	c cleaning 18004 clauses out of 36007 with flag 737223/207977
22.10/19.62	c cleaning 19000 clauses out of 38002 with flag 817438/227976
23.70/21.28	c cleaning 19975 clauses out of 40002 with flag 890041/248976
25.70/23.24	c cleaning 21013 clauses out of 42028 with flag 980839/270977
27.61/25.15	c cleaning 21982 clauses out of 44014 with flag 1068844/293976
29.99/27.50	c cleaning 23016 clauses out of 46033 with flag 1159721/317977
32.50/30.07	c cleaning 24009 clauses out of 48018 with flag 1248522/342978
35.05/32.51	c cleaning 24993 clauses out of 50007 with flag 1357248/368976
37.39/34.87	c cleaning 25970 clauses out of 52014 with flag 1475069/395976
39.89/37.39	c cleaning 27003 clauses out of 54045 with flag 1595827/423977
44.36/41.80	c cleaning 28018 clauses out of 56041 with flag 1775143/452976
47.06/44.56	c cleaning 29010 clauses out of 58024 with flag 1936727/482977
49.96/47.40	c cleaning 30006 clauses out of 60014 with flag 2090849/513977
53.15/50.64	c cleaning 31004 clauses out of 62009 with flag 2255185/545978
56.35/53.82	c cleaning 31987 clauses out of 64003 with flag 2417048/578976
59.35/56.85	c cleaning 33006 clauses out of 66020 with flag 2566763/612980
62.14/59.63	c cleaning 34004 clauses out of 68015 with flag 2725074/647981
65.04/62.59	c cleaning 34987 clauses out of 70006 with flag 2900218/683976
68.43/65.95	c cleaning 36010 clauses out of 72021 with flag 3078803/720978
71.82/69.32	c cleaning 36998 clauses out of 74009 with flag 3251634/758976
76.33/73.86	c cleaning 38002 clauses out of 76012 with flag 3436635/797977
80.32/77.80	c cleaning 38997 clauses out of 78011 with flag 3615706/837978
84.62/82.11	c cleaning 40005 clauses out of 80012 with flag 3795698/878976
88.51/86.09	c cleaning 40998 clauses out of 82007 with flag 4010862/920976
92.39/90.00	c cleaning 42003 clauses out of 84009 with flag 4210443/963976
96.18/93.79	c cleaning 43004 clauses out of 86008 with flag 4397189/1007978
99.98/97.57	c cleaning 43981 clauses out of 88002 with flag 4598643/1052976
104.48/102.10	c cleaning 44983 clauses out of 90021 with flag 4799777/1098976
109.06/106.60	c cleaning 46010 clauses out of 92039 with flag 4998054/1145977
113.56/111.19	c cleaning 47003 clauses out of 94028 with flag 5211748/1193976
118.24/115.88	c cleaning 48001 clauses out of 96028 with flag 5412085/1242979
121.33/118.99	c Got one! Elapsed wall clock time (in seconds):118.607
121.33/118.99	o -12
122.25/119.84	c cleaning 47021 clauses out of 94041 with flag 19383/1288993
122.65/120.27	c cleaning 26505 clauses out of 53020 with flag 38337/1294993
123.40/120.76	c cleaning 16751 clauses out of 33516 with flag 65922/1301994
123.91/121.20	c cleaning 12371 clauses out of 24763 with flag 93311/1309992
124.31/121.65	c cleaning 10692 clauses out of 21395 with flag 127292/1318995
124.82/122.17	c cleaning 10345 clauses out of 20701 with flag 169051/1328993
125.61/122.95	c cleaning 10669 clauses out of 21356 with flag 216366/1339993
126.40/123.71	c cleaning 11332 clauses out of 22688 with flag 265621/1351994
127.10/124.45	c cleaning 12175 clauses out of 24356 with flag 316960/1364994
127.90/125.29	c cleaning 13086 clauses out of 26179 with flag 375357/1378992
128.81/126.18	c cleaning 14044 clauses out of 28093 with flag 437996/1393992
130.30/127.62	c cleaning 15022 clauses out of 30049 with flag 494274/1409992
131.71/129.05	c cleaning 16006 clauses out of 32027 with flag 564670/1426992
132.81/130.13	c cleaning 17009 clauses out of 34021 with flag 648986/1444992
133.99/131.33	c cleaning 18003 clauses out of 36015 with flag 736105/1463995
135.39/132.74	c cleaning 19003 clauses out of 38010 with flag 817573/1483993
136.80/134.20	c cleaning 20002 clauses out of 40008 with flag 910695/1504994
138.28/135.62	c cleaning 20999 clauses out of 42008 with flag 1002014/1526996
139.79/137.18	c cleaning 21995 clauses out of 44005 with flag 1088857/1549992
141.58/138.93	c cleaning 22999 clauses out of 46011 with flag 1178492/1573993
143.28/140.68	c cleaning 23968 clauses out of 48012 with flag 1293724/1598993
145.37/142.74	c cleaning 25018 clauses out of 50052 with flag 1412163/1625001
147.57/145.00	c cleaning 26003 clauses out of 52027 with flag 1528946/1651994
149.96/147.34	c cleaning 26990 clauses out of 54022 with flag 1641503/1679992
152.36/149.76	c cleaning 28015 clauses out of 56036 with flag 1760397/1708996
154.95/152.35	c cleaning 29008 clauses out of 58018 with flag 1877505/1738993
158.22/155.67	c cleaning 30005 clauses out of 60011 with flag 2022956/1769994
160.79/158.26	c cleaning 30999 clauses out of 62005 with flag 2157015/1801993
163.37/160.83	c cleaning 31995 clauses out of 64005 with flag 2284049/1834992
165.85/163.32	c cleaning 33004 clauses out of 66011 with flag 2430562/1868993
168.83/166.33	c cleaning 33992 clauses out of 68006 with flag 2585383/1903992
171.90/169.49	c cleaning 35005 clauses out of 70014 with flag 2748041/1939992
176.17/173.79	c cleaning 36004 clauses out of 72009 with flag 2921806/1976992
179.28/176.85	c cleaning 36999 clauses out of 74005 with flag 3107409/2014992
182.48/180.03	c cleaning 37993 clauses out of 76008 with flag 3282991/2053994
185.96/183.56	c cleaning 39007 clauses out of 78014 with flag 3460612/2093993
189.47/187.02	c cleaning 39998 clauses out of 80006 with flag 3654516/2134992
193.15/190.75	c cleaning 40991 clauses out of 82009 with flag 3857434/2176993
196.86/194.43	c cleaning 42005 clauses out of 84017 with flag 4070320/2219992
200.85/198.41	c cleaning 42997 clauses out of 86012 with flag 4275999/2263992
205.04/202.62	c cleaning 44007 clauses out of 88018 with flag 4507323/2308995
209.23/206.83	c cleaning 44996 clauses out of 90008 with flag 4702953/2354992
213.63/211.24	c cleaning 46006 clauses out of 92012 with flag 4909983/2401992
217.62/215.20	c cleaning 46997 clauses out of 94008 with flag 5125951/2449994
221.61/219.24	c cleaning 48004 clauses out of 96009 with flag 5350848/2498992
226.52/224.13	c cleaning 48989 clauses out of 98006 with flag 5558232/2548993
231.01/228.64	c cleaning 50008 clauses out of 100016 with flag 5772035/2599992
236.50/234.13	c cleaning 50999 clauses out of 102009 with flag 6012692/2651993
241.50/239.13	c cleaning 51996 clauses out of 104011 with flag 6247096/2704994
246.28/243.97	c cleaning 53004 clauses out of 106014 with flag 6493746/2758993
251.88/249.50	c cleaning 53992 clauses out of 108009 with flag 6762835/2813992
257.17/254.80	c cleaning 54985 clauses out of 110017 with flag 7025869/2869992
262.76/260.48	c cleaning 56012 clauses out of 112032 with flag 7267642/2926992
268.36/266.06	c cleaning 56993 clauses out of 114020 with flag 7513370/2984992
273.74/271.49	c cleaning 58007 clauses out of 116027 with flag 7764274/3043992
280.23/277.98	c cleaning 59003 clauses out of 118020 with flag 8014561/3103992
286.43/284.14	c cleaning 59998 clauses out of 120017 with flag 8264932/3164992
293.33/291.07	c cleaning 61004 clauses out of 122019 with flag 8531852/3226992
300.00/297.74	c cleaning 62004 clauses out of 124016 with flag 8813908/3289993
306.18/303.98	c cleaning 62993 clauses out of 126013 with flag 9100273/3353994
312.57/310.35	c cleaning 64000 clauses out of 128020 with flag 9386782/3418994
319.27/317.07	c cleaning 64998 clauses out of 130018 with flag 9693843/3484992
326.05/323.85	c cleaning 66003 clauses out of 132020 with flag 10007713/3551992
333.83/331.60	c cleaning 67010 clauses out of 134020 with flag 10324404/3619995
340.87/338.69	c cleaning 67997 clauses out of 136008 with flag 10636851/3688993
348.05/345.80	c cleaning 68995 clauses out of 138011 with flag 10956869/3758993
355.05/352.88	c cleaning 69994 clauses out of 140015 with flag 11253506/3829992
362.83/360.68	c cleaning 70997 clauses out of 142021 with flag 11578620/3901992
370.62/368.43	c cleaning 72007 clauses out of 144024 with flag 11901565/3974992
378.00/375.86	c cleaning 72993 clauses out of 146017 with flag 12232076/4048992
386.11/383.95	c cleaning 74006 clauses out of 148024 with flag 12608137/4123992
393.99/391.88	c cleaning 74999 clauses out of 150020 with flag 12931600/4199994
403.56/401.41	c cleaning 76002 clauses out of 152021 with flag 13276340/4276994
414.60/412.09	c cleaning 77002 clauses out of 154019 with flag 13627050/4354994
424.17/421.66	c cleaning 77998 clauses out of 156016 with flag 13996313/4433993
424.77/422.29	c Got one! Elapsed wall clock time (in seconds):421.904
424.77/422.29	o -13
425.37/422.81	c cleaning 46734 clauses out of 93487 with flag 20522/4449462
425.68/423.15	c cleaning 26365 clauses out of 52756 with flag 42165/4455465
426.07/423.50	c cleaning 16675 clauses out of 33389 with flag 68935/4462463
426.37/423.86	c cleaning 12324 clauses out of 24713 with flag 96315/4470462
426.87/424.30	c cleaning 10674 clauses out of 21389 with flag 127099/4479462
427.47/424.93	c cleaning 10341 clauses out of 20715 with flag 168786/4489462
428.06/425.58	c cleaning 10686 clauses out of 21376 with flag 214611/4500464
428.86/426.30	c cleaning 11345 clauses out of 22689 with flag 262233/4512463
429.67/427.12	c cleaning 12171 clauses out of 24343 with flag 321353/4525462
430.46/427.98	c cleaning 13086 clauses out of 26173 with flag 379713/4539463
431.46/428.91	c cleaning 14042 clauses out of 28086 with flag 436210/4554462
432.78/430.27	c cleaning 15016 clauses out of 30044 with flag 503176/4570462
433.98/431.43	c cleaning 15993 clauses out of 32028 with flag 576858/4587462
435.08/432.55	c cleaning 17014 clauses out of 34035 with flag 656096/4605462
436.37/433.83	c cleaning 18009 clauses out of 36023 with flag 735701/4624464
437.68/435.15	c cleaning 19001 clauses out of 38012 with flag 819756/4644462
439.07/436.52	c cleaning 20006 clauses out of 40011 with flag 917993/4665462
440.69/438.19	c cleaning 20999 clauses out of 42005 with flag 1017884/4687462
442.27/439.76	c cleaning 21986 clauses out of 44006 with flag 1117872/4710462
444.07/441.50	c cleaning 23006 clauses out of 46022 with flag 1231313/4734464
445.86/443.31	c cleaning 23991 clauses out of 48014 with flag 1345723/4759462
447.76/445.22	c cleaning 25010 clauses out of 50023 with flag 1468527/4785462
449.75/447.20	c cleaning 25996 clauses out of 52013 with flag 1609614/4812462
451.69/449.15	c cleaning 27009 clauses out of 54019 with flag 1731917/4840464
454.17/451.63	c cleaning 27995 clauses out of 56008 with flag 1867199/4869462
456.36/453.89	c cleaning 29005 clauses out of 58013 with flag 2005961/4899462
458.57/456.03	c cleaning 30001 clauses out of 60009 with flag 2137894/4930463
460.95/458.41	c cleaning 31006 clauses out of 62011 with flag 2291924/4962466
463.74/461.21	c cleaning 31996 clauses out of 64002 with flag 2462341/4995463
466.33/463.87	c cleaning 33003 clauses out of 66007 with flag 2606167/5029464
469.13/466.60	c cleaning 33987 clauses out of 68004 with flag 2759414/5064464
471.82/469.38	c cleaning 35003 clauses out of 70015 with flag 2902843/5100462
474.71/472.26	c cleaning 36003 clauses out of 72013 with flag 3062005/5137463
478.11/475.69	c cleaning 36996 clauses out of 74010 with flag 3238543/5175463
481.40/478.91	c cleaning 38005 clauses out of 76013 with flag 3395656/5214462
484.89/482.46	c cleaning 38996 clauses out of 78008 with flag 3562955/5254462
488.38/486.00	c cleaning 40001 clauses out of 80014 with flag 3749565/5295464
492.18/489.73	c cleaning 40995 clauses out of 82011 with flag 3938224/5337462
495.76/493.32	c cleaning 42007 clauses out of 84017 with flag 4122319/5380463
499.35/496.97	c cleaning 43000 clauses out of 86010 with flag 4314139/5424463
499.85/497.49	c Got one! Elapsed wall clock time (in seconds):497.096
499.85/497.49	o -14
500.26/497.85	c cleaning 27972 clauses out of 55943 with flag 18787/5437396
500.57/498.17	c cleaning 16973 clauses out of 33971 with flag 40954/5443396
500.96/498.57	c cleaning 11969 clauses out of 23998 with flag 73344/5450396
501.36/499.00	c cleaning 9999 clauses out of 20029 with flag 107197/5458396
501.96/499.52	c cleaning 9506 clauses out of 19033 with flag 141766/5467399
502.47/500.07	c cleaning 9753 clauses out of 19525 with flag 179947/5477397
503.06/500.65	c cleaning 10384 clauses out of 20771 with flag 218363/5488396
503.75/501.37	c cleaning 11185 clauses out of 22388 with flag 268522/5500397
504.46/502.11	c cleaning 12091 clauses out of 24205 with flag 317943/5513399
505.35/502.97	c cleaning 13051 clauses out of 26111 with flag 377585/5527396
506.25/503.90	c cleaning 14031 clauses out of 28061 with flag 431636/5542397
507.35/504.91	c cleaning 15013 clauses out of 30029 with flag 492755/5558396
508.25/505.86	c cleaning 15998 clauses out of 32016 with flag 556461/5575396
509.46/507.04	c cleaning 16999 clauses out of 34020 with flag 646058/5593398
510.64/508.24	c cleaning 18007 clauses out of 36020 with flag 746035/5612397
511.84/509.44	c cleaning 18996 clauses out of 38013 with flag 828389/5632397
513.13/510.78	c cleaning 20006 clauses out of 40016 with flag 921198/5653396
514.74/512.31	c cleaning 20977 clauses out of 42010 with flag 1002830/5675396
516.33/513.98	c cleaning 21973 clauses out of 44036 with flag 1115806/5698399
518.13/515.70	c cleaning 23017 clauses out of 46060 with flag 1229832/5722396
519.82/517.45	c cleaning 24020 clauses out of 48046 with flag 1344353/5747399
521.92/519.57	c cleaning 25002 clauses out of 50023 with flag 1462659/5773396
523.72/521.30	c cleaning 26008 clauses out of 52022 with flag 1585481/5800397
525.61/523.25	c cleaning 26976 clauses out of 54013 with flag 1717854/5828396
527.52/525.18	c cleaning 28012 clauses out of 56039 with flag 1841405/5857398
529.71/527.32	c cleaning 28965 clauses out of 58025 with flag 1979634/5887396
531.90/529.51	c cleaning 30021 clauses out of 60060 with flag 2116552/5918396
534.10/531.72	c cleaning 31004 clauses out of 62039 with flag 2250038/5950396
536.60/534.24	c cleaning 32012 clauses out of 64036 with flag 2385442/5983397
538.99/536.65	c cleaning 32997 clauses out of 66023 with flag 2542089/6017396
541.59/539.27	c cleaning 34010 clauses out of 68027 with flag 2699844/6052397
544.39/542.08	c cleaning 35002 clauses out of 70017 with flag 2859925/6088397
547.27/544.95	c cleaning 35991 clauses out of 72014 with flag 3031257/6125396
550.16/547.89	c cleaning 37008 clauses out of 74023 with flag 3196210/6163396
553.56/551.23	c cleaning 37985 clauses out of 76015 with flag 3386344/6202396
557.15/554.88	c cleaning 38999 clauses out of 78030 with flag 3578832/6242396
560.84/558.57	c cleaning 40003 clauses out of 80032 with flag 3761140/6283397
564.23/561.93	c cleaning 41015 clauses out of 82031 with flag 3936829/6325399
567.82/565.52	c cleaning 41995 clauses out of 84013 with flag 4125418/6368396
571.11/568.84	c cleaning 43002 clauses out of 86018 with flag 4315624/6412396
574.81/572.59	c cleaning 43995 clauses out of 88016 with flag 4539600/6457396
578.79/576.58	c cleaning 45003 clauses out of 90021 with flag 4749928/6503396
582.59/580.37	c cleaning 46003 clauses out of 92018 with flag 4953536/6550396
587.07/584.89	c cleaning 46994 clauses out of 94015 with flag 5164723/6598396
591.77/589.52	c cleaning 48010 clauses out of 96023 with flag 5376717/6647398
595.66/593.47	c cleaning 48993 clauses out of 98011 with flag 5592143/6697396
599.94/597.74	c cleaning 50001 clauses out of 100019 with flag 5820319/6748397
604.74/602.52	c cleaning 51008 clauses out of 102018 with flag 6056412/6800397
609.72/607.55	c cleaning 52000 clauses out of 104009 with flag 6302053/6853396
614.81/612.60	c cleaning 52998 clauses out of 106011 with flag 6550157/6907398
621.80/619.52	c cleaning 53999 clauses out of 108012 with flag 6796313/6962397
627.60/625.34	c cleaning 54993 clauses out of 110012 with flag 7049529/7018396
633.09/630.81	c cleaning 56005 clauses out of 112019 with flag 7287717/7075396
639.68/637.40	c cleaning 57001 clauses out of 114015 with flag 7552627/7133397
646.06/643.82	c cleaning 58002 clauses out of 116013 with flag 7800869/7192396
651.27/649.11	c cleaning 59003 clauses out of 118011 with flag 8051261/7252396
657.26/655.08	c cleaning 60000 clauses out of 120008 with flag 8289865/7313396
662.76/660.45	c cleaning 60996 clauses out of 122008 with flag 8543759/7375396
668.14/665.89	c cleaning 61999 clauses out of 124012 with flag 8810186/7438396
674.24/671.98	c cleaning 63004 clauses out of 126013 with flag 9081230/7502396
680.53/678.27	c cleaning 64000 clauses out of 128009 with flag 9350500/7567396
686.72/684.40	c cleaning 65006 clauses out of 130011 with flag 9627688/7633398
692.51/690.21	c cleaning 66000 clauses out of 132006 with flag 9900234/7700399
699.19/696.92	c cleaning 66993 clauses out of 134003 with flag 10205743/7768396
706.06/703.75	c cleaning 68000 clauses out of 136011 with flag 10492608/7837397
712.46/710.19	c cleaning 68997 clauses out of 138010 with flag 10808759/7907396
719.83/717.59	c cleaning 70000 clauses out of 140013 with flag 11141179/7978396
727.61/725.38	c cleaning 71006 clauses out of 142014 with flag 11472019/8050397
734.59/732.37	c cleaning 72004 clauses out of 144007 with flag 11795443/8123396
742.47/740.28	c cleaning 72996 clauses out of 146003 with flag 12133315/8197396
751.55/749.34	c cleaning 74000 clauses out of 148009 with flag 12455093/8272398
759.13/756.99	c cleaning 74933 clauses out of 150007 with flag 12784835/8348396
769.22/767.08	c cleaning 76030 clauses out of 152074 with flag 13107359/8425396
777.16/774.91	c cleaning 76976 clauses out of 154044 with flag 13428959/8503396
784.85/782.61	c cleaning 78022 clauses out of 156069 with flag 13767168/8582397
792.63/790.46	c cleaning 79016 clauses out of 158046 with flag 14099077/8662396
801.49/799.23	c cleaning 80010 clauses out of 160030 with flag 14462300/8743396
809.39/807.19	c cleaning 81005 clauses out of 162022 with flag 14829202/8825398
817.66/815.47	c cleaning 81996 clauses out of 164017 with flag 15197684/8908398
826.05/823.86	c cleaning 82987 clauses out of 166019 with flag 15571740/8992396
835.72/833.56	c cleaning 84019 clauses out of 168038 with flag 15938103/9077402
845.05/842.81	c cleaning 84990 clauses out of 170013 with flag 16316130/9163396
853.74/851.59	c cleaning 86005 clauses out of 172024 with flag 16687433/9250397
863.02/860.86	c cleaning 87005 clauses out of 174020 with flag 17085949/9338398
872.11/869.90	c cleaning 88005 clauses out of 176014 with flag 17479946/9427397
882.30/880.12	c cleaning 88991 clauses out of 178009 with flag 17905277/9517397
893.22/891.07	c cleaning 89997 clauses out of 180017 with flag 18302411/9608396
903.21/901.09	c cleaning 91005 clauses out of 182020 with flag 18691094/9700396
912.98/910.83	c cleaning 92000 clauses out of 184016 with flag 19050721/9793397
922.86/920.75	c cleaning 92994 clauses out of 186015 with flag 19427812/9887396
934.84/932.69	c cleaning 94007 clauses out of 188024 with flag 19827628/9982399
946.33/944.14	c cleaning 94992 clauses out of 190014 with flag 20233535/10078396
957.80/955.62	c cleaning 95998 clauses out of 192022 with flag 20669434/10175396
968.29/966.19	c cleaning 97005 clauses out of 194024 with flag 21104153/10273396
980.20/978.11	c cleaning 97994 clauses out of 196019 with flag 21519078/10372396
991.77/989.67	c cleaning 99008 clauses out of 198026 with flag 21965634/10472397
1003.74/1001.67	c cleaning 100004 clauses out of 200022 with flag 22375201/10573401
1020.02/1018.01	c cleaning 100997 clauses out of 202016 with flag 22766322/10675399
1035.17/1032.70	c cleaning 102009 clauses out of 204020 with flag 23136334/10778400
1047.04/1044.61	c cleaning 102994 clauses out of 206007 with flag 23539933/10882396
1060.62/1058.28	c cleaning 104003 clauses out of 208013 with flag 23994911/10987396
1072.40/1070.06	c cleaning 104981 clauses out of 210010 with flag 24402516/11093396
1086.77/1084.59	c cleaning 106007 clauses out of 212030 with flag 24810986/11200397
1098.85/1096.61	c cleaning 107002 clauses out of 214023 with flag 25219428/11308397
1111.83/1109.67	c cleaning 108006 clauses out of 216021 with flag 25671523/11417397
1125.32/1123.17	c cleaning 109000 clauses out of 218014 with flag 26106375/11527396
1138.77/1136.60	c cleaning 109997 clauses out of 220015 with flag 26572623/11638397
1152.63/1150.57	c cleaning 111003 clauses out of 222018 with flag 27007168/11750397
1165.44/1163.23	c cleaning 111997 clauses out of 224015 with flag 27445416/11863397
1178.71/1176.59	c cleaning 113006 clauses out of 226018 with flag 27883254/11977397
1191.78/1189.61	c cleaning 114000 clauses out of 228014 with flag 28348568/12092399
1207.25/1205.19	c cleaning 114994 clauses out of 230013 with flag 28841518/12208398
1228.71/1226.58	c cleaning 116006 clauses out of 232024 with flag 29303359/12325403
1246.08/1243.98	c cleaning 116994 clauses out of 234011 with flag 29764285/12443396
1263.34/1261.25	c cleaning 117997 clauses out of 236017 with flag 30236853/12562396
1278.02/1275.98	c cleaning 118989 clauses out of 238020 with flag 30744309/12682396
1292.49/1290.42	c cleaning 120006 clauses out of 240032 with flag 31210938/12803397
1308.85/1306.74	c cleaning 121004 clauses out of 242026 with flag 31691696/12925397
1324.02/1321.90	c cleaning 122001 clauses out of 244021 with flag 32194393/13048396
1340.99/1338.98	c cleaning 123007 clauses out of 246021 with flag 32664002/13172397
1357.87/1355.82	c cleaning 123995 clauses out of 248013 with flag 33202913/13297396
1373.33/1371.32	c cleaning 125005 clauses out of 250021 with flag 33745587/13423399
1392.49/1390.45	c cleaning 126001 clauses out of 252014 with flag 34288392/13550397
1410.46/1408.45	c cleaning 126994 clauses out of 254012 with flag 34810004/13678396
1427.93/1425.95	c cleaning 128002 clauses out of 256018 with flag 35359162/13807396
1443.60/1441.66	c cleaning 129009 clauses out of 258018 with flag 35884764/13937398
1461.15/1459.15	c cleaning 129992 clauses out of 260007 with flag 36375934/14068396
1478.51/1476.50	c cleaning 131007 clauses out of 262015 with flag 36847247/14200396
1497.47/1495.40	c cleaning 131994 clauses out of 264009 with flag 37379912/14333397
1515.24/1513.21	c cleaning 133000 clauses out of 266014 with flag 37900820/14467396
1533.70/1531.76	c cleaning 134001 clauses out of 268014 with flag 38429288/14602396
1549.76/1547.85	c cleaning 135000 clauses out of 270013 with flag 38937233/14738396
1570.27/1568.10	c cleaning 135993 clauses out of 272014 with flag 39458921/14875397
1589.83/1587.69	c cleaning 137002 clauses out of 274020 with flag 39990591/15013396
1610.39/1608.29	c cleaning 137998 clauses out of 276018 with flag 40517867/15152396
1631.71/1629.53	c cleaning 139001 clauses out of 278020 with flag 41050549/15292396
1651.29/1649.15	c cleaning 140009 clauses out of 280021 with flag 41562594/15433398
1670.55/1668.49	c cleaning 140993 clauses out of 282010 with flag 42089628/15575396
1690.70/1688.56	c cleaning 142001 clauses out of 284017 with flag 42648576/15718396
1710.37/1708.28	c cleaning 143000 clauses out of 286016 with flag 43185808/15862396
1730.33/1728.27	c cleaning 144002 clauses out of 288017 with flag 43727267/16007397
1750.90/1748.73	c cleaning 145001 clauses out of 290014 with flag 44257536/16153396
1770.27/1768.12	c cleaning 145999 clauses out of 292013 with flag 44822214/16300396
1787.63/1785.56	c cleaning 147000 clauses out of 294014 with flag 45362926/16448396
1807.56/1805.43	c cleaning 148000 clauses out of 296014 with flag 45891626/16597396
1834.52/1832.45	c cleaning 149001 clauses out of 298016 with flag 46466490/16747398
1856.88/1854.82	c cleaning 149991 clauses out of 300013 with flag 47015719/16898396
1878.56/1876.48	c cleaning 150995 clauses out of 302022 with flag 47580012/17050396
1899.41/1897.33	c cleaning 152005 clauses out of 304027 with flag 48165071/17203396
1919.87/1917.80	c cleaning 153001 clauses out of 306022 with flag 48739924/17357396
1941.92/1939.99	c cleaning 154006 clauses out of 308021 with flag 49334367/17512396
1964.62/1962.66	c cleaning 155002 clauses out of 310015 with flag 49902772/17668396
1990.18/1988.29	c cleaning 155999 clauses out of 312013 with flag 50434187/17825396
2013.94/2011.97	c cleaning 156989 clauses out of 314014 with flag 51003572/17983396
2038.60/2036.61	c cleaning 158003 clauses out of 316026 with flag 51537008/18142397
2062.57/2060.68	c cleaning 159005 clauses out of 318022 with flag 52120380/18302396
2086.33/2084.45	c cleaning 159995 clauses out of 320017 with flag 52713588/18463396
2110.85/2109.00	c cleaning 161006 clauses out of 322023 with flag 53279658/18625397
2132.51/2130.62	c cleaning 161985 clauses out of 324017 with flag 53847569/18788397
2154.88/2153.09	c cleaning 163005 clauses out of 326031 with flag 54414836/18952396
2176.58/2174.79	c cleaning 164001 clauses out of 328027 with flag 54981472/19117397
2201.85/2200.07	c cleaning 165010 clauses out of 330026 with flag 55544209/19283397
2222.91/2221.14	c cleaning 165992 clauses out of 332015 with flag 56098025/19450396
2248.32/2246.51	c cleaning 167004 clauses out of 334023 with flag 56675186/19618396
2274.31/2272.60	c cleaning 168000 clauses out of 336019 with flag 57256804/19787396
2301.15/2299.57	c cleaning 169003 clauses out of 338021 with flag 57870838/19957398
2333.07/2331.54	c cleaning 169994 clauses out of 340017 with flag 58466728/20128397
2360.60/2359.01	c cleaning 171006 clauses out of 342022 with flag 59115167/20300396
2383.34/2381.89	c cleaning 171994 clauses out of 344017 with flag 59728224/20473397
2409.68/2408.19	c cleaning 172986 clauses out of 346022 with flag 60375884/20647396
2436.53/2435.06	c cleaning 174005 clauses out of 348037 with flag 61022190/20822397
2464.37/2462.98	c cleaning 175016 clauses out of 350032 with flag 61660939/20998397
2490.83/2489.35	c cleaning 175983 clauses out of 352015 with flag 62288830/21175396
2516.68/2515.22	c cleaning 177000 clauses out of 354032 with flag 62939503/21353396
2545.45/2544.07	c cleaning 178002 clauses out of 356032 with flag 63554052/21532396
2575.08/2573.76	c cleaning 179004 clauses out of 358032 with flag 64152778/21712398
2601.69/2600.38	c cleaning 180001 clauses out of 360026 with flag 64766532/21893396
2642.40/2641.12	c cleaning 181003 clauses out of 362025 with flag 65394707/22075396
2671.62/2670.46	c cleaning 182001 clauses out of 364023 with flag 65958867/22258397
2699.00/2697.78	c cleaning 183008 clauses out of 366024 with flag 66587742/22442399
2727.15/2725.92	c cleaning 183998 clauses out of 368013 with flag 67208519/22627396
2766.07/2764.25	c cleaning 185000 clauses out of 370015 with flag 67834726/22813396
2794.72/2792.94	c cleaning 186001 clauses out of 372020 with flag 68458775/23000401
2825.34/2823.56	c cleaning 187001 clauses out of 374016 with flag 69094757/23188398
2854.69/2852.97	c cleaning 188000 clauses out of 376014 with flag 69722787/23377397
2885.93/2884.24	c cleaning 188995 clauses out of 378016 with flag 70325847/23567399
2915.52/2913.88	c cleaning 189995 clauses out of 380018 with flag 70974918/23758396
2944.78/2943.16	c cleaning 190999 clauses out of 382023 with flag 71609753/23950396
2994.47/2992.99	c cleaning 192006 clauses out of 384024 with flag 72233235/24143396
3034.67/3033.18	c cleaning 193003 clauses out of 386018 with flag 72797543/24337396
3061.40/3059.92	c cleaning 193998 clauses out of 388015 with flag 73442208/24532396
3094.71/3093.35	c cleaning 194992 clauses out of 390017 with flag 74126630/24728396
3123.78/3122.34	c cleaning 196000 clauses out of 392025 with flag 74771921/24925396
3157.43/3156.07	c cleaning 197004 clauses out of 394025 with flag 75386791/25123396
3186.47/3185.16	c cleaning 197994 clauses out of 396021 with flag 75997572/25322396
3219.95/3218.45	c cleaning 199008 clauses out of 398027 with flag 76646993/25522396
3251.00/3249.51	c cleaning 200007 clauses out of 400021 with flag 77258901/25723398
3278.56/3277.14	c cleaning 200999 clauses out of 402013 with flag 77911756/25925397
3313.48/3311.97	c cleaning 202005 clauses out of 404016 with flag 78531183/26128399
3346.52/3345.05	c cleaning 202992 clauses out of 406008 with flag 79198424/26332396
3378.83/3377.49	c cleaning 204006 clauses out of 408019 with flag 79838752/26537399
3410.19/3408.61	c cleaning 205001 clauses out of 410010 with flag 80517989/26743396
3438.44/3436.97	c cleaning 205992 clauses out of 412009 with flag 81183273/26950396
3469.07/3467.66	c cleaning 207003 clauses out of 414018 with flag 81877135/27158397
3501.74/3500.22	c cleaning 207993 clauses out of 416015 with flag 82559977/27367397
3532.48/3531.06	c cleaning 209001 clauses out of 418021 with flag 83263425/27577396
3569.97/3568.60	c cleaning 210000 clauses out of 420020 with flag 83928365/27788396
3600.09/3598.84	c starts		: 50956
3600.09/3598.85	c conflicts		: 27985466
3600.09/3598.85	c decisions		: 81304687
3600.09/3598.85	c propagations		: 838174256
3600.09/3598.85	c inspects		: 31145001144
3600.09/3598.85	c shortcuts		: 0
3600.09/3598.85	c learnt literals	: 0
3600.09/3598.85	c learnt binary clauses	: 5
3600.09/3598.85	c learnt ternary clauses	: 56910
3600.09/3598.85	c learnt constraints	: 27985466
3600.09/3598.85	c ignored constraints	: 0
3600.09/3598.85	c root simplifications	: 0
3600.09/3598.85	c removed literals (reason simplification)	: 2703495424
3600.09/3598.85	c reason swapping (by a shorter reason)	: 0
3600.09/3598.85	c Calls to reduceDB	: 371
3600.09/3598.85	c Number of update (reduction) of LBD	: 10022243
3600.09/3598.85	c Imported unit clauses	: 0
3600.09/3598.85	c No decision after first conflict	: false
3600.09/3598.85	c number of reductions to clauses (during analyze)	: 0
3600.09/3598.85	c number of learned constraints concerned by reduction	: 0
3600.09/3598.85	c number of learning phase by resolution	: 0
3600.09/3598.85	c number of learning phase by cutting planes	: 0
3600.09/3598.85	c number of rounding to 1 operations	: 0
3600.09/3598.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3598.85	c number of reductions of the coefficients by power 2 	: 0
3600.09/3598.85	c number of right shift for reduction by power 2 	: 0
3600.09/3598.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3598.85	c number of ending skipping 	: 0
3600.09/3598.85	c number of internal skipping 	: 0
3600.09/3598.85	c number of derivation steps 	: 0
3600.09/3598.85	c number of skipped derivation steps 	: 0
3600.09/3598.85	c number of remaining unassigned 	: 0
3600.09/3598.85	c number of remaining assigned 	: 0
3600.09/3598.86	c number of falsified literals weakened from reason	: 0
3600.09/3598.86	c number of falsified literals weakened from conflict	: 0
3600.09/3598.86	c time for arithmetic operations	: 0
3600.09/3598.86	c minimum degree of deleted constraints	: null
3600.09/3598.86	c maximum degree of deleted constraints	: null
3600.09/3598.87	c number of deleted constraints	: 0
3600.09/3598.87	c speed (assignments/second)	: 232946.53793348785
3600.09/3598.87	c non guided choices	: 0
3600.27/3598.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 407085
3600.27/3598.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.27/3598.93	s SATISFIABLE
3600.27/3598.94	c Found 7 solution(s)
3600.27/3598.94	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 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 x199 -x200 
3600.27/3598.94	c objective function=-14
3600.27/3598.94	c Total wall clock time (in seconds): 3598.555

Verifier Data 

OK	-14

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: 63794 MiB (62539 MiB free)
  memory of node 1: 64507 MiB (54514 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498476-1751396662/watcher-4498476-1751396662 -o /tmp/evaluation-result-4498476-1751396662/solver-4498476-1751396662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751396661-59138 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498476-1751396662.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=59183, runsolver pid=59175

[startup+0.100072 s]*
/proc/loadavg: 1.04 1.15 1.88 5/280 59224
/proc/meminfo: memFree=119815436/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18198192 memory=37820 CPUtime=0.04 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 4922 0 2 0 1 3 0 0 20 0 8 0 55345957 18634948608 9455 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4549548 9455 3954 1 0 543677 0
[pid=59183/tid=59194] ppid=59175 vsize=18198192 memory=4026532124 CPUtime=0.03 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 4327 0 1 0 1 2 0 0 20 0 8 0 55345961 18634948608 9455 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16784588 0 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18198192 KiB
Current children cumulated memory: 37820 KiB

[startup+0.21738 s]*
/proc/loadavg: 1.04 1.15 1.88 7/321 59265
/proc/meminfo: memFree=119777336/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18930384 memory=51376 CPUtime=0.22 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 5995 0 2 0 17 5 0 0 20 0 18 0 55345957 19384713216 12844 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4732596 12844 5362 1 0 547153 0
[pid=59183/tid=59194] ppid=59175 vsize=18930384 memory=3472328300254200092 CPUtime=0.13 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 4892 0 1 0 10 3 0 0 20 0 18 0 55345961 19384713216 12844 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55345970 19384713216 12844 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55345971 19384713216 12844 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51376 KiB

[startup+0.314599 s]*
/proc/loadavg: 1.04 1.15 1.88 7/321 59265
/proc/meminfo: memFree=119756996/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18930384 memory=59636 CPUtime=0.37 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 6539 0 2 0 32 5 0 0 20 0 18 0 55345957 19384713216 14909 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4732596 14909 5362 1 0 547641 0
[pid=59183/tid=59194] ppid=59175 vsize=18930384 memory=-6000919494114501482 CPUtime=0.22 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 5119 0 1 0 19 3 0 0 20 0 18 0 55345961 19384713216 14909 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55345970 19384713216 14909 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55345971 19384713216 14909 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59636 KiB

[startup+0.700393 s]
/proc/loadavg: 1.04 1.15 1.88 13/322 59266
/proc/meminfo: memFree=119734816/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18930820 memory=76396 CPUtime=1.06 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 7066 0 2 0 100 6 0 0 20 0 18 0 55345957 19385159680 19099 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4732705 19099 5458 1 0 548115 0
[pid=59183/tid=59194] ppid=59175 vsize=18930820 memory=17920 CPUtime=0.54 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 5367 0 1 0 50 4 0 0 20 0 18 0 55345961 19385159680 19099 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=18930820 memory=10624 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55345970 19385159680 19099 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=18930820 memory=5760 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55345971 19385159680 19099 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 18930820 KiB
Current children cumulated memory: 76396 KiB

[startup+1.50028 s]
/proc/loadavg: 1.04 1.15 1.88 8/302 59278
/proc/meminfo: memFree=119645728/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18996948 memory=92200 CPUtime=2.63 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 14585 0 2 0 254 9 0 0 20 0 19 0 55345957 19452874752 23050 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4749237 23050 5490 1 0 551203 0
[pid=59183/tid=59194] ppid=59175 vsize=18996948 memory=0 CPUtime=1.3 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 6064 0 1 0 125 5 0 0 20 0 19 0 55345961 19452874752 23050 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55345970 19452874752 23050 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=18996948 memory=33 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55345971 19452874752 23050 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55346030 19452874752 23050 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92200 KiB

[startup+3.11339 s]
/proc/loadavg: 1.60 1.26 1.91 9/325 59334
/proc/meminfo: memFree=119496016/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18996948 memory=101568 CPUtime=4.89 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 16477 0 2 0 480 9 0 0 20 0 19 0 55345957 19452874752 25392 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4749237 25392 5490 1 0 551416 0
[pid=59183/tid=59194] ppid=59175 vsize=18996948 memory=0 CPUtime=2.89 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 7059 0 1 0 284 5 0 0 20 0 19 0 55345961 19452874752 25392 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55345970 19452874752 25392 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55345971 19452874752 25392 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=18996948 memory=17920 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55346030 19452874752 25392 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 4.89 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101568 KiB

[startup+6.30047 s]
/proc/loadavg: 1.60 1.26 1.91 5/327 59336
/proc/meminfo: memFree=119256792/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18996948 memory=114308 CPUtime=8.52 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 20127 0 2 0 841 11 0 0 20 0 19 0 55345957 19452874752 28577 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4749237 28577 5490 1 0 551416 0
[pid=59183/tid=59194] ppid=59175 vsize=18996948 memory=0 CPUtime=6.06 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 7860 0 1 0 601 5 0 0 20 0 19 0 55345961 19452874752 28577 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55345970 19452874752 28577 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55345971 19452874752 28577 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=18996948 memory=94376 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55346030 19452874752 28577 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114308 KiB

[startup+12.7004 s]
/proc/loadavg: 2.05 1.37 1.94 5/328 59337
/proc/meminfo: memFree=118991148/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=18996948 memory=160516 CPUtime=15.21 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 23814 0 2 0 1507 14 0 0 20 0 19 0 55345957 19452874752 40129 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4749237 40129 5522 1 0 551416 0
[pid=59183/tid=59194] ppid=59175 vsize=18996948 memory=14560 CPUtime=12.45 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 8525 0 1 0 1239 6 0 0 20 0 19 0 55345961 19452874752 40129 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=18996948 memory=-6000919494248588138 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55345970 19452874752 40129 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55345971 19452874752 40129 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55346030 19452874752 40129 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 160516 KiB

[startup+25.5005 s]
/proc/loadavg: 2.43 1.48 1.97 5/329 59338
/proc/meminfo: memFree=118729320/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=175424 CPUtime=27.99 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 25761 0 2 0 2784 15 0 0 20 0 20 0 55345957 19521036288 43856 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 43856 5522 1 0 551705 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=175424 CPUtime=25.16 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 9106 0 1 0 2510 6 0 0 20 0 20 0 55345961 19521036288 43856 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=175424 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 43856 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 43856 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 43856 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 27.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175424 KiB

[startup+51.1132 s]
/proc/loadavg: 3.10 1.71 2.04 5/329 59339
/proc/meminfo: memFree=118372988/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=230204 CPUtime=53.66 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 28159 0 2 0 5348 18 0 0 20 0 20 0 55345957 19521036288 57551 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 57551 5522 1 0 551705 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=-6000919485558121322 CPUtime=50.5 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 9582 0 1 0 5044 6 0 0 20 0 20 0 55345961 19521036288 57551 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=2432 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 57551 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=230204 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 57551 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=230204 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 57551 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 53.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 230204 KiB

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.07 5/326 59484
/proc/meminfo: memFree=107633236/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=2489056 CPUtime=3283.74 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 88967 0 2 0 328171 203 0 0 20 0 20 0 55345957 19521036288 622264 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 622264 5522 1 0 645212 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=2489056 CPUtime=3263.96 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 40371 0 1 0 326368 28 0 0 20 0 20 0 55345961 19521036288 622264 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 622264 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1705 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 622264 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622264 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3283.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2489056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.08 5/326 59486
/proc/meminfo: memFree=107546160/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=2489312 CPUtime=3343.82 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 89244 0 2 0 334176 206 0 0 20 0 20 0 55345957 19521036288 622328 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 622328 5522 1 0 645244 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=14560 CPUtime=3323.64 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 40397 0 1 0 332336 28 0 0 20 0 20 0 55345961 19521036288 622328 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=2489312 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 622328 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1722 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 622328 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=2489312 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622328 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3343.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2489312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/326 59499
/proc/meminfo: memFree=107372220/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=2489440 CPUtime=3403.9 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 89717 0 2 0 340181 209 0 0 20 0 20 0 55345957 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 622360 5522 1 0 645274 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=2489440 CPUtime=3383.28 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 40727 0 1 0 338300 28 0 0 20 0 20 0 55345961 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=2489312 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=2489312 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1722 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=2489440 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3403.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2489440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.52 4.24 4.12 5/326 59501
/proc/meminfo: memFree=107377148/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=2489440 CPUtime=3463.77 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 90798 0 2 0 346166 211 0 0 20 0 20 0 55345957 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 622360 5522 1 0 645274 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=2489312 CPUtime=3443.12 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 41621 0 1 0 344283 29 0 0 20 0 20 0 55345961 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=2489440 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=2489440 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3463.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2489440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.70 4.36 4.17 5/326 59505
/proc/meminfo: memFree=107377180/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=2489440 CPUtime=3523.79 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 91768 0 2 0 352164 215 0 0 20 0 20 0 55345957 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 622360 5522 1 0 645274 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=2489440 CPUtime=3502.76 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 42188 0 1 0 350247 29 0 0 20 0 20 0 55345961 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=2489440 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=2489440 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1934 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=2489440 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3523.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2489440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.30 4.31 4.16 5/327 59513
/proc/meminfo: memFree=107314000/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=2489440 CPUtime=3583.66 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 92070 0 2 0 358149 217 0 0 20 0 20 0 55345957 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 622360 5522 1 0 645274 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=5148 CPUtime=3562.58 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 42473 0 1 0 356229 29 0 0 20 0 20 0 55345961 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1934 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 622360 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2489440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.8 s]
/proc/loadavg: 4.38 4.32 4.17 5/325 59713
/proc/meminfo: memFree=110738076/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19063512 memory=2497640 CPUtime=3600.09 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 92398 0 2 0 359792 217 0 0 20 0 20 0 55345957 19521036288 624410 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4765878 624410 5522 1 0 645274 0
[pid=59183/tid=59194] ppid=59175 vsize=19063512 memory=-6000919485558121322 CPUtime=3578.62 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 42599 0 1 0 357833 29 0 0 20 0 20 0 55345961 19521036288 624410 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19063512 memory=46464 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55345970 19521036288 624410 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1934 0 0 0 0 0 0 0 20 0 20 0 55345971 19521036288 624410 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59269] ppid=59175 vsize=19063512 memory=10112 CPUtime=0 cores=4,6
/proc/59183/task/59269/stat : 59269 (Timer-0) S 59175 59183 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55346030 19521036288 624410 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2497640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.18 s, system=2.19701 s

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

[startup+3598.91 s]
/proc/loadavg: 4.38 4.32 4.17 5/325 59713
/proc/meminfo: memFree=110738076/131382112 swapFree=33010160/33010684
[pid=59183] ppid=59175 vsize=19263204 memory=2498536 CPUtime=3600.27 cores=4,6
/proc/59183/stat : 59183 (java) S 59175 59183 59127 0 -1 4194304 94392 0 2 0 359809 218 0 0 20 0 21 0 55345957 19725520896 624634 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
/proc/59183/statm: 4815801 624634 5554 1 0 646269 0
[pid=59183/tid=59194] ppid=59175 vsize=19263204 memory=17920 CPUtime=3578.71 cores=4,6
/proc/59183/task/59194/stat : 59194 (java) R 59175 59183 59127 0 -1 4194368 42844 0 1 0 357842 29 0 0 20 0 21 0 55345961 19725520896 624634 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59249] ppid=59175 vsize=19263204 memory=2489440 CPUtime=0 cores=4,6
/proc/59183/task/59249/stat : 59249 (Finalizer) S 59175 59183 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55345970 19725520896 624634 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
[pid=59183/tid=59263] ppid=59175 vsize=19263204 memory=17920 CPUtime=0 cores=4,6
/proc/59183/task/59263/stat : 59263 (Common-Cleaner) S 59175 59183 59127 0 -1 4194368 1934 0 0 0 0 0 0 0 20 0 21 0 55345971 19725520896 624634 18446744073709551615 94580898349056 94580898352752 140723343155008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94580898360568 94580898361360 94580900110336 140723343157633 140723343157734 140723343157734 140723343163336 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2498536 KiB

Child status: 143

Real time (s): 3598.96
CPU time (s): 3600.37
CPU user time (s): 3598.18
CPU system time (s): 2.19701
CPU usage (%): 100.039
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2498536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.18
system time used= 2.197
maximum resident set size= 2498664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94649
page faults= 2
swaps= 0
block input operations= 48
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107123
involuntary context switches= 5524


# summary of solver processes directly reported to runsolver:
#   pid: 59183
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3598.18
#   total CPU system time (s): 2.19701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9594 second user time and 35.3515 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 21:04:22
IDJOB=4498476
IDBENCH=148686
IDSOLVER=3363
FILE ID=nodeC009/4498476-1751396662
RUNJOBID= nodeC009-1751396661-59138
SLURM_JOB_ID= 9598271
Free space on /tmp= 432660 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498476-1751396662/watcher-4498476-1751396662 -o /tmp/evaluation-result-4498476-1751396662/solver-4498476-1751396662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751396661-59138 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498476-1751396662.opb

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

MD5SUM BENCH= 89e3d0aab3ab52c85bb3615ba7a3ebb4
RANDOM SEED=1164114400

nodeC009 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	: 0xb00001f
cpu MHz		: 1197.337
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.231
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.234
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1202.170
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.946
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.234
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.231
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.545
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        119848500 kB
MemAvailable:   129867088 kB
Buffers:            2144 kB
Cached:         10771300 kB
SwapCached:           24 kB
Active:           422388 kB
Inactive:       10421184 kB
Active(anon):      83008 kB
Inactive(anon):     5056 kB
Active(file):     339380 kB
Inactive(file): 10416128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               980 kB
Writeback:             0 kB
AnonPages:         72920 kB
Mapped:           102804 kB
Shmem:             17936 kB
KReclaimable:     205028 kB
Slab:             289396 kB
SReclaimable:     205028 kB
SUnreclaim:        84368 kB
KernelStack:        3832 kB
PageTables:         2356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     339952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432116 MiB
End job on nodeC009 at 2025-07-01 22:04:21