Trace number 4432232

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 Default 2024-07-07SAT (TO)215 3600.39 3559.37

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
MD5SUM79a11fcf881101c51e0b67ee01609c80
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark179
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints470
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints470
Minimum length of a constraint4
Maximum length of a constraint20
Number of terms in the objective function 470
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 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432232-1721086353.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.18	c ... done. Wall clock time 0.041s.
0.13/0.18	c declared #vars     470
0.13/0.18	c #constraints  470
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 470
0.13/0.18	c 470 constraints processed.
0.13/0.18	c objective function length is 470 literals
0.13/0.19	c SATISFIABLE
0.13/0.19	c OPTIMIZING...
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.06
0.13/0.19	o 223
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.125
0.32/0.26	o 222
0.70/0.47	c Got one! Elapsed wall clock time (in seconds):0.339
0.70/0.47	o 221
1.28/0.71	c Got one! Elapsed wall clock time (in seconds):0.58
1.28/0.72	o 220
1.28/0.78	c cleaning 3494 clauses out of 7000 with flag 2286/7000
1.74/1.02	c cleaning 4745 clauses out of 9505 with flag 15199/12999
1.74/1.05	c Got one! Elapsed wall clock time (in seconds):0.921
1.74/1.05	o 219
1.94/1.11	c Got one! Elapsed wall clock time (in seconds):0.977
1.94/1.11	o 218
2.12/1.21	c Got one! Elapsed wall clock time (in seconds):1.07
2.12/1.21	o 217
2.35/1.41	c cleaning 6053 clauses out of 12117 with flag 8453/20356
2.57/1.69	c cleaning 6026 clauses out of 12063 with flag 21548/26355
2.88/1.99	c cleaning 6514 clauses out of 13038 with flag 36363/33356
3.37/2.43	c cleaning 7255 clauses out of 14523 with flag 53513/41355
3.95/2.93	c cleaning 8127 clauses out of 16269 with flag 72254/50356
4.34/3.34	c cleaning 9065 clauses out of 18141 with flag 92896/60355
4.84/3.88	c cleaning 10031 clauses out of 20076 with flag 116099/71355
5.57/4.56	c cleaning 11013 clauses out of 22046 with flag 141236/83356
6.18/5.12	c cleaning 12008 clauses out of 24033 with flag 168204/96356
6.91/5.80	c cleaning 13005 clauses out of 26025 with flag 197152/110356
7.66/6.60	c cleaning 14001 clauses out of 28019 with flag 227916/125355
8.63/7.42	c cleaning 15005 clauses out of 30018 with flag 260746/141355
9.45/8.27	c cleaning 15999 clauses out of 32014 with flag 295572/158356
10.45/9.24	c cleaning 16999 clauses out of 34014 with flag 332491/176355
11.81/10.59	c cleaning 17999 clauses out of 36016 with flag 372601/195356
13.11/11.84	c cleaning 19000 clauses out of 38016 with flag 413944/215355
14.26/12.96	c cleaning 20001 clauses out of 40016 with flag 457630/236355
15.72/14.37	c cleaning 20996 clauses out of 42016 with flag 503232/258356
17.22/15.83	c cleaning 21998 clauses out of 44020 with flag 550636/281356
18.55/17.18	c cleaning 23004 clauses out of 46021 with flag 600268/305355
18.85/17.48	c Got one! Elapsed wall clock time (in seconds):17.351
18.85/17.48	o 216
19.25/17.81	c cleaning 18056 clauses out of 36135 with flag 11524/318473
19.57/18.17	c cleaning 12027 clauses out of 24078 with flag 24753/324472
19.88/18.45	c cleaning 9517 clauses out of 19052 with flag 39125/331473
20.29/18.76	c cleaning 8758 clauses out of 17534 with flag 55533/339472
20.70/19.11	c cleaning 8879 clauses out of 17776 with flag 74058/348472
21.09/19.51	c cleaning 9436 clauses out of 18897 with flag 94645/358472
21.49/20.00	c cleaning 10224 clauses out of 20461 with flag 117219/369472
22.10/20.53	c cleaning 11110 clauses out of 22237 with flag 141902/381472
22.70/21.12	c cleaning 12056 clauses out of 24127 with flag 168717/394472
23.34/21.75	c cleaning 13025 clauses out of 26072 with flag 197628/408473
23.94/22.39	c cleaning 14016 clauses out of 28047 with flag 228637/423473
24.74/23.15	c cleaning 15008 clauses out of 30030 with flag 262319/439472
25.78/24.12	c cleaning 16002 clauses out of 32022 with flag 297908/456472
26.78/25.15	c cleaning 17006 clauses out of 34020 with flag 335215/474472
27.78/26.18	c cleaning 17998 clauses out of 36014 with flag 374275/493472
28.94/27.27	c cleaning 18999 clauses out of 38016 with flag 415511/513472
30.13/28.44	c cleaning 19999 clauses out of 40017 with flag 458725/534472
31.53/29.75	c cleaning 21002 clauses out of 42019 with flag 504115/556473
32.63/30.83	c cleaning 22000 clauses out of 44017 with flag 551825/579473
33.92/32.00	c cleaning 22997 clauses out of 46016 with flag 601450/603472
35.12/33.24	c cleaning 24004 clauses out of 48019 with flag 653006/628472
36.46/34.59	c cleaning 24998 clauses out of 50015 with flag 706903/654472
37.76/35.86	c cleaning 25996 clauses out of 52018 with flag 763038/681473
39.38/37.33	c cleaning 27003 clauses out of 54021 with flag 820926/709472
40.88/38.80	c cleaning 27999 clauses out of 56018 with flag 880837/738472
42.67/40.50	c cleaning 28998 clauses out of 58019 with flag 942450/768472
44.17/42.08	c cleaning 29998 clauses out of 60022 with flag 1007018/799473
46.62/44.49	c cleaning 31004 clauses out of 62024 with flag 1075663/831473
48.82/46.61	c cleaning 31999 clauses out of 64020 with flag 1144137/864473
50.91/48.69	c cleaning 33005 clauses out of 66022 with flag 1215183/898474
53.41/51.11	c cleaning 33998 clauses out of 68016 with flag 1289273/933473
55.87/53.59	c cleaning 34996 clauses out of 70018 with flag 1364384/969473
58.26/55.92	c cleaning 36000 clauses out of 72021 with flag 1441487/1006472
61.14/58.78	c cleaning 37002 clauses out of 74021 with flag 1520386/1044472
64.44/62.02	c cleaning 38003 clauses out of 76019 with flag 1600841/1083472
67.58/64.75	c cleaning 39000 clauses out of 78017 with flag 1683355/1123473
70.27/67.43	c cleaning 39998 clauses out of 80016 with flag 1768382/1164472
72.73/69.89	c cleaning 40998 clauses out of 82018 with flag 1855614/1206472
75.74/72.77	c cleaning 41998 clauses out of 84021 with flag 1944678/1249473
78.63/75.65	c cleaning 43004 clauses out of 86022 with flag 2035643/1293472
81.63/78.58	c cleaning 43997 clauses out of 88018 with flag 2128744/1338472
84.81/81.78	c cleaning 45002 clauses out of 90022 with flag 2223874/1384473
88.56/85.45	c cleaning 46000 clauses out of 92019 with flag 2321499/1431472
92.09/88.86	c cleaning 47001 clauses out of 94019 with flag 2421212/1479472
94.87/91.66	c cleaning 48000 clauses out of 96019 with flag 2522938/1528473
98.31/95.01	c cleaning 48999 clauses out of 98018 with flag 2627469/1578472
101.30/98.08	c cleaning 50002 clauses out of 100020 with flag 2733450/1629473
104.59/101.31	c cleaning 50998 clauses out of 102017 with flag 2841206/1681472
108.69/105.24	c cleaning 51998 clauses out of 104019 with flag 2950837/1734472
112.28/108.81	c cleaning 53000 clauses out of 106021 with flag 3063072/1788472
116.13/112.59	c cleaning 54000 clauses out of 108022 with flag 3177376/1843473
120.73/117.16	c cleaning 55000 clauses out of 110022 with flag 3292445/1899473
124.74/121.04	c cleaning 56001 clauses out of 112022 with flag 3409563/1956473
129.39/125.05	c cleaning 57002 clauses out of 114020 with flag 3529731/2014472
133.36/129.06	c cleaning 57999 clauses out of 116018 with flag 3651947/2073472
137.10/132.65	c cleaning 59002 clauses out of 118020 with flag 3776980/2133473
141.09/136.61	c cleaning 59999 clauses out of 120017 with flag 3903853/2194472
145.09/140.58	c cleaning 60997 clauses out of 122019 with flag 4032704/2256473
149.34/144.65	c cleaning 62001 clauses out of 124022 with flag 4163320/2319473
153.43/148.75	c cleaning 63000 clauses out of 126020 with flag 4295975/2383472
157.42/152.64	c cleaning 63996 clauses out of 128020 with flag 4429947/2448472
161.31/156.52	c cleaning 65000 clauses out of 130025 with flag 4566993/2514473
165.89/161.01	c cleaning 66001 clauses out of 132025 with flag 4706238/2581473
169.58/164.72	c cleaning 66997 clauses out of 134024 with flag 4848595/2649473
174.28/169.31	c cleaning 68000 clauses out of 136027 with flag 4991178/2718473
179.37/174.41	c cleaning 69002 clauses out of 138027 with flag 5135943/2788473
183.99/178.96	c cleaning 70004 clauses out of 140025 with flag 5283313/2859473
189.43/184.24	c cleaning 71001 clauses out of 142020 with flag 5432360/2931472
194.53/189.32	c cleaning 71998 clauses out of 144020 with flag 5583948/3004473
199.66/194.48	c cleaning 73000 clauses out of 146022 with flag 5738297/3078473
204.71/199.59	c cleaning 74000 clauses out of 148021 with flag 5895273/3153472
210.17/204.48	c cleaning 74998 clauses out of 150021 with flag 6054347/3229472
214.67/209.00	c cleaning 75997 clauses out of 152023 with flag 6214844/3306472
219.68/213.79	c cleaning 77001 clauses out of 154027 with flag 6375199/3384473
224.60/218.69	c cleaning 78004 clauses out of 156026 with flag 6538350/3463473
229.98/223.98	c cleaning 78997 clauses out of 158021 with flag 6703502/3543472
236.94/230.78	c cleaning 80002 clauses out of 160024 with flag 6870242/3624472
243.81/237.49	c cleaning 81001 clauses out of 162022 with flag 7040329/3706472
250.38/243.87	c cleaning 81999 clauses out of 164022 with flag 7212305/3789473
257.02/250.39	c cleaning 82999 clauses out of 166022 with flag 7385982/3873472
263.41/256.50	c cleaning 84001 clauses out of 168023 with flag 7562975/3958472
270.01/263.14	c cleaning 85001 clauses out of 170022 with flag 7740462/4044472
275.95/268.96	c cleaning 85998 clauses out of 172021 with flag 7920938/4131472
282.23/275.10	c cleaning 87002 clauses out of 174024 with flag 8103364/4219473
288.81/281.64	c cleaning 88001 clauses out of 176021 with flag 8288148/4308472
296.14/288.92	c cleaning 89000 clauses out of 178022 with flag 8475551/4398474
303.00/295.52	c cleaning 89996 clauses out of 180020 with flag 8667417/4489472
310.30/302.83	c cleaning 90997 clauses out of 182025 with flag 8858583/4581473
317.64/309.53	c cleaning 92005 clauses out of 184027 with flag 9053134/4674472
324.84/316.69	c cleaning 93002 clauses out of 186022 with flag 9250121/4768472
332.20/323.88	c cleaning 93999 clauses out of 188020 with flag 9448383/4863472
339.88/331.58	c cleaning 94995 clauses out of 190022 with flag 9648245/4959473
347.93/339.55	c cleaning 96002 clauses out of 192026 with flag 9849630/5056472
355.65/347.26	c cleaning 96999 clauses out of 194025 with flag 10054452/5154473
365.05/356.51	c cleaning 98002 clauses out of 196025 with flag 10259096/5253472
374.36/365.77	c cleaning 98999 clauses out of 198024 with flag 10464812/5353473
383.90/375.07	c cleaning 100000 clauses out of 200025 with flag 10672974/5454473
392.49/383.52	c cleaning 101003 clauses out of 202024 with flag 10885389/5556472
400.24/391.29	c cleaning 102002 clauses out of 204021 with flag 11098074/5659472
408.68/399.64	c cleaning 102996 clauses out of 206019 with flag 11314269/5763472
419.97/410.95	c cleaning 104004 clauses out of 208023 with flag 11531260/5868472
427.94/418.80	c Got one! Elapsed wall clock time (in seconds):418.674
427.94/418.80	o 215
431.62/422.53	c cleaning 100917 clauses out of 201860 with flag 11439/5966313
433.22/424.14	c cleaning 53460 clauses out of 106943 with flag 24691/5972313
433.92/424.84	c cleaning 30232 clauses out of 60483 with flag 39091/5979313
434.41/425.31	c cleaning 19116 clauses out of 38252 with flag 55644/5987314
434.71/425.69	c cleaning 14058 clauses out of 28136 with flag 74123/5996314
435.12/426.06	c cleaning 12028 clauses out of 24078 with flag 94775/6006314
435.51/426.47	c cleaning 11513 clauses out of 23049 with flag 117275/6017313
436.01/426.97	c cleaning 11757 clauses out of 23537 with flag 141912/6029314
436.84/427.64	c cleaning 12384 clauses out of 24780 with flag 168597/6042314
437.37/428.17	c cleaning 13188 clauses out of 26395 with flag 197398/6056313
438.06/428.80	c cleaning 14091 clauses out of 28207 with flag 228199/6071313
438.76/429.54	c cleaning 15048 clauses out of 30116 with flag 261268/6087313
439.46/430.21	c cleaning 16024 clauses out of 32068 with flag 296353/6104313
440.26/431.05	c cleaning 17012 clauses out of 34045 with flag 333251/6122314
441.05/431.87	c cleaning 18005 clauses out of 36032 with flag 372408/6141313
441.95/432.74	c cleaning 18997 clauses out of 38027 with flag 413792/6161313
442.97/433.70	c cleaning 20001 clauses out of 40030 with flag 457317/6182313
443.97/434.73	c cleaning 21004 clauses out of 42030 with flag 502691/6204314
445.07/435.87	c cleaning 21998 clauses out of 44026 with flag 550638/6227314
446.27/437.03	c cleaning 23005 clauses out of 46028 with flag 601089/6251314
447.76/438.52	c cleaning 24004 clauses out of 48022 with flag 653363/6276313
449.06/439.88	c cleaning 25003 clauses out of 50018 with flag 708345/6302313
450.56/441.38	c cleaning 26000 clauses out of 52016 with flag 765656/6329314
452.36/443.15	c cleaning 26998 clauses out of 54016 with flag 823796/6357314
453.96/444.77	c cleaning 28002 clauses out of 56017 with flag 883913/6386313
455.78/446.53	c cleaning 28998 clauses out of 58015 with flag 946034/6416313
457.46/448.25	c cleaning 29997 clauses out of 60017 with flag 1010234/6447313
459.25/450.08	c cleaning 31000 clauses out of 62020 with flag 1076330/6479313
461.33/452.19	c cleaning 32002 clauses out of 64020 with flag 1144540/6512313
463.51/454.32	c cleaning 32998 clauses out of 66019 with flag 1214831/6546314
465.69/456.59	c cleaning 33999 clauses out of 68020 with flag 1287399/6581313
468.22/458.96	c cleaning 35004 clauses out of 70022 with flag 1361722/6617314
470.71/461.40	c cleaning 35998 clauses out of 72018 with flag 1438117/6654314
473.31/464.09	c cleaning 36999 clauses out of 74020 with flag 1516569/6692314
475.80/466.54	c cleaning 38003 clauses out of 76021 with flag 1597187/6731314
478.60/469.32	c cleaning 38999 clauses out of 78018 with flag 1679774/6771314
481.26/471.98	c cleaning 39999 clauses out of 80019 with flag 1764484/6812314
484.06/474.77	c cleaning 41003 clauses out of 82019 with flag 1851747/6854313
487.35/478.04	c cleaning 41996 clauses out of 84016 with flag 1940894/6897313
490.45/481.13	c cleaning 42998 clauses out of 86020 with flag 2031968/6941313
493.53/484.26	c cleaning 44001 clauses out of 88023 with flag 2125033/6986314
496.63/487.36	c cleaning 45001 clauses out of 90022 with flag 2220657/7032314
499.82/490.58	c cleaning 45999 clauses out of 92021 with flag 2317768/7079314
502.91/493.64	c cleaning 47001 clauses out of 94021 with flag 2417191/7127313
506.51/497.29	c cleaning 48000 clauses out of 96021 with flag 2518503/7176314
510.20/500.97	c cleaning 48999 clauses out of 98020 with flag 2621869/7226313
514.19/504.95	c cleaning 50001 clauses out of 100022 with flag 2727234/7277314
518.58/509.36	c cleaning 51001 clauses out of 102021 with flag 2834627/7329314
523.12/513.86	c cleaning 52000 clauses out of 104019 with flag 2950495/7382313
527.13/517.65	c cleaning 53004 clauses out of 106019 with flag 3084208/7436313
531.01/521.53	c cleaning 54006 clauses out of 108015 with flag 3226806/7491313
535.11/525.61	c cleaning 55002 clauses out of 110012 with flag 3373515/7547316
539.10/529.63	c cleaning 55999 clauses out of 112008 with flag 3523376/7604314
543.39/533.91	c cleaning 57003 clauses out of 114009 with flag 3678040/7662314
548.23/538.58	c cleaning 57999 clauses out of 116005 with flag 3835873/7721313
552.72/543.07	c cleaning 59003 clauses out of 118006 with flag 3995702/7781313
557.31/547.63	c cleaning 59999 clauses out of 120003 with flag 4156918/7842313
563.27/553.41	c cleaning 60997 clauses out of 122005 with flag 4329821/7904314
567.97/558.17	c cleaning 62001 clauses out of 124008 with flag 4495890/7967314
572.65/562.85	c cleaning 63001 clauses out of 126006 with flag 4666069/8031313
577.35/567.60	c cleaning 64000 clauses out of 128005 with flag 4835970/8096313
582.68/572.66	c cleaning 64997 clauses out of 130005 with flag 5008405/8162313
587.67/577.60	c cleaning 66004 clauses out of 132008 with flag 5190062/8229313
592.86/582.84	c cleaning 66997 clauses out of 134005 with flag 5378120/8297314
598.45/588.23	c cleaning 67999 clauses out of 136007 with flag 5562581/8366313
603.53/593.38	c cleaning 69003 clauses out of 138010 with flag 5748645/8436315
609.32/598.96	c cleaning 69997 clauses out of 140005 with flag 5939562/8507313
615.21/604.84	c cleaning 70996 clauses out of 142009 with flag 6130133/8579314
621.87/611.31	c cleaning 72004 clauses out of 144012 with flag 6324467/8652313
627.67/617.13	c cleaning 73004 clauses out of 146010 with flag 6520967/8726315
634.54/623.99	c cleaning 73998 clauses out of 148004 with flag 6724544/8801313
641.53/630.90	c cleaning 74998 clauses out of 150006 with flag 6931656/8877313
648.43/637.77	c cleaning 75997 clauses out of 152009 with flag 7153162/8954314
655.52/644.83	c cleaning 77002 clauses out of 154011 with flag 7377217/9032313
662.86/652.09	c cleaning 78000 clauses out of 156009 with flag 7583646/9111313
670.14/659.32	c cleaning 79005 clauses out of 158010 with flag 7795732/9191314
678.15/667.27	c cleaning 80000 clauses out of 160004 with flag 8009873/9272313
686.64/675.54	c cleaning 81001 clauses out of 162008 with flag 8231091/9354317
694.52/683.43	c cleaning 81988 clauses out of 164003 with flag 8457379/9437313
703.67/691.84	c cleaning 83008 clauses out of 166015 with flag 8689824/9521313
711.26/699.31	c cleaning 83997 clauses out of 168007 with flag 8915100/9606313
718.54/706.60	c cleaning 85001 clauses out of 170012 with flag 9144544/9692315
727.35/715.41	c cleaning 86002 clauses out of 172010 with flag 9380195/9779314
735.98/723.97	c cleaning 87002 clauses out of 174007 with flag 9617356/9867313
745.27/733.07	c cleaning 87999 clauses out of 176005 with flag 9867156/9956313
753.82/741.41	c cleaning 88999 clauses out of 178007 with flag 10110005/10046314
761.28/748.74	c cleaning 90001 clauses out of 180007 with flag 10347145/10137313
769.93/757.27	c cleaning 91002 clauses out of 182007 with flag 10590195/10229314
778.25/765.42	c cleaning 92000 clauses out of 184007 with flag 10838768/10322316
786.01/773.06	c cleaning 92999 clauses out of 186004 with flag 11092093/10416313
793.68/780.57	c cleaning 93998 clauses out of 188005 with flag 11350391/10511313
802.01/788.72	c cleaning 95003 clauses out of 190010 with flag 11612094/10607316
811.47/797.37	c cleaning 96003 clauses out of 192006 with flag 11874153/10704315
820.24/806.09	c cleaning 96998 clauses out of 194001 with flag 12144544/10802313
830.15/815.82	c cleaning 98000 clauses out of 196004 with flag 12420546/10901314
838.26/823.87	c cleaning 98994 clauses out of 198003 with flag 12687901/11001313
847.48/832.93	c cleaning 100004 clauses out of 200012 with flag 12962898/11102316
857.61/842.99	c cleaning 100995 clauses out of 202007 with flag 13235214/11204315
868.16/853.35	c cleaning 102004 clauses out of 204011 with flag 13519977/11307314
877.28/862.39	c cleaning 102998 clauses out of 206007 with flag 13794493/11411314
886.61/871.59	c cleaning 104004 clauses out of 208009 with flag 14077002/11516314
896.25/881.03	c cleaning 104992 clauses out of 210005 with flag 14359126/11622314
906.69/891.48	c cleaning 105996 clauses out of 212014 with flag 14649184/11729315
916.17/900.88	c cleaning 107006 clauses out of 214017 with flag 14945453/11837314
924.61/909.11	c cleaning 108001 clauses out of 216010 with flag 15226704/11946313
933.45/917.87	c cleaning 108999 clauses out of 218009 with flag 15515166/12056313
942.41/926.61	c cleaning 110003 clauses out of 220011 with flag 15807239/12167314
953.55/937.62	c cleaning 110997 clauses out of 222007 with flag 16108575/12279313
964.20/947.16	c cleaning 112000 clauses out of 224010 with flag 16397537/12392313
973.36/956.24	c cleaning 113004 clauses out of 226011 with flag 16694329/12506314
982.04/964.78	c cleaning 113997 clauses out of 228006 with flag 16989283/12621313
991.67/974.22	c cleaning 114996 clauses out of 230010 with flag 17298893/12737314
1001.44/983.98	c cleaning 116008 clauses out of 232015 with flag 17606925/12854315
1010.64/993.07	c cleaning 116994 clauses out of 234005 with flag 17914240/12972313
1021.64/1003.95	c cleaning 118004 clauses out of 236012 with flag 18236006/13091314
1032.03/1014.18	c cleaning 118996 clauses out of 238007 with flag 18554472/13211313
1043.21/1025.25	c cleaning 120002 clauses out of 240011 with flag 18874091/13332313
1053.06/1034.93	c cleaning 121004 clauses out of 242011 with flag 19192588/13454315
1062.65/1044.46	c cleaning 122000 clauses out of 244006 with flag 19518800/13577314
1072.60/1054.30	c cleaning 123000 clauses out of 246006 with flag 19844492/13701314
1083.35/1064.94	c cleaning 123999 clauses out of 248006 with flag 20176144/13826314
1094.53/1076.09	c cleaning 124994 clauses out of 250006 with flag 20516799/13952313
1107.08/1088.49	c cleaning 126002 clauses out of 252012 with flag 20854640/14079313
1119.09/1100.37	c cleaning 126998 clauses out of 254010 with flag 21194255/14207313
1130.38/1111.28	c cleaning 128007 clauses out of 256013 with flag 21528327/14336314
1141.44/1122.11	c cleaning 128998 clauses out of 258005 with flag 21868795/14466313
1153.54/1134.10	c cleaning 129998 clauses out of 260007 with flag 22199303/14597313
1163.98/1144.51	c cleaning 130999 clauses out of 262009 with flag 22545455/14729313
1174.79/1154.93	c cleaning 132001 clauses out of 264012 with flag 22894835/14862315
1186.70/1165.63	c cleaning 133005 clauses out of 266010 with flag 23220935/14996314
1197.86/1176.71	c cleaning 133992 clauses out of 268004 with flag 23545996/15131313
1209.03/1187.85	c cleaning 134998 clauses out of 270013 with flag 23875042/15267314
1220.85/1199.51	c cleaning 136007 clauses out of 272014 with flag 24207449/15404313
1232.82/1211.16	c cleaning 136997 clauses out of 274008 with flag 24543291/15542314
1246.01/1224.15	c cleaning 137997 clauses out of 276010 with flag 24883504/15681313
1257.79/1235.72	c cleaning 139001 clauses out of 278014 with flag 25222409/15821314
1270.41/1248.23	c cleaning 140001 clauses out of 280012 with flag 25558585/15962313
1282.89/1260.62	c cleaning 140999 clauses out of 282011 with flag 25904509/16104313
1295.99/1273.47	c cleaning 141998 clauses out of 284012 with flag 26249091/16247313
1309.72/1287.02	c cleaning 142999 clauses out of 286014 with flag 26587844/16391313
1325.47/1302.60	c cleaning 144002 clauses out of 288015 with flag 26931232/16536313
1338.64/1315.63	c cleaning 144998 clauses out of 290013 with flag 27278751/16682313
1353.09/1329.73	c cleaning 146005 clauses out of 292016 with flag 27627599/16829314
1367.96/1344.41	c cleaning 147002 clauses out of 294010 with flag 27978464/16977313
1380.98/1357.33	c cleaning 148001 clauses out of 296008 with flag 28335646/17126313
1396.87/1373.11	c cleaning 149005 clauses out of 298013 with flag 28692830/17276319
1410.95/1387.20	c cleaning 149993 clauses out of 300002 with flag 29053190/17427313
1427.83/1403.79	c cleaning 151003 clauses out of 302009 with flag 29414038/17579313
1443.52/1419.22	c cleaning 152003 clauses out of 304006 with flag 29778660/17732313
1460.47/1436.16	c cleaning 153000 clauses out of 306003 with flag 30146964/17886313
1476.96/1452.34	c cleaning 153998 clauses out of 308004 with flag 30514025/18041314
1494.83/1470.07	c cleaning 155002 clauses out of 310005 with flag 30887890/18197313
1512.14/1485.98	c cleaning 155994 clauses out of 312004 with flag 31260350/18354314
1529.71/1503.47	c cleaning 156996 clauses out of 314010 with flag 31639516/18512314
1545.98/1519.50	c cleaning 158002 clauses out of 316015 with flag 32021146/18671315
1562.25/1535.73	c cleaning 158998 clauses out of 318011 with flag 32403049/18831313
1576.82/1550.28	c cleaning 159998 clauses out of 320013 with flag 32786920/18992313
1591.68/1565.03	c cleaning 161001 clauses out of 322016 with flag 33172116/19154314
1607.73/1581.07	c cleaning 162005 clauses out of 324014 with flag 33559943/19317313
1622.98/1596.23	c cleaning 163002 clauses out of 326009 with flag 33949829/19481313
1639.40/1612.61	c cleaning 163997 clauses out of 328008 with flag 34340016/19646314
1656.57/1629.76	c cleaning 164996 clauses out of 330010 with flag 34735840/19812313
1674.53/1647.68	c cleaning 166006 clauses out of 332015 with flag 35134954/19979314
1692.39/1665.47	c cleaning 166998 clauses out of 334010 with flag 35535725/20147315
1710.41/1683.40	c cleaning 168003 clauses out of 336011 with flag 35938798/20316314
1728.30/1701.16	c cleaning 168996 clauses out of 338007 with flag 36341547/20486313
1745.31/1718.07	c cleaning 170002 clauses out of 340011 with flag 36747149/20657313
1765.66/1738.26	c cleaning 170994 clauses out of 342009 with flag 37158108/20829313
1783.90/1756.36	c cleaning 172008 clauses out of 344017 with flag 37566833/21002315
1803.10/1775.43	c cleaning 173002 clauses out of 346007 with flag 37976375/21176313
1823.24/1795.33	c cleaning 173996 clauses out of 348005 with flag 38391580/21351313
1841.15/1813.18	c cleaning 175002 clauses out of 350009 with flag 38810158/21527313
1859.96/1831.94	c cleaning 176001 clauses out of 352008 with flag 39227251/21704314
1878.93/1851.05	c cleaning 177003 clauses out of 354007 with flag 39649006/21882314
1899.91/1872.01	c cleaning 178000 clauses out of 356003 with flag 40075058/22061313
1921.15/1893.18	c cleaning 178999 clauses out of 358004 with flag 40502215/22241314
1940.50/1912.47	c cleaning 179993 clauses out of 360004 with flag 40927232/22422313
1962.11/1933.81	c cleaning 181005 clauses out of 362014 with flag 41356818/22604316
1980.62/1952.38	c cleaning 181999 clauses out of 364007 with flag 41786987/22787314
2000.64/1972.35	c cleaning 182998 clauses out of 366008 with flag 42222974/22971314
2019.92/1991.36	c cleaning 184003 clauses out of 368010 with flag 42660425/23156314
2040.34/2011.74	c cleaning 184999 clauses out of 370006 with flag 43100808/23342313
2061.02/2032.33	c cleaning 186001 clauses out of 372007 with flag 43544558/23529313
2082.41/2053.26	c cleaning 187000 clauses out of 374006 with flag 43991096/23717313
2104.40/2075.04	c cleaning 187998 clauses out of 376006 with flag 44442663/23906313
2123.89/2094.47	c cleaning 188998 clauses out of 378011 with flag 44893240/24096316
2148.90/2119.47	c cleaning 190001 clauses out of 380011 with flag 45347366/24287314
2169.66/2139.82	c cleaning 190996 clauses out of 382009 with flag 45806486/24479313
2190.76/2160.99	c cleaning 192006 clauses out of 384015 with flag 46263860/24672315
2210.94/2181.00	c cleaning 192996 clauses out of 386007 with flag 46728582/24866313
2233.41/2203.17	c cleaning 193999 clauses out of 388011 with flag 47199916/25061313
2254.03/2223.58	c cleaning 195006 clauses out of 390017 with flag 47676525/25257318
2276.82/2246.18	c cleaning 195998 clauses out of 392007 with flag 48164971/25454314
2300.53/2268.24	c cleaning 196993 clauses out of 394008 with flag 48653728/25652313
2322.66/2289.67	c cleaning 198001 clauses out of 396016 with flag 49149583/25851314
2346.93/2313.63	c cleaning 199003 clauses out of 398016 with flag 49636623/26051315
2367.62/2334.16	c cleaning 200006 clauses out of 400015 with flag 50128292/26252317
2390.24/2356.63	c cleaning 200995 clauses out of 402006 with flag 50623988/26454314
2415.08/2381.28	c cleaning 202000 clauses out of 404010 with flag 51121040/26657313
2436.71/2402.80	c cleaning 203000 clauses out of 406010 with flag 51619339/26861313
2462.58/2428.50	c cleaning 204000 clauses out of 408011 with flag 52123084/27066314
2488.00/2453.39	c cleaning 205003 clauses out of 410011 with flag 52627711/27272314
2510.59/2475.78	c cleaning 205997 clauses out of 412007 with flag 53127794/27479313
2531.64/2496.72	c cleaning 207001 clauses out of 414010 with flag 53641051/27687313
2553.13/2518.22	c cleaning 207997 clauses out of 416010 with flag 54157153/27896314
2576.37/2541.43	c cleaning 209004 clauses out of 418013 with flag 54673289/28106314
2600.17/2564.87	c cleaning 210003 clauses out of 420009 with flag 55186673/28317314
2623.43/2587.84	c cleaning 210993 clauses out of 422006 with flag 55694339/28529314
2649.25/2613.52	c cleaning 211993 clauses out of 424012 with flag 56198095/28742313
2673.82/2638.02	c cleaning 213002 clauses out of 426019 with flag 56705566/28956313
2699.38/2663.55	c cleaning 214005 clauses out of 428017 with flag 57216470/29171313
2723.44/2687.24	c cleaning 215003 clauses out of 430012 with flag 57728000/29387313
2746.02/2709.69	c cleaning 215997 clauses out of 432010 with flag 58245140/29604314
2770.81/2734.26	c cleaning 216998 clauses out of 434012 with flag 58763962/29822313
2793.84/2757.17	c cleaning 218007 clauses out of 436014 with flag 59283353/30041313
2817.38/2780.23	c cleaning 218999 clauses out of 438008 with flag 59805141/30261314
2847.53/2810.21	c cleaning 219999 clauses out of 440008 with flag 60328345/30482313
2873.95/2836.56	c cleaning 221003 clauses out of 442009 with flag 60860733/30704313
2901.55/2864.16	c cleaning 221998 clauses out of 444006 with flag 61399185/30927313
2929.17/2890.32	c cleaning 223000 clauses out of 446008 with flag 61929802/31151313
2954.49/2915.63	c cleaning 223998 clauses out of 448008 with flag 62461984/31376313
2981.57/2942.74	c cleaning 225005 clauses out of 450011 with flag 62995573/31602314
3006.67/2967.84	c cleaning 226000 clauses out of 452005 with flag 63534195/31829313
3029.28/2990.40	c cleaning 226992 clauses out of 454005 with flag 64075265/32057313
3060.33/3021.49	c cleaning 227999 clauses out of 456014 with flag 64615720/32286314
3085.79/3046.93	c cleaning 229001 clauses out of 458015 with flag 65158076/32516314
3113.82/3075.06	c cleaning 230001 clauses out of 460014 with flag 65702118/32747314
3137.53/3098.66	c cleaning 231001 clauses out of 462012 with flag 66254525/32979313
3165.86/3127.07	c cleaning 232000 clauses out of 464011 with flag 66803368/33212313
3192.23/3153.34	c cleaning 233000 clauses out of 466011 with flag 67356402/33446313
3219.92/3180.90	c cleaning 233997 clauses out of 468012 with flag 67909330/33681314
3249.55/3210.64	c cleaning 234997 clauses out of 470015 with flag 68471391/33917314
3276.42/3237.47	c cleaning 235998 clauses out of 472017 with flag 69034436/34154313
3306.79/3267.77	c cleaning 237009 clauses out of 474020 with flag 69597213/34392314
3332.57/3293.42	c cleaning 237999 clauses out of 476012 with flag 70169020/34631315
3360.09/3320.86	c cleaning 238994 clauses out of 478011 with flag 70749218/34871313
3387.07/3347.74	c cleaning 240008 clauses out of 480017 with flag 71332971/35112313
3417.65/3378.39	c cleaning 240993 clauses out of 482010 with flag 71910215/35354314
3443.67/3404.01	c cleaning 242000 clauses out of 484016 with flag 72492811/35597313
3470.85/3431.09	c cleaning 243006 clauses out of 486017 with flag 73083304/35841314
3503.50/3463.64	c cleaning 243999 clauses out of 488010 with flag 73673440/36086313
3534.21/3493.94	c cleaning 244998 clauses out of 490012 with flag 74261847/36332314
3566.24/3525.63	c cleaning 245997 clauses out of 492013 with flag 74850403/36579313
3600.08/3559.22	c starts		: 148298
3600.08/3559.22	c conflicts		: 36827313
3600.08/3559.22	c decisions		: 92026172
3600.08/3559.22	c propagations		: 1789074569
3600.08/3559.22	c inspects		: 26726935561
3600.08/3559.22	c shortcuts		: 0
3600.08/3559.22	c learnt literals	: 0
3600.08/3559.22	c learnt binary clauses	: 0
3600.08/3559.22	c learnt ternary clauses	: 0
3600.08/3559.22	c learnt constraints	: 36827313
3600.08/3559.22	c ignored constraints	: 0
3600.08/3559.22	c root simplifications	: 0
3600.08/3559.22	c removed literals (reason simplification)	: 0
3600.08/3559.22	c reason swapping (by a shorter reason)	: 0
3600.08/3559.22	c Calls to reduceDB	: 367
3600.08/3559.22	c Number of update (reduction) of LBD	: 5322051
3600.08/3559.22	c Imported unit clauses	: 0
3600.08/3559.22	c No decision after first conflict	: false
3600.08/3559.22	c number of reductions to clauses (during analyze)	: 0
3600.08/3559.22	c number of learned constraints concerned by reduction	: 0
3600.08/3559.22	c number of learning phase by resolution	: 0
3600.08/3559.22	c number of learning phase by cutting planes	: 0
3600.08/3559.22	c number of rounding to 1 operations	: 0
3600.08/3559.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3559.23	c number of reductions of the coefficients by power 2 	: 0
3600.08/3559.23	c number of right shift for reduction by power 2 	: 0
3600.08/3559.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3559.23	c number of ending skipping 	: 0
3600.08/3559.23	c number of internal skipping 	: 0
3600.08/3559.23	c number of derivation steps 	: 0
3600.08/3559.23	c number of skipped derivation steps 	: 0
3600.08/3559.23	c number of remaining unassigned 	: 0
3600.08/3559.23	c number of remaining assigned 	: 0
3600.08/3559.23	c number of falsified literals weakened from reason	: 0
3600.08/3559.23	c number of falsified literals weakened from conflict	: 0
3600.08/3559.23	c time for arithmetic operations	: 0
3600.08/3559.24	c minimum degree of deleted constraints	: null
3600.08/3559.24	c maximum degree of deleted constraints	: null
3600.08/3559.24	c number of deleted constraints	: 0
3600.08/3559.24	c speed (assignments/second)	: 502682.75549703813
3600.08/3559.24	c non guided choices	: 0
3600.29/3559.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 494016
3600.29/3559.32	s SATISFIABLE
3600.29/3559.33	c Found 9 solution(s)
3600.29/3559.33	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 x201 x202 x203 x204 x205 x206 -x207 -x208 -x209 x210 x211 -x212 x213 -x214 x215 x216 x217 -x218 -x219 x220 x221 x222 -x223 x224 x225 x226 -x227 x228 -x229 -x230 x231 x232 x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 x244 x245 x246 -x247 x248 x249 -x250 -x251 x252 x253 x254 x255 -x256 x257 x258 x259 -x260 -x261 -x262 x263 x264 -x265 x266 -x267 -x268 x269 x270 x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 -x284 x285 -x286 -x287 -x288 x289 x290 -x291 -x292 x293 x294 x295 -x296 x297 x298 -x299 -x300 -x301 -x302 -x303 x304 x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 
3600.29/3559.33	c objective function=215
3600.29/3559.33	c Total wall clock time (in seconds): 3559.199

Verifier Data 

OK	215

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: 63931 MiB (55778 MiB free)
  memory of node 1: 64510 MiB (60855 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432232-1721086353/watcher-4432232-1721086353 -o /tmp/evaluation-result-4432232-1721086353/solver-4432232-1721086353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822114 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432232-1721086353.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100485 s]*
/proc/loadavg: 5.36 5.52 5.45 7/334 824239
/proc/meminfo: memFree=119389684/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=18975048 memory=64092 CPUtime=0.13 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 7068 0 0 0 12 1 0 0 20 0 18 0 160795547 19430449152 16023 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4743762 16023 5534 1 0 549317 0
[pid=824221/tid=824223] ppid=824218 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 1077936192 5639 0 0 0 7 1 0 0 20 0 18 0 160795547 19430449152 16023 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 160795550 19430449152 16023 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 160795550 19430449152 16023 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64092 KiB

[startup+0.207546 s]*
/proc/loadavg: 5.36 5.52 5.45 9/335 824240
/proc/meminfo: memFree=119307376/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19041612 memory=71492 CPUtime=0.32 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 7624 0 0 0 30 2 0 0 20 0 19 0 160795547 19498610688 17873 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4760403 17873 5849 1 0 549939 0
[pid=824221/tid=824223] ppid=824218 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 1077936192 5921 0 0 0 16 1 0 0 20 0 19 0 160795547 19498610688 17873 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19041612 memory=16967 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 17873 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19041612 memory=16097074391287456 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 17873 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160795566 19498610688 17873 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71492 KiB

[startup+0.306239 s]*
/proc/loadavg: 5.36 5.52 5.45 7/335 824240
/proc/meminfo: memFree=119237580/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19041612 memory=76028 CPUtime=0.5 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 8889 0 0 0 48 2 0 0 20 0 19 0 160795547 19498610688 19007 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4760403 19007 5849 1 0 550526 0
[pid=824221/tid=824223] ppid=824218 vsize=19041612 memory=-8600864186074243772 CPUtime=0.26 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 5943 0 0 0 24 2 0 0 20 0 19 0 160795547 19498610688 19007 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 19007 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 19007 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160795566 19498610688 19007 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76028 KiB

[startup+0.708228 s]
/proc/loadavg: 5.36 5.52 5.45 6/335 824240
/proc/meminfo: memFree=119162040/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19041612 memory=106724 CPUtime=1.28 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 13169 0 0 0 125 3 0 0 20 0 19 0 160795547 19498610688 26681 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4760403 26681 5881 1 0 553029 0
[pid=824221/tid=824223] ppid=824218 vsize=19041612 memory=41652 CPUtime=0.64 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 6020 0 0 0 62 2 0 0 20 0 19 0 160795547 19498610688 26681 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19041612 memory=12740 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 26681 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 26681 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19041612 memory=1904 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160795566 19498610688 26681 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106724 KiB

[startup+1.50023 s]
/proc/loadavg: 5.36 5.52 5.45 6/335 824240
/proc/meminfo: memFree=119089164/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19041612 memory=166468 CPUtime=2.45 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 18228 0 0 0 240 5 0 0 20 0 19 0 160795547 19498610688 41617 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4760403 41617 5881 1 0 553473 0
[pid=824221/tid=824223] ppid=824218 vsize=19041612 memory=12740 CPUtime=1.42 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 6701 0 0 0 139 3 0 0 20 0 19 0 160795547 19498610688 41617 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 41617 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160795550 19498610688 41617 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19041612 memory=1904 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160795566 19498610688 41617 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166468 KiB

[startup+3.10622 s]
/proc/loadavg: 5.33 5.52 5.45 6/336 824241
/proc/meminfo: memFree=118754316/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=267708 CPUtime=4.15 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 20226 0 0 0 408 7 0 0 20 0 20 0 160795547 19566772224 66927 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 66927 5913 1 0 553764 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=0 CPUtime=2.91 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 6999 0 0 0 288 3 0 0 20 0 20 0 160795547 19566772224 66927 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=-8600864186074243772 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 66927 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 66927 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 66927 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 267708 KiB

[startup+6.30027 s]
/proc/loadavg: 5.33 5.52 5.45 7/336 824241
/proc/meminfo: memFree=118433792/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=349808 CPUtime=7.41 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 20448 0 0 0 732 9 0 0 20 0 20 0 160795547 19566772224 87452 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 87452 5917 1 0 553767 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=2248 CPUtime=6 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 7086 0 0 0 597 3 0 0 20 0 20 0 160795547 19566772224 87452 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 87452 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 87452 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 87452 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 349808 KiB

[startup+12.7003 s]
/proc/loadavg: 5.13 5.47 5.43 6/336 824242
/proc/meminfo: memFree=117736168/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=759108 CPUtime=14.06 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 22914 0 0 0 1389 17 0 0 20 0 20 0 160795547 19566772224 189777 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 189777 5917 1 0 729220 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=12740 CPUtime=12.14 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 7806 0 0 0 1209 5 0 0 20 0 20 0 160795547 19566772224 189777 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=568564 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 189777 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=41652 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 189777 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 189777 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 759108 KiB

[startup+25.5003 s]
/proc/loadavg: 4.95 5.42 5.42 7/336 824244
/proc/meminfo: memFree=116155216/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=1198664 CPUtime=27.17 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 28878 0 0 0 2691 26 0 0 20 0 20 0 160795547 19566772224 299666 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 299666 5917 1 0 865000 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=6943526294502006880 CPUtime=24.62 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 9181 0 0 0 2454 8 0 0 20 0 20 0 160795547 19566772224 299666 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 299666 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=3516 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 299666 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 299666 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1198664 KiB

[startup+51.1059 s]
/proc/loadavg: 4.69 5.32 5.38 6/334 824249
/proc/meminfo: memFree=113488448/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=2324480 CPUtime=53.41 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 32151 0 0 0 5294 47 0 0 20 0 20 0 160795547 19566772224 581120 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 581120 5933 1 0 994510 0

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

[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.23 6/333 825802
/proc/meminfo: memFree=70897024/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=13596764 CPUtime=3261.35 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 307023 0 0 0 325752 383 0 0 20 0 20 0 160795547 19566772224 3399191 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 3399191 5933 1 0 3975504 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=11400 CPUtime=3165 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 89707 0 0 0 316418 82 0 0 20 0 20 0 160795547 19566772224 3399191 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=13531228 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3399191 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=5448 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1230 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3399191 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 3399191 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3261.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13596764 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.23 6/333 825813
/proc/meminfo: memFree=70814064/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=13678684 CPUtime=3321.57 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 307466 0 0 0 331772 385 0 0 20 0 20 0 160795547 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 3419671 5933 1 0 3975504 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=13596764 CPUtime=3224.43 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 89916 0 0 0 322361 82 0 0 20 0 20 0 160795547 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=41652 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1230 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=13678684 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3321.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13678684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.19 4.23 6/335 825993
/proc/meminfo: memFree=70802624/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=13678684 CPUtime=3381.67 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 312237 0 0 0 337780 387 0 0 20 0 20 0 160795547 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 3419671 5933 1 0 3975504 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=13678684 CPUtime=3283.81 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 91636 0 0 0 328299 82 0 0 20 0 20 0 160795547 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=5448 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1317 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=41652 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 3419671 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3381.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13678684 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.20 4.23 6/335 826003
/proc/meminfo: memFree=70403892/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=13867104 CPUtime=3441.97 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 312931 0 0 0 343804 393 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 3466776 5933 1 0 3975504 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=13678684 CPUtime=3343.19 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 92013 0 0 0 334237 82 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=13678684 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=13678684 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1317 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=13867104 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3441.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13867104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.21 6/336 826073
/proc/meminfo: memFree=70401156/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=13867104 CPUtime=3502.2 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 317875 0 0 0 349825 395 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 3466776 5933 1 0 3975504 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=13678684 CPUtime=3402.63 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 93877 0 0 0 340181 82 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=13867104 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1408 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3502.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13867104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.54 4.27 4.24 7/334 826219
/proc/meminfo: memFree=96892780/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=13867104 CPUtime=3562.95 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 319335 0 0 0 355899 396 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 3466776 5933 1 0 3975504 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=11400 CPUtime=3461.51 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 94370 0 0 0 346069 82 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=13867104 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=1904 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1423 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=5448 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3562.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13867104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3559.2 s]
/proc/loadavg: 4.59 4.30 4.25 5/336 826295
/proc/meminfo: memFree=106973300/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19108176 memory=13867104 CPUtime=3600.08 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 319846 0 0 0 359612 396 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4777044 3466776 5933 1 0 3975504 0
[pid=824221/tid=824223] ppid=824218 vsize=19108176 memory=33020 CPUtime=3497.95 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 94589 0 0 0 349713 82 0 0 20 0 20 0 160795547 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19108176 memory=13867104 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1423 0 0 0 0 0 0 0 20 0 20 0 160795550 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824240] ppid=824218 vsize=19108176 memory=13867104 CPUtime=0 cores=5,7
/proc/824221/task/824240/stat : 824240 (Timer-0) S 824218 824221 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160795566 19566772224 3466776 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13867104 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.38 s, system=4.00993 s

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

[startup+3559.3 s]
/proc/loadavg: 4.59 4.30 4.25 5/336 826295
/proc/meminfo: memFree=106973300/131524600 swapFree=131071996/131071996
[pid=824221] ppid=824218 vsize=19307868 memory=13867768 CPUtime=3600.29 cores=5,7
/proc/824221/stat : 824221 (java) S 824218 824221 822101 0 -1 1077936128 322768 0 0 0 359632 397 0 0 20 0 21 0 160795547 19771256832 3466942 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
/proc/824221/statm: 4826967 3466942 5932 1 0 3976407 0
[pid=824221/tid=824223] ppid=824218 vsize=19307868 memory=13867104 CPUtime=3498.05 cores=5,7
/proc/824221/task/824223/stat : 824223 (java) R 824218 824221 822101 0 -1 4194368 94589 0 0 0 349723 82 0 0 20 0 21 0 160795547 19771256832 3466942 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824232] ppid=824218 vsize=19307868 memory=13867104 CPUtime=0 cores=5,7
/proc/824221/task/824232/stat : 824232 (Finalizer) S 824218 824221 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 160795550 19771256832 3466942 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
[pid=824221/tid=824239] ppid=824218 vsize=19307868 memory=13867104 CPUtime=0 cores=5,7
/proc/824221/task/824239/stat : 824239 (Common-Cleaner) S 824218 824221 822101 0 -1 1077936192 1423 0 0 0 0 0 0 0 20 0 21 0 160795550 19771256832 3466942 134679101440 93829220352000 93829220355696 140731397571568 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829220363512 93829220364304 93829253427200 140731397575687 140731397575777 140731397575777 140731397582792 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13867768 KiB

Child status: 143

Real time (s): 3559.37
CPU time (s): 3600.39
CPU user time (s): 3596.38
CPU system time (s): 4.00993
CPU usage (%): 101.152
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13867768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.38
system time used= 4.00993
maximum resident set size= 13868764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118072
involuntary context switches= 15165


# summary of solver processes directly reported to runsolver:
#   pid: 824221
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3596.38
#   total CPU system time (s): 4.00993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74993 second user time and 17.7221 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 01:32:45
IDJOB=4432232
IDBENCH=147543
IDSOLVER=3058
FILE ID=nodeC015/4432232-1721086353
RUNJOBID= nodeC015-1721083519-822114
SLURM_JOB_ID= 7505571
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432232-1721086353/watcher-4432232-1721086353 -o /tmp/evaluation-result-4432232-1721086353/solver-4432232-1721086353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822114 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432232-1721086353.opb

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

MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=385662887

nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.671
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.306
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.918
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3631.215
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.555
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.277
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.119
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3645.815
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119433436 kB
MemAvailable:   124692728 kB
Buffers:          367396 kB
Cached:          5720540 kB
SwapCached:            0 kB
Active:          1195304 kB
Inactive:       10273916 kB
Active(anon):       1572 kB
Inactive(anon):  5417108 kB
Active(file):    1193732 kB
Inactive(file):  4856808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2844 kB
Writeback:           120 kB
AnonPages:       5379248 kB
Mapped:           124616 kB
Shmem:             37720 kB
KReclaimable:      96796 kB
Slab:             204184 kB
SReclaimable:      96796 kB
SUnreclaim:       107388 kB
KernelStack:        5152 kB
PageTables:        20380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11437564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5089280 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC015 at 2024-07-16 02:32:05