Trace number 4459195

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)24 3600.55 3596.46

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-iis-glass-cov.opb
MD5SUMd19cd21a9273f0af629a2ef833d8382f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark378.449
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables214
Total number of constraints5375
Number of constraints which are clauses5375
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 constraint9
Maximum length of a constraint11
Number of terms in the objective function 214
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 214
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 214
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.21	c os.arch		amd64
0.12/0.23	c Free memory 		2115194816
0.29/0.23	c Max memory 		16282288128
0.29/0.23	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.44/0.33	--- Begin Solver configuration ---
0.44/0.33	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.33	Learn all clauses as in MiniSAT
0.44/0.33	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	No reason simplification
0.44/0.33	Glucose 2.1 dynamic restart strategy
0.44/0.33	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.44/0.33	timeout=2147483s
0.44/0.33	DB Simplification allowed=false
0.44/0.33	Listener: none
0.44/0.33	--- End Solver configuration ---
0.44/0.33	c Pseudo Boolean Optimization by upper bound
0.44/0.33	c --- Begin Solver configuration ---
0.44/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.33	c Learn all clauses as in MiniSAT
0.44/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	c No reason simplification
0.44/0.33	c Glucose 2.1 dynamic restart strategy
0.44/0.33	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.44/0.33	c timeout=2147483s
0.44/0.33	c DB Simplification allowed=false
0.44/0.33	c Listener: none
0.44/0.33	c --- End Solver configuration ---
0.44/0.33	c solving HOME/instance-4459195-1721886425.opb
0.44/0.33	c reading problem ... 
0.44/0.34	c  objective function found
1.16/0.70	c ... done. Wall clock time 0.36s.
1.16/0.70	c declared #vars     214
1.16/0.70	c #constraints  5375
1.16/0.70	c constraints type 
1.16/0.70	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5375
1.16/0.70	c 5375 constraints processed.
1.16/0.74	c objective function length is 214 literals
1.16/0.78	c SATISFIABLE
1.16/0.78	c OPTIMIZING...
1.16/0.78	c Got one! Elapsed wall clock time (in seconds):0.44
1.16/0.78	o 31
1.36/0.85	c Got one! Elapsed wall clock time (in seconds):0.518
1.36/0.86	o 30
1.36/0.88	c Got one! Elapsed wall clock time (in seconds):0.546
1.36/0.88	o 29
2.53/1.40	c cleaning 2751 clauses out of 5502 with flag 13348/5502
3.32/1.87	c Got one! Elapsed wall clock time (in seconds):1.542
3.32/1.87	o 28
3.52/1.95	c cleaning 4163 clauses out of 8339 with flag 2501/11090
3.94/2.14	c cleaning 5082 clauses out of 10175 with flag 17644/17089
4.32/2.32	c cleaning 6042 clauses out of 12093 with flag 36272/24089
4.52/2.47	c cleaning 7015 clauses out of 14051 with flag 58074/32089
4.89/2.61	c cleaning 8005 clauses out of 16036 with flag 80740/41089
5.09/2.76	c cleaning 8999 clauses out of 18031 with flag 106339/51089
5.33/2.94	c cleaning 10003 clauses out of 20032 with flag 134938/62089
5.53/3.14	c cleaning 11006 clauses out of 22029 with flag 166458/74089
5.73/3.35	c cleaning 11998 clauses out of 24024 with flag 198787/87090
5.93/3.57	c cleaning 13001 clauses out of 26025 with flag 234920/101089
6.24/3.82	c cleaning 13997 clauses out of 28024 with flag 273091/116089
6.52/4.07	c cleaning 14996 clauses out of 30027 with flag 314309/132089
6.96/4.42	c cleaning 16006 clauses out of 32031 with flag 359724/149089
7.27/4.79	c cleaning 17008 clauses out of 34026 with flag 406847/167090
7.68/5.12	c cleaning 17991 clauses out of 36017 with flag 454953/186089
7.97/5.50	c cleaning 19002 clauses out of 38028 with flag 506607/206091
8.47/5.93	c cleaning 19999 clauses out of 40024 with flag 561369/227089
8.86/6.33	c cleaning 20998 clauses out of 42026 with flag 618063/249090
9.26/6.76	c cleaning 21994 clauses out of 44027 with flag 677240/272089
9.76/7.24	c cleaning 23006 clauses out of 46033 with flag 739185/296089
10.36/7.80	c cleaning 23997 clauses out of 48027 with flag 804492/321089
10.86/8.35	c cleaning 25005 clauses out of 50030 with flag 872411/347089
11.46/8.94	c cleaning 26007 clauses out of 52027 with flag 944065/374091
12.24/9.71	c cleaning 26997 clauses out of 54018 with flag 1017129/402089
12.84/10.34	c cleaning 28002 clauses out of 56022 with flag 1092329/431090
13.55/11.04	c cleaning 28998 clauses out of 58019 with flag 1171867/461089
14.34/11.80	c cleaning 30010 clauses out of 60023 with flag 1253049/492091
15.03/12.51	c cleaning 30998 clauses out of 62013 with flag 1337714/524091
15.83/13.33	c cleaning 32000 clauses out of 64015 with flag 1425387/557091
16.73/14.21	c cleaning 33002 clauses out of 66014 with flag 1513860/591090
17.65/15.17	c cleaning 33996 clauses out of 68012 with flag 1605316/626090
18.54/16.02	c cleaning 35008 clauses out of 70017 with flag 1699586/662091
19.54/17.09	c cleaning 36004 clauses out of 72009 with flag 1797170/699091
20.54/18.04	c cleaning 36995 clauses out of 74003 with flag 1895862/737089
21.54/19.04	c cleaning 38002 clauses out of 76009 with flag 1996774/776090
22.54/20.07	c cleaning 38999 clauses out of 78006 with flag 2101453/816089
23.83/21.35	c cleaning 39993 clauses out of 80007 with flag 2206558/857089
24.95/22.44	c cleaning 40997 clauses out of 82014 with flag 2312747/899089
25.94/23.48	c cleaning 42000 clauses out of 84019 with flag 2422191/942091
27.04/24.56	c cleaning 43004 clauses out of 86019 with flag 2535295/986091
28.24/25.76	c cleaning 43995 clauses out of 88014 with flag 2650786/1031090
29.57/27.09	c cleaning 44994 clauses out of 90019 with flag 2773161/1077090
30.66/28.14	c cleaning 45994 clauses out of 92025 with flag 2897461/1124090
31.85/29.35	c cleaning 47002 clauses out of 94031 with flag 3023502/1172090
33.05/30.58	c cleaning 48004 clauses out of 96028 with flag 3148837/1221089
34.36/31.81	c cleaning 48999 clauses out of 98024 with flag 3271771/1271089
35.16/32.63	c Got one! Elapsed wall clock time (in seconds):32.295
35.16/32.63	o 27
35.51/33.01	c cleaning 47535 clauses out of 95088 with flag 13153/1317152
35.80/33.25	c cleaning 26774 clauses out of 53556 with flag 29597/1323155
36.08/33.40	c cleaning 16888 clauses out of 33780 with flag 47777/1330153
36.28/33.55	c cleaning 12446 clauses out of 24891 with flag 69626/1338152
36.65/33.72	c cleaning 10724 clauses out of 21448 with flag 94160/1347155
36.85/33.89	c cleaning 10354 clauses out of 20721 with flag 122369/1357152
37.08/34.08	c cleaning 10667 clauses out of 21369 with flag 152349/1368154
37.28/34.28	c cleaning 11348 clauses out of 22700 with flag 184756/1380152
37.57/34.53	c cleaning 12166 clauses out of 24352 with flag 218784/1393152
37.78/34.78	c cleaning 13091 clauses out of 26186 with flag 255506/1407152
38.09/35.05	c cleaning 14040 clauses out of 28095 with flag 296322/1422152
38.28/35.30	c cleaning 15028 clauses out of 30055 with flag 339750/1438152
38.68/35.61	c cleaning 16012 clauses out of 32028 with flag 385131/1455153
38.97/35.92	c cleaning 17000 clauses out of 34015 with flag 432633/1473152
39.27/36.24	c cleaning 18004 clauses out of 36015 with flag 482514/1492152
39.68/36.68	c cleaning 19001 clauses out of 38011 with flag 534923/1512152
40.09/37.09	c cleaning 20003 clauses out of 40011 with flag 589787/1533153
40.58/37.57	c cleaning 20997 clauses out of 42007 with flag 646458/1555152
41.09/38.07	c cleaning 22006 clauses out of 44013 with flag 707007/1578155
41.57/38.57	c cleaning 22992 clauses out of 46006 with flag 769589/1602154
42.09/39.03	c cleaning 24006 clauses out of 48012 with flag 834453/1627152
42.37/39.30	c Got one! Elapsed wall clock time (in seconds):38.973
42.37/39.31	o 26
42.48/39.45	c cleaning 22140 clauses out of 44298 with flag 11266/1647444
42.58/39.56	c cleaning 14073 clauses out of 28159 with flag 24866/1653445
42.68/39.69	c cleaning 10533 clauses out of 21085 with flag 40337/1660444
42.88/39.83	c cleaning 9269 clauses out of 18553 with flag 58220/1668445
42.98/39.99	c cleaning 9137 clauses out of 18283 with flag 78186/1677444
43.19/40.19	c cleaning 9561 clauses out of 19146 with flag 100658/1687444
43.37/40.38	c cleaning 10282 clauses out of 20587 with flag 127927/1698446
43.57/40.55	c cleaning 11145 clauses out of 22306 with flag 158835/1710447
43.88/40.81	c cleaning 12067 clauses out of 24158 with flag 191179/1723444
44.09/41.01	c cleaning 13034 clauses out of 26092 with flag 226006/1737445
44.28/41.23	c cleaning 14010 clauses out of 28059 with flag 263338/1752446
44.48/41.47	c cleaning 15013 clauses out of 30048 with flag 303374/1768445
44.78/41.74	c cleaning 16004 clauses out of 32035 with flag 345444/1785445
45.09/42.03	c cleaning 17004 clauses out of 34030 with flag 391202/1803444
45.38/42.37	c cleaning 18002 clauses out of 36026 with flag 440253/1822444
45.78/42.72	c cleaning 19005 clauses out of 38024 with flag 492750/1842444
46.19/43.12	c cleaning 20005 clauses out of 40020 with flag 547193/1863445
46.57/43.53	c cleaning 20991 clauses out of 42014 with flag 603222/1885444
46.97/43.96	c cleaning 21996 clauses out of 44026 with flag 661209/1908447
47.47/44.42	c cleaning 23012 clauses out of 46031 with flag 722664/1932448
47.97/44.95	c cleaning 24000 clauses out of 48015 with flag 784889/1957444
48.57/45.50	c cleaning 24994 clauses out of 50015 with flag 850570/1983444
49.09/46.03	c cleaning 26003 clauses out of 52021 with flag 916704/2010444
49.57/46.58	c cleaning 26995 clauses out of 54019 with flag 985723/2038445
50.19/47.19	c cleaning 28005 clauses out of 56024 with flag 1056958/2067445
50.87/47.81	c cleaning 29002 clauses out of 58021 with flag 1130522/2097447
51.37/48.39	c cleaning 29998 clauses out of 60019 with flag 1205206/2128447
52.08/49.03	c cleaning 31002 clauses out of 62020 with flag 1285495/2160446
52.87/49.86	c cleaning 31998 clauses out of 64017 with flag 1370905/2193445
53.56/50.57	c cleaning 33001 clauses out of 66019 with flag 1456469/2227445
54.27/51.25	c cleaning 33999 clauses out of 68018 with flag 1543800/2262445
54.97/52.00	c cleaning 34996 clauses out of 70018 with flag 1633212/2298444
55.76/52.76	c cleaning 36004 clauses out of 72023 with flag 1725804/2335445
56.57/53.57	c cleaning 36994 clauses out of 74020 with flag 1822210/2373446
57.36/54.36	c cleaning 38001 clauses out of 76027 with flag 1920974/2412447
58.17/55.17	c cleaning 39002 clauses out of 78023 with flag 2021264/2452444
59.26/56.24	c cleaning 40002 clauses out of 80023 with flag 2120219/2493446
60.17/57.16	c cleaning 40999 clauses out of 82019 with flag 2224242/2535444
61.07/58.04	c cleaning 42002 clauses out of 84020 with flag 2329637/2578444
61.96/59.00	c cleaning 43001 clauses out of 86019 with flag 2436668/2622445
63.17/60.13	c cleaning 44002 clauses out of 88019 with flag 2550854/2667446
64.35/61.38	c cleaning 45009 clauses out of 90021 with flag 2669440/2713450
65.67/62.61	c cleaning 45991 clauses out of 92006 with flag 2791523/2760444
67.08/64.06	c cleaning 47006 clauses out of 94015 with flag 2914506/2808444
68.76/65.76	c cleaning 47996 clauses out of 96009 with flag 3047288/2857444
70.18/67.16	c cleaning 49006 clauses out of 98014 with flag 3177053/2907445
71.86/68.84	c cleaning 49998 clauses out of 100007 with flag 3309116/2958444
73.25/70.22	c cleaning 50994 clauses out of 102009 with flag 3442274/3010444
74.76/71.76	c cleaning 51993 clauses out of 104015 with flag 3576067/3063444
76.32/73.22	c cleaning 53002 clauses out of 106022 with flag 3712474/3117444
77.52/74.43	c cleaning 54003 clauses out of 108021 with flag 3849007/3172445
79.13/76.05	c cleaning 55001 clauses out of 110018 with flag 3989135/3228445
80.61/77.55	c cleaning 55995 clauses out of 112016 with flag 4130750/3285444
81.91/78.88	c cleaning 56998 clauses out of 114022 with flag 4272691/3343445
83.75/80.61	c cleaning 58005 clauses out of 116024 with flag 4421504/3402445
85.35/82.22	c cleaning 59005 clauses out of 118019 with flag 4572758/3462445
86.85/83.71	c cleaning 59998 clauses out of 120013 with flag 4723607/3523444
88.45/85.35	c cleaning 60994 clauses out of 122016 with flag 4879175/3585445
90.34/87.23	c cleaning 62002 clauses out of 124021 with flag 5034989/3648444
92.09/88.92	c cleaning 62991 clauses out of 126019 with flag 5192608/3712444
94.08/90.90	c cleaning 64007 clauses out of 128028 with flag 5355513/3777444
95.98/92.80	c cleaning 65009 clauses out of 130026 with flag 5528430/3843449
97.98/94.85	c cleaning 66002 clauses out of 132015 with flag 5698916/3910447
99.78/96.63	c cleaning 66992 clauses out of 134011 with flag 5867400/3978445
101.82/98.64	c cleaning 68004 clauses out of 136020 with flag 6037420/4047446
104.12/100.92	c cleaning 69002 clauses out of 138017 with flag 6215901/4117447
106.42/103.20	c cleaning 69990 clauses out of 140013 with flag 6395079/4188445
108.41/105.21	c cleaning 71000 clauses out of 142022 with flag 6580994/4260444
110.51/107.34	c cleaning 72007 clauses out of 144025 with flag 6760865/4333447
113.10/109.97	c cleaning 73003 clauses out of 146015 with flag 6947449/4407444
115.94/112.77	c cleaning 73997 clauses out of 148012 with flag 7137951/4482444
118.25/115.07	c cleaning 74996 clauses out of 150015 with flag 7329340/4558444
120.43/117.27	c cleaning 75998 clauses out of 152020 with flag 7522673/4635445
122.82/119.69	c cleaning 76997 clauses out of 154023 with flag 7720011/4713446
125.33/122.18	c cleaning 78005 clauses out of 156026 with flag 7926042/4792446
128.25/125.09	c cleaning 78996 clauses out of 158019 with flag 8132321/4872444
130.63/127.45	c cleaning 79998 clauses out of 160023 with flag 8342181/4953444
133.13/130.01	c cleaning 80995 clauses out of 162025 with flag 8557398/5035444
135.92/132.73	c cleaning 82012 clauses out of 164031 with flag 8764581/5118445
139.24/136.08	c cleaning 82998 clauses out of 166018 with flag 8978929/5202444
142.25/139.09	c cleaning 83994 clauses out of 168021 with flag 9193788/5287445
145.34/142.18	c cleaning 85000 clauses out of 170026 with flag 9410672/5373444
148.41/145.12	c cleaning 86001 clauses out of 172026 with flag 9626958/5460444
151.49/148.29	c cleaning 87007 clauses out of 174025 with flag 9845646/5548444
154.59/151.33	c cleaning 87999 clauses out of 176019 with flag 10063649/5637445
157.79/154.54	c cleaning 89004 clauses out of 178019 with flag 10285768/5727444
160.98/157.71	c cleaning 90001 clauses out of 180015 with flag 10512907/5818444
164.08/160.81	c cleaning 90999 clauses out of 182017 with flag 10740362/5910447
167.29/164.10	c cleaning 91991 clauses out of 184017 with flag 10972931/6003446
170.47/167.21	c cleaning 93001 clauses out of 186024 with flag 11203525/6097444
173.67/170.40	c cleaning 94002 clauses out of 188024 with flag 11438218/6192445
177.77/174.55	c cleaning 95005 clauses out of 190021 with flag 11674680/6288444
182.77/179.54	c cleaning 95999 clauses out of 192016 with flag 11918875/6385444
186.55/183.37	c cleaning 96991 clauses out of 194017 with flag 12164370/6483444
189.76/186.54	c cleaning 98002 clauses out of 196026 with flag 12411077/6582444
193.49/190.23	c cleaning 98998 clauses out of 198024 with flag 12662643/6682444
196.58/193.30	c cleaning 100007 clauses out of 200026 with flag 12913600/6783444
199.87/196.66	c cleaning 100990 clauses out of 202019 with flag 13167692/6885444
204.16/200.89	c cleaning 102005 clauses out of 204030 with flag 13419333/6988445
208.25/205.00	c cleaning 103000 clauses out of 206025 with flag 13675672/7092445
212.14/208.84	c cleaning 104010 clauses out of 208024 with flag 13935534/7197444
216.23/212.93	c cleaning 104994 clauses out of 210014 with flag 14203300/7303444
220.10/216.73	c cleaning 105995 clauses out of 212021 with flag 14469464/7410445
223.51/220.17	c cleaning 107009 clauses out of 214025 with flag 14737016/7518444
227.88/224.57	c cleaning 108003 clauses out of 216016 with flag 15013168/7627444
231.67/228.38	c cleaning 108993 clauses out of 218014 with flag 15291029/7737445
236.03/232.66	c cleaning 110001 clauses out of 220020 with flag 15573450/7848444
240.32/236.94	c cleaning 110997 clauses out of 222019 with flag 15852975/7960444
244.21/240.86	c cleaning 111994 clauses out of 224025 with flag 16135197/8073447
248.51/245.13	c cleaning 113005 clauses out of 226029 with flag 16419381/8187445
252.60/249.26	c cleaning 114002 clauses out of 228023 with flag 16704741/8302444
256.95/253.58	c cleaning 114998 clauses out of 230021 with flag 16999093/8418444
260.64/257.25	c cleaning 115995 clauses out of 232023 with flag 17291899/8535444
264.94/261.50	c cleaning 116997 clauses out of 234028 with flag 17587241/8653444
268.83/265.46	c cleaning 118008 clauses out of 236032 with flag 17881635/8772445
273.58/270.13	c cleaning 118993 clauses out of 238023 with flag 18179557/8892444
278.36/274.95	c cleaning 120007 clauses out of 240031 with flag 18480414/9013445
282.85/279.49	c cleaning 121004 clauses out of 242024 with flag 18782053/9135445
287.35/284.01	c cleaning 122000 clauses out of 244019 with flag 19084828/9258444
292.19/288.72	c cleaning 123001 clauses out of 246019 with flag 19391834/9382444
296.79/293.33	c cleaning 123999 clauses out of 248019 with flag 19696267/9507445
301.67/298.22	c cleaning 125003 clauses out of 250021 with flag 20005398/9633446
306.66/303.26	c cleaning 125994 clauses out of 252016 with flag 20321560/9760444
312.17/308.27	c cleaning 127008 clauses out of 254023 with flag 20639253/9888445
316.97/313.01	c cleaning 128002 clauses out of 256014 with flag 20954103/10017444
321.26/317.38	c cleaning 128988 clauses out of 258012 with flag 21272126/10147444
326.96/323.10	c cleaning 130007 clauses out of 260025 with flag 21593406/10278445
332.12/328.13	c cleaning 130996 clauses out of 262017 with flag 21917832/10410444
337.61/333.64	c cleaning 131997 clauses out of 264021 with flag 22240067/10543444
342.90/338.94	c cleaning 133003 clauses out of 266024 with flag 22563723/10677444
348.88/345.01	c cleaning 133998 clauses out of 268022 with flag 22899912/10812445
355.36/351.45	c cleaning 135002 clauses out of 270024 with flag 23236362/10948445
361.25/357.35	c cleaning 136003 clauses out of 272021 with flag 23585519/11085444
367.54/363.65	c cleaning 137001 clauses out of 274018 with flag 23946615/11223444
373.63/369.70	c cleaning 137997 clauses out of 276019 with flag 24304584/11362446
380.72/376.70	c cleaning 138998 clauses out of 278020 with flag 24666619/11502444
386.61/382.62	c cleaning 140006 clauses out of 280023 with flag 25024781/11643445
392.40/388.41	c cleaning 140997 clauses out of 282017 with flag 25392785/11785445
398.00/394.05	c cleaning 141993 clauses out of 284020 with flag 25765059/11928445
403.57/399.65	c cleaning 143005 clauses out of 286030 with flag 26137459/12072448
410.93/406.93	c cleaning 143998 clauses out of 288021 with flag 26516757/12217444
418.41/414.44	c cleaning 145004 clauses out of 290024 with flag 26892958/12363445
425.30/421.34	c cleaning 145999 clauses out of 292019 with flag 27272648/12510444
431.69/427.72	c cleaning 146997 clauses out of 294020 with flag 27645066/12658444
437.39/433.45	c cleaning 148004 clauses out of 296024 with flag 28014558/12807445
443.48/439.58	c cleaning 149004 clauses out of 298019 with flag 28398750/12957444
450.03/446.11	c cleaning 149996 clauses out of 300015 with flag 28783682/13108444
457.80/453.84	c cleaning 151002 clauses out of 302022 with flag 29172850/13260447
467.59/463.69	c cleaning 152000 clauses out of 304017 with flag 29565816/13413444
480.36/476.42	c cleaning 153005 clauses out of 306019 with flag 29963816/13567446
493.18/489.24	c cleaning 154000 clauses out of 308013 with flag 30361628/13722445
501.87/497.99	c cleaning 155005 clauses out of 310013 with flag 30756112/13878445
512.06/508.17	c cleaning 155996 clauses out of 312007 with flag 31157289/14035444
520.40/516.48	c cleaning 156999 clauses out of 314011 with flag 31560948/14193444
530.17/526.22	c cleaning 157990 clauses out of 316012 with flag 31964051/14352444
538.86/534.93	c cleaning 159006 clauses out of 318023 with flag 32363743/14512445
547.14/543.23	c cleaning 159998 clauses out of 320016 with flag 32760649/14673444
557.40/553.42	c cleaning 161004 clauses out of 322018 with flag 33169678/14835444
567.58/563.61	c cleaning 162000 clauses out of 324014 with flag 33586145/14998444
575.37/571.44	c cleaning 163006 clauses out of 326016 with flag 34007536/15162446
586.55/582.67	c cleaning 163997 clauses out of 328008 with flag 34435105/15327444
596.24/592.40	c cleaning 165003 clauses out of 330011 with flag 34860552/15493444
607.90/603.95	c cleaning 165991 clauses out of 332008 with flag 35288177/15660444
619.89/616.00	c cleaning 167006 clauses out of 334018 with flag 35716422/15828445
629.77/625.82	c cleaning 168004 clauses out of 336011 with flag 36142366/15997444
641.36/637.48	c cleaning 168996 clauses out of 338008 with flag 36584179/16167445
651.55/647.69	c cleaning 169994 clauses out of 340011 with flag 37020230/16338444
663.41/659.48	c cleaning 171000 clauses out of 342017 with flag 37459595/16510444
673.29/669.39	c cleaning 172004 clauses out of 344017 with flag 37902250/16683444
684.18/680.24	c cleaning 173002 clauses out of 346014 with flag 38341567/16857445
693.56/689.63	c cleaning 174001 clauses out of 348011 with flag 38779676/17032444
703.32/699.38	c cleaning 175001 clauses out of 350010 with flag 39221337/17208444
715.90/711.92	c cleaning 175996 clauses out of 352010 with flag 39672215/17385445
728.56/724.69	c cleaning 176995 clauses out of 354013 with flag 40136531/17563444
740.05/736.14	c cleaning 177998 clauses out of 356020 with flag 40595587/17742446
752.77/748.88	c cleaning 179006 clauses out of 358020 with flag 41052000/17922444
765.24/761.31	c cleaning 179996 clauses out of 360014 with flag 41523685/18103444
774.83/770.95	c cleaning 181001 clauses out of 362018 with flag 41984888/18285444
786.87/783.01	c cleaning 182003 clauses out of 364019 with flag 42452418/18468446
800.35/796.49	c cleaning 183006 clauses out of 366014 with flag 42921810/18652444
816.62/812.72	c cleaning 184003 clauses out of 368013 with flag 43399422/18837449
830.92/827.07	c cleaning 185000 clauses out of 370009 with flag 43879382/19023448
844.06/840.12	c cleaning 185996 clauses out of 372006 with flag 44367126/19210445
856.73/852.82	c cleaning 187002 clauses out of 374009 with flag 44848325/19398444
870.91/867.03	c cleaning 187997 clauses out of 376007 with flag 45332087/19587444
883.38/879.50	c cleaning 189002 clauses out of 378011 with flag 45826918/19777445
894.92/890.76	c cleaning 189995 clauses out of 380008 with flag 46325202/19968444
907.40/903.21	c cleaning 191003 clauses out of 382014 with flag 46823030/20160445
921.38/917.23	c cleaning 191998 clauses out of 384012 with flag 47317601/20353446
935.91/931.73	c cleaning 193001 clauses out of 386013 with flag 47828931/20547445
949.38/945.22	c cleaning 193996 clauses out of 388011 with flag 48337917/20742444
961.86/957.78	c cleaning 195003 clauses out of 390015 with flag 48849199/20938444
975.07/970.92	c cleaning 195995 clauses out of 392012 with flag 49367688/21135444
987.55/983.49	c cleaning 197007 clauses out of 394019 with flag 49876720/21333446
1002.03/997.95	c cleaning 198005 clauses out of 396010 with flag 50397426/21532444
1017.32/1013.12	c cleaning 199001 clauses out of 398005 with flag 50915659/21732444
1031.48/1027.37	c cleaning 199999 clauses out of 400005 with flag 51425158/21933445
1045.81/1041.69	c cleaning 201002 clauses out of 402006 with flag 51936256/22135445
1059.88/1055.76	c cleaning 201998 clauses out of 404003 with flag 52458725/22338444
1072.47/1068.33	c cleaning 202998 clauses out of 406005 with flag 52974926/22542444
1092.12/1087.92	c cleaning 203997 clauses out of 408007 with flag 53498720/22747444
1108.50/1104.33	c cleaning 204995 clauses out of 410010 with flag 54026561/22953444
1122.77/1118.64	c cleaning 206001 clauses out of 412015 with flag 54560474/23160444
1138.62/1134.44	c cleaning 206996 clauses out of 414014 with flag 55096616/23368444
1152.70/1148.53	c cleaning 208006 clauses out of 416019 with flag 55621085/23577445
1169.66/1165.54	c cleaning 209000 clauses out of 418012 with flag 56161845/23787444
1182.48/1178.38	c cleaning 210002 clauses out of 420013 with flag 56689312/23998445
1200.86/1196.73	c cleaning 210998 clauses out of 422010 with flag 57231382/24210444
1216.25/1212.16	c cleaning 212001 clauses out of 424012 with flag 57776263/24423444
1228.80/1224.68	c cleaning 213000 clauses out of 426012 with flag 58322146/24637445
1240.37/1236.21	c cleaning 213997 clauses out of 428011 with flag 58864845/24852444
1252.64/1248.43	c cleaning 215005 clauses out of 430015 with flag 59416568/25068445
1267.82/1263.67	c cleaning 215984 clauses out of 432010 with flag 59957746/25285445
1281.49/1277.31	c cleaning 216998 clauses out of 434025 with flag 60503507/25503444
1293.77/1289.51	c cleaning 218006 clauses out of 436027 with flag 61055223/25722444
1307.95/1303.72	c cleaning 219000 clauses out of 438022 with flag 61599822/25942445
1320.93/1316.72	c cleaning 220003 clauses out of 440022 with flag 62167355/26163445
1336.62/1332.37	c cleaning 220998 clauses out of 442018 with flag 62723721/26385444
1349.90/1345.64	c cleaning 222008 clauses out of 444021 with flag 63275115/26608445
1362.98/1358.74	c cleaning 222996 clauses out of 446012 with flag 63842696/26832444
1380.95/1376.70	c cleaning 224002 clauses out of 448020 with flag 64419574/27057448
1398.86/1394.61	c cleaning 224999 clauses out of 450015 with flag 64989490/27283445
1416.53/1412.36	c cleaning 226005 clauses out of 452015 with flag 65562541/27510444
1433.40/1429.23	c cleaning 227003 clauses out of 454011 with flag 66143919/27738445
1450.29/1446.13	c cleaning 227998 clauses out of 456008 with flag 66720052/27967445
1465.38/1461.24	c cleaning 228998 clauses out of 458009 with flag 67305710/28197444
1479.86/1475.78	c cleaning 230001 clauses out of 460011 with flag 67886985/28428444
1497.35/1492.82	c cleaning 231003 clauses out of 462013 with flag 68467333/28660447
1512.63/1508.12	c cleaning 231998 clauses out of 464008 with flag 69057193/28893445
1527.90/1523.47	c cleaning 232996 clauses out of 466010 with flag 69662907/29127445
1543.16/1538.63	c cleaning 233998 clauses out of 468013 with flag 70261719/29362444
1557.44/1552.99	c cleaning 234998 clauses out of 470016 with flag 70856629/29598445
1572.01/1567.50	c cleaning 236001 clauses out of 472018 with flag 71467061/29835445
1585.80/1581.36	c cleaning 237003 clauses out of 474018 with flag 72082400/30073446
1602.23/1597.79	c cleaning 237993 clauses out of 476015 with flag 72690470/30312446
1616.51/1612.08	c cleaning 239006 clauses out of 478021 with flag 73297311/30552445
1629.85/1625.38	c cleaning 240006 clauses out of 480019 with flag 73916692/30793449
1643.93/1639.49	c cleaning 241000 clauses out of 482008 with flag 74532572/31035444
1661.80/1657.31	c cleaning 241994 clauses out of 484009 with flag 75145184/31278445
1675.72/1671.21	c cleaning 242998 clauses out of 486014 with flag 75761468/31522444
1687.71/1683.20	c cleaning 244000 clauses out of 488017 with flag 76368269/31767445
1701.98/1697.55	c cleaning 245003 clauses out of 490016 with flag 76990572/32013444
1717.99/1713.58	c cleaning 245995 clauses out of 492014 with flag 77609326/32260445
1733.59/1729.18	c cleaning 246999 clauses out of 494019 with flag 78230068/32508445
1749.46/1744.90	c cleaning 247997 clauses out of 496020 with flag 78851664/32757445
1764.23/1759.73	c cleaning 249004 clauses out of 498024 with flag 79479547/33007446
1778.31/1773.89	c cleaning 250003 clauses out of 500018 with flag 80109009/33258444
1794.60/1790.18	c cleaning 251003 clauses out of 502016 with flag 80754213/33510445
1809.77/1805.38	c cleaning 251997 clauses out of 504012 with flag 81400493/33763444
1826.64/1822.28	c cleaning 253006 clauses out of 506016 with flag 82048793/34017445
1846.62/1842.14	c cleaning 254001 clauses out of 508011 with flag 82707736/34272446
1863.38/1858.97	c cleaning 255003 clauses out of 510008 with flag 83363721/34528444
1881.25/1876.80	c cleaning 255996 clauses out of 512005 with flag 84021167/34785444
1898.71/1894.22	c cleaning 256997 clauses out of 514009 with flag 84676371/35043444
1915.69/1911.23	c cleaning 258004 clauses out of 516012 with flag 85328384/35302444
1937.85/1933.43	c cleaning 258989 clauses out of 518008 with flag 85986099/35562444
1958.36/1953.85	c cleaning 259998 clauses out of 520020 with flag 86638829/35823445
1975.64/1971.13	c cleaning 260998 clauses out of 522021 with flag 87291939/36085444
1993.50/1989.10	c cleaning 261998 clauses out of 524024 with flag 87958260/36348445
2012.25/2007.72	c cleaning 263000 clauses out of 526025 with flag 88624837/36612444
2030.42/2025.94	c cleaning 263999 clauses out of 528025 with flag 89281976/36877444
2051.38/2046.94	c cleaning 265008 clauses out of 530027 with flag 89959429/37143445
2073.35/2068.91	c cleaning 265996 clauses out of 532020 with flag 90632713/37410446
2092.96/2088.51	c cleaning 266999 clauses out of 534022 with flag 91305816/37678444
2111.14/2106.79	c cleaning 268001 clauses out of 536023 with flag 91987664/37947444
2129.31/2124.95	c cleaning 269006 clauses out of 538022 with flag 92662530/38217444
2147.63/2143.23	c cleaning 269997 clauses out of 540017 with flag 93356916/38488445
2163.52/2159.19	c cleaning 271003 clauses out of 542019 with flag 94060500/38760444
2178.88/2174.52	c cleaning 271998 clauses out of 544016 with flag 94760537/39033444
2192.76/2188.44	c cleaning 272998 clauses out of 546018 with flag 95466035/39307444
2209.69/2205.35	c cleaning 273998 clauses out of 548020 with flag 96165804/39582444
2226.96/2222.65	c cleaning 274999 clauses out of 550022 with flag 96861626/39858444
2242.92/2238.65	c cleaning 276003 clauses out of 552023 with flag 97557571/40135444
2259.59/2255.34	c cleaning 276999 clauses out of 554020 with flag 98254170/40413444
2278.75/2274.56	c cleaning 278000 clauses out of 556021 with flag 98968486/40692444
2296.29/2292.01	c cleaning 279005 clauses out of 558021 with flag 99678936/40972444
2315.85/2311.56	c cleaning 279997 clauses out of 560017 with flag 100391438/41253445
2332.21/2327.99	c cleaning 280994 clauses out of 562019 with flag 101101498/41535444
2349.67/2345.48	c cleaning 282008 clauses out of 564028 with flag 101820742/41818447
2371.39/2367.07	c cleaning 282995 clauses out of 566017 with flag 102516854/42102444
2389.53/2385.28	c cleaning 284006 clauses out of 568026 with flag 103222415/42387448
2405.50/2401.27	c cleaning 285005 clauses out of 570019 with flag 103938664/42673447
2425.85/2421.66	c cleaning 286003 clauses out of 572011 with flag 104658425/42960444
2447.32/2443.04	c cleaning 287003 clauses out of 574012 with flag 105401055/43248448
2468.28/2464.08	c cleaning 287989 clauses out of 576005 with flag 106149358/43537444
2490.52/2486.37	c cleaning 288999 clauses out of 578016 with flag 106905393/43827444
2512.87/2508.74	c cleaning 290000 clauses out of 580019 with flag 107645809/44118446
2530.87/2526.68	c cleaning 291003 clauses out of 582017 with flag 108385469/44410444
2549.94/2545.77	c cleaning 292001 clauses out of 584016 with flag 109129809/44703446
2570.49/2566.37	c cleaning 292998 clauses out of 586013 with flag 109894635/44997444
2592.44/2588.35	c cleaning 294002 clauses out of 588018 with flag 110645625/45292447
2611.31/2607.21	c cleaning 295001 clauses out of 590013 with flag 111386840/45588444
2629.05/2625.00	c cleaning 295999 clauses out of 592013 with flag 112132130/45885445
2647.81/2643.74	c cleaning 296996 clauses out of 594013 with flag 112874540/46183444
2669.96/2665.97	c cleaning 297999 clauses out of 596017 with flag 113640628/46482444
2696.90/2692.93	c cleaning 299002 clauses out of 598018 with flag 114418662/46782444
2724.07/2719.51	c cleaning 300002 clauses out of 600016 with flag 115205764/47083444
2749.73/2745.21	c cleaning 300999 clauses out of 602014 with flag 115984052/47385444
2770.51/2766.11	c cleaning 301998 clauses out of 604016 with flag 116747174/47688445
2789.97/2785.51	c cleaning 303004 clauses out of 606017 with flag 117518621/47992444
2815.09/2810.51	c cleaning 304004 clauses out of 608013 with flag 118308521/48297444
2837.86/2833.32	c cleaning 305005 clauses out of 610010 with flag 119086243/48603445
2846.03/2841.40	c Got one! Elapsed wall clock time (in seconds):2841.073
2846.03/2841.40	o 25
2852.52/2848.00	c cleaning 235681 clauses out of 471384 with flag 13173/48769824
2855.01/2850.48	c cleaning 120847 clauses out of 241703 with flag 29355/48775824
2855.73/2851.14	c cleaning 63926 clauses out of 127858 with flag 48100/48782826
2856.01/2851.43	c cleaning 35952 clauses out of 71930 with flag 68765/48790824
2856.21/2851.62	c cleaning 22475 clauses out of 44978 with flag 91992/48799824
2856.31/2851.78	c cleaning 16248 clauses out of 32506 with flag 118130/48809827
2856.51/2851.94	c cleaning 13610 clauses out of 27255 with flag 146951/48820824
2856.62/2852.09	c cleaning 12802 clauses out of 25645 with flag 177957/48832824
2856.81/2852.29	c cleaning 12919 clauses out of 25843 with flag 211957/48845824
2857.11/2852.51	c cleaning 13458 clauses out of 26926 with flag 248646/48859826
2857.31/2852.72	c cleaning 14231 clauses out of 28466 with flag 288159/48874824
2857.51/2852.97	c cleaning 15117 clauses out of 30237 with flag 330796/48890826
2857.81/2853.24	c cleaning 16052 clauses out of 32118 with flag 376027/48907824
2858.11/2853.52	c cleaning 17032 clauses out of 34066 with flag 424693/48925824
2858.41/2853.82	c cleaning 18012 clauses out of 36034 with flag 473882/48944824
2858.72/2854.14	c cleaning 19003 clauses out of 38022 with flag 524691/48964824
2859.01/2854.48	c cleaning 20011 clauses out of 40021 with flag 576705/48985826
2859.41/2854.83	c cleaning 20993 clauses out of 42008 with flag 636575/49007824
2859.81/2855.21	c cleaning 22010 clauses out of 44019 with flag 697558/49030828
2860.20/2855.62	c cleaning 22999 clauses out of 46005 with flag 760780/49054824
2860.62/2856.04	c cleaning 23995 clauses out of 48006 with flag 825105/49079824
2861.11/2856.50	c cleaning 25005 clauses out of 50011 with flag 891696/49105824
2861.51/2856.94	c cleaning 26001 clauses out of 52006 with flag 960519/49132824
2862.11/2857.51	c cleaning 26991 clauses out of 54006 with flag 1032706/49160825
2862.62/2858.03	c cleaning 28004 clauses out of 56016 with flag 1109510/49189826
2863.11/2858.58	c cleaning 29005 clauses out of 58011 with flag 1189567/49219825
2863.72/2859.13	c cleaning 29995 clauses out of 60005 with flag 1272779/49250824
2864.31/2859.78	c cleaning 31000 clauses out of 62010 with flag 1354623/49282824
2865.00/2860.41	c cleaning 32006 clauses out of 64012 with flag 1442682/49315826
2865.72/2861.17	c cleaning 32997 clauses out of 66005 with flag 1531998/49349825
2866.40/2861.84	c cleaning 33984 clauses out of 68007 with flag 1625933/49384824
2867.10/2862.54	c cleaning 35012 clauses out of 70023 with flag 1718491/49420824
2867.90/2863.37	c cleaning 36006 clauses out of 72014 with flag 1813270/49457827
2868.80/2864.29	c cleaning 36995 clauses out of 74005 with flag 1913959/49495824
2869.71/2865.16	c cleaning 37992 clauses out of 76011 with flag 2016950/49534825
2870.64/2866.09	c cleaning 39001 clauses out of 78018 with flag 2121070/49574824
2871.52/2866.95	c cleaning 40003 clauses out of 80017 with flag 2227641/49615824
2872.42/2867.89	c cleaning 41001 clauses out of 82015 with flag 2338047/49657825
2873.42/2868.81	c cleaning 42004 clauses out of 84013 with flag 2452060/49700824
2874.31/2869.72	c cleaning 42994 clauses out of 86009 with flag 2566496/49744824
2875.21/2870.62	c cleaning 43994 clauses out of 88015 with flag 2685274/49789824
2876.21/2871.63	c cleaning 45000 clauses out of 90021 with flag 2806493/49835824
2877.21/2872.62	c cleaning 46008 clauses out of 92025 with flag 2932384/49882828
2878.11/2873.57	c cleaning 46997 clauses out of 94015 with flag 3060754/49930826
2879.30/2874.73	c cleaning 48004 clauses out of 96017 with flag 3191970/49979825
2880.40/2875.87	c cleaning 48989 clauses out of 98012 with flag 3320955/50029824
2881.61/2877.01	c cleaning 50009 clauses out of 100027 with flag 3453093/50080828
2882.61/2878.06	c cleaning 51001 clauses out of 102015 with flag 3589071/50132825
2883.71/2879.19	c cleaning 51998 clauses out of 104013 with flag 3726660/50185824
2884.49/2879.90	c Got one! Elapsed wall clock time (in seconds):2879.567
2884.49/2879.90	o 24
2884.79/2880.23	c cleaning 48969 clauses out of 97956 with flag 11271/50231765
2884.99/2880.43	c cleaning 27487 clauses out of 54988 with flag 25616/50237766
2885.09/2880.54	c cleaning 17241 clauses out of 34500 with flag 43171/50244765
2885.19/2880.66	c cleaning 12617 clauses out of 25259 with flag 63678/50252765
2885.29/2880.78	c cleaning 10813 clauses out of 21641 with flag 86424/50261764
2885.49/2880.92	c cleaning 10400 clauses out of 20828 with flag 112212/50271764
2885.60/2881.06	c cleaning 10700 clauses out of 21428 with flag 140173/50282764
2885.79/2881.21	c cleaning 11352 clauses out of 22728 with flag 171158/50294764
2885.89/2881.39	c cleaning 12174 clauses out of 24376 with flag 204593/50307764
2886.09/2881.59	c cleaning 13091 clauses out of 26202 with flag 240935/50321764
2886.39/2881.81	c cleaning 14049 clauses out of 28115 with flag 279457/50336768
2886.60/2882.05	c cleaning 15021 clauses out of 30062 with flag 320782/50352764
2886.79/2882.29	c cleaning 16009 clauses out of 32042 with flag 364143/50369765
2887.09/2882.56	c cleaning 17005 clauses out of 34032 with flag 410409/50387764
2887.39/2882.88	c cleaning 17998 clauses out of 36027 with flag 459678/50406764
2887.79/2883.24	c cleaning 19005 clauses out of 38030 with flag 510791/50426765
2888.09/2883.57	c cleaning 19998 clauses out of 40024 with flag 563980/50447764
2888.49/2883.94	c cleaning 21004 clauses out of 42028 with flag 620393/50469766
2888.89/2884.31	c cleaning 22002 clauses out of 44024 with flag 678102/50492766
2889.29/2884.74	c cleaning 23000 clauses out of 46022 with flag 740578/50516766
2889.71/2885.15	c cleaning 23996 clauses out of 48020 with flag 804697/50541764
2890.09/2885.59	c cleaning 25007 clauses out of 50024 with flag 871376/50567764
2890.71/2886.13	c cleaning 25999 clauses out of 52018 with flag 941140/50594765
2891.19/2886.64	c cleaning 26999 clauses out of 54018 with flag 1013005/50622764
2891.70/2887.17	c cleaning 27998 clauses out of 56019 with flag 1087566/50651764
2892.19/2887.67	c cleaning 28994 clauses out of 58021 with flag 1162420/50681764
2892.79/2888.21	c cleaning 30000 clauses out of 60027 with flag 1241435/50712764
2893.29/2888.76	c cleaning 30994 clauses out of 62027 with flag 1321443/50744764
2893.98/2889.40	c cleaning 32012 clauses out of 64035 with flag 1403690/50777766
2894.60/2890.10	c cleaning 33001 clauses out of 66021 with flag 1490262/50811764
2895.28/2890.75	c cleaning 33996 clauses out of 68020 with flag 1576824/50846764
2895.98/2891.47	c cleaning 35006 clauses out of 70024 with flag 1664466/50882764
2896.72/2892.14	c cleaning 35987 clauses out of 72018 with flag 1755900/50919764
2897.40/2892.81	c cleaning 37008 clauses out of 74032 with flag 1851181/50957765
2898.10/2893.54	c cleaning 38001 clauses out of 76023 with flag 1950818/50996764
2899.00/2894.40	c cleaning 38994 clauses out of 78022 with flag 2051722/51036764
2899.71/2895.17	c cleaning 39999 clauses out of 80028 with flag 2154171/51077764
2900.61/2896.03	c cleaning 41001 clauses out of 82030 with flag 2256632/51119765
2901.39/2896.88	c cleaning 41998 clauses out of 84028 with flag 2363508/51162764
2902.39/2897.89	c cleaning 43000 clauses out of 86030 with flag 2471947/51206764
2903.49/2898.92	c cleaning 44009 clauses out of 88030 with flag 2586286/51251764
2904.70/2900.15	c cleaning 45000 clauses out of 90024 with flag 2705239/51297767
2905.79/2901.22	c cleaning 46000 clauses out of 92021 with flag 2829067/51344764
2907.09/2902.53	c cleaning 47004 clauses out of 94022 with flag 2955127/51392765
2908.39/2903.83	c cleaning 48000 clauses out of 96019 with flag 3082512/51441766
2909.70/2905.17	c cleaning 48999 clauses out of 98017 with flag 3210986/51491764
2911.10/2906.53	c cleaning 49995 clauses out of 100018 with flag 3341838/51542764
2912.39/2907.81	c cleaning 51002 clauses out of 102023 with flag 3475816/51594764
2913.60/2909.05	c cleaning 52003 clauses out of 104022 with flag 3613063/51647765
2915.08/2910.53	c cleaning 53002 clauses out of 106018 with flag 3752515/51701764
2916.48/2911.98	c cleaning 53992 clauses out of 108016 with flag 3890559/51756764
2918.08/2913.56	c cleaning 55007 clauses out of 110025 with flag 4037023/51812765
2919.59/2915.05	c cleaning 55994 clauses out of 112017 with flag 4183630/51869764
2920.97/2916.46	c cleaning 57007 clauses out of 114023 with flag 4328953/51927764
2922.58/2918.04	c cleaning 58005 clauses out of 116017 with flag 4479362/51986765
2924.17/2919.67	c cleaning 58996 clauses out of 118012 with flag 4634789/52046765
2925.86/2921.35	c cleaning 59997 clauses out of 120015 with flag 4788751/52107764
2927.46/2922.93	c cleaning 60999 clauses out of 122018 with flag 4943997/52169764
2929.16/2924.68	c cleaning 62005 clauses out of 124019 with flag 5100956/52232764
2930.96/2926.47	c cleaning 62991 clauses out of 126014 with flag 5263064/52296764
2932.86/2928.38	c cleaning 64006 clauses out of 128023 with flag 5433188/52361764
2934.75/2930.22	c cleaning 64999 clauses out of 130017 with flag 5601173/52427764
2936.56/2932.05	c cleaning 65992 clauses out of 132018 with flag 5780696/52494764
2938.85/2934.38	c cleaning 67002 clauses out of 134026 with flag 5958195/52562764
2940.74/2936.23	c cleaning 67993 clauses out of 136024 with flag 6136130/52631764
2942.74/2938.25	c cleaning 69001 clauses out of 138031 with flag 6316973/52701764
2944.73/2940.20	c cleaning 70009 clauses out of 140030 with flag 6501790/52772764
2946.73/2942.25	c cleaning 71006 clauses out of 142022 with flag 6688188/52844765
2948.83/2944.33	c cleaning 71995 clauses out of 144015 with flag 6880094/52917764
2951.38/2946.82	c cleaning 72998 clauses out of 146020 with flag 7070202/52991764
2953.78/2949.28	c cleaning 74006 clauses out of 148022 with flag 7267717/53066764
2956.28/2951.73	c cleaning 74989 clauses out of 150016 with flag 7470843/53142764
2958.37/2953.89	c cleaning 76002 clauses out of 152027 with flag 7673217/53219764
2961.16/2956.64	c cleaning 77004 clauses out of 154026 with flag 7870263/53297765
2963.47/2958.92	c cleaning 77999 clauses out of 156021 with flag 8075464/53376764
2965.76/2961.26	c cleaning 79000 clauses out of 158022 with flag 8283405/53456764
2968.06/2963.55	c cleaning 80004 clauses out of 160022 with flag 8492141/53537764
2970.36/2965.89	c cleaning 81002 clauses out of 162020 with flag 8708113/53619766
2972.56/2968.03	c cleaning 82004 clauses out of 164016 with flag 8923829/53702764
2975.05/2970.58	c cleaning 82991 clauses out of 166012 with flag 9142098/53786764
2977.24/2972.74	c cleaning 84000 clauses out of 168021 with flag 9358372/53871764
2979.44/2975.00	c cleaning 85001 clauses out of 170023 with flag 9574758/53957766
2981.83/2977.38	c cleaning 85993 clauses out of 172021 with flag 9795976/54044765
2983.93/2979.47	c cleaning 87004 clauses out of 174027 with flag 10018567/54132764
2986.82/2982.34	c cleaning 88000 clauses out of 176023 with flag 10247379/54221764
2989.42/2984.91	c cleaning 88994 clauses out of 178024 with flag 10481013/54311765
2992.01/2987.53	c cleaning 89996 clauses out of 180029 with flag 10714326/54402764
2994.70/2990.24	c cleaning 91011 clauses out of 182035 with flag 10950781/54494766
2997.30/2992.83	c cleaning 92009 clauses out of 184025 with flag 11191565/54587767
3000.20/2995.75	c cleaning 92999 clauses out of 186013 with flag 11438297/54681764
3002.89/2998.46	c cleaning 93998 clauses out of 188015 with flag 11682786/54776765
3005.88/3001.40	c cleaning 94989 clauses out of 190016 with flag 11933973/54872764
3008.94/3004.45	c cleaning 96006 clauses out of 192027 with flag 12186449/54969764
3011.74/3007.21	c cleaning 97010 clauses out of 194026 with flag 12435135/55067769
3014.23/3009.77	c cleaning 97999 clauses out of 196012 with flag 12690463/55166765
3016.94/3012.46	c cleaning 98991 clauses out of 198013 with flag 12944106/55266765
3020.03/3015.55	c cleaning 100006 clauses out of 200022 with flag 13205028/55367765
3023.42/3018.98	c cleaning 100999 clauses out of 202016 with flag 13473229/55469765
3026.92/3022.44	c cleaning 101995 clauses out of 204016 with flag 13741920/55572764
3030.41/3025.94	c cleaning 103005 clauses out of 206021 with flag 14018121/55676764
3033.90/3029.42	c cleaning 103996 clauses out of 208016 with flag 14288581/55781764
3037.79/3033.35	c cleaning 105000 clauses out of 210020 with flag 14555870/55887764
3041.38/3036.95	c cleaning 106004 clauses out of 212023 with flag 14832960/55994767
3045.18/3040.74	c cleaning 106996 clauses out of 214016 with flag 15110950/56102764
3048.38/3043.99	c cleaning 107996 clauses out of 216020 with flag 15389359/56211764
3051.87/3047.46	c cleaning 109005 clauses out of 218025 with flag 15667424/56321765
3055.26/3050.89	c cleaning 110000 clauses out of 220022 with flag 15952701/56432767
3059.25/3054.84	c cleaning 110997 clauses out of 222019 with flag 16241040/56544764
3063.15/3058.77	c cleaning 112003 clauses out of 224022 with flag 16531493/56657764
3067.14/3062.70	c cleaning 112994 clauses out of 226020 with flag 16819289/56771765
3071.44/3067.04	c cleaning 114006 clauses out of 228026 with flag 17113937/56886765
3075.43/3071.03	c cleaning 115003 clauses out of 230020 with flag 17408515/57002765
3079.21/3074.84	c cleaning 115999 clauses out of 232017 with flag 17709834/57119765
3083.80/3079.43	c cleaning 116998 clauses out of 234017 with flag 18012291/57237764
3088.30/3083.92	c cleaning 117999 clauses out of 236020 with flag 18315680/57356765
3092.40/3088.04	c cleaning 118996 clauses out of 238020 with flag 18620741/57476764
3096.78/3092.44	c cleaning 119998 clauses out of 240024 with flag 18930725/57597764
3100.48/3096.14	c cleaning 120998 clauses out of 242026 with flag 19233640/57719764
3104.16/3099.81	c cleaning 121991 clauses out of 244028 with flag 19542347/57842764
3108.46/3104.17	c cleaning 123013 clauses out of 246037 with flag 19855882/57966764
3112.65/3108.38	c cleaning 123998 clauses out of 248024 with flag 20172293/58091764
3117.04/3112.77	c cleaning 125006 clauses out of 250028 with flag 20489852/58217766
3121.73/3117.45	c cleaning 126003 clauses out of 252020 with flag 20820134/58344764
3125.52/3121.23	c cleaning 127004 clauses out of 254017 with flag 21160293/58472764
3130.51/3126.22	c cleaning 127997 clauses out of 256014 with flag 21497296/58601765
3134.80/3130.56	c cleaning 128995 clauses out of 258017 with flag 21824373/58731765
3139.31/3135.03	c cleaning 130002 clauses out of 260021 with flag 22156288/58862764
3143.99/3139.79	c cleaning 131001 clauses out of 262020 with flag 22491794/58994765
3149.29/3145.04	c cleaning 132000 clauses out of 264021 with flag 22828187/59127767
3154.06/3149.75	c cleaning 132999 clauses out of 266019 with flag 23161290/59261765
3159.06/3154.70	c cleaning 133999 clauses out of 268020 with flag 23496886/59396765
3164.75/3160.42	c cleaning 135005 clauses out of 270021 with flag 23832998/59532765
3169.64/3165.38	c cleaning 135998 clauses out of 272015 with flag 24175207/59669764
3174.73/3170.41	c cleaning 137000 clauses out of 274017 with flag 24517291/59807764
3179.82/3175.57	c cleaning 138006 clauses out of 276017 with flag 24874403/59946764
3185.71/3181.41	c cleaning 138996 clauses out of 278012 with flag 25232245/60086765
3190.71/3186.40	c cleaning 140000 clauses out of 280019 with flag 25596994/60227768
3195.90/3191.64	c cleaning 140998 clauses out of 282016 with flag 25960578/60369765
3201.08/3196.83	c cleaning 142000 clauses out of 284020 with flag 26326368/60512767
3205.97/3201.70	c cleaning 142994 clauses out of 286017 with flag 26693604/60656764
3211.86/3207.65	c cleaning 144001 clauses out of 288023 with flag 27074839/60801764
3217.26/3213.03	c cleaning 145001 clauses out of 290022 with flag 27453561/60947764
3222.84/3218.61	c cleaning 146001 clauses out of 292021 with flag 27828830/61094764
3228.53/3224.39	c cleaning 146992 clauses out of 294020 with flag 28203875/61242764
3234.01/3229.82	c cleaning 148004 clauses out of 296028 with flag 28578870/61391764
3239.60/3235.44	c cleaning 149001 clauses out of 298024 with flag 28948945/61541764
3245.79/3241.67	c cleaning 150003 clauses out of 300026 with flag 29326763/61692767
3251.58/3247.45	c cleaning 150996 clauses out of 302020 with flag 29709569/61844764
3257.57/3253.46	c cleaning 151998 clauses out of 304024 with flag 30092939/61997764
3264.36/3260.29	c cleaning 152999 clauses out of 306026 with flag 30481536/62151764
3270.44/3266.38	c cleaning 154001 clauses out of 308027 with flag 30872712/62306764
3277.93/3273.83	c cleaning 155001 clauses out of 310027 with flag 31271467/62462765
3284.02/3279.95	c cleaning 155993 clauses out of 312025 with flag 31678129/62619764
3290.11/3286.07	c cleaning 157001 clauses out of 314032 with flag 32083740/62777764
3296.30/3292.26	c cleaning 158006 clauses out of 316034 with flag 32493759/62936767
3302.38/3298.39	c cleaning 158999 clauses out of 318027 with flag 32905723/63096766
3309.18/3305.12	c cleaning 160001 clauses out of 320026 with flag 33313151/63257764
3314.77/3310.60	c cleaning 161004 clauses out of 322025 with flag 33721526/63419764
3321.06/3316.91	c cleaning 162003 clauses out of 324021 with flag 34126878/63582764
3328.46/3324.30	c cleaning 162999 clauses out of 326020 with flag 34543369/63746766
3334.74/3330.67	c cleaning 164004 clauses out of 328022 with flag 34960967/63911767
3341.83/3337.71	c cleaning 164996 clauses out of 330016 with flag 35378441/64077765
3347.92/3343.88	c cleaning 165991 clauses out of 332020 with flag 35792406/64244765
3354.12/3350.08	c cleaning 167004 clauses out of 334028 with flag 36215266/64412764
3362.41/3358.39	c cleaning 167996 clauses out of 336024 with flag 36649272/64581764
3370.69/3366.67	c cleaning 169010 clauses out of 338028 with flag 37084210/64751764
3380.48/3376.41	c cleaning 169999 clauses out of 340018 with flag 37520365/64922764
3388.67/3384.66	c cleaning 171002 clauses out of 342019 with flag 37956088/65094764
3396.26/3392.25	c cleaning 171998 clauses out of 344018 with flag 38393640/65267765
3404.44/3400.45	c cleaning 173005 clauses out of 346023 with flag 38833243/65441768
3412.22/3408.21	c cleaning 174004 clauses out of 348017 with flag 39269699/65616767
3419.51/3415.54	c cleaning 174999 clauses out of 350010 with flag 39712912/65792764
3426.49/3422.53	c cleaning 175994 clauses out of 352012 with flag 40159876/65969765
3434.87/3430.91	c cleaning 177001 clauses out of 354017 with flag 40622218/66147764
3440.87/3436.98	c cleaning 177998 clauses out of 356016 with flag 41072767/66326764
3448.46/3444.50	c cleaning 179000 clauses out of 358018 with flag 41533790/66506764
3455.95/3452.10	c cleaning 179996 clauses out of 360018 with flag 41997424/66687764
3463.64/3459.74	c cleaning 181004 clauses out of 362024 with flag 42454092/66869766
3472.03/3468.12	c cleaning 182000 clauses out of 364020 with flag 42913190/67052766
3480.41/3476.51	c cleaning 183005 clauses out of 366020 with flag 43372118/67236766
3487.69/3483.86	c cleaning 184000 clauses out of 368013 with flag 43831094/67421764
3495.32/3491.32	c cleaning 184992 clauses out of 370013 with flag 44285557/67607764
3502.72/3498.77	c cleaning 186005 clauses out of 372023 with flag 44747648/67794766
3511.70/3507.79	c cleaning 187001 clauses out of 374016 with flag 45221439/67982764
3521.27/3517.36	c cleaning 188006 clauses out of 376018 with flag 45695450/68171767
3531.26/3527.36	c cleaning 188997 clauses out of 378009 with flag 46182544/68361764
3539.84/3535.94	c cleaning 189993 clauses out of 380014 with flag 46665042/68552766
3550.93/3547.03	c cleaning 190993 clauses out of 382019 with flag 47152372/68744764
3560.10/3556.20	c cleaning 191998 clauses out of 384027 with flag 47645374/68937765
3570.68/3566.82	c cleaning 193003 clauses out of 386029 with flag 48146954/69131765
3578.47/3574.69	c cleaning 194000 clauses out of 388025 with flag 48644624/69326764
3587.87/3584.06	c cleaning 195006 clauses out of 390026 with flag 49157975/69522765
3598.65/3594.86	c cleaning 195999 clauses out of 392019 with flag 49662745/69719764
3600.04/3596.25	c starts		: 25
3600.04/3596.26	c conflicts		: 69781107
3600.04/3596.26	c decisions		: 132794488
3600.04/3596.26	c propagations		: 1034935979
3600.04/3596.26	c inspects		: 23794244108
3600.04/3596.26	c shortcuts		: 0
3600.04/3596.26	c learnt literals	: 0
3600.04/3596.26	c learnt binary clauses	: 0
3600.04/3596.26	c learnt ternary clauses	: 0
3600.04/3596.26	c learnt constraints	: 69781107
3600.04/3596.26	c ignored constraints	: 0
3600.04/3596.26	c root simplifications	: 0
3600.04/3596.26	c removed literals (reason simplification)	: 0
3600.04/3596.26	c reason swapping (by a shorter reason)	: 0
3600.04/3596.26	c Calls to reduceDB	: 612
3600.04/3596.26	c Number of update (reduction) of LBD	: 14084538
3600.04/3596.26	c Imported unit clauses	: 0
3600.04/3596.26	c No decision after first conflict	: false
3600.04/3596.26	c number of reductions to clauses (during analyze)	: 0
3600.04/3596.26	c number of learned constraints concerned by reduction	: 0
3600.04/3596.26	c number of learning phase by resolution	: 0
3600.04/3596.26	c number of learning phase by cutting planes	: 0
3600.04/3596.26	c number of rounding to 1 operations	: 0
3600.04/3596.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3596.26	c number of reductions of the coefficients by power 2 	: 0
3600.04/3596.26	c number of right shift for reduction by power 2 	: 0
3600.04/3596.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3596.26	c number of ending skipping 	: 0
3600.04/3596.26	c number of internal skipping 	: 0
3600.04/3596.26	c number of derivation steps 	: 0
3600.04/3596.26	c number of skipped derivation steps 	: 0
3600.04/3596.26	c number of remaining unassigned 	: 0
3600.04/3596.26	c number of remaining assigned 	: 0
3600.04/3596.26	c number of falsified literals weakened from reason	: 0
3600.04/3596.27	c number of falsified literals weakened from conflict	: 0
3600.04/3596.27	c time for arithmetic operations	: 0
3600.04/3596.27	c minimum degree of deleted constraints	: null
3600.04/3596.27	c maximum degree of deleted constraints	: null
3600.04/3596.27	c number of deleted constraints	: 0
3600.04/3596.27	c speed (assignments/second)	: 287839.777356761
3600.04/3596.27	c non guided choices	: 0
3600.44/3596.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 257363
3600.44/3596.43	s SATISFIABLE
3600.44/3596.43	c Found 8 solution(s)
3600.44/3596.43	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 
3600.44/3596.43	c objective function=24
3600.44/3596.43	c Total wall clock time (in seconds): 3596.103

Verifier Data 

OK	24

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: 64096 MiB (37366 MiB free)
  memory of node 1: 64473 MiB (53535 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459195-1721886425/watcher-4459195-1721886425 -o /tmp/evaluation-result-4459195-1721886425/solver-4459195-1721886425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721877730-203504 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459195-1721886425.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=208938, runsolver pid=208935
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 6.02 6.02 5.75 8/315 208956
/proc/meminfo: memFree=93049268/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=18975048 memory=56192 CPUtime=0.12 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 6486 0 0 0 9 3 0 0 20 0 18 0 24632329 19430449152 14048 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4743762 14048 5628 1 0 550874 0
[pid=208938/tid=208940] ppid=208935 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) D 208935 208938 203492 0 -1 4194368 5371 0 0 0 7 2 0 0 20 0 18 0 24632330 19430449152 14048 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24632335 19430449152 14048 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=18975048 memory=14127853412601218 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24632336 19430449152 14048 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56192 KiB

[startup+0.223198 s]*
/proc/loadavg: 6.02 6.02 5.75 7/315 208956
/proc/meminfo: memFree=93045916/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=18975048 memory=58444 CPUtime=0.29 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 7086 0 0 0 26 3 0 0 20 0 18 0 24632329 19430449152 14611 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4743762 14611 5637 1 0 551330 0
[pid=208938/tid=208940] ppid=208935 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) S 208935 208938 203492 0 -1 1077936192 5690 0 0 0 17 2 0 0 20 0 18 0 24632330 19430449152 14611 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=18975048 memory=1364536 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24632335 19430449152 14611 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=18975048 memory=16102571999761082 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24632336 19430449152 14611 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58444 KiB

[startup+0.314804 s]*
/proc/loadavg: 6.02 6.02 5.75 8/315 208956
/proc/meminfo: memFree=93040896/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=18975048 memory=63536 CPUtime=0.44 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 7342 0 0 0 40 4 0 0 20 0 18 0 24632329 19430449152 15884 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4743762 15884 5651 1 0 551510 0
[pid=208938/tid=208940] ppid=208935 vsize=18975048 memory=-8816466304507290300 CPUtime=0.27 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 5854 0 0 0 25 2 0 0 20 0 18 0 24632330 19430449152 15884 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24632335 19430449152 15884 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24632336 19430449152 15884 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63536 KiB

[startup+0.705854 s]
/proc/loadavg: 6.02 6.02 5.75 7/315 208956
/proc/meminfo: memFree=93029160/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=18975048 memory=97696 CPUtime=1.16 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 9100 0 0 0 111 5 0 0 20 0 18 0 24632329 19430449152 24424 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4743762 24424 5786 1 0 552652 0
[pid=208938/tid=208940] ppid=208935 vsize=18975048 memory=5516 CPUtime=0.65 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 5965 0 0 0 62 3 0 0 20 0 18 0 24632330 19430449152 24424 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=18975048 memory=12668 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24632335 19430449152 24424 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24632336 19430449152 24424 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 97696 KiB

[startup+1.50058 s]
/proc/loadavg: 6.10 6.04 5.76 8/316 208957
/proc/meminfo: memFree=92991068/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19041612 memory=120820 CPUtime=2.73 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 20965 0 0 0 265 8 0 0 20 0 19 0 24632329 19498610688 30205 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4760403 30205 5856 1 0 557390 0
[pid=208938/tid=208940] ppid=208935 vsize=19041612 memory=12668 CPUtime=1.4 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 6405 0 0 0 136 4 0 0 20 0 19 0 24632330 19498610688 30205 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24632335 19498610688 30205 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24632336 19498610688 30205 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24632404 19498610688 30205 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 120820 KiB

[startup+3.10594 s]
/proc/loadavg: 6.10 6.04 5.76 6/316 208957
/proc/meminfo: memFree=92960432/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19041612 memory=148312 CPUtime=5.53 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 22479 0 0 0 544 9 0 0 20 0 19 0 24632329 19498610688 37078 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4760403 37078 5872 1 0 557393 0
[pid=208938/tid=208940] ppid=208935 vsize=19041612 memory=0 CPUtime=2.99 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 7029 0 0 0 295 4 0 0 20 0 19 0 24632330 19498610688 37078 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19041612 memory=15864 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24632335 19498610688 37078 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24632336 19498610688 37078 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19041612 memory=12668 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24632404 19498610688 37078 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148312 KiB

[startup+6.30047 s]
/proc/loadavg: 6.17 6.06 5.76 6/317 208960
/proc/meminfo: memFree=92916020/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=188124 CPUtime=8.86 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 23602 0 0 0 875 11 0 0 20 0 20 0 24632329 19566772224 47031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 47031 5888 1 0 557699 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=0 CPUtime=6.13 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 7086 0 0 0 608 5 0 0 20 0 20 0 24632330 19566772224 47031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=12668 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 47031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 47031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=61204 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 47031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188124 KiB

[startup+12.7005 s]
/proc/loadavg: 6.00 6.02 5.75 5/317 208960
/proc/meminfo: memFree=92903632/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=194652 CPUtime=15.23 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 25633 0 0 0 1512 11 0 0 20 0 20 0 24632329 19566772224 48663 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 48663 5908 1 0 557699 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=102700 CPUtime=12.46 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 7741 0 0 0 1241 5 0 0 20 0 20 0 24632330 19566772224 48663 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=194652 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 48663 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=150376 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 48663 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 48663 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194652 KiB

[startup+25.5005 s]
/proc/loadavg: 5.84 5.99 5.75 5/317 209028
/proc/meminfo: memFree=109053608/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=252248 CPUtime=28.04 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 28283 0 0 0 2790 14 0 0 20 0 20 0 24632329 19566772224 63062 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 63062 5908 1 0 557699 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=194652 CPUtime=24.97 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 8825 0 0 0 2492 5 0 0 20 0 20 0 24632330 19566772224 63062 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=252248 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 63062 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=252220 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 63062 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=213128 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 63062 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 28.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 252248 KiB

[startup+51.1144 s]
/proc/loadavg: 5.31 5.84 5.71 5/317 209031
/proc/meminfo: memFree=107341604/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=431648 CPUtime=54.18 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 40953 0 0 0 5396 22 0 0 20 0 20 0 24632329 19566772224 107912 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 107912 5924 1 0 664208 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=379580 CPUtime=49.89 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 11904 0 0 0 4983 6 0 0 20 0 20 0 24632330 19566772224 107912 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=-8816466304507290300 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 107912 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=344468 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 2.26 2.54 3.20 3/267 210865
/proc/meminfo: memFree=114813260/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=2616120 CPUtime=3286.41 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 165737 0 0 0 328413 228 0 0 20 0 20 0 24632329 19566772224 654030 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 654030 5924 1 0 667308 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=12668 CPUtime=3263.34 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 54310 0 0 0 326311 23 0 0 20 0 20 0 24632330 19566772224 654030 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=1764 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 654030 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=16144 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 2916 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 654030 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 654030 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3286.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616120 KiB

[startup+3342.3 s]
/proc/loadavg: 2.20 2.47 3.13 3/267 210876
/proc/meminfo: memFree=114810932/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=2616124 CPUtime=3346.43 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 167195 0 0 0 334413 230 0 0 20 0 20 0 24632329 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 654031 5924 1 0 667308 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=2616124 CPUtime=3323.08 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 54630 0 0 0 332285 23 0 0 20 0 20 0 24632330 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=2616124 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=2616124 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 2916 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=2616124 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3346.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616124 KiB

[startup+3402.3 s]
/proc/loadavg: 2.19 2.42 3.07 3/267 210886
/proc/meminfo: memFree=114810452/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=2616124 CPUtime=3406.34 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 168247 0 0 0 340401 233 0 0 20 0 20 0 24632329 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 654031 5924 1 0 667308 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=2616124 CPUtime=3382.95 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 55523 0 0 0 338272 23 0 0 20 0 20 0 24632330 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=2616124 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=12668 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 2917 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=2228 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3406.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616124 KiB

[startup+3462.3 s]
/proc/loadavg: 2.18 2.37 3.01 3/267 210896
/proc/meminfo: memFree=114295740/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=2616124 CPUtime=3466.23 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 169301 0 0 0 346388 235 0 0 20 0 20 0 24632329 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 654031 5924 1 0 667308 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=2616124 CPUtime=3442.81 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 56313 0 0 0 344258 23 0 0 20 0 20 0 24632330 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=2616124 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=2616124 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 3032 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 654031 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3466.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616124 KiB

[startup+3522.3 s]
/proc/loadavg: 2.28 2.36 2.96 3/265 210907
/proc/meminfo: memFree=114139404/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=2616144 CPUtime=3526.27 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 171240 0 0 0 352390 237 0 0 20 0 20 0 24632329 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 654036 5924 1 0 667308 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=61204 CPUtime=3502.48 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 57071 0 0 0 350225 23 0 0 20 0 20 0 24632330 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=2616144 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 3032 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3526.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616144 KiB

[startup+3582.3 s]
/proc/loadavg: 1.92 2.26 2.89 2/239 210951
/proc/meminfo: memFree=123760940/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=2616144 CPUtime=3586.16 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 171872 0 0 0 358378 238 0 0 20 0 20 0 24632329 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 654036 5924 1 0 667308 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=61204 CPUtime=3562.33 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 57562 0 0 0 356210 23 0 0 20 0 20 0 24632330 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=5612 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=2616144 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 3162 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.2 s]
/proc/loadavg: 1.78 2.22 2.87 2/239 210954
/proc/meminfo: memFree=123760856/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19108176 memory=2616144 CPUtime=3600.04 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 171927 0 0 0 359765 239 0 0 20 0 20 0 24632329 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4777044 654036 5924 1 0 667308 0
[pid=208938/tid=208940] ppid=208935 vsize=19108176 memory=1364452 CPUtime=3576.21 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 57617 0 0 0 357598 23 0 0 20 0 20 0 24632330 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19108176 memory=1364340 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 24632335 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19108176 memory=25684 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 3162 0 0 0 0 0 0 0 20 0 20 0 24632336 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208957] ppid=208935 vsize=19108176 memory=2096 CPUtime=0 cores=1,3
/proc/208938/task/208957/stat : 208957 (Timer-0) S 208935 208938 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24632404 19566772224 654036 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.12 s, system=2.42418 s

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

[startup+3596.4 s]
/proc/loadavg: 1.78 2.22 2.87 2/239 210954
/proc/meminfo: memFree=123760856/131655788 swapFree=131058856/131071996
[pid=208938] ppid=208935 vsize=19307868 memory=2616956 CPUtime=3600.44 cores=1,3
/proc/208938/stat : 208938 (java) S 208935 208938 203492 0 -1 1077936128 174796 0 0 0 359804 240 0 0 20 0 21 0 24632329 19771256832 654239 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
/proc/208938/statm: 4826967 654239 5954 1 0 668215 0
[pid=208938/tid=208940] ppid=208935 vsize=19307868 memory=2616144 CPUtime=3576.4 cores=1,3
/proc/208938/task/208940/stat : 208940 (java) R 208935 208938 203492 0 -1 4194368 57902 0 0 0 357617 23 0 0 20 0 21 0 24632330 19771256832 654239 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208949] ppid=208935 vsize=19307868 memory=15864 CPUtime=0 cores=1,3
/proc/208938/task/208949/stat : 208949 (Finalizer) S 208935 208938 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 24632335 19771256832 654239 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
[pid=208938/tid=208956] ppid=208935 vsize=19307868 memory=61204 CPUtime=0 cores=1,3
/proc/208938/task/208956/stat : 208956 (Common-Cleaner) S 208935 208938 203492 0 -1 1077936192 3162 0 0 0 0 0 0 0 20 0 21 0 24632336 19771256832 654239 134679101440 94699712974848 94699712978544 140735187286304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94699712986360 94699712987152 94699720527872 140735187289095 140735187289185 140735187289185 140735187296200 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2616956 KiB

Child status: 143

Real time (s): 3596.46
CPU time (s): 3600.55
CPU user time (s): 3598.12
CPU system time (s): 2.42418
CPU usage (%): 100.114
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2616956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.12
system time used= 2.42418
maximum resident set size= 2617848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107671
involuntary context switches= 2815


# summary of solver processes directly reported to runsolver:
#   pid: 208938
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3598.12
#   total CPU system time (s): 2.42418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8192 second user time and 38.5854 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-25 07:47:05
IDJOB=4459195
IDBENCH=178614
IDSOLVER=3058
FILE ID=nodeC009/4459195-1721886425
RUNJOBID= nodeC009-1721877730-203504
SLURM_JOB_ID= 8089270
Free space on /tmp= 723640 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459195-1721886425/watcher-4459195-1721886425 -o /tmp/evaluation-result-4459195-1721886425/solver-4459195-1721886425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721877730-203504 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459195-1721886425.opb

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

MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=862222116

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        93083808 kB
MemAvailable:   96701292 kB
Buffers:          308820 kB
Cached:          4046984 kB
SwapCached:         4924 kB
Active:          1885224 kB
Inactive:       35896620 kB
Active(anon):       1608 kB
Inactive(anon): 33469736 kB
Active(file):    1883616 kB
Inactive(file):  2426884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:              1240 kB
Writeback:             0 kB
AnonPages:      33420336 kB
Mapped:           110924 kB
Shmem:             45300 kB
KReclaimable:     294368 kB
Slab:             405424 kB
SReclaimable:     294368 kB
SUnreclaim:       111056 kB
KernelStack:        4784 kB
PageTables:        75384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   44868252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  32788480 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC009 at 2024-07-25 08:47:01