Trace number 4460063

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)-79 3600.38 3521.49

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-sporttournament22.opb
MD5SUM3dbd6cb1337568dea4a1eae85a2a7ca5
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-117
Best CPU time to get the best result obtained on this benchmark11.8625
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 602
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 652
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 652
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)440
Sum of products size (including duplicates)880
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.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.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4460063-1721946458.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.16	c ... done. Wall clock time 0.032s.
0.13/0.16	c declared #vars     231
0.13/0.16	c internal #vars     671
0.13/0.16	c #constraints  880
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 440
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 440
0.13/0.16	c 880 constraints processed.
0.13/0.17	c objective function length is 602 literals
0.13/0.17	c SATISFIABLE
0.13/0.18	c OPTIMIZING...
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.052
0.13/0.18	o -69
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.061
0.13/0.18	o -70
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.065
0.13/0.19	o -71
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.07
0.13/0.20	o -72
0.71/0.48	c Got one! Elapsed wall clock time (in seconds):0.361
0.71/0.48	o -73
0.71/0.49	c Got one! Elapsed wall clock time (in seconds):0.365
0.71/0.49	o -74
1.11/0.69	c cleaning 2732 clauses out of 5469 with flag 6011/5469
1.45/0.86	c Got one! Elapsed wall clock time (in seconds):0.735
1.45/0.86	o -75
1.69/1.05	c cleaning 6709 clauses out of 13436 with flag 10016/16168
2.11/1.30	c cleaning 6357 clauses out of 12728 with flag 22022/22169
2.31/1.52	c cleaning 6676 clauses out of 13370 with flag 36025/29168
2.51/1.78	c cleaning 7342 clauses out of 14695 with flag 52063/37169
2.92/2.14	c cleaning 8169 clauses out of 16352 with flag 70062/46168
3.26/2.47	c cleaning 9084 clauses out of 18183 with flag 90066/56168
3.60/2.73	c Got one! Elapsed wall clock time (in seconds):2.602
3.60/2.73	o -76
3.85/2.93	c cleaning 10825 clauses out of 21667 with flag 10028/68736
4.05/3.13	c cleaning 8412 clauses out of 16842 with flag 22028/74736
4.26/3.35	c cleaning 7705 clauses out of 15431 with flag 36030/81737
4.63/3.64	c cleaning 7854 clauses out of 15726 with flag 52039/89737
4.99/3.94	c cleaning 8427 clauses out of 16872 with flag 70052/98737
5.42/4.31	c cleaning 9215 clauses out of 18445 with flag 90064/108737
5.72/4.69	c cleaning 10109 clauses out of 20231 with flag 112130/119738
6.15/5.10	c cleaning 11054 clauses out of 22121 with flag 136128/131737
6.70/5.53	c cleaning 12027 clauses out of 24067 with flag 162128/144737
7.10/5.99	c cleaning 13011 clauses out of 26040 with flag 190128/158737
7.77/6.56	c cleaning 14006 clauses out of 28029 with flag 220128/173737
8.27/7.08	c cleaning 15003 clauses out of 30023 with flag 252128/189737
8.91/7.69	c cleaning 16001 clauses out of 32019 with flag 286126/206736
9.50/8.26	c cleaning 16999 clauses out of 34018 with flag 322127/224736
10.35/9.05	c cleaning 18002 clauses out of 36020 with flag 360129/243737
11.04/9.79	c cleaning 18999 clauses out of 38018 with flag 400129/263737
12.03/10.65	c cleaning 20002 clauses out of 40019 with flag 442129/284737
12.72/11.38	c cleaning 20998 clauses out of 42017 with flag 486129/306737
13.68/12.20	c cleaning 21998 clauses out of 44020 with flag 532131/329738
14.58/13.13	c cleaning 23001 clauses out of 46020 with flag 580127/353736
15.63/14.15	c cleaning 24002 clauses out of 48019 with flag 630127/378736
16.71/15.19	c cleaning 24998 clauses out of 50017 with flag 682127/404736
17.89/16.30	c cleaning 26002 clauses out of 52020 with flag 736243/431737
19.20/17.53	c cleaning 27000 clauses out of 54018 with flag 792297/459737
20.29/18.65	c cleaning 27999 clauses out of 56017 with flag 850333/488736
21.65/19.96	c cleaning 29001 clauses out of 58019 with flag 910390/518737
23.27/21.42	c cleaning 30002 clauses out of 60018 with flag 972446/549737
24.56/22.79	c cleaning 30999 clauses out of 62016 with flag 1036529/581737
26.10/24.24	c cleaning 31998 clauses out of 64016 with flag 1102617/614736
27.66/25.79	c cleaning 33001 clauses out of 66018 with flag 1170678/648736
28.96/27.09	c cleaning 33997 clauses out of 68017 with flag 1240718/683736
30.67/28.71	c cleaning 35002 clauses out of 70021 with flag 1312789/719737
32.47/30.44	c cleaning 35996 clauses out of 72019 with flag 1386803/756737
33.96/31.93	c cleaning 37000 clauses out of 74023 with flag 1462860/794737
35.76/33.76	c cleaning 38003 clauses out of 76024 with flag 1540933/833738
37.64/35.53	c cleaning 38999 clauses out of 78019 with flag 1620967/873736
39.14/37.08	c cleaning 40001 clauses out of 80020 with flag 1703016/914736
41.33/39.08	c cleaning 40997 clauses out of 82020 with flag 1787101/956737
43.32/41.08	c cleaning 41999 clauses out of 84023 with flag 1873138/999737
45.54/43.12	c cleaning 42999 clauses out of 86024 with flag 1961231/1043737
47.84/45.37	c cleaning 44005 clauses out of 88024 with flag 2051236/1088736
49.94/47.40	c cleaning 44999 clauses out of 90019 with flag 2143236/1134736
52.27/49.70	c cleaning 45999 clauses out of 92021 with flag 2237238/1181737
54.80/52.07	c cleaning 47002 clauses out of 94021 with flag 2333236/1229736
57.07/54.37	c cleaning 48002 clauses out of 96020 with flag 2431238/1278737
60.17/56.81	c cleaning 48996 clauses out of 98018 with flag 2531238/1328737
62.52/59.11	c cleaning 50002 clauses out of 100022 with flag 2633238/1379737
65.18/61.61	c cleaning 50999 clauses out of 102020 with flag 2737238/1431737
67.74/64.13	c cleaning 51997 clauses out of 104020 with flag 2843236/1484736
70.33/66.64	c cleaning 53003 clauses out of 106023 with flag 2951236/1538736
72.91/69.16	c cleaning 54000 clauses out of 108021 with flag 3061238/1593737
75.62/71.78	c cleaning 55003 clauses out of 110022 with flag 3173240/1649738
78.12/74.25	c cleaning 55999 clauses out of 112019 with flag 3287240/1706738
81.00/77.05	c cleaning 57002 clauses out of 114020 with flag 3403241/1764738
83.69/79.71	c cleaning 58000 clauses out of 116017 with flag 3521239/1823737
86.79/82.73	c cleaning 58996 clauses out of 118017 with flag 3641240/1883737
90.41/86.11	c cleaning 59998 clauses out of 120021 with flag 3763240/1944737
93.52/89.13	c cleaning 61001 clauses out of 122022 with flag 3887238/2006736
96.65/92.11	c cleaning 62006 clauses out of 124024 with flag 4013245/2069739
99.53/95.01	c cleaning 62999 clauses out of 126015 with flag 4141239/2133736
102.53/98.06	c cleaning 64001 clauses out of 128017 with flag 4271241/2198737
106.05/101.32	c cleaning 64999 clauses out of 130017 with flag 4403248/2264738
109.04/104.36	c cleaning 65999 clauses out of 132017 with flag 4537246/2331737
113.33/107.92	c cleaning 66997 clauses out of 134017 with flag 4673244/2399736
116.48/111.06	c cleaning 68004 clauses out of 136021 with flag 4811358/2468737
119.56/114.19	c cleaning 68998 clauses out of 138017 with flag 4951578/2538737
123.07/117.65	c cleaning 70000 clauses out of 140018 with flag 5093678/2609736
126.85/121.25	c cleaning 71000 clauses out of 142018 with flag 5237820/2681736
130.75/125.11	c cleaning 71999 clauses out of 144019 with flag 5383837/2754737
134.75/128.99	c cleaning 72999 clauses out of 146020 with flag 5531846/2828737
138.91/132.95	c cleaning 74002 clauses out of 148020 with flag 5681858/2903736
142.99/136.85	c cleaning 74997 clauses out of 150018 with flag 5833863/2979736
147.23/140.98	c cleaning 75998 clauses out of 152021 with flag 5987874/3056736
151.34/144.96	c cleaning 76999 clauses out of 154023 with flag 6143897/3134736
156.02/149.46	c cleaning 77998 clauses out of 156024 with flag 6301918/3213736
160.53/153.74	c cleaning 79006 clauses out of 158026 with flag 6461926/3293736
160.93/154.15	c Got one! Elapsed wall clock time (in seconds):154.026
160.93/154.15	o -77
161.43/154.69	c cleaning 48808 clauses out of 97628 with flag 10006/3312344
161.84/155.02	c cleaning 27401 clauses out of 54819 with flag 22018/3318343
162.03/155.26	c cleaning 17201 clauses out of 34419 with flag 36026/3325344
162.23/155.48	c cleaning 12599 clauses out of 25218 with flag 52027/3333344
162.53/155.74	c cleaning 10802 clauses out of 21619 with flag 70027/3342344
162.84/156.05	c cleaning 10401 clauses out of 20817 with flag 90027/3352344
163.38/156.41	c cleaning 10703 clauses out of 21416 with flag 112030/3363344
163.68/156.76	c cleaning 11347 clauses out of 22714 with flag 136042/3375345
164.08/157.17	c cleaning 12173 clauses out of 24365 with flag 162052/3388343
164.57/157.60	c cleaning 13088 clauses out of 26192 with flag 190062/3402343
164.97/158.06	c cleaning 14041 clauses out of 28104 with flag 220091/3417343
165.47/158.59	c cleaning 15024 clauses out of 30063 with flag 252119/3433343
166.08/159.15	c cleaning 16013 clauses out of 32039 with flag 286119/3450343
166.82/159.81	c cleaning 17002 clauses out of 34026 with flag 322119/3468343
167.42/160.43	c cleaning 18004 clauses out of 36026 with flag 360123/3487345
168.02/161.09	c cleaning 19001 clauses out of 38021 with flag 400121/3507344
168.82/161.83	c cleaning 19997 clauses out of 40019 with flag 442119/3528343
169.51/162.59	c cleaning 21001 clauses out of 42023 with flag 486121/3550344
170.41/163.46	c cleaning 22001 clauses out of 44022 with flag 532121/3573344
171.21/164.28	c cleaning 23004 clauses out of 46021 with flag 580121/3597344
172.29/165.29	c cleaning 23998 clauses out of 48016 with flag 630119/3622343
173.29/166.23	c cleaning 24998 clauses out of 50018 with flag 682119/3648343
174.19/167.19	c cleaning 26000 clauses out of 52021 with flag 736121/3675344
175.38/168.31	c cleaning 26998 clauses out of 54020 with flag 792119/3703343
176.48/169.40	c cleaning 28004 clauses out of 56024 with flag 850123/3732345
177.58/170.50	c cleaning 28999 clauses out of 58019 with flag 910139/3762344
178.78/171.76	c cleaning 29997 clauses out of 60019 with flag 972191/3793343
179.97/172.99	c cleaning 30999 clauses out of 62022 with flag 1036270/3825343
181.37/174.34	c cleaning 32000 clauses out of 64023 with flag 1102388/3858343
182.93/175.80	c cleaning 33005 clauses out of 66023 with flag 1170469/3892343
184.33/177.21	c cleaning 33999 clauses out of 68020 with flag 1240540/3927345
185.63/178.53	c cleaning 35001 clauses out of 70019 with flag 1312579/3963343
187.13/180.09	c cleaning 35997 clauses out of 72018 with flag 1386622/4000343
188.72/181.64	c cleaning 36999 clauses out of 74022 with flag 1462699/4038344
190.23/183.17	c cleaning 38003 clauses out of 76022 with flag 1540760/4077343
191.92/184.87	c cleaning 38995 clauses out of 78020 with flag 1620798/4117344
193.52/186.46	c cleaning 40000 clauses out of 80025 with flag 1702844/4158344
195.22/188.11	c cleaning 41001 clauses out of 82024 with flag 1786914/4200343
196.91/189.83	c cleaning 42000 clauses out of 84025 with flag 1872966/4243345
198.80/191.74	c cleaning 42999 clauses out of 86023 with flag 1960984/4287343
200.60/193.58	c cleaning 44002 clauses out of 88025 with flag 2051102/4332344
202.60/195.58	c cleaning 44998 clauses out of 90023 with flag 2143106/4378344
204.59/197.56	c cleaning 46000 clauses out of 92025 with flag 2237106/4425344
206.69/199.68	c cleaning 47002 clauses out of 94025 with flag 2333106/4473344
209.15/201.98	c cleaning 48002 clauses out of 96023 with flag 2431106/4522344
211.44/204.27	c cleaning 49000 clauses out of 98020 with flag 2531104/4572343
213.74/206.59	c cleaning 50004 clauses out of 100021 with flag 2633106/4623344
216.03/208.88	c cleaning 51000 clauses out of 102017 with flag 2737106/4675344
218.44/211.22	c cleaning 51996 clauses out of 104017 with flag 2843106/4728344
221.31/213.90	c cleaning 53000 clauses out of 106021 with flag 2951106/4782344
223.70/216.39	c cleaning 54000 clauses out of 108020 with flag 3061104/4837343
226.10/218.74	c cleaning 54998 clauses out of 110022 with flag 3173108/4893345
228.78/221.36	c cleaning 56001 clauses out of 112022 with flag 3287104/4950343
231.38/223.92	c cleaning 57000 clauses out of 114022 with flag 3403106/5008344
233.87/226.42	c cleaning 57997 clauses out of 116022 with flag 3521106/5067344
236.47/229.05	c cleaning 59003 clauses out of 118024 with flag 3641104/5127343
239.17/231.75	c cleaning 59999 clauses out of 120021 with flag 3763104/5188343
241.86/234.49	c cleaning 61002 clauses out of 122022 with flag 3887117/5250343
245.17/237.51	c cleaning 61999 clauses out of 124020 with flag 4013117/5313343
247.87/240.26	c cleaning 63003 clauses out of 126021 with flag 4141117/5377343
251.13/243.46	c cleaning 64000 clauses out of 128018 with flag 4271117/5442343
254.32/246.60	c cleaning 64997 clauses out of 130019 with flag 4403125/5508344
257.21/249.59	c cleaning 65998 clauses out of 132021 with flag 4537171/5575343
260.41/252.71	c cleaning 67001 clauses out of 134023 with flag 4673223/5643343
263.80/256.12	c cleaning 68000 clauses out of 136022 with flag 4811301/5712343
267.19/259.52	c cleaning 68998 clauses out of 138022 with flag 4951459/5782343
270.38/262.77	c cleaning 70000 clauses out of 140025 with flag 5093643/5853344
273.57/265.98	c cleaning 71000 clauses out of 142025 with flag 5237835/5925344
277.06/269.45	c cleaning 71999 clauses out of 144024 with flag 5383885/5998343
280.59/272.84	c cleaning 73005 clauses out of 146025 with flag 5531900/6072343
284.08/276.34	c cleaning 74000 clauses out of 148022 with flag 5681915/6147345
287.79/280.05	c cleaning 74996 clauses out of 150020 with flag 5833920/6223343
292.53/284.44	c cleaning 75997 clauses out of 152024 with flag 5987924/6300343
296.70/288.41	c cleaning 77001 clauses out of 154028 with flag 6143937/6378344
300.49/292.27	c cleaning 77998 clauses out of 156026 with flag 6301950/6457343
305.23/296.86	c cleaning 79007 clauses out of 158029 with flag 6461969/6537344
308.73/300.35	c cleaning 80002 clauses out of 160021 with flag 6623985/6618343
312.91/304.41	c cleaning 81002 clauses out of 162019 with flag 6788004/6700343
316.40/307.99	c cleaning 81998 clauses out of 164017 with flag 6954351/6783343
320.34/311.78	c cleaning 82999 clauses out of 166020 with flag 7122645/6867344
324.13/315.57	c cleaning 84001 clauses out of 168020 with flag 7292777/6952343
328.21/319.55	c cleaning 84999 clauses out of 170020 with flag 7464838/7038344
332.91/324.21	c cleaning 86002 clauses out of 172020 with flag 7638856/7125343
337.52/328.60	c cleaning 86997 clauses out of 174018 with flag 7814878/7213343
341.31/332.47	c cleaning 87999 clauses out of 176021 with flag 7992890/7302343
345.63/336.68	c cleaning 89003 clauses out of 178023 with flag 8172907/7392344
349.92/340.96	c cleaning 90001 clauses out of 180020 with flag 8354922/7483344
354.97/345.86	c cleaning 90997 clauses out of 182018 with flag 8538929/7575343
359.56/350.43	c cleaning 91998 clauses out of 184021 with flag 8724952/7668343
364.53/355.22	c cleaning 92996 clauses out of 186024 with flag 8912974/7762344
369.22/359.93	c cleaning 94007 clauses out of 188028 with flag 9102993/7857344
374.04/364.51	c cleaning 95002 clauses out of 190022 with flag 9295005/7953345
378.96/369.28	c cleaning 95997 clauses out of 192018 with flag 9489014/8050343
384.28/374.40	c cleaning 97003 clauses out of 194021 with flag 9685016/8148343
389.74/379.76	c cleaning 97997 clauses out of 196018 with flag 9883032/8247343
395.03/384.89	c cleaning 98999 clauses out of 198022 with flag 10083036/8347344
401.28/390.69	c cleaning 100001 clauses out of 200023 with flag 10285048/8448344
407.91/396.19	c cleaning 101001 clauses out of 202021 with flag 10489052/8550343
413.95/401.99	c cleaning 101999 clauses out of 204021 with flag 10695054/8653344
420.21/408.08	c cleaning 103002 clauses out of 206022 with flag 10903059/8757344
425.29/413.09	c cleaning 104001 clauses out of 208019 with flag 11113066/8862343
431.51/419.05	c cleaning 105001 clauses out of 210019 with flag 11325069/8968344
437.55/424.98	c cleaning 105997 clauses out of 212019 with flag 11539071/9075345
443.59/430.63	c cleaning 107002 clauses out of 214020 with flag 11755067/9183343
449.15/436.04	c cleaning 107994 clauses out of 216019 with flag 11973075/9292344
455.50/442.37	c cleaning 109003 clauses out of 218024 with flag 12193090/9402343
462.45/448.90	c cleaning 109995 clauses out of 220021 with flag 12415090/9513343
468.58/454.97	c cleaning 111000 clauses out of 222027 with flag 12639092/9625344
475.69/461.73	c cleaning 111997 clauses out of 224026 with flag 12865090/9738343
482.20/468.13	c cleaning 113003 clauses out of 226029 with flag 13093104/9852343
490.36/476.02	c cleaning 114001 clauses out of 228026 with flag 13323110/9967343
496.98/482.51	c cleaning 115004 clauses out of 230025 with flag 13555110/10083343
504.78/490.10	c cleaning 116003 clauses out of 232023 with flag 13789114/10200345
511.35/496.48	c cleaning 117001 clauses out of 234018 with flag 14025110/10318343
518.64/503.43	c cleaning 118001 clauses out of 236018 with flag 14263112/10437344
527.18/510.64	c cleaning 119001 clauses out of 238017 with flag 14503112/10557344
533.61/516.97	c cleaning 119999 clauses out of 240015 with flag 14745243/10678343
540.78/524.09	c cleaning 120998 clauses out of 242016 with flag 14989243/10800343
548.06/530.95	c cleaning 121999 clauses out of 244018 with flag 15235243/10923343
555.57/538.21	c cleaning 123001 clauses out of 246021 with flag 15483247/11047345
562.41/544.97	c cleaning 123996 clauses out of 248020 with flag 15733247/11172345
569.01/551.47	c cleaning 125002 clauses out of 250023 with flag 15985245/11298344
575.60/557.67	c cleaning 126001 clauses out of 252021 with flag 16239288/11425344
582.11/563.98	c cleaning 126995 clauses out of 254020 with flag 16495368/11553344
588.35/570.04	c cleaning 128001 clauses out of 256024 with flag 16753466/11682343
595.07/576.63	c cleaning 128996 clauses out of 258023 with flag 17013546/11812343
602.49/584.05	c cleaning 130005 clauses out of 260029 with flag 17275550/11943345
610.46/591.58	c cleaning 131003 clauses out of 262022 with flag 17539546/12075343
618.18/599.03	c cleaning 132003 clauses out of 264019 with flag 17805546/12208343
625.64/606.37	c cleaning 132998 clauses out of 266018 with flag 18073550/12342345
634.08/614.49	c cleaning 134000 clauses out of 268018 with flag 18343546/12477343
642.80/622.94	c cleaning 135000 clauses out of 270019 with flag 18615548/12613344
650.44/630.41	c cleaning 135999 clauses out of 272020 with flag 18889597/12750345
659.41/639.01	c cleaning 136996 clauses out of 274020 with flag 19165692/12888344
668.19/647.62	c cleaning 138001 clauses out of 276024 with flag 19443692/13027344
677.21/656.52	c cleaning 138999 clauses out of 278023 with flag 19723692/13167344
684.82/663.87	c cleaning 140000 clauses out of 280024 with flag 20005692/13308344
692.62/671.42	c cleaning 141001 clauses out of 282024 with flag 20289956/13450344
701.80/680.27	c cleaning 141999 clauses out of 284023 with flag 20575975/13593344
709.83/688.08	c cleaning 142997 clauses out of 286024 with flag 20863982/13737344
717.79/695.99	c cleaning 143999 clauses out of 288026 with flag 21154006/13882343
728.99/705.54	c cleaning 144997 clauses out of 290027 with flag 21446084/14028343
738.42/714.76	c cleaning 146003 clauses out of 292030 with flag 21740395/14175343
747.82/723.97	c cleaning 147000 clauses out of 294028 with flag 22036398/14323344
757.63/733.56	c cleaning 148004 clauses out of 296028 with flag 22334594/14472344
767.21/742.95	c cleaning 149002 clauses out of 298024 with flag 22634602/14622344
776.57/752.20	c cleaning 150002 clauses out of 300022 with flag 22936602/14773344
785.68/761.29	c cleaning 150997 clauses out of 302019 with flag 23240817/14925343
797.08/772.23	c cleaning 151999 clauses out of 304022 with flag 23546817/15078343
806.75/781.69	c cleaning 152999 clauses out of 306023 with flag 23854817/15232343
816.38/791.09	c cleaning 153998 clauses out of 308024 with flag 24164892/15387343
826.21/800.62	c cleaning 155003 clauses out of 310026 with flag 24477104/15543343
835.84/810.15	c cleaning 156003 clauses out of 312023 with flag 24791410/15700343
847.19/821.10	c cleaning 156999 clauses out of 314021 with flag 25107471/15858344
857.74/831.48	c cleaning 157997 clauses out of 316023 with flag 25425806/16017345
867.96/841.53	c cleaning 158997 clauses out of 318025 with flag 25745925/16177344
878.79/852.22	c cleaning 160004 clauses out of 320029 with flag 26068177/16338345
889.61/862.62	c cleaning 161003 clauses out of 322025 with flag 26392482/16500345
899.70/872.41	c cleaning 161995 clauses out of 324021 with flag 26718815/16663344
901.00/873.72	c Got one! Elapsed wall clock time (in seconds):873.597
901.00/873.72	o -78
903.20/876.00	c cleaning 105407 clauses out of 210827 with flag 10008/16712145
904.19/876.98	c cleaning 55702 clauses out of 111420 with flag 22018/16718145
904.59/877.40	c cleaning 31351 clauses out of 62719 with flag 36024/16725146
904.89/877.69	c cleaning 19674 clauses out of 39367 with flag 52030/16733145
905.19/877.96	c cleaning 14338 clauses out of 28693 with flag 70039/16742145
905.49/878.26	c cleaning 12169 clauses out of 24358 with flag 90053/16752148
905.90/878.60	c cleaning 11582 clauses out of 23187 with flag 112069/16763146
906.20/878.94	c cleaning 11797 clauses out of 23605 with flag 136069/16775146
906.60/879.33	c cleaning 12394 clauses out of 24807 with flag 162067/16788145
907.00/879.76	c cleaning 13195 clauses out of 26413 with flag 190067/16802145
907.49/880.25	c cleaning 14102 clauses out of 28219 with flag 220069/16817146
907.99/880.74	c cleaning 15049 clauses out of 30116 with flag 252067/16833145
908.59/881.30	c cleaning 16020 clauses out of 32068 with flag 286069/16850146
909.19/881.90	c cleaning 17014 clauses out of 34047 with flag 322067/16868145
909.79/882.50	c cleaning 18006 clauses out of 36034 with flag 360069/16887146
910.51/883.28	c cleaning 19001 clauses out of 38028 with flag 400069/16907146
911.21/884.00	c cleaning 20006 clauses out of 40026 with flag 442067/16928145
912.01/884.72	c cleaning 20999 clauses out of 42020 with flag 486067/16950145
912.72/885.47	c cleaning 22001 clauses out of 44021 with flag 532067/16973145
913.71/886.41	c cleaning 23003 clauses out of 46021 with flag 580069/16997146
914.61/887.33	c cleaning 24001 clauses out of 48018 with flag 630069/17022146
915.66/888.36	c cleaning 24998 clauses out of 50016 with flag 682134/17048145
916.66/889.32	c cleaning 26001 clauses out of 52019 with flag 736145/17075146
917.65/890.36	c cleaning 26997 clauses out of 54017 with flag 792143/17103145
918.75/891.42	c cleaning 27998 clauses out of 56022 with flag 850147/17132147
920.05/892.60	c cleaning 28997 clauses out of 58024 with flag 910147/17162147
921.25/893.81	c cleaning 30000 clauses out of 60025 with flag 972143/17193145
922.45/895.08	c cleaning 31000 clauses out of 62025 with flag 1036143/17225145
923.65/896.25	c cleaning 32001 clauses out of 64027 with flag 1102147/17258147
924.84/897.41	c cleaning 32997 clauses out of 66024 with flag 1170143/17292145
926.17/898.79	c cleaning 34002 clauses out of 68028 with flag 1240145/17327146
927.57/900.17	c cleaning 35000 clauses out of 70026 with flag 1312145/17363146
929.06/901.67	c cleaning 35997 clauses out of 72025 with flag 1386184/17400145
930.66/903.22	c cleaning 37002 clauses out of 74029 with flag 1462227/17438146
932.16/904.78	c cleaning 38004 clauses out of 76027 with flag 1540331/17477146
933.85/906.48	c cleaning 38997 clauses out of 78022 with flag 1620419/17517145
935.62/908.10	c cleaning 39999 clauses out of 80026 with flag 1702424/17558146
937.31/909.85	c cleaning 41005 clauses out of 82026 with flag 1786422/17600145
939.10/911.62	c cleaning 41999 clauses out of 84021 with flag 1872422/17643145
940.80/913.31	c cleaning 42997 clauses out of 86023 with flag 1960424/17687146
942.78/915.24	c cleaning 44003 clauses out of 88025 with flag 2050422/17732145
944.58/917.05	c cleaning 44997 clauses out of 90022 with flag 2142422/17778145
946.68/919.10	c cleaning 46000 clauses out of 92026 with flag 2236424/17825146
948.57/921.05	c cleaning 47007 clauses out of 94027 with flag 2332426/17873147
950.57/923.04	c cleaning 47998 clauses out of 96019 with flag 2430424/17922146
953.11/925.45	c cleaning 49001 clauses out of 98022 with flag 2530426/17972147
955.11/927.41	c cleaning 49996 clauses out of 100020 with flag 2632449/18023146
957.20/929.51	c cleaning 50996 clauses out of 102023 with flag 2736447/18075145
959.58/931.83	c cleaning 52003 clauses out of 104027 with flag 2842554/18128145
961.98/934.25	c cleaning 53000 clauses out of 106025 with flag 2950580/18182146
964.17/936.41	c cleaning 53998 clauses out of 108024 with flag 3060584/18237145
966.47/938.78	c cleaning 55003 clauses out of 110027 with flag 3172604/18293146
968.77/941.08	c cleaning 56001 clauses out of 112025 with flag 3286620/18350147
971.26/943.53	c cleaning 57000 clauses out of 114024 with flag 3402627/18408147
973.65/945.95	c cleaning 58000 clauses out of 116022 with flag 3520627/18467145
976.50/948.65	c cleaning 58999 clauses out of 118022 with flag 3640627/18527145
979.00/951.13	c cleaning 59997 clauses out of 120023 with flag 3762638/18588145
981.89/953.94	c cleaning 61002 clauses out of 122026 with flag 3886648/18650145
984.58/956.63	c cleaning 61998 clauses out of 124025 with flag 4012655/18713146
987.58/959.61	c cleaning 62998 clauses out of 126026 with flag 4140666/18777145
990.47/962.51	c cleaning 64001 clauses out of 128029 with flag 4270691/18842146
993.26/965.32	c cleaning 65002 clauses out of 130027 with flag 4402693/18908145
996.66/968.75	c cleaning 66002 clauses out of 132026 with flag 4536695/18975146
999.66/971.79	c cleaning 67002 clauses out of 134023 with flag 4672693/19043145
1002.74/974.83	c cleaning 68000 clauses out of 136021 with flag 4810698/19112145
1005.95/977.95	c cleaning 68998 clauses out of 138021 with flag 4950704/19182145
1009.15/981.13	c cleaning 69994 clauses out of 140023 with flag 5092713/19253145
1012.34/984.34	c cleaning 71004 clauses out of 142030 with flag 5236724/19325146
1015.63/987.61	c cleaning 71998 clauses out of 144025 with flag 5382735/19398145
1018.82/990.89	c cleaning 73003 clauses out of 146028 with flag 5530754/19472146
1022.36/994.21	c cleaning 73999 clauses out of 148024 with flag 5680760/19547145
1025.73/997.61	c cleaning 74997 clauses out of 150025 with flag 5832768/19623145
1029.20/1001.19	c cleaning 76003 clauses out of 152028 with flag 5986774/19700145
1032.47/1004.48	c cleaning 76996 clauses out of 154026 with flag 6142776/19778146
1036.14/1008.03	c cleaning 78003 clauses out of 156030 with flag 6300788/19857146
1039.61/1011.58	c cleaning 79000 clauses out of 158027 with flag 6460793/19937146
1043.77/1015.79	c cleaning 80004 clauses out of 160028 with flag 6622812/20018147
1047.84/1019.82	c cleaning 80998 clauses out of 162022 with flag 6786814/20100145
1051.51/1023.54	c cleaning 82002 clauses out of 164024 with flag 6952819/20183145
1055.52/1027.59	c cleaning 82997 clauses out of 166024 with flag 7120831/20267147
1060.31/1032.26	c cleaning 84003 clauses out of 168026 with flag 7290842/20352146
1065.00/1036.91	c cleaning 85002 clauses out of 170022 with flag 7462843/20438145
1069.29/1041.25	c cleaning 85996 clauses out of 172021 with flag 7636851/20525146
1073.58/1045.54	c cleaning 86995 clauses out of 174025 with flag 7812862/20613146
1077.97/1049.93	c cleaning 88006 clauses out of 176031 with flag 7990871/20702147
1083.09/1054.62	c cleaning 89003 clauses out of 178025 with flag 8170879/20792147
1087.79/1059.15	c cleaning 89992 clauses out of 180022 with flag 8352894/20883147
1092.68/1064.09	c cleaning 91000 clauses out of 182029 with flag 8536905/20975146
1097.43/1068.77	c cleaning 92000 clauses out of 184029 with flag 8722922/21068146
1101.92/1073.29	c cleaning 92999 clauses out of 186028 with flag 8910930/21162145
1107.35/1078.52	c cleaning 94002 clauses out of 188030 with flag 9100949/21257146
1112.22/1083.29	c cleaning 95001 clauses out of 190028 with flag 9292963/21353146
1116.91/1087.92	c cleaning 95999 clauses out of 192027 with flag 9486985/21450146
1121.85/1092.81	c cleaning 96999 clauses out of 194028 with flag 9682996/21548146
1127.04/1098.02	c cleaning 97998 clauses out of 196028 with flag 9880999/21647145
1132.43/1103.42	c cleaning 98999 clauses out of 198031 with flag 10081006/21747146
1138.13/1109.14	c cleaning 100003 clauses out of 200031 with flag 10283031/21848145
1143.92/1114.91	c cleaning 100997 clauses out of 202030 with flag 10487039/21950147
1150.08/1120.99	c cleaning 102001 clauses out of 204031 with flag 10693040/22053145
1157.76/1127.20	c cleaning 103003 clauses out of 206031 with flag 10901044/22157146
1163.54/1132.81	c cleaning 104002 clauses out of 208027 with flag 11111063/22262145
1169.09/1138.47	c cleaning 105001 clauses out of 210025 with flag 11323072/22368145
1174.70/1144.08	c cleaning 106001 clauses out of 212025 with flag 11537100/22475146
1180.56/1149.77	c cleaning 106996 clauses out of 214023 with flag 11753121/22583145
1186.78/1155.70	c cleaning 108003 clauses out of 216028 with flag 11971140/22692146
1193.05/1161.76	c cleaning 108995 clauses out of 218024 with flag 12191165/22802145
1198.94/1167.61	c cleaning 109997 clauses out of 220029 with flag 12413192/22913145
1204.58/1173.25	c cleaning 111002 clauses out of 222033 with flag 12637214/23025146
1210.98/1179.53	c cleaning 111995 clauses out of 224030 with flag 12863222/23138145
1217.98/1186.31	c cleaning 113005 clauses out of 226037 with flag 13091240/23252147
1225.71/1193.94	c cleaning 114000 clauses out of 228031 with flag 13321247/23367146
1232.19/1200.27	c cleaning 115000 clauses out of 230030 with flag 13553261/23483145
1238.71/1206.55	c cleaning 116000 clauses out of 232030 with flag 13787292/23600145
1245.97/1213.54	c cleaning 116997 clauses out of 234030 with flag 14023312/23718145
1252.31/1219.91	c cleaning 118006 clauses out of 236033 with flag 14261336/23837145
1258.65/1226.21	c cleaning 119003 clauses out of 238028 with flag 14501356/23957146
1260.90/1228.44	c Got one! Elapsed wall clock time (in seconds):1228.321
1260.90/1228.44	o -79
1262.22/1229.72	c cleaning 92300 clauses out of 184618 with flag 10005/24022739
1262.72/1230.25	c cleaning 49152 clauses out of 98320 with flag 22013/24028741
1263.01/1230.56	c cleaning 28078 clauses out of 56167 with flag 36018/24035740
1263.31/1230.81	c cleaning 18038 clauses out of 36090 with flag 52031/24043741
1263.52/1231.07	c cleaning 13517 clauses out of 27051 with flag 70029/24052740
1263.81/1231.35	c cleaning 11762 clauses out of 23535 with flag 90031/24062741
1264.11/1231.65	c cleaning 11380 clauses out of 22772 with flag 112029/24073740
1264.52/1232.01	c cleaning 11687 clauses out of 23391 with flag 136027/24085739
1264.81/1232.39	c cleaning 12341 clauses out of 24705 with flag 162029/24098740
1265.32/1232.86	c cleaning 13171 clauses out of 26365 with flag 190031/24112741
1265.82/1233.36	c cleaning 14089 clauses out of 28194 with flag 220031/24127741
1266.32/1233.87	c cleaning 15044 clauses out of 30104 with flag 252029/24143740
1266.92/1234.40	c cleaning 16023 clauses out of 32059 with flag 286027/24160739
1267.52/1235.01	c cleaning 17008 clauses out of 34037 with flag 322029/24178740
1268.12/1235.65	c cleaning 18006 clauses out of 36028 with flag 360027/24197739
1268.82/1236.34	c cleaning 19001 clauses out of 38023 with flag 400029/24217740
1269.52/1237.06	c cleaning 20000 clauses out of 40021 with flag 442066/24238739
1270.31/1237.80	c cleaning 21001 clauses out of 42021 with flag 486120/24260739
1271.01/1238.59	c cleaning 22002 clauses out of 44020 with flag 532142/24283739
1271.91/1239.46	c cleaning 22998 clauses out of 46018 with flag 580217/24307739
1272.81/1240.36	c cleaning 24000 clauses out of 48020 with flag 630291/24332739
1273.71/1241.24	c cleaning 25002 clauses out of 50021 with flag 682353/24358740
1274.61/1242.16	c cleaning 26001 clauses out of 52019 with flag 736353/24385740
1275.61/1243.18	c cleaning 27001 clauses out of 54017 with flag 792351/24413739
1276.70/1244.25	c cleaning 28000 clauses out of 56017 with flag 850368/24442740
1277.90/1245.40	c cleaning 28998 clauses out of 58016 with flag 910443/24472739
1279.00/1246.51	c cleaning 30001 clauses out of 60018 with flag 972536/24503739
1280.35/1247.86	c cleaning 31000 clauses out of 62019 with flag 1036644/24535741
1281.56/1249.10	c cleaning 31999 clauses out of 64017 with flag 1102696/24568739
1282.95/1250.45	c cleaning 32997 clauses out of 66018 with flag 1170739/24602739
1284.44/1251.97	c cleaning 33997 clauses out of 68022 with flag 1240800/24637740
1285.95/1253.42	c cleaning 35005 clauses out of 70025 with flag 1312884/24673740
1287.35/1254.86	c cleaning 36000 clauses out of 72021 with flag 1387000/24710741
1288.94/1256.44	c cleaning 36996 clauses out of 74019 with flag 1463080/24748739
1290.44/1257.91	c cleaning 38003 clauses out of 76023 with flag 1541191/24787739
1292.04/1259.59	c cleaning 39000 clauses out of 78022 with flag 1621227/24827741
1293.64/1261.17	c cleaning 40003 clauses out of 80020 with flag 1703324/24868739
1295.23/1262.78	c cleaning 40998 clauses out of 82017 with flag 1787406/24910739
1296.93/1264.44	c cleaning 42002 clauses out of 84019 with flag 1873541/24953739
1298.63/1266.14	c cleaning 42997 clauses out of 86018 with flag 1961641/24997740
1300.42/1267.98	c cleaning 44004 clauses out of 88022 with flag 2051748/25042741
1302.69/1270.01	c cleaning 44995 clauses out of 90016 with flag 2143824/25088739
1304.38/1271.76	c cleaning 46000 clauses out of 92022 with flag 2237943/25135740
1306.18/1273.58	c cleaning 47001 clauses out of 94023 with flag 2334101/25183741
1308.08/1275.42	c cleaning 47997 clauses out of 96020 with flag 2432248/25232739
1310.38/1277.64	c cleaning 49000 clauses out of 98023 with flag 2532364/25282739
1312.46/1279.73	c cleaning 49996 clauses out of 100023 with flag 2634618/25333739
1314.55/1281.83	c cleaning 51006 clauses out of 102028 with flag 2738759/25385740
1316.63/1283.94	c cleaning 52005 clauses out of 104023 with flag 2844916/25438741
1318.81/1286.13	c cleaning 52999 clauses out of 106017 with flag 2953084/25492740
1321.09/1288.43	c cleaning 53997 clauses out of 108018 with flag 3063251/25547740
1323.27/1290.60	c cleaning 54997 clauses out of 110020 with flag 3175366/25603739
1325.65/1293.07	c cleaning 56000 clauses out of 112023 with flag 3289463/25660739
1328.13/1295.55	c cleaning 57003 clauses out of 114023 with flag 3405594/25718739
1330.51/1297.95	c cleaning 58001 clauses out of 116020 with flag 3523619/25777739
1333.15/1300.52	c cleaning 59001 clauses out of 118020 with flag 3643748/25837740
1335.53/1302.93	c cleaning 60004 clauses out of 120019 with flag 3765790/25898740
1338.22/1305.60	c cleaning 60996 clauses out of 122014 with flag 3889788/25960739
1340.89/1308.33	c cleaning 61997 clauses out of 124018 with flag 4015788/26023739
1343.58/1311.08	c cleaning 63002 clauses out of 126021 with flag 4143788/26087739
1346.75/1314.24	c cleaning 63997 clauses out of 128019 with flag 4273788/26152739
1349.72/1317.28	c cleaning 65002 clauses out of 130023 with flag 4405790/26218740
1352.69/1320.29	c cleaning 65999 clauses out of 132020 with flag 4539815/26285739
1355.68/1323.20	c cleaning 67002 clauses out of 134022 with flag 4675889/26353740
1359.17/1326.50	c cleaning 67994 clauses out of 136019 with flag 4813887/26422739
1362.47/1329.81	c cleaning 68998 clauses out of 138025 with flag 4953887/26492739
1366.12/1333.37	c cleaning 70005 clauses out of 140027 with flag 5095887/26563739
1369.31/1336.59	c cleaning 70999 clauses out of 142022 with flag 5239887/26635739
1373.00/1340.23	c cleaning 72000 clauses out of 144025 with flag 5385891/26708741
1376.60/1343.85	c cleaning 72997 clauses out of 146023 with flag 5533887/26782739
1380.50/1347.72	c cleaning 74001 clauses out of 148028 with flag 5683891/26857741
1384.48/1351.70	c cleaning 75001 clauses out of 150025 with flag 5835887/26933739
1388.08/1355.36	c cleaning 76001 clauses out of 152025 with flag 5989889/27010740
1392.50/1359.53	c cleaning 77002 clauses out of 154026 with flag 6145893/27088742
1396.92/1363.72	c cleaning 77999 clauses out of 156023 with flag 6303891/27167741
1400.71/1367.50	c cleaning 78997 clauses out of 158024 with flag 6463891/27247741
1404.90/1371.71	c cleaning 80000 clauses out of 160027 with flag 6625891/27328741
1408.80/1375.59	c cleaning 81004 clauses out of 162025 with flag 6789887/27410739
1412.79/1379.53	c cleaning 81997 clauses out of 164021 with flag 6955887/27493739
1417.36/1383.96	c cleaning 82996 clauses out of 166024 with flag 7123887/27577739
1421.85/1388.47	c cleaning 84005 clauses out of 168028 with flag 7293887/27662739
1426.53/1393.04	c cleaning 85004 clauses out of 170023 with flag 7465887/27748739
1431.32/1397.89	c cleaning 85998 clauses out of 172021 with flag 7640039/27835741
1436.40/1402.72	c cleaning 87001 clauses out of 174022 with flag 7816135/27923740
1441.29/1407.66	c cleaning 87998 clauses out of 176020 with flag 7994133/28012739
1445.87/1412.18	c cleaning 88999 clauses out of 178022 with flag 8174133/28102739
1450.25/1416.56	c cleaning 90003 clauses out of 180024 with flag 8356359/28193740
1454.65/1420.92	c cleaning 91000 clauses out of 182022 with flag 8540373/28285741
1459.42/1425.65	c cleaning 92002 clauses out of 184021 with flag 8726528/28378740
1463.91/1430.13	c cleaning 92993 clauses out of 186018 with flag 8914700/28472739
1468.81/1435.06	c cleaning 93999 clauses out of 188025 with flag 9104721/28567739
1473.69/1440.00	c cleaning 95002 clauses out of 190027 with flag 9296754/28663740
1479.48/1445.69	c cleaning 96006 clauses out of 192024 with flag 9490791/28760739
1484.28/1450.48	c cleaning 96997 clauses out of 194020 with flag 9686949/28858741
1488.88/1455.00	c cleaning 97997 clauses out of 196021 with flag 9885042/28957739
1493.87/1460.09	c cleaning 99000 clauses out of 198025 with flag 10085152/29057740
1499.86/1465.73	c cleaning 100000 clauses out of 200025 with flag 10287346/29158740
1504.88/1470.52	c cleaning 100997 clauses out of 202025 with flag 10491514/29260740
1509.97/1475.62	c cleaning 102001 clauses out of 204027 with flag 10697687/29363739
1515.40/1481.06	c cleaning 102997 clauses out of 206028 with flag 10905691/29467741
1521.29/1486.90	c cleaning 104001 clauses out of 208029 with flag 11115687/29572739
1527.28/1492.96	c cleaning 105002 clauses out of 210028 with flag 11327687/29678739
1533.44/1499.00	c cleaning 106007 clauses out of 212027 with flag 11541782/29785740
1539.32/1504.97	c cleaning 106996 clauses out of 214021 with flag 11757887/29893741
1546.43/1511.72	c cleaning 108001 clauses out of 216023 with flag 11975883/30002739
1552.67/1517.72	c cleaning 108999 clauses out of 218022 with flag 12195883/30112739
1559.06/1524.14	c cleaning 109999 clauses out of 220025 with flag 12417887/30223741
1564.96/1530.10	c cleaning 110997 clauses out of 222024 with flag 12641883/30335739
1572.16/1536.92	c cleaning 112002 clauses out of 224027 with flag 12867883/30448739
1578.18/1542.74	c cleaning 112997 clauses out of 226027 with flag 13095887/30562741
1584.44/1548.79	c cleaning 114003 clauses out of 228029 with flag 13325885/30677740
1590.92/1555.27	c cleaning 115002 clauses out of 230025 with flag 13557883/30793739
1596.75/1561.09	c cleaning 116002 clauses out of 232024 with flag 13791885/30910740
1603.72/1567.92	c cleaning 116997 clauses out of 234022 with flag 14027885/31028740
1609.81/1573.92	c cleaning 117999 clauses out of 236024 with flag 14265883/31147739
1616.28/1580.27	c cleaning 119000 clauses out of 238026 with flag 14505927/31267740
1622.99/1586.70	c cleaning 120002 clauses out of 240025 with flag 14747954/31388739
1629.42/1592.91	c cleaning 121000 clauses out of 242023 with flag 14991954/31510739
1636.46/1599.73	c cleaning 121996 clauses out of 244023 with flag 15237954/31633739
1643.63/1606.64	c cleaning 122999 clauses out of 246027 with flag 15485954/31757739
1650.12/1613.19	c cleaning 123999 clauses out of 248028 with flag 15736014/31882739
1656.53/1619.58	c cleaning 125003 clauses out of 250030 with flag 15988072/32008740
1664.25/1627.23	c cleaning 125998 clauses out of 252027 with flag 16242072/32135740
1671.61/1634.50	c cleaning 127005 clauses out of 254029 with flag 16498072/32263740
1679.59/1642.49	c cleaning 128000 clauses out of 256023 with flag 16756070/32392739
1687.29/1650.19	c cleaning 128999 clauses out of 258025 with flag 17016074/32522741
1694.81/1657.62	c cleaning 130005 clauses out of 260025 with flag 17278072/32653740
1701.75/1664.63	c cleaning 130997 clauses out of 262019 with flag 17542101/32785739
1710.80/1672.44	c cleaning 131998 clauses out of 264022 with flag 17808107/32918739
1718.15/1679.64	c cleaning 133002 clauses out of 266024 with flag 18076303/33052739
1725.74/1687.28	c cleaning 133997 clauses out of 268022 with flag 18346472/33187739
1734.73/1695.80	c cleaning 135002 clauses out of 270026 with flag 18618474/33323740
1743.51/1704.38	c cleaning 135998 clauses out of 272023 with flag 18892472/33460739
1751.87/1712.46	c cleaning 136996 clauses out of 274026 with flag 19168706/33598740
1760.07/1720.33	c cleaning 138000 clauses out of 276030 with flag 19446924/33737740
1767.26/1727.50	c cleaning 139001 clauses out of 278029 with flag 19727074/33877739
1775.97/1736.29	c cleaning 139994 clauses out of 280028 with flag 20009087/34018739
1784.05/1744.23	c cleaning 141007 clauses out of 282035 with flag 20293099/34160740
1793.20/1753.31	c cleaning 142001 clauses out of 284027 with flag 20579097/34303739
1802.87/1762.96	c cleaning 143003 clauses out of 286027 with flag 20867099/34447740
1811.82/1771.89	c cleaning 144002 clauses out of 288024 with flag 21157267/34592740
1821.09/1781.07	c cleaning 144999 clauses out of 290021 with flag 21449485/34738739
1829.93/1789.72	c cleaning 146001 clauses out of 292023 with flag 21743644/34885740
1838.96/1798.67	c cleaning 146998 clauses out of 294021 with flag 22039972/35033739
1847.53/1807.08	c cleaning 147995 clauses out of 296024 with flag 22338172/35182740
1856.00/1815.30	c cleaning 149002 clauses out of 298030 with flag 22638368/35332741
1866.19/1825.39	c cleaning 149998 clauses out of 300026 with flag 22940380/35483739
1875.69/1834.69	c cleaning 150995 clauses out of 302028 with flag 23244380/35635739
1884.73/1843.58	c cleaning 152006 clauses out of 304034 with flag 23550405/35788740
1893.99/1852.60	c cleaning 153000 clauses out of 306027 with flag 23858462/35942739
1904.06/1862.57	c cleaning 154006 clauses out of 308029 with flag 24168473/36097741
1914.18/1872.43	c cleaning 154995 clauses out of 310021 with flag 24480540/36253739
1923.75/1881.86	c cleaning 155996 clauses out of 312026 with flag 24794691/36410739
1933.43/1891.34	c cleaning 156999 clauses out of 314031 with flag 25110806/36568740
1945.85/1903.65	c cleaning 158000 clauses out of 316032 with flag 25428806/36727740
1957.14/1914.83	c cleaning 158998 clauses out of 318032 with flag 25748806/36887740
1968.30/1925.98	c cleaning 160000 clauses out of 320033 with flag 26070804/37048739
1977.94/1935.55	c cleaning 161007 clauses out of 322033 with flag 26394856/37210739
1988.33/1945.73	c cleaning 161998 clauses out of 324027 with flag 26721061/37373740
1999.20/1956.47	c cleaning 163001 clauses out of 326028 with flag 27049119/37537739
2010.61/1967.66	c cleaning 164000 clauses out of 328027 with flag 27379119/37702739
2020.52/1977.59	c cleaning 165001 clauses out of 330027 with flag 27711119/37868739
2031.34/1988.38	c cleaning 165999 clauses out of 332027 with flag 28045121/38035740
2043.31/2000.25	c cleaning 167000 clauses out of 334027 with flag 28381119/38203739
2055.20/2011.82	c cleaning 168003 clauses out of 336028 with flag 28719121/38372740
2067.11/2023.70	c cleaning 168996 clauses out of 338024 with flag 29059119/38542739
2078.65/2034.60	c cleaning 169995 clauses out of 340028 with flag 29401200/38713739
2090.48/2046.13	c cleaning 171004 clauses out of 342034 with flag 29745342/38885740
2103.85/2059.21	c cleaning 171999 clauses out of 344029 with flag 30091340/39058739
2116.62/2071.76	c cleaning 173001 clauses out of 346031 with flag 30439342/39232740
2128.64/2083.66	c cleaning 173999 clauses out of 348030 with flag 30789342/39407740
2140.52/2095.47	c cleaning 175007 clauses out of 350032 with flag 31141507/39583741
2154.12/2108.93	c cleaning 176002 clauses out of 352024 with flag 31495720/39760740
2167.84/2122.24	c cleaning 177001 clauses out of 354021 with flag 31851718/39938739
2180.09/2134.11	c cleaning 177999 clauses out of 356020 with flag 32209718/40117739
2194.68/2146.67	c cleaning 178999 clauses out of 358021 with flag 32569768/40297739
2205.85/2157.54	c cleaning 180002 clauses out of 360023 with flag 32931883/40478740
2219.72/2171.18	c cleaning 180997 clauses out of 362021 with flag 33295883/40660740
2232.58/2183.81	c cleaning 181998 clauses out of 364023 with flag 33661881/40843739
2244.32/2195.43	c cleaning 183002 clauses out of 366025 with flag 34029921/41027739
2255.85/2206.85	c cleaning 184002 clauses out of 368023 with flag 34400140/41212739
2267.65/2218.51	c cleaning 184998 clauses out of 370021 with flag 34772272/41398739
2282.19/2232.99	c cleaning 185999 clauses out of 372023 with flag 35146272/41585739
2297.92/2248.41	c cleaning 187002 clauses out of 374026 with flag 35522276/41773741
2310.31/2260.78	c cleaning 188001 clauses out of 376023 with flag 35900295/41962740
2323.16/2273.56	c cleaning 189002 clauses out of 378021 with flag 36280554/42152739
2334.59/2284.96	c cleaning 189998 clauses out of 380019 with flag 36662641/42343739
2348.24/2298.52	c cleaning 190996 clauses out of 382021 with flag 37046641/42535739
2360.57/2310.83	c cleaning 192000 clauses out of 384025 with flag 37432740/42728739
2373.83/2323.70	c cleaning 193001 clauses out of 386025 with flag 37820888/42922739
2385.74/2335.47	c cleaning 193999 clauses out of 388024 with flag 38211175/43117739
2401.11/2350.61	c cleaning 195001 clauses out of 390026 with flag 38603202/43313740
2417.60/2366.94	c cleaning 195997 clauses out of 392025 with flag 38997202/43510740
2431.28/2380.54	c cleaning 197001 clauses out of 394028 with flag 39393202/43708740
2447.45/2396.28	c cleaning 197999 clauses out of 396027 with flag 39791212/43907740
2461.71/2410.00	c cleaning 199001 clauses out of 398028 with flag 40191333/44107740
2478.81/2426.77	c cleaning 200006 clauses out of 400026 with flag 40593505/44308739
2493.75/2441.33	c cleaning 201001 clauses out of 402020 with flag 40997653/44510739
2508.57/2455.81	c cleaning 201999 clauses out of 404019 with flag 41403810/44713739
2521.98/2469.07	c cleaning 203001 clauses out of 406021 with flag 41811863/44917740
2535.93/2482.82	c cleaning 203995 clauses out of 408021 with flag 42221874/45122741
2552.20/2499.08	c cleaning 205000 clauses out of 410025 with flag 42633893/45328740
2567.16/2513.53	c cleaning 206003 clauses out of 412026 with flag 43047950/45535741
2582.52/2528.56	c cleaning 206997 clauses out of 414022 with flag 43464077/45743740
2597.22/2542.95	c cleaning 207999 clauses out of 416025 with flag 43882157/45952740
2614.74/2560.21	c cleaning 208999 clauses out of 418025 with flag 44302601/46162739
2628.19/2573.53	c cleaning 209999 clauses out of 420026 with flag 44724701/46373739
2644.22/2589.10	c cleaning 211003 clauses out of 422028 with flag 45148889/46585740
2662.09/2606.55	c cleaning 212003 clauses out of 424024 with flag 45574887/46798739
2681.37/2623.41	c cleaning 212999 clauses out of 426022 with flag 46002889/47012740
2697.70/2639.68	c cleaning 213997 clauses out of 428022 with flag 46432887/47227739
2713.31/2655.02	c cleaning 214999 clauses out of 430028 with flag 46864893/47443742
2731.18/2672.46	c cleaning 216001 clauses out of 432026 with flag 47299053/47660739
2748.74/2689.65	c cleaning 217004 clauses out of 434027 with flag 47735420/47878741
2764.01/2704.61	c cleaning 218001 clauses out of 436021 with flag 48173566/48097739
2779.16/2719.67	c cleaning 219001 clauses out of 438022 with flag 48613712/48317741
2798.30/2738.29	c cleaning 219996 clauses out of 440020 with flag 49055710/48538740
2817.24/2756.90	c cleaning 220998 clauses out of 442023 with flag 49499814/48760739
2838.94/2778.47	c cleaning 222001 clauses out of 444025 with flag 49946243/48983739
2855.51/2794.89	c cleaning 223001 clauses out of 446024 with flag 50394397/49207739
2873.19/2811.95	c cleaning 223998 clauses out of 448023 with flag 50844397/49432739
2891.39/2829.86	c cleaning 224997 clauses out of 450026 with flag 51296399/49658740
2908.08/2846.33	c cleaning 225999 clauses out of 452029 with flag 51750399/49885740
2928.02/2865.77	c cleaning 227000 clauses out of 454029 with flag 52206397/50113739
2944.19/2881.50	c cleaning 228003 clauses out of 456029 with flag 52664397/50342739
2964.89/2902.01	c cleaning 229000 clauses out of 458028 with flag 53124401/50572741
2984.67/2921.30	c cleaning 230004 clauses out of 460028 with flag 53586401/50803741
3006.74/2943.17	c cleaning 231002 clauses out of 462023 with flag 54050545/51035740
3025.03/2961.18	c cleaning 231999 clauses out of 464021 with flag 54516873/51268740
3045.10/2980.65	c cleaning 232999 clauses out of 466022 with flag 54984892/51502740
3063.54/2998.72	c cleaning 233999 clauses out of 468023 with flag 55454892/51737740
3082.09/3014.99	c cleaning 234996 clauses out of 470024 with flag 55926892/51973740
3105.33/3037.68	c cleaning 236003 clauses out of 472027 with flag 56400890/52210739
3125.68/3057.65	c cleaning 237001 clauses out of 474024 with flag 56876890/52448739
3145.19/3076.98	c cleaning 237997 clauses out of 476024 with flag 57354892/52687740
3163.23/3094.49	c cleaning 238998 clauses out of 478027 with flag 57834892/52927740
3182.98/3113.96	c cleaning 240004 clauses out of 480029 with flag 58317046/53168740
3203.09/3133.95	c cleaning 240997 clauses out of 482024 with flag 58801059/53410739
3222.27/3152.64	c cleaning 242000 clauses out of 484027 with flag 59287059/53653739
3244.52/3174.75	c cleaning 243005 clauses out of 486028 with flag 59775061/53897740
3265.07/3194.74	c cleaning 244001 clauses out of 488022 with flag 60265059/54142739
3284.24/3213.59	c cleaning 244998 clauses out of 490021 with flag 60757059/54388739
3300.55/3229.63	c cleaning 245999 clauses out of 492023 with flag 61251266/54635739
3322.23/3250.85	c cleaning 246998 clauses out of 494024 with flag 61747423/54883739
3342.12/3270.44	c cleaning 247997 clauses out of 496027 with flag 62245425/55132740
3362.96/3290.65	c cleaning 249002 clauses out of 498030 with flag 62745425/55382740
3383.25/3310.63	c cleaning 250001 clauses out of 500028 with flag 63247425/55633740
3402.89/3330.26	c cleaning 250998 clauses out of 502027 with flag 63751425/55885740
3424.83/3351.80	c cleaning 251999 clauses out of 504028 with flag 64257569/56138739
3446.39/3373.15	c cleaning 253007 clauses out of 506029 with flag 64765569/56392739
3471.16/3397.35	c cleaning 253999 clauses out of 508024 with flag 65275646/56647741
3495.98/3419.45	c cleaning 254998 clauses out of 510023 with flag 65787642/56903739
3514.47/3437.43	c cleaning 256004 clauses out of 512027 with flag 66301854/57160741
3535.85/3458.61	c cleaning 257000 clauses out of 514023 with flag 66817854/57418741
3559.63/3481.90	c cleaning 257999 clauses out of 516024 with flag 67336068/57677742
3579.48/3501.45	c cleaning 258998 clauses out of 518023 with flag 67856382/57937740
3600.04/3521.32	c starts		: 12
3600.04/3521.32	c conflicts		: 58198739
3600.04/3521.32	c decisions		: 60048143
3600.04/3521.32	c propagations		: 419334284
3600.04/3521.32	c inspects		: 10004073927
3600.04/3521.32	c shortcuts		: 0
3600.04/3521.32	c learnt literals	: 0
3600.04/3521.32	c learnt binary clauses	: 0
3600.04/3521.32	c learnt ternary clauses	: 0
3600.04/3521.32	c learnt constraints	: 58198739
3600.04/3521.32	c ignored constraints	: 0
3600.04/3521.32	c root simplifications	: 0
3600.04/3521.32	c removed literals (reason simplification)	: 0
3600.04/3521.32	c reason swapping (by a shorter reason)	: 0
3600.04/3521.32	c Calls to reduceDB	: 615
3600.04/3521.32	c Number of update (reduction) of LBD	: 8843
3600.04/3521.32	c Imported unit clauses	: 0
3600.04/3521.32	c No decision after first conflict	: false
3600.04/3521.32	c number of reductions to clauses (during analyze)	: 0
3600.04/3521.32	c number of learned constraints concerned by reduction	: 0
3600.04/3521.32	c number of learning phase by resolution	: 0
3600.04/3521.32	c number of learning phase by cutting planes	: 0
3600.04/3521.32	c number of rounding to 1 operations	: 0
3600.04/3521.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3521.32	c number of reductions of the coefficients by power 2 	: 0
3600.04/3521.32	c number of right shift for reduction by power 2 	: 0
3600.04/3521.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3521.32	c number of ending skipping 	: 0
3600.04/3521.32	c number of internal skipping 	: 0
3600.04/3521.32	c number of derivation steps 	: 0
3600.04/3521.32	c number of skipped derivation steps 	: 0
3600.04/3521.32	c number of remaining unassigned 	: 0
3600.04/3521.33	c number of remaining assigned 	: 0
3600.04/3521.33	c number of falsified literals weakened from reason	: 0
3600.04/3521.33	c number of falsified literals weakened from conflict	: 0
3600.04/3521.33	c time for arithmetic operations	: 0
3600.04/3521.33	c minimum degree of deleted constraints	: null
3600.04/3521.33	c maximum degree of deleted constraints	: null
3600.04/3521.33	c number of deleted constraints	: 0
3600.04/3521.33	c speed (assignments/second)	: 119089.88009058384
3600.04/3521.33	c non guided choices	: 108
3600.27/3521.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 520024
3600.27/3521.44	s SATISFIABLE
3600.27/3521.44	c Found 11 solution(s)
3600.27/3521.44	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 
3600.27/3521.44	c objective function=-79
3600.27/3521.44	c Total wall clock time (in seconds): 3521.318

Verifier Data 

OK	-79

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61806 MiB free)
  memory of node 1: 64473 MiB (61129 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460063-1721946458/watcher-4460063-1721946458 -o /tmp/evaluation-result-4460063-1721946458/solver-4460063-1721946458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721946458-257326 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4460063-1721946458.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
Current StackSize limit: 8192 KiB

solver pid=257397, runsolver pid=257389

[startup+0.101197 s]*
/proc/loadavg: 1.12 1.10 1.18 16/325 257457
/proc/meminfo: memFree=125746312/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=18975048 memory=64784 CPUtime=0.13 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 7070 0 0 0 12 1 0 0 20 0 18 0 31175536 19430449152 16196 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4743762 16196 5693 1 0 549334 0
[pid=257397/tid=257406] ppid=257389 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 1078198336 5632 0 0 0 7 1 0 0 20 0 18 0 31175537 19430449152 16196 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=18975048 memory=1416227 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 31175539 19430449152 16196 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 31175540 19430449152 16196 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64784 KiB

[startup+0.205134 s]*
/proc/loadavg: 1.12 1.10 1.18 14/327 257459
/proc/meminfo: memFree=125717616/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19041612 memory=70912 CPUtime=0.32 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 7610 0 0 0 31 1 0 0 20 0 19 0 31175536 19498610688 17728 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4760403 17728 5758 1 0 549912 0
[pid=257397/tid=257406] ppid=257389 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 5907 0 0 0 17 1 0 0 20 0 19 0 31175537 19498610688 17728 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19041612 memory=1416227 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 31175539 19498610688 17728 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19041612 memory=15537422972749500 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 31175540 19498610688 17728 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 31175554 19498610688 17728 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70912 KiB

[startup+0.306135 s]*
/proc/loadavg: 1.12 1.10 1.18 12/328 257460
/proc/meminfo: memFree=125688984/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19041612 memory=78464 CPUtime=0.52 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 9573 0 0 0 50 2 0 0 20 0 19 0 31175536 19498610688 19616 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4760403 19616 5874 1 0 551113 0
[pid=257397/tid=257406] ppid=257389 vsize=19041612 memory=-9103014432079585980 CPUtime=0.27 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 5918 0 0 0 26 1 0 0 20 0 19 0 31175537 19498610688 19616 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 31175539 19498610688 19616 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 31175540 19498610688 19616 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 31175554 19498610688 19616 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78464 KiB

[startup+0.702135 s]
/proc/loadavg: 1.12 1.10 1.18 15/329 257461
/proc/meminfo: memFree=125620648/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19041612 memory=110844 CPUtime=1.29 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 12384 0 0 0 126 3 0 0 20 0 19 0 31175536 19498610688 27711 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4760403 27711 5906 1 0 553033 0
[pid=257397/tid=257406] ppid=257389 vsize=19041612 memory=68904 CPUtime=0.64 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 6046 0 0 0 63 1 0 0 20 0 19 0 31175537 19498610688 27711 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19041612 memory=12928 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 31175539 19498610688 27711 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19041612 memory=2220 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 31175540 19498610688 27711 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19041612 memory=39048 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 31175554 19498610688 27711 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110844 KiB

[startup+1.50114 s]
/proc/loadavg: 1.12 1.10 1.18 12/329 257461
/proc/meminfo: memFree=125407496/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=223120 CPUtime=2.31 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 16090 0 0 0 225 6 0 0 20 0 20 0 31175536 19566772224 55780 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 55780 5939 1 0 553498 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=12928 CPUtime=1.39 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 6363 0 0 0 137 2 0 0 20 0 20 0 31175537 19566772224 55780 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 55780 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 55780 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 55780 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 223120 KiB

[startup+3.10514 s]
/proc/loadavg: 1.51 1.19 1.20 8/333 257465
/proc/meminfo: memFree=124474128/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=303320 CPUtime=4.05 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 18052 0 0 0 397 8 0 0 20 0 20 0 31175536 19566772224 75830 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 75830 5939 1 0 553504 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=0 CPUtime=2.86 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 6926 0 0 0 284 2 0 0 20 0 20 0 31175537 19566772224 75830 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=-8526835154752873148 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 75830 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 75830 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 75830 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 303320 KiB

[startup+6.30115 s]
/proc/loadavg: 1.51 1.19 1.20 9/333 257465
/proc/meminfo: memFree=123067688/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=655980 CPUtime=7.57 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 19485 0 0 0 742 15 0 0 20 0 20 0 31175536 19566772224 163995 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 163995 5939 1 0 804161 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=12928 CPUtime=5.84 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 7079 0 0 0 579 5 0 0 20 0 20 0 31175537 19566772224 163995 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 163995 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 163995 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=223120 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 163995 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 655980 KiB

[startup+12.7012 s]
/proc/loadavg: 1.97 1.30 1.24 8/333 257466
/proc/meminfo: memFree=120054300/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=1166344 CPUtime=14.18 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 20406 0 0 0 1393 25 0 0 20 0 20 0 31175536 19566772224 291586 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 291586 5939 1 0 1031851 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=223120 CPUtime=11.89 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 7256 0 0 0 1180 9 0 0 20 0 20 0 31175537 19566772224 291586 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=1111048 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 291586 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 291586 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 291586 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1166344 KiB

[startup+25.5011 s]
/proc/loadavg: 2.29 1.39 1.27 10/333 257468
/proc/meminfo: memFree=116208836/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=2109868 CPUtime=27.46 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 23470 0 0 0 2702 44 0 0 20 0 20 0 31175536 19566772224 527467 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 527467 5955 1 0 1155097 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=1111048 CPUtime=23.9 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 8237 0 0 0 2377 13 0 0 20 0 20 0 31175537 19566772224 527467 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175537 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=1825136 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 527467 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=68904 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 527467 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=-9103014432079585980 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 527467 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 27.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2109868 KiB

[startup+51.1061 s]
/proc/loadavg: 3.14 1.66 1.36 6/335 257642
/proc/meminfo: memFree=110105256/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=3604164 CPUtime=53.86 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 27450 0 0 0 5312 74 0 0 20 0 20 0 31175536 19566772224 901041 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 901041 5955 1 0 1274166 0

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

[startup+3162.3 s]
/proc/loadavg: 4.67 4.45 4.25 9/335 258859
/proc/meminfo: memFree=71734236/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3232.22 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 346465 0 0 0 322799 423 0 0 20 0 20 0 31175536 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 3896891 6002 1 0 4084171 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3078.75 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 68033 0 0 0 307716 159 0 0 20 0 20 0 31175537 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 737 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3232.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15587564 KiB

[startup+3222.3 s]
/proc/loadavg: 4.58 4.47 4.27 7/335 258870
/proc/meminfo: memFree=71148948/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3293.26 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 347390 0 0 0 328901 425 0 0 20 0 20 0 31175536 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 3896891 6002 1 0 4084171 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3137.13 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 68159 0 0 0 313554 159 0 0 20 0 20 0 31175537 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 737 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3293.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15587564 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.42 4.27 9/335 258881
/proc/meminfo: memFree=71026444/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3354.72 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 348728 0 0 0 335046 426 0 0 20 0 20 0 31175536 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 3896891 6002 1 0 4084171 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=11588 CPUtime=3195.28 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 68388 0 0 0 319369 159 0 0 20 0 20 0 31175537 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 737 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3354.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15587564 KiB

[startup+3342.3 s]
/proc/loadavg: 3.66 4.23 4.21 6/309 258924
/proc/meminfo: memFree=86745500/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3415.41 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 353347 0 0 0 341112 429 0 0 20 0 20 0 31175536 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 3896891 6002 1 0 4084171 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=68904 CPUtime=3253.72 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 69535 0 0 0 325213 159 0 0 20 0 20 0 31175537 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=-8526835154752873148 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 791 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3415.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15587564 KiB

[startup+3402.32 s]
/proc/loadavg: 3.30 4.02 4.14 5/309 258935
/proc/meminfo: memFree=86740568/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3476.18 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 354686 0 0 0 347188 430 0 0 20 0 20 0 31175536 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 3896891 6002 1 0 4084171 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3312.49 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) S 257389 257397 252712 0 -1 1077936192 70093 0 0 0 331090 159 0 0 20 0 20 0 31175537 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 811 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=15587564 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 3896891 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3476.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15587564 KiB

[startup+3462.3 s]
/proc/loadavg: 3.19 3.86 4.07 6/308 259329
/proc/meminfo: memFree=86681204/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=15588192 CPUtime=3539.66 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 375680 0 0 0 353532 434 0 0 20 0 20 0 31175536 19566772224 3897048 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 3897048 6002 1 0 4084325 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=15587564 CPUtime=3370.6 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 72762 0 0 0 336901 159 0 0 20 0 20 0 31175537 19566772224 3897048 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=15588192 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 3897048 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 811 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 3897048 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 3897048 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3539.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15588192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3521.3 s]
/proc/loadavg: 3.24 3.75 4.02 5/306 259339
/proc/meminfo: memFree=86680988/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19108176 memory=15588196 CPUtime=3600.04 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 378347 0 0 0 359568 436 0 0 20 0 20 0 31175536 19566772224 3897049 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4777044 3897049 6002 1 0 4084325 0
[pid=257397/tid=257406] ppid=257389 vsize=19108176 memory=15588192 CPUtime=3427.67 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 73382 0 0 0 342608 159 0 0 20 0 20 0 31175537 19566772224 3897049 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 3897049 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19108176 memory=15588192 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 820 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 3897049 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257458] ppid=257389 vsize=19108176 memory=-8526835154752873148 CPUtime=0 cores=5,7
/proc/257397/task/257458/stat : 257458 (Timer-0) S 257389 257397 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175554 19566772224 3897049 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15588196 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.97 s, system=4.41224 s

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

[startup+3521.42 s]
/proc/loadavg: 3.24 3.75 4.02 5/306 259339
/proc/meminfo: memFree=86680988/131524600 swapFree=131055836/131071996
[pid=257397] ppid=257389 vsize=19307868 memory=15588768 CPUtime=3600.27 cores=5,7
/proc/257397/stat : 257397 (java) S 257389 257397 252712 0 -1 1077936128 380155 0 0 0 359591 436 0 0 20 0 21 0 31175536 19771256832 3897192 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
/proc/257397/statm: 4826967 3897192 6001 1 0 4085212 0
[pid=257397/tid=257406] ppid=257389 vsize=19307868 memory=1416144 CPUtime=3427.79 cores=5,7
/proc/257397/task/257406/stat : 257406 (java) R 257389 257397 252712 0 -1 4194368 73382 0 0 0 342620 159 0 0 20 0 21 0 31175537 19771256832 3897192 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31175556 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257433] ppid=257389 vsize=19307868 memory=1401620 CPUtime=0 cores=5,7
/proc/257397/task/257433/stat : 257433 (Finalizer) S 257389 257397 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 31175539 19771256832 3897192 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
[pid=257397/tid=257452] ppid=257389 vsize=19307868 memory=1778019 CPUtime=0 cores=5,7
/proc/257397/task/257452/stat : 257452 (Common-Cleaner) S 257389 257397 252712 0 -1 1077936192 820 0 0 0 0 0 0 0 20 0 21 0 31175540 19771256832 3897192 134679101440 94776312545280 94776312548976 140735346247744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94776312556792 94776312557584 94776321585152 140735346254854 140735346254944 140735346254944 140735346261960 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15588768 KiB

Child status: 143

Real time (s): 3521.49
CPU time (s): 3600.38
CPU user time (s): 3595.97
CPU system time (s): 4.41224
CPU usage (%): 102.24
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15588768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.97
system time used= 4.41224
maximum resident set size= 15589492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123203
involuntary context switches= 16769


# summary of solver processes directly reported to runsolver:
#   pid: 257397
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3595.97
#   total CPU system time (s): 4.41224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00185 second user time and 18.1435 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-26 00:27:38
IDJOB=4460063
IDBENCH=160622
IDSOLVER=3058
FILE ID=nodeC033/4460063-1721946458
RUNJOBID= nodeC033-1721946458-257326
SLURM_JOB_ID= 8247253
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament22.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460063-1721946458/watcher-4460063-1721946458 -o /tmp/evaluation-result-4460063-1721946458/solver-4460063-1721946458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721946458-257326 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4460063-1721946458.opb

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

MD5SUM BENCH= 3dbd6cb1337568dea4a1eae85a2a7ca5
RANDOM SEED=911227866

nodeC033.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		: 3643.528
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.99
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		: 3286.031
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.76
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		: 3624.001
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.99
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		: 3389.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.76
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		: 3611.463
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.99
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		: 3617.015
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.76
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		: 3601.807
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.99
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		: 3419.618
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125903420 kB
MemAvailable:   129694872 kB
Buffers:          339704 kB
Cached:          4249696 kB
SwapCached:          300 kB
Active:          2555616 kB
Inactive:        2406092 kB
Active(anon):       2148 kB
Inactive(anon):   423220 kB
Active(file):    2553468 kB
Inactive(file):  1982872 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055836 kB
Dirty:              3056 kB
Writeback:             0 kB
AnonPages:        372476 kB
Mapped:           120208 kB
Shmem:             53064 kB
KReclaimable:     189868 kB
Slab:             306420 kB
SReclaimable:     189868 kB
SUnreclaim:       116552 kB
KernelStack:        3924 kB
PageTables:        10212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2905856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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:      391892 kB
DirectMap2M:    39227392 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC033 at 2024-07-26 01:26:20