Trace number 4487629

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 VeriPB 2025-06-06SAT (TO)28 3600.35 3614.42

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
MD5SUMdc8f15f122e8bf0ab63303347843dc21
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 benchmark25
Best CPU time to get the best result obtained on this benchmark0.04177
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables372
Total number of constraints772
Number of constraints which are clauses772
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 constraint1
Maximum length of a constraint98
Number of terms in the objective function 372
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 372
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 372
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.12/0.10	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4487629-1751337706.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
0.32/0.21	c ... done. Wall clock time 0.075s.
0.32/0.21	c declared #vars     372
0.32/0.21	c #constraints  772
0.32/0.21	c constraints type 
0.32/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5
0.32/0.21	c org.sat4j.specs.Constr$1 => 123
0.32/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 639
0.32/0.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.32/0.21	c 772 constraints processed.
0.32/0.23	c objective function length is 372 literals
0.32/0.25	c SATISFIABLE
0.32/0.25	c OPTIMIZING...
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.118
0.32/0.25	o 37
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.122
0.32/0.26	o 36
0.69/0.50	c Got one! Elapsed wall clock time (in seconds):0.367
0.69/0.50	o 35
1.46/0.89	c cleaning 2823 clauses out of 5645 with flag 11686/5645
2.25/1.23	c cleaning 4403 clauses out of 8819 with flag 29143/11642
3.04/1.64	c cleaning 5701 clauses out of 11416 with flag 50747/18642
3.04/1.68	c Got one! Elapsed wall clock time (in seconds):1.547
3.04/1.68	o 34
3.63/1.96	c cleaning 5785 clauses out of 11576 with flag 16114/24503
4.23/2.24	c cleaning 5898 clauses out of 11798 with flag 34365/30510
4.81/2.54	c cleaning 6447 clauses out of 12896 with flag 58080/37506
5.19/2.85	c cleaning 7202 clauses out of 14446 with flag 82335/45503
5.60/3.22	c cleaning 8107 clauses out of 16244 with flag 108928/54503
6.01/3.62	c cleaning 9062 clauses out of 18137 with flag 138121/64503
6.41/4.09	c cleaning 10019 clauses out of 20075 with flag 172371/75503
6.90/4.58	c cleaning 11014 clauses out of 22061 with flag 209014/87508
7.51/5.14	c cleaning 12003 clauses out of 24042 with flag 251488/100503
8.21/5.80	c cleaning 13005 clauses out of 26039 with flag 300855/114503
8.86/6.49	c cleaning 14010 clauses out of 28035 with flag 347977/129504
9.70/7.23	c cleaning 14999 clauses out of 30024 with flag 396297/145503
10.30/7.89	c cleaning 16010 clauses out of 32025 with flag 451840/162503
11.21/8.72	c cleaning 16995 clauses out of 34015 with flag 509407/180503
11.90/9.49	c cleaning 18010 clauses out of 36020 with flag 564944/199503
12.81/10.39	c cleaning 18994 clauses out of 38013 with flag 624414/219506
13.80/11.34	c cleaning 19998 clauses out of 40019 with flag 688439/240506
14.71/12.27	c cleaning 20981 clauses out of 42018 with flag 754384/262503
15.80/13.30	c cleaning 22003 clauses out of 44037 with flag 822752/285503
16.89/14.47	c cleaning 22999 clauses out of 46034 with flag 890585/309503
17.90/15.49	c cleaning 24002 clauses out of 48035 with flag 961547/334503
19.09/16.63	c cleaning 25011 clauses out of 50033 with flag 1034394/360503
20.30/17.85	c cleaning 26003 clauses out of 52022 with flag 1109307/387503
21.50/19.08	c cleaning 27004 clauses out of 54019 with flag 1184549/415503
22.89/20.49	c cleaning 27998 clauses out of 56015 with flag 1268021/444503
23.50/21.00	c Got one! Elapsed wall clock time (in seconds):20.87
23.50/21.00	o 33
23.70/21.23	c cleaning 22083 clauses out of 44181 with flag 15620/460667
23.90/21.46	c cleaning 14036 clauses out of 28100 with flag 34826/466669
24.20/21.72	c cleaning 10511 clauses out of 21062 with flag 57420/473667
24.50/22.03	c cleaning 9268 clauses out of 18552 with flag 82398/481668
24.80/22.37	c cleaning 9141 clauses out of 18283 with flag 110171/490667
25.11/22.63	c Got one! Elapsed wall clock time (in seconds):22.492
25.11/22.63	o 32
25.33/22.83	c cleaning 10906 clauses out of 21825 with flag 15780/503350
25.54/23.05	c cleaning 8458 clauses out of 16915 with flag 35780/509346
25.83/23.32	c cleaning 7711 clauses out of 15457 with flag 56064/516346
26.13/23.60	c cleaning 7854 clauses out of 15746 with flag 80512/524346
26.43/23.93	c cleaning 8426 clauses out of 16892 with flag 110650/533346
26.73/24.29	c cleaning 9216 clauses out of 18466 with flag 142866/543346
27.24/24.72	c cleaning 10105 clauses out of 20250 with flag 176114/554346
27.64/25.18	c cleaning 11068 clauses out of 22145 with flag 210770/566346
28.13/25.65	c cleaning 12037 clauses out of 24080 with flag 249765/579349
28.63/26.18	c cleaning 13013 clauses out of 26040 with flag 293305/593346
29.23/26.73	c cleaning 14012 clauses out of 28027 with flag 338042/608346
29.84/27.37	c cleaning 15006 clauses out of 30016 with flag 393481/624347
30.56/28.02	c cleaning 15990 clauses out of 32009 with flag 449206/641346
31.24/28.70	c cleaning 17004 clauses out of 34024 with flag 506288/659351
31.95/29.44	c cleaning 17999 clauses out of 36015 with flag 564575/678346
32.77/30.22	c cleaning 18995 clauses out of 38016 with flag 627723/698346
33.61/31.41	c cleaning 20009 clauses out of 40022 with flag 694646/719347
34.51/32.34	c cleaning 21003 clauses out of 42012 with flag 763750/741346
35.52/33.34	c cleaning 21998 clauses out of 44009 with flag 836424/764346
36.51/34.31	c cleaning 22994 clauses out of 46011 with flag 906447/788346
37.51/35.39	c cleaning 23998 clauses out of 48017 with flag 981845/813346
38.60/36.43	c cleaning 24994 clauses out of 50019 with flag 1057478/839346
39.00/36.88	c Got one! Elapsed wall clock time (in seconds):36.744
39.00/36.88	o 31
39.21/37.10	c cleaning 20683 clauses out of 41378 with flag 14957/855699
39.50/37.34	c cleaning 13337 clauses out of 26695 with flag 33904/861699
39.70/37.59	c cleaning 10146 clauses out of 20358 with flag 56946/868699
40.01/37.88	c cleaning 9098 clauses out of 18212 with flag 81718/876699
40.40/38.21	c cleaning 9055 clauses out of 18114 with flag 109458/885699
40.70/38.56	c cleaning 9530 clauses out of 19061 with flag 141244/895701
41.11/38.95	c cleaning 10257 clauses out of 20529 with flag 175365/906699
41.60/39.40	c cleaning 11121 clauses out of 22272 with flag 212554/918699
42.00/39.88	c cleaning 12076 clauses out of 24154 with flag 250881/931702
42.60/40.42	c cleaning 13023 clauses out of 26075 with flag 293791/945699
43.20/41.03	c cleaning 14017 clauses out of 28052 with flag 341289/960699
43.80/41.68	c cleaning 15018 clauses out of 30038 with flag 392727/976702
44.50/42.34	c cleaning 15994 clauses out of 32017 with flag 444978/993699
45.21/43.00	c cleaning 17009 clauses out of 34024 with flag 500494/1011700
46.00/43.81	c cleaning 17991 clauses out of 36014 with flag 561362/1030699
46.79/44.68	c cleaning 19012 clauses out of 38023 with flag 626127/1050699
47.80/45.66	c cleaning 19998 clauses out of 40011 with flag 693892/1071699
48.69/46.58	c cleaning 21007 clauses out of 42013 with flag 759285/1093699
49.60/47.49	c cleaning 21999 clauses out of 44007 with flag 825498/1116700
50.59/48.40	c cleaning 22999 clauses out of 46007 with flag 895450/1140699
51.69/49.58	c cleaning 24003 clauses out of 48008 with flag 966227/1165699
52.79/50.69	c cleaning 24993 clauses out of 50005 with flag 1036307/1191699
54.10/51.94	c cleaning 25988 clauses out of 52016 with flag 1108543/1218703
55.40/53.25	c cleaning 27004 clauses out of 54024 with flag 1186021/1246699
56.70/54.55	c cleaning 28004 clauses out of 56020 with flag 1272663/1275699
58.09/55.95	c cleaning 28999 clauses out of 58016 with flag 1358781/1305699
59.50/57.34	c cleaning 30005 clauses out of 60017 with flag 1450693/1336699
60.80/58.67	c cleaning 31006 clauses out of 62014 with flag 1554007/1368701
62.40/60.21	c cleaning 31989 clauses out of 64006 with flag 1659537/1401699
63.85/62.08	c cleaning 33009 clauses out of 66021 with flag 1762729/1435703
64.96/63.13	c Got one! Elapsed wall clock time (in seconds):62.993
64.96/63.13	o 30
65.26/63.43	c cleaning 32444 clauses out of 64895 with flag 16427/1467586
65.46/63.69	c cleaning 19218 clauses out of 38451 with flag 34995/1473586
65.75/63.94	c cleaning 13106 clauses out of 26233 with flag 57630/1480586
66.05/64.24	c cleaning 10552 clauses out of 21130 with flag 83780/1488589
66.36/64.57	c cleaning 9781 clauses out of 19575 with flag 110891/1497586
66.75/64.95	c cleaning 9892 clauses out of 19796 with flag 141917/1507588
67.15/65.34	c cleaning 10449 clauses out of 20902 with flag 174859/1518586
67.55/65.79	c cleaning 11211 clauses out of 22453 with flag 209994/1530586
68.05/66.27	c cleaning 12114 clauses out of 24242 with flag 246864/1543586
68.56/66.79	c cleaning 13057 clauses out of 26129 with flag 286754/1557587
69.15/67.37	c cleaning 14023 clauses out of 28075 with flag 331792/1572590
69.75/67.96	c cleaning 15012 clauses out of 30048 with flag 379040/1588586
70.45/68.62	c cleaning 16016 clauses out of 32036 with flag 428017/1605586
71.14/69.34	c cleaning 17000 clauses out of 34020 with flag 480945/1623586
71.95/70.11	c cleaning 18002 clauses out of 36020 with flag 535614/1642586
72.64/70.89	c cleaning 19002 clauses out of 38019 with flag 591036/1662587
73.55/71.77	c cleaning 19999 clauses out of 40016 with flag 648799/1683586
74.45/72.63	c cleaning 21008 clauses out of 42017 with flag 710959/1705586
75.35/73.50	c cleaning 21988 clauses out of 44010 with flag 779620/1728587
76.14/74.37	c cleaning 22996 clauses out of 46021 with flag 847808/1752586
77.24/75.43	c cleaning 24001 clauses out of 48026 with flag 922101/1777587
78.14/76.36	c cleaning 24991 clauses out of 50024 with flag 994383/1803586
79.15/77.35	c cleaning 26013 clauses out of 52034 with flag 1070776/1830587
80.24/78.42	c cleaning 27003 clauses out of 54021 with flag 1151817/1858587
81.34/79.55	c cleaning 28009 clauses out of 56020 with flag 1235235/1887589
82.55/80.76	c cleaning 28994 clauses out of 58008 with flag 1322170/1917586
83.85/82.03	c cleaning 29987 clauses out of 60020 with flag 1413641/1948592
85.24/83.41	c cleaning 31004 clauses out of 62027 with flag 1510299/1980586
86.54/84.70	c cleaning 32003 clauses out of 64023 with flag 1606707/2013586
87.95/86.19	c cleaning 32999 clauses out of 66022 with flag 1705954/2047588
89.55/87.76	c cleaning 34007 clauses out of 68025 with flag 1802866/2082590
91.24/89.43	c cleaning 35005 clauses out of 70020 with flag 1902003/2118592
93.04/91.22	c cleaning 35985 clauses out of 72009 with flag 2007172/2155586
94.81/93.38	c cleaning 37012 clauses out of 74025 with flag 2118159/2193587
96.81/95.32	c cleaning 38005 clauses out of 76012 with flag 2228652/2232586
98.71/97.21	c cleaning 38995 clauses out of 78007 with flag 2342196/2272586
100.82/99.35	c cleaning 40000 clauses out of 80012 with flag 2452969/2313586
102.92/101.45	c cleaning 40994 clauses out of 82014 with flag 2570676/2355588
105.14/103.69	c cleaning 42006 clauses out of 84018 with flag 2693378/2398586
107.43/105.92	c cleaning 42989 clauses out of 86014 with flag 2820347/2442588
110.02/108.55	c cleaning 43998 clauses out of 88023 with flag 2947941/2487586
112.44/110.93	c cleaning 45010 clauses out of 90025 with flag 3078410/2533586
115.13/113.63	c cleaning 46000 clauses out of 92015 with flag 3221917/2580586
117.17/115.67	c cleaning 47000 clauses out of 94015 with flag 3377992/2628586
119.46/117.97	c cleaning 47998 clauses out of 96017 with flag 3531740/2677588
121.56/120.09	c cleaning 48984 clauses out of 98017 with flag 3682105/2727586
123.89/122.30	c cleaning 49997 clauses out of 100033 with flag 3843908/2778586
126.10/124.80	c cleaning 51013 clauses out of 102036 with flag 4013834/2830586
128.35/127.10	c cleaning 52005 clauses out of 104026 with flag 4173187/2883589
130.93/129.69	c cleaning 52995 clauses out of 106018 with flag 4337534/2937586
133.78/132.40	c cleaning 54013 clauses out of 108025 with flag 4496334/2992588
136.39/135.10	c cleaning 54991 clauses out of 110010 with flag 4666057/3048586
136.97/135.62	c Got one! Elapsed wall clock time (in seconds):135.487
136.97/135.62	o 29
137.18/135.89	c cleaning 37128 clauses out of 74285 with flag 18656/3067852
137.49/136.16	c cleaning 21572 clauses out of 43157 with flag 38303/3073852
137.83/136.46	c cleaning 14279 clauses out of 28585 with flag 60300/3080852
138.12/136.75	c cleaning 11154 clauses out of 22310 with flag 85532/3088856
138.42/137.05	c cleaning 10060 clauses out of 20152 with flag 113186/3097852
138.81/137.44	c cleaning 10041 clauses out of 20092 with flag 144510/3107852
139.21/137.83	c cleaning 10526 clauses out of 21052 with flag 177827/3118853
139.61/138.24	c cleaning 11255 clauses out of 22525 with flag 215495/3130852
140.11/138.70	c cleaning 12133 clauses out of 24270 with flag 258962/3143852
140.61/139.20	c cleaning 13064 clauses out of 26138 with flag 300767/3157853
141.11/139.77	c cleaning 14031 clauses out of 28073 with flag 346623/3172852
141.71/140.37	c cleaning 15002 clauses out of 30042 with flag 395829/3188852
142.46/141.07	c cleaning 16014 clauses out of 32040 with flag 453773/3205852
143.15/141.74	c cleaning 16979 clauses out of 34026 with flag 505290/3223852
143.94/142.56	c cleaning 18020 clauses out of 36048 with flag 565265/3242853
144.65/143.29	c cleaning 19013 clauses out of 38031 with flag 623876/3262856
145.54/144.15	c cleaning 19996 clauses out of 40014 with flag 687743/3283852
146.44/145.01	c cleaning 21008 clauses out of 42018 with flag 748758/3305852
147.37/145.90	c cleaning 22009 clauses out of 44017 with flag 816241/3328859
148.37/146.92	c cleaning 22987 clauses out of 46001 with flag 884141/3352852
149.38/147.95	c cleaning 24000 clauses out of 48014 with flag 957633/3377852
150.37/148.99	c cleaning 24996 clauses out of 50014 with flag 1032691/3403852
151.62/150.18	c cleaning 26005 clauses out of 52018 with flag 1108389/3430852
152.71/151.24	c cleaning 27004 clauses out of 54013 with flag 1188003/3458852
153.81/152.33	c cleaning 27999 clauses out of 56009 with flag 1269380/3487852
155.01/153.50	c cleaning 28985 clauses out of 58010 with flag 1355046/3517852
156.28/155.09	c cleaning 30014 clauses out of 60028 with flag 1454009/3548855
157.57/156.31	c cleaning 30999 clauses out of 62011 with flag 1554103/3580852
158.97/157.78	c cleaning 31998 clauses out of 64012 with flag 1656499/3613852
160.47/159.20	c cleaning 32999 clauses out of 66014 with flag 1757939/3647852
162.31/161.08	c cleaning 33999 clauses out of 68015 with flag 1862908/3682852
163.79/162.57	c cleaning 34999 clauses out of 70016 with flag 1974241/3718852
165.30/164.08	c cleaning 36008 clauses out of 72019 with flag 2082683/3755854
166.84/165.59	c cleaning 36979 clauses out of 74011 with flag 2196205/3793854
168.53/167.27	c cleaning 38004 clauses out of 76030 with flag 2321207/3832852
170.16/168.88	c cleaning 39005 clauses out of 78027 with flag 2445692/3872853
171.91/170.57	c cleaning 40001 clauses out of 80021 with flag 2582418/3913852
173.60/172.22	c cleaning 41006 clauses out of 82020 with flag 2714659/3955852
175.30/173.91	c cleaning 42008 clauses out of 84015 with flag 2841245/3998853
177.15/175.72	c cleaning 42987 clauses out of 86007 with flag 2959352/4042853
178.95/177.54	c cleaning 44008 clauses out of 88019 with flag 3090629/4087852
180.84/179.48	c cleaning 45006 clauses out of 90011 with flag 3215223/4133852
182.97/181.59	c cleaning 45993 clauses out of 92006 with flag 3352650/4180853
185.27/183.81	c cleaning 46995 clauses out of 94014 with flag 3487202/4228854
187.35/186.14	c cleaning 47995 clauses out of 96017 with flag 3645512/4277852
189.55/188.33	c cleaning 48975 clauses out of 98022 with flag 3812677/4327852
191.78/190.56	c cleaning 50017 clauses out of 100048 with flag 3979489/4378853
194.07/192.86	c cleaning 51008 clauses out of 102030 with flag 4146619/4430852
196.47/195.22	c cleaning 52004 clauses out of 104023 with flag 4304430/4483853
198.90/197.60	c cleaning 52989 clauses out of 106019 with flag 4462595/4537853
201.21/200.00	c cleaning 54008 clauses out of 108029 with flag 4624966/4592852
203.94/202.60	c cleaning 55000 clauses out of 110024 with flag 4792783/4648855
206.73/205.40	c cleaning 56009 clauses out of 112023 with flag 4967131/4705854
209.67/208.32	c cleaning 56996 clauses out of 114012 with flag 5154439/4763852
212.16/210.89	c cleaning 57997 clauses out of 116016 with flag 5331077/4822852
215.00/213.65	c cleaning 59000 clauses out of 118020 with flag 5515951/4882853
217.70/216.38	c cleaning 59999 clauses out of 120019 with flag 5708794/4943852
220.83/219.45	c cleaning 61005 clauses out of 122020 with flag 5897095/5005852
223.53/222.15	c cleaning 62006 clauses out of 124015 with flag 6093248/5068852
226.36/224.93	c cleaning 62995 clauses out of 126009 with flag 6296137/5132852
229.05/227.66	c cleaning 63994 clauses out of 128014 with flag 6476527/5197852
232.28/230.83	c cleaning 65009 clauses out of 130020 with flag 6683580/5263852
235.42/233.99	c cleaning 65992 clauses out of 132011 with flag 6886028/5330852
238.61/237.14	c cleaning 67002 clauses out of 134019 with flag 7096611/5398852
241.86/240.33	c cleaning 67998 clauses out of 136017 with flag 7310942/5467852
244.95/243.47	c cleaning 68998 clauses out of 138020 with flag 7525622/5537853
248.19/246.67	c cleaning 70003 clauses out of 140028 with flag 7755620/5608859
251.53/250.00	c cleaning 70955 clauses out of 142018 with flag 7980932/5680852
254.64/253.10	c cleaning 72021 clauses out of 144063 with flag 8207561/5753852
258.07/256.40	c cleaning 73015 clauses out of 146043 with flag 8445714/5827853
261.40/259.77	c cleaning 74004 clauses out of 148027 with flag 8676565/5902852
265.19/263.59	c cleaning 74993 clauses out of 150023 with flag 8914195/5978852
269.05/267.31	c cleaning 76010 clauses out of 152031 with flag 9142891/6055853
272.89/271.16	c cleaning 76994 clauses out of 154020 with flag 9369412/6133852
276.48/274.74	c cleaning 78004 clauses out of 156026 with flag 9598694/6212852
280.12/278.35	c cleaning 79007 clauses out of 158026 with flag 9827416/6292856
283.96/282.15	c cleaning 80002 clauses out of 160015 with flag 10044418/6373852
287.55/285.72	c cleaning 80986 clauses out of 162013 with flag 10302341/6455852
291.38/289.54	c cleaning 82015 clauses out of 164030 with flag 10576797/6538855
295.21/293.34	c cleaning 83005 clauses out of 166013 with flag 10846182/6622853
299.11/297.28	c cleaning 83995 clauses out of 168007 with flag 11099001/6707852
302.94/301.06	c cleaning 84993 clauses out of 170012 with flag 11359995/6793852
306.87/304.91	c cleaning 86001 clauses out of 172019 with flag 11620530/6880852
311.02/309.05	c cleaning 87006 clauses out of 174019 with flag 11884529/6968853
315.01/313.07	c cleaning 87988 clauses out of 176012 with flag 12144637/7057852
319.06/317.08	c cleaning 89010 clauses out of 178031 with flag 12448544/7147859
323.19/321.18	c cleaning 90000 clauses out of 180017 with flag 12743724/7238855
327.43/325.38	c cleaning 91000 clauses out of 182014 with flag 13021162/7330852
331.67/329.57	c cleaning 92001 clauses out of 184014 with flag 13298249/7423852
336.13/333.93	c cleaning 92987 clauses out of 186013 with flag 13580913/7517852
340.51/338.35	c cleaning 94009 clauses out of 188028 with flag 13871928/7612854
344.95/342.71	c cleaning 94990 clauses out of 190017 with flag 14162950/7708852
350.28/348.04	c cleaning 96007 clauses out of 192027 with flag 14462991/7805852
355.02/352.74	c cleaning 97009 clauses out of 194021 with flag 14778897/7903853
359.38/357.09	c cleaning 97983 clauses out of 196011 with flag 15066948/8002852
364.12/361.74	c cleaning 98974 clauses out of 198028 with flag 15375068/8102852
369.38/366.95	c cleaning 100017 clauses out of 200060 with flag 15686456/8203858
374.26/371.83	c cleaning 101019 clauses out of 202038 with flag 15985275/8305853
380.89/378.49	c cleaning 102002 clauses out of 204019 with flag 16279018/8408853
386.71/384.25	c cleaning 102995 clauses out of 206016 with flag 16580889/8512852
391.64/389.11	c cleaning 103998 clauses out of 208021 with flag 16889307/8617852
397.47/394.97	c cleaning 104987 clauses out of 210026 with flag 17190717/8723855
403.40/400.82	c cleaning 106011 clauses out of 212037 with flag 17512825/8830853
408.43/405.86	c cleaning 107002 clauses out of 214025 with flag 17842635/8938852
413.97/411.33	c cleaning 108005 clauses out of 216023 with flag 18169357/9047852
419.25/416.58	c cleaning 109005 clauses out of 218019 with flag 18506540/9157853
424.67/421.96	c cleaning 109992 clauses out of 220013 with flag 18849836/9268852
430.20/427.40	c cleaning 110996 clauses out of 222021 with flag 19189736/9380852
435.83/433.03	c cleaning 111986 clauses out of 224025 with flag 19550920/9493852
441.45/438.69	c cleaning 113011 clauses out of 226041 with flag 19908346/9607854
447.11/444.27	c cleaning 114012 clauses out of 228029 with flag 20247167/9722853
452.64/449.75	c cleaning 114999 clauses out of 230016 with flag 20592986/9838852
458.72/455.66	c cleaning 116001 clauses out of 232020 with flag 20926795/9955855
464.13/461.09	c cleaning 116995 clauses out of 234023 with flag 21263109/10073859
470.04/466.98	c cleaning 118005 clauses out of 236021 with flag 21620578/10192852
475.85/472.76	c cleaning 119001 clauses out of 238016 with flag 21975769/10312852
481.97/478.89	c cleaning 120003 clauses out of 240015 with flag 22328732/10433852
488.18/485.10	c cleaning 120989 clauses out of 242012 with flag 22701485/10555852
494.40/491.25	c cleaning 122004 clauses out of 244025 with flag 23078829/10678854
500.22/497.02	c cleaning 123004 clauses out of 246020 with flag 23456625/10802853
506.05/502.82	c cleaning 124002 clauses out of 248018 with flag 23817966/10927855
512.29/509.04	c cleaning 125004 clauses out of 250014 with flag 24174389/11053853
518.52/515.20	c cleaning 125992 clauses out of 252009 with flag 24555554/11180852
526.02/522.68	c cleaning 127002 clauses out of 254017 with flag 24971389/11308852
532.87/529.42	c cleaning 127990 clauses out of 256015 with flag 25366415/11437852
539.11/535.64	c cleaning 128999 clauses out of 258025 with flag 25765067/11567852
545.35/541.81	c cleaning 130003 clauses out of 260026 with flag 26169573/11698852
551.94/548.46	c cleaning 131001 clauses out of 262023 with flag 26590571/11830852
559.37/555.84	c cleaning 131999 clauses out of 264022 with flag 27017899/11963852
565.80/562.29	c cleaning 133012 clauses out of 266026 with flag 27431633/12097855
573.30/569.75	c cleaning 133993 clauses out of 268011 with flag 27842175/12232852
581.48/577.81	c cleaning 135007 clauses out of 270019 with flag 28253356/12368853
589.93/586.21	c cleaning 135988 clauses out of 272014 with flag 28660611/12505855
596.98/593.20	c cleaning 137012 clauses out of 274024 with flag 29070763/12643853
604.12/600.34	c cleaning 137992 clauses out of 276012 with flag 29506467/12782853
611.34/607.54	c cleaning 139002 clauses out of 278019 with flag 29941131/12922852
618.27/614.49	c cleaning 140008 clauses out of 280017 with flag 30397065/13063852
627.35/623.42	c cleaning 141000 clauses out of 282009 with flag 30820559/13205852
636.39/632.45	c cleaning 141986 clauses out of 284010 with flag 31217539/13348853
643.82/639.89	c cleaning 143004 clauses out of 286023 with flag 31627565/13492852
651.25/647.28	c cleaning 144003 clauses out of 288023 with flag 32074171/13637856
659.86/655.83	c cleaning 145002 clauses out of 290018 with flag 32470220/13783854
667.85/663.73	c cleaning 145992 clauses out of 292016 with flag 32910147/13930854
675.99/671.84	c cleaning 146992 clauses out of 294025 with flag 33347633/14078855
684.64/680.49	c cleaning 148010 clauses out of 296032 with flag 33759138/14227854
694.67/690.44	c cleaning 148993 clauses out of 298020 with flag 34160207/14377852
705.15/700.87	c cleaning 150008 clauses out of 300028 with flag 34605146/14528853
713.20/708.86	c cleaning 150998 clauses out of 302019 with flag 35055650/14680852
721.18/716.76	c cleaning 151999 clauses out of 304025 with flag 35539313/14833856
729.02/724.59	c cleaning 153005 clauses out of 306023 with flag 36027851/14987853
736.88/732.31	c cleaning 153995 clauses out of 308017 with flag 36499018/15142852
745.30/740.79	c cleaning 155001 clauses out of 310022 with flag 36990065/15298852
753.87/749.21	c cleaning 156004 clauses out of 312026 with flag 37448853/15455857
761.90/757.24	c cleaning 157006 clauses out of 314017 with flag 37917429/15613852
770.36/765.64	c cleaning 157994 clauses out of 316015 with flag 38372584/15772856
771.05/766.33	c Got one! Elapsed wall clock time (in seconds):766.201
771.05/766.33	o 28
771.65/767.00	c cleaning 90703 clauses out of 181416 with flag 17837/15796251
772.16/767.42	c cleaning 48317 clauses out of 96711 with flag 37702/15802249
772.45/767.72	c cleaning 27690 clauses out of 55395 with flag 59703/15809250
772.76/768.02	c cleaning 17841 clauses out of 35705 with flag 84358/15817250
773.05/768.34	c cleaning 13426 clauses out of 26864 with flag 109222/15826250
773.38/768.69	c cleaning 11707 clauses out of 23439 with flag 135860/15836251
773.79/769.07	c cleaning 11357 clauses out of 22730 with flag 164603/15847249
774.18/769.48	c cleaning 11680 clauses out of 23375 with flag 195716/15859251
774.68/769.92	c cleaning 12331 clauses out of 24693 with flag 229180/15872249
775.18/770.40	c cleaning 13175 clauses out of 26364 with flag 265480/15886251
775.68/770.97	c cleaning 14093 clauses out of 28188 with flag 304595/15901250
776.27/771.56	c cleaning 15031 clauses out of 30094 with flag 351006/15917249
776.97/772.21	c cleaning 16022 clauses out of 32070 with flag 403810/15934256
777.59/772.89	c cleaning 17007 clauses out of 34041 with flag 468664/15952249
778.29/773.59	c cleaning 18008 clauses out of 36034 with flag 531888/15971249
779.18/774.48	c cleaning 19005 clauses out of 38026 with flag 595579/15991249
780.08/775.33	c cleaning 19987 clauses out of 40021 with flag 661671/16012249
780.91/776.19	c cleaning 21007 clauses out of 42035 with flag 738589/16034250
781.81/777.06	c cleaning 21989 clauses out of 44027 with flag 811133/16057249
782.70/777.98	c cleaning 23007 clauses out of 46040 with flag 893782/16081251
783.70/778.92	c cleaning 23999 clauses out of 48031 with flag 978758/16106249
784.62/779.88	c cleaning 25001 clauses out of 50032 with flag 1056145/16132249
785.62/780.86	c cleaning 26010 clauses out of 52032 with flag 1132605/16159250
786.71/782.00	c cleaning 27007 clauses out of 54022 with flag 1216210/16187250
787.82/783.05	c cleaning 28006 clauses out of 56017 with flag 1297501/16216252
789.04/784.25	c cleaning 28994 clauses out of 58008 with flag 1387039/16246249
790.23/785.48	c cleaning 30008 clauses out of 60015 with flag 1477851/16277250
791.63/786.89	c cleaning 30997 clauses out of 62006 with flag 1576791/16309249
793.16/788.36	c cleaning 31994 clauses out of 64012 with flag 1685445/16342252
794.76/789.95	c cleaning 32994 clauses out of 66015 with flag 1802425/16376249
796.25/791.42	c cleaning 34011 clauses out of 68024 with flag 1909789/16411252
797.78/792.99	c cleaning 34989 clauses out of 70011 with flag 2019190/16447250
799.37/794.52	c cleaning 36003 clauses out of 72021 with flag 2130005/16484249
800.91/796.01	c cleaning 37009 clauses out of 74019 with flag 2253490/16522250
802.41/797.53	c cleaning 37998 clauses out of 76009 with flag 2376215/16561249
804.10/799.21	c cleaning 38989 clauses out of 78011 with flag 2517256/16601249
805.82/800.92	c cleaning 40011 clauses out of 80024 with flag 2647127/16642251
808.12/803.21	c cleaning 40996 clauses out of 82011 with flag 2782568/16684249
810.34/805.48	c cleaning 42000 clauses out of 84015 with flag 2915709/16727249
812.34/807.42	c cleaning 43005 clauses out of 86015 with flag 3043290/16771249
814.34/809.45	c cleaning 43995 clauses out of 88012 with flag 3173828/16816251
816.45/811.51	c cleaning 44984 clauses out of 90015 with flag 3323113/16862249
818.35/813.44	c cleaning 46016 clauses out of 92032 with flag 3468200/16909250
820.47/815.50	c cleaning 46977 clauses out of 94015 with flag 3612107/16957249
822.48/817.52	c cleaning 48011 clauses out of 96041 with flag 3768324/17006252
824.59/819.64	c cleaning 49012 clauses out of 98031 with flag 3924259/17056253
826.69/821.77	c cleaning 50001 clauses out of 100017 with flag 4100236/17107251
829.21/824.23	c cleaning 51004 clauses out of 102014 with flag 4261787/17159249
831.45/826.48	c cleaning 51996 clauses out of 104012 with flag 4425687/17212251
833.84/828.86	c cleaning 53006 clauses out of 106014 with flag 4598910/17266249
836.35/831.28	c cleaning 53998 clauses out of 108011 with flag 4770656/17321252
838.85/833.79	c cleaning 55002 clauses out of 110010 with flag 4960066/17377249
841.46/836.36	c cleaning 55995 clauses out of 112009 with flag 5128626/17434250
843.95/838.86	c cleaning 56993 clauses out of 114013 with flag 5298300/17492249
846.87/841.73	c cleaning 57983 clauses out of 116020 with flag 5480032/17551249
849.66/844.50	c cleaning 59001 clauses out of 118037 with flag 5657349/17611249
852.78/847.65	c cleaning 60015 clauses out of 120036 with flag 5843187/17672249
855.38/850.29	c cleaning 61006 clauses out of 122023 with flag 6042564/17734251
858.00/852.88	c cleaning 61986 clauses out of 124016 with flag 6236353/17797250
861.00/855.81	c cleaning 63015 clauses out of 126030 with flag 6423664/17861250
864.13/858.81	c cleaning 64007 clauses out of 128014 with flag 6622276/17926249
867.01/861.70	c cleaning 64992 clauses out of 130007 with flag 6830724/17992249
869.74/864.42	c cleaning 65964 clauses out of 132015 with flag 7043333/18059249
872.73/867.43	c cleaning 67021 clauses out of 134053 with flag 7265590/18127251
875.95/870.66	c cleaning 68015 clauses out of 136030 with flag 7459291/18196249
878.85/873.57	c cleaning 68986 clauses out of 138016 with flag 7686329/18266250
882.16/876.85	c cleaning 70002 clauses out of 140029 with flag 7898723/18337249
885.49/880.11	c cleaning 71009 clauses out of 142029 with flag 8108398/18409251
888.88/883.57	c cleaning 71993 clauses out of 144019 with flag 8310861/18482250
892.71/887.31	c cleaning 73013 clauses out of 146025 with flag 8521901/18556249
896.19/890.86	c cleaning 73988 clauses out of 148012 with flag 8739581/18631249
900.02/894.68	c cleaning 74993 clauses out of 150024 with flag 8971776/18707249
903.61/898.28	c cleaning 76010 clauses out of 152031 with flag 9199226/18784249
906.94/901.57	c cleaning 77011 clauses out of 154023 with flag 9413338/18862251
910.47/905.08	c cleaning 77992 clauses out of 156010 with flag 9623471/18941249
913.96/908.53	c cleaning 78994 clauses out of 158018 with flag 9860148/19021249
917.69/912.28	c cleaning 80007 clauses out of 160025 with flag 10097051/19102250
921.41/915.93	c cleaning 81003 clauses out of 162017 with flag 10352896/19184249
925.00/919.53	c cleaning 82008 clauses out of 164015 with flag 10613263/19267250
929.35/924.18	c cleaning 82990 clauses out of 166006 with flag 10865191/19351249
933.47/928.21	c cleaning 84004 clauses out of 168016 with flag 11120787/19436249
937.66/932.45	c cleaning 84994 clauses out of 170012 with flag 11386132/19522249
941.67/936.43	c cleaning 86006 clauses out of 172018 with flag 11651876/19609249
945.80/940.50	c cleaning 86990 clauses out of 174014 with flag 11917265/19697251
950.23/944.98	c cleaning 87997 clauses out of 176022 with flag 12194713/19786249
955.12/949.88	c cleaning 89001 clauses out of 178025 with flag 12446775/19876249
959.80/954.79	c cleaning 90006 clauses out of 180024 with flag 12718066/19967249
964.03/958.93	c cleaning 91004 clauses out of 182021 with flag 13027691/20059252
968.45/963.33	c cleaning 92000 clauses out of 184014 with flag 13320906/20152249
972.54/967.49	c cleaning 93002 clauses out of 186015 with flag 13623879/20246250
976.86/971.78	c cleaning 93984 clauses out of 188012 with flag 13915313/20341249
981.50/976.38	c cleaning 94999 clauses out of 190028 with flag 14223493/20437249
986.04/980.82	c cleaning 95993 clauses out of 192029 with flag 14543377/20534249
990.54/985.55	c cleaning 97004 clauses out of 194036 with flag 14855817/20632249
995.08/990.04	c cleaning 97998 clauses out of 196032 with flag 15183005/20731249
999.67/994.67	c cleaning 99008 clauses out of 198034 with flag 15500809/20831249
1004.48/999.43	c cleaning 99988 clauses out of 200026 with flag 15827762/20932249
1009.40/1004.33	c cleaning 101019 clauses out of 202039 with flag 16130583/21034250
1014.33/1009.28	c cleaning 102004 clauses out of 204020 with flag 16458778/21137250
1019.52/1014.62	c cleaning 103000 clauses out of 206019 with flag 16793934/21241253
1024.68/1019.74	c cleaning 103993 clauses out of 208015 with flag 17138862/21346249
1029.51/1024.51	c cleaning 105007 clauses out of 210022 with flag 17463385/21452249
1035.50/1030.56	c cleaning 106004 clauses out of 212015 with flag 17754395/21559249
1043.03/1038.02	c cleaning 106999 clauses out of 214014 with flag 18040279/21667252
1048.76/1043.74	c cleaning 108003 clauses out of 216016 with flag 18366095/21776253
1054.29/1049.45	c cleaning 108992 clauses out of 218009 with flag 18697932/21886249
1059.43/1054.53	c cleaning 110001 clauses out of 220017 with flag 19032943/21997249
1064.66/1059.77	c cleaning 110991 clauses out of 222016 with flag 19353661/22109249
1070.59/1065.62	c cleaning 112006 clauses out of 224026 with flag 19689063/22222250
1076.04/1071.08	c cleaning 113001 clauses out of 226024 with flag 20013633/22336254
1081.59/1076.85	c cleaning 113997 clauses out of 228018 with flag 20369061/22451249
1087.11/1082.37	c cleaning 114995 clauses out of 230022 with flag 20734125/22567250
1092.32/1087.59	c cleaning 115996 clauses out of 232026 with flag 21084194/22684249
1098.04/1093.21	c cleaning 117004 clauses out of 234030 with flag 21463335/22802249
1103.76/1098.90	c cleaning 118005 clauses out of 236026 with flag 21804584/22921249
1109.19/1104.35	c cleaning 119003 clauses out of 238022 with flag 22161621/23041250
1115.05/1110.62	c cleaning 120005 clauses out of 240021 with flag 22525789/23162252
1121.48/1117.01	c cleaning 121000 clauses out of 242013 with flag 22892427/23284249
1127.41/1122.92	c cleaning 121992 clauses out of 244013 with flag 23272363/23407249
1133.56/1129.02	c cleaning 123006 clauses out of 246021 with flag 23646910/23531249
1139.48/1134.98	c cleaning 124007 clauses out of 248022 with flag 24044736/23656256
1146.04/1141.70	c cleaning 124993 clauses out of 250008 with flag 24425347/23782249
1152.87/1148.50	c cleaning 125990 clauses out of 252015 with flag 24831056/23909249
1159.40/1155.06	c cleaning 127011 clauses out of 254025 with flag 25245847/24037249
1166.01/1161.65	c cleaning 127984 clauses out of 256014 with flag 25595351/24166249
1172.23/1168.01	c cleaning 128999 clauses out of 258030 with flag 25993293/24296249
1179.87/1175.61	c cleaning 130013 clauses out of 260032 with flag 26408369/24427250
1187.30/1183.06	c cleaning 131007 clauses out of 262018 with flag 26782030/24559249
1194.34/1190.02	c cleaning 131991 clauses out of 264014 with flag 27174689/24692252
1203.00/1198.92	c cleaning 133004 clauses out of 266020 with flag 27565981/24826249
1210.95/1206.86	c cleaning 133992 clauses out of 268016 with flag 27935294/24961249
1217.97/1213.84	c cleaning 134996 clauses out of 270024 with flag 28338066/25097249
1224.89/1220.72	c cleaning 135994 clauses out of 272028 with flag 28761204/25234249
1234.18/1230.22	c cleaning 136999 clauses out of 274034 with flag 29163937/25372249
1241.61/1237.65	c cleaning 138003 clauses out of 276035 with flag 29567782/25511249
1249.18/1245.17	c cleaning 139002 clauses out of 278035 with flag 29998653/25651252
1256.52/1252.42	c cleaning 140014 clauses out of 280036 with flag 30425505/25792255
1263.44/1259.39	c cleaning 140978 clauses out of 282016 with flag 30833902/25934249
1271.02/1267.18	c cleaning 142012 clauses out of 284039 with flag 31262653/26077250
1278.34/1274.46	c cleaning 143004 clauses out of 286026 with flag 31715880/26221249
1285.56/1281.62	c cleaning 144012 clauses out of 288025 with flag 32173392/26366252
1293.34/1289.31	c cleaning 144985 clauses out of 290010 with flag 32609407/26512249
1300.52/1296.70	c cleaning 146011 clauses out of 292030 with flag 33036325/26659254
1307.64/1303.82	c cleaning 146994 clauses out of 294014 with flag 33485734/26807249
1315.26/1311.47	c cleaning 148007 clauses out of 296023 with flag 33952353/26956252
1322.83/1318.95	c cleaning 148990 clauses out of 298013 with flag 34423636/27106249
1332.21/1330.48	c cleaning 149998 clauses out of 300023 with flag 34870891/27257249
1340.94/1339.19	c cleaning 151007 clauses out of 302025 with flag 35307984/27409249
1349.33/1347.41	c cleaning 151996 clauses out of 304018 with flag 35774570/27562249
1357.16/1355.21	c cleaning 152989 clauses out of 306022 with flag 36237793/27716249
1364.65/1362.99	c cleaning 154016 clauses out of 308033 with flag 36708333/27871249
1372.88/1371.13	c cleaning 154990 clauses out of 310017 with flag 37153309/28027249
1381.48/1379.70	c cleaning 155997 clauses out of 312027 with flag 37641084/28184249
1389.57/1388.10	c cleaning 157008 clauses out of 314032 with flag 38132589/28342251
1398.28/1396.87	c cleaning 158009 clauses out of 316024 with flag 38587251/28501251
1407.12/1405.62	c cleaning 158990 clauses out of 318013 with flag 39082367/28661249
1417.02/1415.54	c cleaning 160004 clauses out of 320023 with flag 39562149/28822249
1425.65/1424.47	c cleaning 161000 clauses out of 322019 with flag 40084756/28984249
1434.06/1432.84	c cleaning 162002 clauses out of 324019 with flag 40590368/29147249
1442.41/1441.12	c cleaning 163003 clauses out of 326017 with flag 41097156/29311249
1451.05/1450.58	c cleaning 163996 clauses out of 328016 with flag 41611594/29476251
1459.90/1459.31	c cleaning 164996 clauses out of 330018 with flag 42124109/29642249
1468.94/1468.34	c cleaning 166002 clauses out of 332023 with flag 42641963/29809250
1478.37/1477.77	c cleaning 166994 clauses out of 334023 with flag 43111564/29977252
1488.08/1487.83	c cleaning 168001 clauses out of 336026 with flag 43618232/30146249
1496.86/1496.58	c cleaning 169000 clauses out of 338025 with flag 44150923/30316249
1506.27/1505.97	c cleaning 169987 clauses out of 340026 with flag 44643485/30487250
1514.83/1514.63	c cleaning 171015 clauses out of 342039 with flag 45161238/30659250
1523.96/1523.77	c cleaning 172009 clauses out of 344026 with flag 45667214/30832252
1532.58/1532.30	c cleaning 172982 clauses out of 346014 with flag 46173434/31006249
1541.40/1541.13	c cleaning 174010 clauses out of 348032 with flag 46690049/31181249
1550.69/1550.65	c cleaning 175001 clauses out of 350022 with flag 47228179/31357249
1560.31/1560.28	c cleaning 176003 clauses out of 352021 with flag 47782656/31534249
1569.38/1569.28	c cleaning 177009 clauses out of 354018 with flag 48337429/31712249
1579.65/1579.76	c cleaning 177994 clauses out of 356009 with flag 48878733/31891249
1589.23/1589.20	c cleaning 179004 clauses out of 358015 with flag 49436573/32071249
1598.77/1598.70	c cleaning 179998 clauses out of 360011 with flag 49962559/32252249
1609.85/1610.02	c cleaning 181001 clauses out of 362013 with flag 50536288/32434249
1619.68/1619.82	c cleaning 181992 clauses out of 364015 with flag 51080622/32617252
1629.09/1629.21	c cleaning 182997 clauses out of 366020 with flag 51669019/32801249
1641.80/1642.48	c cleaning 183986 clauses out of 368023 with flag 52206884/32986249
1652.33/1652.92	c cleaning 185014 clauses out of 370037 with flag 52767379/33172249
1663.87/1664.70	c cleaning 185995 clauses out of 372023 with flag 53299533/33359249
1675.49/1676.38	c cleaning 187005 clauses out of 374033 with flag 53811518/33547254
1686.86/1687.61	c cleaning 188005 clauses out of 376023 with flag 54363425/33736249
1697.47/1698.43	c cleaning 189003 clauses out of 378020 with flag 54924326/33926251
1710.24/1711.18	c cleaning 189996 clauses out of 380015 with flag 55451042/34117249
1721.18/1722.08	c cleaning 190990 clauses out of 382021 with flag 56015901/34309251
1732.19/1733.71	c cleaning 191998 clauses out of 384029 with flag 56630344/34502249
1742.62/1744.18	c cleaning 193005 clauses out of 386031 with flag 57241454/34696249
1753.28/1754.71	c cleaning 193999 clauses out of 388027 with flag 57860668/34891250
1764.04/1766.04	c cleaning 195012 clauses out of 390028 with flag 58430947/35087250
1776.49/1778.40	c cleaning 195994 clauses out of 392016 with flag 59013643/35284250
1787.19/1789.47	c cleaning 196989 clauses out of 394021 with flag 59654792/35482249
1797.84/1800.06	c cleaning 198008 clauses out of 396034 with flag 60250579/35681251
1808.68/1810.89	c cleaning 198992 clauses out of 398024 with flag 60848250/35881249
1819.90/1822.23	c cleaning 199986 clauses out of 400032 with flag 61478346/36082249
1831.83/1834.12	c cleaning 201010 clauses out of 402046 with flag 62079336/36284249
1842.49/1844.75	c cleaning 202007 clauses out of 404036 with flag 62676505/36487249
1853.57/1856.26	c cleaning 203001 clauses out of 406029 with flag 63337127/36691249
1864.01/1866.66	c cleaning 204003 clauses out of 408028 with flag 63968813/36896249
1876.23/1878.55	c cleaning 205003 clauses out of 410025 with flag 64563691/37102249
1888.31/1890.80	c cleaning 206001 clauses out of 412022 with flag 65182852/37309249
1903.46/1905.91	c cleaning 207002 clauses out of 414022 with flag 65784408/37517250
1915.24/1917.86	c cleaning 208011 clauses out of 416021 with flag 66405626/37726251
1926.66/1929.22	c cleaning 208999 clauses out of 418012 with flag 67041651/37936253
1938.57/1941.50	c cleaning 209975 clauses out of 420009 with flag 67678280/38147249
1951.73/1954.67	c cleaning 211009 clauses out of 422037 with flag 68360648/38359252
1964.62/1967.44	c cleaning 212009 clauses out of 424025 with flag 68979150/38572249
1976.16/1979.70	c cleaning 213001 clauses out of 426016 with flag 69618539/38786249
1989.40/1992.96	c cleaning 213994 clauses out of 428015 with flag 70241383/39001249
2001.66/2005.47	c cleaning 214984 clauses out of 430021 with flag 70897069/39217249
2013.47/2017.26	c cleaning 216017 clauses out of 432038 with flag 71577901/39434250
2025.90/2029.63	c cleaning 216996 clauses out of 434020 with flag 72274820/39652249
2038.16/2042.02	c cleaning 218009 clauses out of 436024 with flag 72971011/39871249
2051.01/2054.82	c cleaning 218999 clauses out of 438018 with flag 73612208/40091252
2064.76/2068.77	c cleaning 219995 clauses out of 440017 with flag 74282438/40312250
2077.88/2081.83	c cleaning 221005 clauses out of 442021 with flag 75011081/40534249
2090.28/2094.25	c cleaning 222004 clauses out of 444016 with flag 75720452/40757249
2103.11/2107.48	c cleaning 222996 clauses out of 446012 with flag 76452918/40981249
2117.05/2121.39	c cleaning 224001 clauses out of 448016 with flag 77179145/41206249
2130.02/2134.46	c cleaning 225003 clauses out of 450019 with flag 77866120/41432253
2144.74/2149.15	c cleaning 226000 clauses out of 452013 with flag 78514844/41659250
2158.58/2163.13	c cleaning 226989 clauses out of 454012 with flag 79173338/41887249
2171.85/2176.31	c cleaning 227998 clauses out of 456024 with flag 79918179/42116250
2185.70/2190.51	c cleaning 229011 clauses out of 458027 with flag 80657139/42346251
2200.05/2204.83	c cleaning 230004 clauses out of 460017 with flag 81379439/42577252
2213.57/2218.61	c cleaning 231003 clauses out of 462010 with flag 82081582/42809249
2226.73/2231.79	c cleaning 231994 clauses out of 464010 with flag 82805181/43042252
2240.01/2244.92	c cleaning 232993 clauses out of 466013 with flag 83515907/43276249
2252.81/2258.55	c cleaning 234001 clauses out of 468022 with flag 84227156/43511251
2266.13/2271.86	c cleaning 234999 clauses out of 470019 with flag 84919616/43747249
2280.07/2286.17	c cleaning 236001 clauses out of 472022 with flag 85660396/43984251
2294.41/2300.41	c cleaning 236998 clauses out of 474023 with flag 86338216/44222253
2308.63/2315.20	c cleaning 238005 clauses out of 476021 with flag 87035561/44461249
2321.80/2328.30	c cleaning 238999 clauses out of 478017 with flag 87768387/44701250
2335.73/2342.67	c cleaning 239995 clauses out of 480017 with flag 88484014/44942249
2351.10/2357.93	c cleaning 240981 clauses out of 482023 with flag 89209550/45184250
2366.07/2373.12	c cleaning 241993 clauses out of 484041 with flag 89950859/45427249
2379.98/2387.04	c cleaning 243023 clauses out of 486049 with flag 90680249/45671250
2394.14/2401.19	c cleaning 243994 clauses out of 488025 with flag 91447325/45916249
2409.64/2417.00	c cleaning 245015 clauses out of 490031 with flag 92248502/46162249
2426.86/2434.50	c cleaning 246006 clauses out of 492016 with flag 93024914/46409249
2440.86/2448.35	c cleaning 246998 clauses out of 494012 with flag 93761590/46657251
2456.86/2465.07	c cleaning 248005 clauses out of 496013 with flag 94490843/46906250
2472.11/2480.26	c cleaning 248996 clauses out of 498008 with flag 95216524/47156250
2486.83/2495.53	c cleaning 249980 clauses out of 500011 with flag 95995793/47407249
2502.68/2511.32	c cleaning 251007 clauses out of 502031 with flag 96774331/47659249
2516.94/2525.85	c cleaning 252006 clauses out of 504025 with flag 97551106/47912250
2533.40/2542.23	c cleaning 253010 clauses out of 506020 with flag 98340092/48166251
2548.17/2557.32	c cleaning 253993 clauses out of 508008 with flag 99090210/48421249
2565.20/2574.36	c cleaning 254997 clauses out of 510015 with flag 99856122/48677249
2581.66/2591.13	c cleaning 256004 clauses out of 512018 with flag 100646848/48934249
2596.37/2605.81	c cleaning 256982 clauses out of 514014 with flag 101416360/49192249
2611.75/2621.59	c cleaning 258006 clauses out of 516032 with flag 102238455/49451249
2628.81/2638.50	c cleaning 259013 clauses out of 518026 with flag 103008050/49711249
2643.46/2653.74	c cleaning 259997 clauses out of 520013 with flag 103785995/49972249
2658.73/2668.93	c cleaning 261004 clauses out of 522016 with flag 104581187/50234249
2677.65/2688.25	c cleaning 261969 clauses out of 524012 with flag 105387736/50497249
2698.09/2708.63	c cleaning 263007 clauses out of 526043 with flag 106207156/50761249
2713.24/2724.24	c cleaning 264016 clauses out of 528036 with flag 106993594/51026249
2730.29/2741.61	c cleaning 264981 clauses out of 530020 with flag 107795448/51292249
2746.19/2757.46	c cleaning 266015 clauses out of 532040 with flag 108631010/51559250
2763.72/2775.18	c cleaning 266998 clauses out of 534025 with flag 109466581/51827250
2789.92/2801.73	c cleaning 267998 clauses out of 536027 with flag 110220998/52096250
2805.49/2817.27	c cleaning 269007 clauses out of 538028 with flag 111044297/52366249
2820.85/2832.99	c cleaning 269997 clauses out of 540021 with flag 111831049/52637249
2837.75/2849.71	c cleaning 271008 clauses out of 542026 with flag 112614749/52909251
2855.64/2867.92	c cleaning 272008 clauses out of 544016 with flag 113447020/53182249
2872.50/2884.79	c cleaning 272997 clauses out of 546008 with flag 114312313/53456249
2891.96/2904.60	c cleaning 273995 clauses out of 548011 with flag 115128302/53731249
2907.51/2920.12	c cleaning 274995 clauses out of 550016 with flag 115943516/54007249
2924.03/2936.92	c cleaning 275998 clauses out of 552021 with flag 116791539/54284249
2941.93/2955.12	c cleaning 277012 clauses out of 554023 with flag 117601199/54562249
2959.60/2972.76	c cleaning 278003 clauses out of 556011 with flag 118447530/54841249
2977.47/2990.97	c cleaning 278981 clauses out of 558008 with flag 119312588/55121249
2995.09/3008.45	c cleaning 280005 clauses out of 560028 with flag 120138253/55402250
3014.20/3027.83	c cleaning 281006 clauses out of 562022 with flag 121009989/55684249
3032.67/3046.25	c cleaning 281989 clauses out of 564016 with flag 121866380/55967249
3049.39/3064.54	c cleaning 282995 clauses out of 566027 with flag 122766649/56251249
3066.44/3081.51	c cleaning 284009 clauses out of 568032 with flag 123631048/56536249
3083.68/3099.36	c cleaning 284995 clauses out of 570024 with flag 124490666/56822250
3101.60/3117.23	c cleaning 286007 clauses out of 572028 with flag 125365205/57109249
3120.81/3136.37	c cleaning 286985 clauses out of 574021 with flag 126245551/57397249
3139.68/3155.12	c cleaning 288008 clauses out of 576038 with flag 127102281/57686251
3157.89/3173.29	c cleaning 289001 clauses out of 578028 with flag 128009011/57976249
3178.05/3193.10	c cleaning 290007 clauses out of 580030 with flag 128864658/58267252
3196.12/3211.07	c cleaning 290981 clauses out of 582020 with flag 129753502/58559249
3218.11/3232.92	c cleaning 292018 clauses out of 584039 with flag 130627607/58852249
3236.79/3251.56	c cleaning 293005 clauses out of 586021 with flag 131524495/59146249
3255.82/3270.45	c cleaning 293963 clauses out of 588016 with flag 132442334/59441249
3274.05/3288.65	c cleaning 295023 clauses out of 590059 with flag 133360269/59737255
3292.59/3307.12	c cleaning 295997 clauses out of 592031 with flag 134289973/60034250
3311.22/3325.65	c cleaning 297015 clauses out of 594034 with flag 135173672/60332250
3330.35/3344.79	c cleaning 298000 clauses out of 596018 with flag 136102949/60631249
3349.92/3364.28	c cleaning 299003 clauses out of 598020 with flag 137009537/60931251
3369.16/3383.43	c cleaning 300005 clauses out of 600017 with flag 137941269/61232251
3388.27/3402.46	c cleaning 301004 clauses out of 602010 with flag 138824987/61534249
3407.92/3422.04	c cleaning 301980 clauses out of 604006 with flag 139756750/61837249
3428.33/3442.40	c cleaning 303002 clauses out of 606026 with flag 140693605/62141249
3448.70/3462.77	c cleaning 304009 clauses out of 608024 with flag 141574508/62446249
3468.34/3482.36	c cleaning 304994 clauses out of 610015 with flag 142481407/62752249
3488.02/3501.94	c cleaning 306005 clauses out of 612021 with flag 143438905/63059249
3509.43/3523.30	c cleaning 306997 clauses out of 614016 with flag 144392830/63367249
3532.91/3546.77	c cleaning 308003 clauses out of 616019 with flag 145376106/63676249
3556.44/3570.28	c cleaning 309004 clauses out of 618018 with flag 146319478/63986251
3576.34/3590.06	c cleaning 309993 clauses out of 620012 with flag 147262014/64297249
3596.16/3609.76	c cleaning 311003 clauses out of 622019 with flag 148256638/64609249
3600.05/3613.61	c starts		: 70246
3600.05/3613.61	c conflicts		: 64691869
3600.05/3613.61	c decisions		: 286099285
3600.05/3613.61	c propagations		: 5800269413
3600.05/3613.61	c inspects		: 17735524167
3600.05/3613.61	c shortcuts		: 0
3600.05/3613.61	c learnt literals	: 0
3600.05/3613.61	c learnt binary clauses	: 0
3600.05/3613.62	c learnt ternary clauses	: 0
3600.05/3613.62	c learnt constraints	: 64691869
3600.05/3613.62	c ignored constraints	: 0
3600.05/3613.62	c root simplifications	: 0
3600.05/3613.62	c removed literals (reason simplification)	: 182747352
3600.05/3613.62	c reason swapping (by a shorter reason)	: 0
3600.05/3613.62	c Calls to reduceDB	: 600
3600.05/3613.62	c Number of update (reduction) of LBD	: 25282314
3600.05/3613.62	c Imported unit clauses	: 0
3600.05/3613.62	c No decision after first conflict	: false
3600.05/3613.62	c number of reductions to clauses (during analyze)	: 0
3600.05/3613.62	c number of learned constraints concerned by reduction	: 0
3600.05/3613.62	c number of learning phase by resolution	: 0
3600.05/3613.62	c number of learning phase by cutting planes	: 0
3600.05/3613.62	c number of rounding to 1 operations	: 0
3600.05/3613.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3613.62	c number of reductions of the coefficients by power 2 	: 0
3600.05/3613.62	c number of right shift for reduction by power 2 	: 0
3600.05/3613.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3613.62	c number of ending skipping 	: 0
3600.05/3613.62	c number of internal skipping 	: 0
3600.05/3613.62	c number of derivation steps 	: 0
3600.05/3613.62	c number of skipped derivation steps 	: 0
3600.05/3613.62	c number of remaining unassigned 	: 0
3600.05/3613.62	c number of remaining assigned 	: 0
3600.05/3613.62	c number of falsified literals weakened from reason	: 0
3600.05/3613.62	c number of falsified literals weakened from conflict	: 0
3600.05/3613.62	c time for arithmetic operations	: 0
3600.05/3613.62	c minimum degree of deleted constraints	: null
3600.05/3613.62	c maximum degree of deleted constraints	: null
3600.05/3613.62	c number of deleted constraints	: 0
3600.05/3613.62	c speed (assignments/second)	: 1605222.990540971
3600.05/3613.62	c non guided choices	: 2
3600.05/3613.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 393636
3600.05/3613.70	s SATISFIABLE
3600.05/3613.70	c Found 10 solution(s)
3600.25/3613.70	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 x319 x320 -x321 x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 -x369 x370 -x371 -x372 
3600.25/3613.70	c objective function=28
3600.25/3613.71	c Total wall clock time (in seconds): 3613.571

Verifier Data 

OK	28

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (59257 MiB free)
  memory of node 1: 64465 MiB (61255 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487629-1751337706/watcher-4487629-1751337706 -o /tmp/evaluation-result-4487629-1751337706/solver-4487629-1751337706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48347 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487629-1751337706 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487629-1751337706.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49277, runsolver pid=49274
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.32 3.86 3.87 6/346 49295
/proc/meminfo: memFree=123373600/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=18930384 memory=55480 CPUtime=0.12 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 6539 0 0 0 10 2 0 0 20 0 18 0 49448127 19384713216 13870 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4732596 13870 5332 1 0 547603 0
[pid=49277/tid=49279] ppid=49274 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 5053 0 0 0 6 1 0 0 20 0 18 0 49448128 19384713216 13870 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49448130 19384713216 13870 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=18930384 memory=58485492697507 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49448131 19384713216 13870 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55480 KiB

[startup+0.206097 s]*
/proc/loadavg: 4.32 3.86 3.87 7/346 49295
/proc/meminfo: memFree=123361440/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=18930384 memory=68220 CPUtime=0.32 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 7068 0 0 0 30 2 0 0 20 0 18 0 49448127 19384713216 17055 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4732596 17055 5428 1 0 547949 0
[pid=49277/tid=49279] ppid=49274 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 5314 0 0 0 16 2 0 0 20 0 18 0 49448128 19384713216 17055 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=18930384 memory=2630 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49448130 19384713216 17055 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49448131 19384713216 17055 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68220 KiB

[startup+0.305942 s]*
/proc/loadavg: 4.32 3.86 3.87 7/347 49296
/proc/meminfo: memFree=123352784/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=18996948 memory=75832 CPUtime=0.49 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 8434 0 0 0 47 2 0 0 20 0 19 0 49448127 19452874752 18958 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4749237 18958 5460 1 0 548944 0
[pid=49277/tid=49279] ppid=49274 vsize=18996948 memory=-6000919489853023083 CPUtime=0.26 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 5449 0 0 0 24 2 0 0 20 0 19 0 49448128 19452874752 18958 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49448130 19452874752 18958 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49448131 19452874752 18958 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49448151 19452874752 18958 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75832 KiB

[startup+0.700235 s]
/proc/loadavg: 4.32 3.86 3.87 6/347 49296
/proc/meminfo: memFree=123328208/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=18996948 memory=146032 CPUtime=1.26 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 11289 0 0 0 121 5 0 0 20 0 19 0 49448127 19452874752 36508 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4749237 36508 5460 1 0 550900 0
[pid=49277/tid=49279] ppid=49274 vsize=18996948 memory=17664 CPUtime=0.58 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 5498 0 0 0 55 3 0 0 20 0 19 0 49448128 19452874752 36508 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49448130 19452874752 36508 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49448131 19452874752 36508 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49448151 19452874752 36508 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146032 KiB

[startup+1.50025 s]
/proc/loadavg: 4.32 3.86 3.87 6/348 49297
/proc/meminfo: memFree=123270884/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=166840 CPUtime=2.84 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 17668 0 0 0 277 7 0 0 20 0 20 0 49448127 19521036288 41710 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 41710 5492 1 0 552029 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=10752 CPUtime=1.34 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 5996 0 0 0 130 4 0 0 20 0 20 0 49448128 19521036288 41710 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 41710 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 41710 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 41710 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166840 KiB

[startup+3.10579 s]
/proc/loadavg: 4.38 3.88 3.87 5/348 49297
/proc/meminfo: memFree=123118144/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=321996 CPUtime=5.51 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 23857 0 0 0 540 11 0 0 20 0 20 0 49448127 19521036288 80499 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 80499 5492 1 0 552752 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=10752 CPUtime=2.92 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 6768 0 0 0 285 7 0 0 20 0 20 0 49448128 19521036288 80499 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=-6000919489853023083 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 80499 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 80499 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 80499 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 321996 KiB

[startup+6.3002 s]
/proc/loadavg: 4.38 3.88 3.87 5/348 49297
/proc/meminfo: memFree=122535516/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=900576 CPUtime=8.75 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 24571 0 0 0 853 22 0 0 20 0 20 0 49448127 19521036288 225144 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 225144 5492 1 0 552770 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=0 CPUtime=6.1 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 7348 0 0 0 592 18 0 0 20 0 20 0 49448128 19521036288 225144 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 225144 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 225144 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=166880 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 225144 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 900576 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 3.88 3.87 5/348 49297
/proc/meminfo: memFree=121973032/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=1310260 CPUtime=15.2 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 26979 0 0 0 1487 33 0 0 20 0 20 0 49448127 19521036288 327565 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 327565 5492 1 0 552770 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=166880 CPUtime=12.45 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 8464 0 0 0 1217 28 0 0 20 0 20 0 49448128 19521036288 327565 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 327565 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=1310260 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 327565 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 327565 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310260 KiB

[startup+25.5002 s]
/proc/loadavg: 4.34 3.90 3.88 5/348 49297
/proc/meminfo: memFree=121724216/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=1310388 CPUtime=28.03 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 32534 0 0 0 2762 41 0 0 20 0 20 0 49448127 19521036288 327597 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 327597 5524 1 0 552770 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=10752 CPUtime=25.19 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 10039 0 0 0 2483 36 0 0 20 0 20 0 49448128 19521036288 327597 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=1310260 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 327597 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 327597 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 327597 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 28.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310388 KiB

[startup+51.1059 s]
/proc/loadavg: 4.23 3.91 3.89 5/348 49297
/proc/meminfo: memFree=120946832/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=1314536 CPUtime=53.29 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 35507 0 0 0 5270 59 0 0 20 0 20 0 49448127 19521036288 328634 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 328634 5524 1 0 552770 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=14848 CPUtime=50.29 cores=1,3

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

Current children cumulated memory: 2167700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/345 49481
/proc/meminfo: memFree=65398304/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3267.76 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 108994 0 0 0 325266 1510 0 0 20 0 20 0 49448127 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 541925 5524 1 0 554709 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=17664 CPUtime=3217.49 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 43544 0 0 0 320344 1405 0 0 20 0 20 0 49448128 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 1284 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 3267.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.15 4.16 6/345 49553
/proc/meminfo: memFree=71802908/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3327.96 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 109172 0 0 0 331262 1534 0 0 20 0 20 0 49448127 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 541925 5524 1 0 554709 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3276.98 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 43556 0 0 0 326269 1429 0 0 20 0 20 0 49448128 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 1371 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 3327.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/346 49556
/proc/meminfo: memFree=65228232/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3388.17 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 109499 0 0 0 337260 1557 0 0 20 0 20 0 49448127 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 541925 5524 1 0 554709 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3336.4 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 43780 0 0 0 332189 1451 0 0 20 0 20 0 49448128 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 1371 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 3388.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/346 49562
/proc/meminfo: memFree=60250304/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3448.3 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 110534 0 0 0 343251 1579 0 0 20 0 20 0 49448127 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 541925 5524 1 0 554709 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=14848 CPUtime=3395.92 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 44608 0 0 0 338120 1472 0 0 20 0 20 0 49448128 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 1372 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 3448.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167700 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/346 49631
/proc/meminfo: memFree=71073772/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3508.44 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 111945 0 0 0 349240 1604 0 0 20 0 20 0 49448127 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 541925 5524 1 0 554709 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=2760 CPUtime=3455.39 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 45414 0 0 0 344043 1496 0 0 20 0 20 0 49448128 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 1383 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 3508.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.18 4.16 7/347 49702
/proc/meminfo: memFree=83497408/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3568.58 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 112024 0 0 0 355231 1627 0 0 20 0 20 0 49448127 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 541925 5524 1 0 554709 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3514.87 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 45422 0 0 0 349971 1516 0 0 20 0 20 0 49448128 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=7862692 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=2167700 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 1399 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=5044 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 3568.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.6 s]
/proc/loadavg: 4.27 4.19 4.17 6/347 49702
/proc/meminfo: memFree=75656328/131249996 swapFree=33010416/33010684
[pid=49277] ppid=49274 vsize=19063512 memory=2167700 CPUtime=3600.05 cores=1,3
/proc/49277/stat : 49277 (java) S 49274 49277 48335 0 -1 4194304 112051 0 0 0 358367 1638 0 0 20 0 20 0 49448127 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
/proc/49277/statm: 4765878 541925 5524 1 0 554709 0
[pid=49277/tid=49279] ppid=49274 vsize=19063512 memory=5632 CPUtime=3545.81 cores=1,3
/proc/49277/task/49279/stat : 49279 (java) R 49274 49277 48335 0 -1 4194368 45423 0 0 0 353055 1526 0 0 20 0 20 0 49448128 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49288] ppid=49274 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/49277/task/49288/stat : 49288 (Finalizer) S 49274 49277 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49448130 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49295] ppid=49274 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/49277/task/49295/stat : 49295 (Common-Cleaner) S 49274 49277 48335 0 -1 4194368 1399 0 0 0 0 0 0 0 20 0 20 0 49448131 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
[pid=49277/tid=49296] ppid=49274 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49277/task/49296/stat : 49296 (Timer-0) S 49274 49277 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49448151 19521036288 541925 18446744073709551615 94623578796032 94623578799728 140724958868704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94623578807544 94623578808336 94623589638144 140724958878000 140724958878182 140724958878182 140724958883784 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.89 s, system=16.4616 s

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

[startup+3614 s]*
/proc/loadavg: 4.25 4.19 4.17 4/329 49705
/proc/meminfo: memFree=77758188/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3614.4 s]
/proc/loadavg: 4.25 4.19 4.17 4/329 49705
/proc/meminfo: memFree=77758188/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3614.42
CPU time (s): 3600.35
CPU user time (s): 3583.89
CPU system time (s): 16.4616
CPU usage (%): 99.6106
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.89
system time used= 16.4616
maximum resident set size= 2168724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32211296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143523
involuntary context switches= 13083


# summary of solver processes directly reported to runsolver:
#   pid: 49277
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3583.89
#   total CPU system time (s): 16.4616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91922 second user time and 17.0414 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 04:41:46
IDJOB=4487629
IDBENCH=147209
IDSOLVER=3364
FILE ID=nodeC015/4487629-1751337706
RUNJOBID= nodeC015-1751337414-48347
SLURM_JOB_ID= 9594390
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487629-1751337706/watcher-4487629-1751337706 -o /tmp/evaluation-result-4487629-1751337706/solver-4487629-1751337706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48347 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487629-1751337706 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487629-1751337706.opb

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

MD5SUM BENCH= dc8f15f122e8bf0ab63303347843dc21
RANDOM SEED=1051229924

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123404572 kB
MemAvailable:   125176864 kB
Buffers:            2128 kB
Cached:          2561036 kB
SwapCached:           24 kB
Active:          4660004 kB
Inactive:        2256520 kB
Active(anon):    4351408 kB
Inactive(anon):    20084 kB
Active(file):     308596 kB
Inactive(file):  2236436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            294068 kB
Writeback:             0 kB
AnonPages:       4356468 kB
Mapped:           123372 kB
Shmem:             18052 kB
KReclaimable:     133000 kB
Slab:             231548 kB
SReclaimable:     133000 kB
SUnreclaim:        98548 kB
KernelStack:        5308 kB
PageTables:        12228 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7059668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4167680 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC015 at 2025-07-01 05:42:01