Trace number 4487628

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)28 3600.24 3598.62

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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4487628-1751319289.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.32/0.22	c ... done. Wall clock time 0.081s.
0.32/0.22	c declared #vars     372
0.32/0.22	c #constraints  772
0.32/0.22	c constraints type 
0.32/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5
0.32/0.22	c org.sat4j.specs.Constr$1 => 123
0.32/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 639
0.32/0.22	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.32/0.22	c 772 constraints processed.
0.32/0.23	c objective function length is 372 literals
0.32/0.24	c SATISFIABLE
0.32/0.25	c OPTIMIZING...
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.116
0.32/0.25	o 37
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.121
0.32/0.25	o 36
0.50/0.40	c Got one! Elapsed wall clock time (in seconds):0.266
0.50/0.40	o 35
1.08/0.62	c cleaning 2823 clauses out of 5645 with flag 11686/5645
1.39/0.82	c cleaning 4403 clauses out of 8819 with flag 29143/11642
1.99/1.12	c cleaning 5701 clauses out of 11416 with flag 50747/18642
1.99/1.14	c Got one! Elapsed wall clock time (in seconds):1.012
1.99/1.14	o 34
2.37/1.30	c cleaning 5785 clauses out of 11576 with flag 16114/24503
2.57/1.48	c cleaning 5898 clauses out of 11798 with flag 34365/30510
2.84/1.68	c cleaning 6447 clauses out of 12896 with flag 58080/37506
3.15/1.90	c cleaning 7202 clauses out of 14446 with flag 82335/45503
3.35/2.17	c cleaning 8107 clauses out of 16244 with flag 108928/54503
3.64/2.46	c cleaning 9062 clauses out of 18137 with flag 138121/64503
4.04/2.80	c cleaning 10019 clauses out of 20075 with flag 172371/75503
4.35/3.17	c cleaning 11014 clauses out of 22061 with flag 209014/87508
4.74/3.55	c cleaning 12003 clauses out of 24042 with flag 251488/100503
5.25/4.02	c cleaning 13005 clauses out of 26039 with flag 300855/114503
5.77/4.51	c cleaning 14010 clauses out of 28035 with flag 347977/129504
6.30/5.06	c cleaning 14999 clauses out of 30024 with flag 396297/145503
6.79/5.55	c cleaning 16010 clauses out of 32025 with flag 451840/162503
7.41/6.18	c cleaning 16995 clauses out of 34015 with flag 509407/180503
8.00/6.76	c cleaning 18010 clauses out of 36020 with flag 564944/199503
8.70/7.40	c cleaning 18994 clauses out of 38013 with flag 624414/219506
9.31/8.07	c cleaning 19998 clauses out of 40019 with flag 688439/240506
10.00/8.76	c cleaning 20981 clauses out of 42018 with flag 754384/262503
10.80/9.54	c cleaning 22003 clauses out of 44037 with flag 822752/285503
11.70/10.44	c cleaning 22999 clauses out of 46034 with flag 890585/309503
12.50/11.21	c cleaning 24002 clauses out of 48035 with flag 961547/334503
13.30/12.05	c cleaning 25011 clauses out of 50033 with flag 1034394/360503
14.20/13.00	c cleaning 26003 clauses out of 52022 with flag 1109307/387503
15.20/13.96	c cleaning 27004 clauses out of 54019 with flag 1184549/415503
16.30/15.04	c cleaning 27998 clauses out of 56015 with flag 1268021/444503
16.69/15.42	c Got one! Elapsed wall clock time (in seconds):15.288
16.69/15.42	o 33
16.90/15.60	c cleaning 22083 clauses out of 44181 with flag 15620/460667
17.00/15.78	c cleaning 14036 clauses out of 28100 with flag 34826/466669
17.19/15.98	c cleaning 10511 clauses out of 21062 with flag 57420/473667
17.49/16.22	c cleaning 9268 clauses out of 18552 with flag 82398/481668
17.69/16.49	c cleaning 9141 clauses out of 18283 with flag 110171/490667
17.89/16.68	c Got one! Elapsed wall clock time (in seconds):16.549
17.89/16.68	o 32
18.10/16.84	c cleaning 10906 clauses out of 21825 with flag 15780/503350
18.30/17.01	c cleaning 8458 clauses out of 16915 with flag 35780/509346
18.49/17.22	c cleaning 7711 clauses out of 15457 with flag 56064/516346
18.69/17.44	c cleaning 7854 clauses out of 15746 with flag 80512/524346
18.89/17.69	c cleaning 8426 clauses out of 16892 with flag 110650/533346
19.19/17.97	c cleaning 9216 clauses out of 18466 with flag 142866/543346
19.59/18.31	c cleaning 10105 clauses out of 20250 with flag 176114/554346
19.89/18.66	c cleaning 11068 clauses out of 22145 with flag 210770/566346
20.30/19.04	c cleaning 12037 clauses out of 24080 with flag 249765/579349
20.71/19.47	c cleaning 13013 clauses out of 26040 with flag 293305/593346
21.21/19.92	c cleaning 14012 clauses out of 28027 with flag 338042/608346
21.71/20.42	c cleaning 15006 clauses out of 30016 with flag 393481/624347
22.21/20.94	c cleaning 15990 clauses out of 32009 with flag 449206/641346
22.71/21.46	c cleaning 17004 clauses out of 34024 with flag 506288/659351
23.31/22.05	c cleaning 17999 clauses out of 36015 with flag 564575/678346
23.91/22.66	c cleaning 18995 clauses out of 38016 with flag 627723/698346
24.61/23.32	c cleaning 20009 clauses out of 40022 with flag 694646/719347
25.31/24.06	c cleaning 21003 clauses out of 42012 with flag 763750/741346
26.10/24.82	c cleaning 21998 clauses out of 44009 with flag 836424/764346
26.90/25.60	c cleaning 22994 clauses out of 46011 with flag 906447/788346
27.82/26.51	c cleaning 23998 clauses out of 48017 with flag 981845/813346
28.61/27.35	c cleaning 24994 clauses out of 50019 with flag 1057478/839346
29.01/27.70	c Got one! Elapsed wall clock time (in seconds):27.574
29.01/27.70	o 31
29.12/27.89	c cleaning 20683 clauses out of 41378 with flag 14957/855699
29.32/28.08	c cleaning 13337 clauses out of 26695 with flag 33904/861699
29.51/28.29	c cleaning 10146 clauses out of 20358 with flag 56946/868699
29.81/28.50	c cleaning 9098 clauses out of 18212 with flag 81718/876699
30.01/28.76	c cleaning 9055 clauses out of 18114 with flag 109458/885699
30.32/29.04	c cleaning 9530 clauses out of 19061 with flag 141244/895701
30.61/29.35	c cleaning 10257 clauses out of 20529 with flag 175365/906699
31.01/29.71	c cleaning 11121 clauses out of 22272 with flag 212554/918699
31.32/30.10	c cleaning 12076 clauses out of 24154 with flag 250881/931702
31.81/30.53	c cleaning 13023 clauses out of 26075 with flag 293791/945699
32.31/31.01	c cleaning 14017 clauses out of 28052 with flag 341289/960699
32.81/31.53	c cleaning 15018 clauses out of 30038 with flag 392727/976702
33.31/32.04	c cleaning 15994 clauses out of 32017 with flag 444978/993699
33.81/32.57	c cleaning 17009 clauses out of 34024 with flag 500494/1011700
34.53/33.25	c cleaning 17991 clauses out of 36014 with flag 561362/1030699
35.23/33.95	c cleaning 19012 clauses out of 38023 with flag 626127/1050699
36.03/34.72	c cleaning 19998 clauses out of 40011 with flag 693892/1071699
36.73/35.48	c cleaning 21007 clauses out of 42013 with flag 759285/1093699
37.53/36.21	c cleaning 21999 clauses out of 44007 with flag 825498/1116700
38.22/36.96	c cleaning 22999 clauses out of 46007 with flag 895450/1140699
39.22/37.94	c cleaning 24003 clauses out of 48008 with flag 966227/1165699
40.12/38.86	c cleaning 24993 clauses out of 50005 with flag 1036307/1191699
41.12/39.89	c cleaning 25988 clauses out of 52016 with flag 1108543/1218703
42.22/40.96	c cleaning 27004 clauses out of 54024 with flag 1186021/1246699
43.35/42.05	c cleaning 28004 clauses out of 56020 with flag 1272663/1275699
44.45/43.18	c cleaning 28999 clauses out of 58016 with flag 1358781/1305699
45.54/44.29	c cleaning 30005 clauses out of 60017 with flag 1450693/1336699
46.64/45.33	c cleaning 31006 clauses out of 62014 with flag 1554007/1368701
47.83/46.55	c cleaning 31989 clauses out of 64006 with flag 1659537/1401699
49.03/47.75	c cleaning 33009 clauses out of 66021 with flag 1762729/1435703
49.83/48.54	c Got one! Elapsed wall clock time (in seconds):48.408
49.83/48.54	o 30
50.16/48.82	c cleaning 32444 clauses out of 64895 with flag 16427/1467586
50.37/49.04	c cleaning 19218 clauses out of 38451 with flag 34995/1473586
50.56/49.23	c cleaning 13106 clauses out of 26233 with flag 57630/1480586
50.76/49.47	c cleaning 10552 clauses out of 21130 with flag 83780/1488589
51.06/49.72	c cleaning 9781 clauses out of 19575 with flag 110891/1497586
51.36/50.01	c cleaning 9892 clauses out of 19796 with flag 141917/1507588
51.66/50.32	c cleaning 10449 clauses out of 20902 with flag 174859/1518586
51.96/50.67	c cleaning 11211 clauses out of 22453 with flag 209994/1530586
52.36/51.05	c cleaning 12114 clauses out of 24242 with flag 246864/1543586
52.76/51.45	c cleaning 13057 clauses out of 26129 with flag 286754/1557587
53.15/51.89	c cleaning 14023 clauses out of 28075 with flag 331792/1572590
53.65/52.36	c cleaning 15012 clauses out of 30048 with flag 379040/1588586
54.15/52.88	c cleaning 16016 clauses out of 32036 with flag 428017/1605586
54.75/53.45	c cleaning 17000 clauses out of 34020 with flag 480945/1623586
55.36/54.07	c cleaning 18002 clauses out of 36020 with flag 535614/1642586
55.95/54.69	c cleaning 19002 clauses out of 38019 with flag 591036/1662587
56.65/55.39	c cleaning 19999 clauses out of 40016 with flag 648799/1683586
57.48/56.10	c cleaning 21008 clauses out of 42017 with flag 710959/1705586
58.07/56.79	c cleaning 21988 clauses out of 44010 with flag 779620/1728587
58.77/57.46	c cleaning 22996 clauses out of 46021 with flag 847808/1752586
59.57/58.29	c cleaning 24001 clauses out of 48026 with flag 922101/1777587
60.37/59.01	c cleaning 24991 clauses out of 50024 with flag 994383/1803586
61.17/59.80	c cleaning 26013 clauses out of 52034 with flag 1070776/1830587
61.96/60.65	c cleaning 27003 clauses out of 54021 with flag 1151817/1858587
62.86/61.54	c cleaning 28009 clauses out of 56020 with flag 1235235/1887589
63.76/62.48	c cleaning 28994 clauses out of 58008 with flag 1322170/1917586
64.87/63.50	c cleaning 29987 clauses out of 60020 with flag 1413641/1948592
65.96/64.61	c cleaning 31004 clauses out of 62027 with flag 1510299/1980586
66.95/65.62	c cleaning 32003 clauses out of 64023 with flag 1606707/2013586
68.05/66.78	c cleaning 32999 clauses out of 66022 with flag 1705954/2047588
69.35/68.04	c cleaning 34007 clauses out of 68025 with flag 1802866/2082590
70.65/69.36	c cleaning 35005 clauses out of 70020 with flag 1902003/2118592
72.14/70.83	c cleaning 35985 clauses out of 72009 with flag 2007172/2155586
73.67/72.30	c cleaning 37012 clauses out of 74025 with flag 2118159/2193587
75.17/73.84	c cleaning 38005 clauses out of 76012 with flag 2228652/2232586
76.66/75.34	c cleaning 38995 clauses out of 78007 with flag 2342196/2272586
78.36/77.02	c cleaning 40000 clauses out of 80012 with flag 2452969/2313586
79.96/78.68	c cleaning 40994 clauses out of 82014 with flag 2570676/2355588
81.76/80.42	c cleaning 42006 clauses out of 84018 with flag 2693378/2398586
83.48/82.17	c cleaning 42989 clauses out of 86014 with flag 2820347/2442588
85.67/84.31	c cleaning 43998 clauses out of 88023 with flag 2947941/2487586
87.47/86.15	c cleaning 45010 clauses out of 90025 with flag 3078410/2533586
89.56/88.29	c cleaning 46000 clauses out of 92015 with flag 3221917/2580586
91.16/89.81	c cleaning 47000 clauses out of 94015 with flag 3377992/2628586
92.85/91.57	c cleaning 47998 clauses out of 96017 with flag 3531740/2677588
94.60/93.26	c cleaning 48984 clauses out of 98017 with flag 3682105/2727586
96.29/94.92	c cleaning 49997 clauses out of 100033 with flag 3843908/2778586
97.99/96.63	c cleaning 51013 clauses out of 102036 with flag 4013834/2830586
99.69/98.35	c cleaning 52005 clauses out of 104026 with flag 4173187/2883589
101.68/100.40	c cleaning 52995 clauses out of 106018 with flag 4337534/2937586
103.92/102.54	c cleaning 54013 clauses out of 108025 with flag 4496334/2992588
106.02/104.65	c cleaning 54991 clauses out of 110010 with flag 4666057/3048586
106.42/105.04	c Got one! Elapsed wall clock time (in seconds):104.912
106.42/105.04	o 29
106.62/105.27	c cleaning 37128 clauses out of 74285 with flag 18656/3067852
106.82/105.48	c cleaning 21572 clauses out of 43157 with flag 38303/3073852
107.02/105.67	c cleaning 14279 clauses out of 28585 with flag 60300/3080852
107.22/105.89	c cleaning 11154 clauses out of 22310 with flag 85532/3088856
107.52/106.12	c cleaning 10060 clauses out of 20152 with flag 113186/3097852
107.82/106.41	c cleaning 10041 clauses out of 20092 with flag 144510/3107852
108.12/106.71	c cleaning 10526 clauses out of 21052 with flag 177827/3118853
108.42/107.03	c cleaning 11255 clauses out of 22525 with flag 215495/3130852
108.71/107.38	c cleaning 12133 clauses out of 24270 with flag 258962/3143852
109.11/107.76	c cleaning 13064 clauses out of 26138 with flag 300767/3157853
109.52/108.19	c cleaning 14031 clauses out of 28073 with flag 346623/3172852
110.01/108.66	c cleaning 15002 clauses out of 30042 with flag 395829/3188852
110.52/109.15	c cleaning 16014 clauses out of 32040 with flag 453773/3205852
111.01/109.67	c cleaning 16979 clauses out of 34026 with flag 505290/3223852
111.71/110.30	c cleaning 18020 clauses out of 36048 with flag 565265/3242853
112.34/110.90	c cleaning 19013 clauses out of 38031 with flag 623876/3262856
112.94/111.56	c cleaning 19996 clauses out of 40014 with flag 687743/3283852
113.64/112.24	c cleaning 21008 clauses out of 42018 with flag 748758/3305852
114.33/112.90	c cleaning 22009 clauses out of 44017 with flag 816241/3328859
115.13/113.70	c cleaning 22987 clauses out of 46001 with flag 884141/3352852
115.93/114.51	c cleaning 24000 clauses out of 48014 with flag 957633/3377852
116.73/115.33	c cleaning 24996 clauses out of 50014 with flag 1032691/3403852
117.63/116.25	c cleaning 26005 clauses out of 52018 with flag 1108389/3430852
118.43/117.09	c cleaning 27004 clauses out of 54013 with flag 1188003/3458852
119.32/117.94	c cleaning 27999 clauses out of 56009 with flag 1269380/3487852
120.22/118.85	c cleaning 28985 clauses out of 58010 with flag 1355046/3517852
121.22/119.82	c cleaning 30014 clauses out of 60028 with flag 1454009/3548855
122.11/120.76	c cleaning 30999 clauses out of 62011 with flag 1554103/3580852
123.31/121.90	c cleaning 31998 clauses out of 64012 with flag 1656499/3613852
124.46/123.04	c cleaning 32999 clauses out of 66014 with flag 1757939/3647852
125.85/124.45	c cleaning 33999 clauses out of 68015 with flag 1862908/3682852
126.95/125.58	c cleaning 34999 clauses out of 70016 with flag 1974241/3718852
128.14/126.74	c cleaning 36008 clauses out of 72019 with flag 2082683/3755854
129.24/127.88	c cleaning 36979 clauses out of 74011 with flag 2196205/3793854
130.64/129.20	c cleaning 38004 clauses out of 76030 with flag 2321207/3832852
131.84/130.45	c cleaning 39005 clauses out of 78027 with flag 2445692/3872853
133.13/131.72	c cleaning 40001 clauses out of 80021 with flag 2582418/3913852
134.43/133.01	c cleaning 41006 clauses out of 82020 with flag 2714659/3955852
135.73/134.35	c cleaning 42008 clauses out of 84015 with flag 2841245/3998853
137.13/135.75	c cleaning 42987 clauses out of 86007 with flag 2959352/4042853
138.68/137.24	c cleaning 44008 clauses out of 88019 with flag 3090629/4087852
140.28/138.80	c cleaning 45006 clauses out of 90011 with flag 3215223/4133852
141.88/140.41	c cleaning 45993 clauses out of 92006 with flag 3352650/4180853
143.67/142.22	c cleaning 46995 clauses out of 94014 with flag 3487202/4228854
145.17/143.78	c cleaning 47995 clauses out of 96017 with flag 3645512/4277852
146.86/145.49	c cleaning 48975 clauses out of 98022 with flag 3812677/4327852
148.56/147.19	c cleaning 50017 clauses out of 100048 with flag 3979489/4378853
150.35/148.99	c cleaning 51008 clauses out of 102030 with flag 4146619/4430852
152.25/150.84	c cleaning 52004 clauses out of 104023 with flag 4304430/4483853
154.04/152.66	c cleaning 52989 clauses out of 106019 with flag 4462595/4537853
156.08/154.61	c cleaning 54008 clauses out of 108029 with flag 4624966/4592852
158.07/156.64	c cleaning 55000 clauses out of 110024 with flag 4792783/4648855
160.27/158.87	c cleaning 56009 clauses out of 112023 with flag 4967131/4705854
162.58/161.15	c cleaning 56996 clauses out of 114012 with flag 5154439/4763852
164.57/163.18	c cleaning 57997 clauses out of 116016 with flag 5331077/4822852
166.66/165.29	c cleaning 59000 clauses out of 118020 with flag 5515951/4882853
168.86/167.42	c cleaning 59999 clauses out of 120019 with flag 5708794/4943852
171.25/169.86	c cleaning 61005 clauses out of 122020 with flag 5897095/5005852
173.35/171.96	c cleaning 62006 clauses out of 124015 with flag 6093248/5068852
175.59/174.16	c cleaning 62995 clauses out of 126009 with flag 6296137/5132852
177.78/176.35	c cleaning 63994 clauses out of 128014 with flag 6476527/5197852
180.18/178.76	c cleaning 65009 clauses out of 130020 with flag 6683580/5263852
182.67/181.21	c cleaning 65992 clauses out of 132011 with flag 6886028/5330852
185.17/183.72	c cleaning 67002 clauses out of 134019 with flag 7096611/5398852
187.66/186.23	c cleaning 67998 clauses out of 136017 with flag 7310942/5467852
190.16/188.73	c cleaning 68998 clauses out of 138020 with flag 7525622/5537853
192.65/191.21	c cleaning 70003 clauses out of 140028 with flag 7755620/5608859
195.15/193.77	c cleaning 70955 clauses out of 142018 with flag 7980932/5680852
197.64/196.23	c cleaning 72021 clauses out of 144063 with flag 8207561/5753852
200.23/198.82	c cleaning 73015 clauses out of 146043 with flag 8445714/5827853
202.83/201.45	c cleaning 74004 clauses out of 148027 with flag 8676565/5902852
206.10/204.62	c cleaning 74993 clauses out of 150023 with flag 8914195/5978852
208.99/207.55	c cleaning 76010 clauses out of 152031 with flag 9142891/6055853
211.98/210.58	c cleaning 76994 clauses out of 154020 with flag 9369412/6133852
214.78/213.37	c cleaning 78004 clauses out of 156026 with flag 9598694/6212852
217.68/216.21	c cleaning 79007 clauses out of 158026 with flag 9827416/6292856
220.67/219.21	c cleaning 80002 clauses out of 160015 with flag 10044418/6373852
223.37/221.98	c cleaning 80986 clauses out of 162013 with flag 10302341/6455852
226.36/224.95	c cleaning 82015 clauses out of 164030 with flag 10576797/6538855
229.35/227.91	c cleaning 83005 clauses out of 166013 with flag 10846182/6622853
232.45/231.04	c cleaning 83995 clauses out of 168007 with flag 11099001/6707852
235.50/234.06	c cleaning 84993 clauses out of 170012 with flag 11359995/6793852
238.47/237.09	c cleaning 86001 clauses out of 172019 with flag 11620530/6880852
241.75/240.34	c cleaning 87006 clauses out of 174019 with flag 11884529/6968853
244.94/243.53	c cleaning 87988 clauses out of 176012 with flag 12144637/7057852
248.03/246.60	c cleaning 89010 clauses out of 178031 with flag 12448544/7147859
251.13/249.77	c cleaning 90000 clauses out of 180017 with flag 12743724/7238855
254.42/253.04	c cleaning 91000 clauses out of 182014 with flag 13021162/7330852
257.71/256.30	c cleaning 92001 clauses out of 184014 with flag 13298249/7423852
261.00/259.69	c cleaning 92987 clauses out of 186013 with flag 13580913/7517852
264.68/263.28	c cleaning 94009 clauses out of 188028 with flag 13871928/7612854
268.17/266.75	c cleaning 94990 clauses out of 190017 with flag 14162950/7708852
272.47/271.08	c cleaning 96007 clauses out of 192027 with flag 14462991/7805852
276.15/274.73	c cleaning 97009 clauses out of 194021 with flag 14778897/7903853
279.46/278.09	c cleaning 97983 clauses out of 196011 with flag 15066948/8002852
283.04/281.67	c cleaning 98974 clauses out of 198028 with flag 15375068/8102852
287.14/285.78	c cleaning 100017 clauses out of 200060 with flag 15686456/8203858
291.03/289.68	c cleaning 101019 clauses out of 202038 with flag 15985275/8305853
296.42/295.09	c cleaning 102002 clauses out of 204019 with flag 16279018/8408853
301.67/299.85	c cleaning 102995 clauses out of 206016 with flag 16580889/8512852
305.46/303.69	c cleaning 103998 clauses out of 208021 with flag 16889307/8617852
310.25/308.44	c cleaning 104987 clauses out of 210026 with flag 17190717/8723855
314.94/313.11	c cleaning 106011 clauses out of 212037 with flag 17512825/8830853
318.84/317.07	c cleaning 107002 clauses out of 214025 with flag 17842635/8938852
323.12/321.38	c cleaning 108005 clauses out of 216023 with flag 18169357/9047852
327.21/325.45	c cleaning 109005 clauses out of 218019 with flag 18506540/9157853
331.40/329.63	c cleaning 109992 clauses out of 220013 with flag 18849836/9268852
335.77/333.97	c cleaning 110996 clauses out of 222021 with flag 19189736/9380852
340.26/338.46	c cleaning 111986 clauses out of 224025 with flag 19550920/9493852
344.65/342.88	c cleaning 113011 clauses out of 226041 with flag 19908346/9607854
349.13/347.34	c cleaning 114012 clauses out of 228029 with flag 20247167/9722853
353.53/351.73	c cleaning 114999 clauses out of 230016 with flag 20592986/9838852
358.32/356.52	c cleaning 116001 clauses out of 232020 with flag 20926795/9955855
362.61/360.88	c cleaning 116995 clauses out of 234023 with flag 21263109/10073859
367.31/365.60	c cleaning 118005 clauses out of 236021 with flag 21620578/10192852
371.90/370.16	c cleaning 119001 clauses out of 238016 with flag 21975769/10312852
377.07/375.20	c cleaning 120003 clauses out of 240015 with flag 22328732/10433852
381.96/380.14	c cleaning 120989 clauses out of 242012 with flag 22701485/10555852
386.85/385.04	c cleaning 122004 clauses out of 244025 with flag 23078829/10678854
391.34/389.58	c cleaning 123004 clauses out of 246020 with flag 23456625/10802853
395.93/394.17	c cleaning 124002 clauses out of 248018 with flag 23817966/10927855
400.92/399.15	c cleaning 125004 clauses out of 250014 with flag 24174389/11053853
405.70/403.99	c cleaning 125992 clauses out of 252009 with flag 24555554/11180852
411.69/409.97	c cleaning 127002 clauses out of 254017 with flag 24971389/11308852
416.98/415.27	c cleaning 127990 clauses out of 256015 with flag 25366415/11437852
421.77/420.09	c cleaning 128999 clauses out of 258025 with flag 25765067/11567852
426.87/425.01	c cleaning 130003 clauses out of 260026 with flag 26169573/11698852
432.05/430.24	c cleaning 131001 clauses out of 262023 with flag 26590571/11830852
437.84/436.09	c cleaning 131999 clauses out of 264022 with flag 27017899/11963852
442.93/441.16	c cleaning 133012 clauses out of 266026 with flag 27431633/12097855
448.82/447.09	c cleaning 133993 clauses out of 268011 with flag 27842175/12232852
455.30/453.57	c cleaning 135007 clauses out of 270019 with flag 28253356/12368853
462.09/460.34	c cleaning 135988 clauses out of 272014 with flag 28660611/12505855
467.67/465.94	c cleaning 137012 clauses out of 274024 with flag 29070763/12643853
473.56/471.73	c cleaning 137992 clauses out of 276012 with flag 29506467/12782853
479.33/477.51	c cleaning 139002 clauses out of 278019 with flag 29941131/12922852
484.72/483.00	c cleaning 140008 clauses out of 280017 with flag 30397065/13063852
492.10/490.35	c cleaning 141000 clauses out of 282009 with flag 30820559/13205852
499.48/497.79	c cleaning 141986 clauses out of 284010 with flag 31217539/13348853
505.47/503.74	c cleaning 143004 clauses out of 286023 with flag 31627565/13492852
511.36/509.63	c cleaning 144003 clauses out of 288023 with flag 32074171/13637856
518.34/516.67	c cleaning 145002 clauses out of 290018 with flag 32470220/13783854
524.85/523.01	c cleaning 145992 clauses out of 292016 with flag 32910147/13930854
531.42/529.63	c cleaning 146992 clauses out of 294025 with flag 33347633/14078855
538.41/536.69	c cleaning 148010 clauses out of 296032 with flag 33759138/14227854
546.59/544.81	c cleaning 148993 clauses out of 298020 with flag 34160207/14377852
555.27/553.51	c cleaning 150008 clauses out of 300028 with flag 34605146/14528853
561.66/559.94	c cleaning 150998 clauses out of 302019 with flag 35055650/14680852
567.85/566.14	c cleaning 151999 clauses out of 304025 with flag 35539313/14833856
573.93/572.27	c cleaning 153005 clauses out of 306023 with flag 36027851/14987853
580.34/578.58	c cleaning 153995 clauses out of 308017 with flag 36499018/15142852
587.02/585.26	c cleaning 155001 clauses out of 310022 with flag 36990065/15298852
593.72/591.92	c cleaning 156004 clauses out of 312026 with flag 37448853/15455857
600.20/598.40	c cleaning 157006 clauses out of 314017 with flag 37917429/15613852
606.89/605.16	c cleaning 157994 clauses out of 316015 with flag 38372584/15772856
607.48/605.70	c Got one! Elapsed wall clock time (in seconds):605.567
607.48/605.70	o 28
608.08/606.31	c cleaning 90703 clauses out of 181416 with flag 17837/15796251
608.38/606.67	c cleaning 48317 clauses out of 96711 with flag 37702/15802249
608.68/606.91	c cleaning 27690 clauses out of 55395 with flag 59703/15809250
608.89/607.14	c cleaning 17841 clauses out of 35705 with flag 84358/15817250
609.08/607.39	c cleaning 13426 clauses out of 26864 with flag 109222/15826250
609.38/607.65	c cleaning 11707 clauses out of 23439 with flag 135860/15836251
609.68/607.94	c cleaning 11357 clauses out of 22730 with flag 164603/15847249
609.98/608.26	c cleaning 11680 clauses out of 23375 with flag 195716/15859251
610.38/608.61	c cleaning 12331 clauses out of 24693 with flag 229180/15872249
610.68/608.99	c cleaning 13175 clauses out of 26364 with flag 265480/15886251
611.17/609.44	c cleaning 14093 clauses out of 28188 with flag 304595/15901250
611.67/609.90	c cleaning 15031 clauses out of 30094 with flag 351006/15917249
612.17/610.41	c cleaning 16022 clauses out of 32070 with flag 403810/15934256
612.67/610.90	c cleaning 17007 clauses out of 34041 with flag 468664/15952249
613.17/611.43	c cleaning 18008 clauses out of 36034 with flag 531888/15971249
613.87/612.13	c cleaning 19005 clauses out of 38026 with flag 595579/15991249
614.47/612.78	c cleaning 19987 clauses out of 40021 with flag 661671/16012249
615.17/613.42	c cleaning 21007 clauses out of 42035 with flag 738589/16034250
615.77/614.08	c cleaning 21989 clauses out of 44027 with flag 811133/16057249
616.46/614.78	c cleaning 23007 clauses out of 46040 with flag 893782/16081251
617.26/615.50	c cleaning 23999 clauses out of 48031 with flag 978758/16106249
617.96/616.23	c cleaning 25001 clauses out of 50032 with flag 1056145/16132249
618.66/616.99	c cleaning 26010 clauses out of 52032 with flag 1132605/16159250
619.66/617.90	c cleaning 27007 clauses out of 54022 with flag 1216210/16187250
620.46/618.72	c cleaning 28006 clauses out of 56017 with flag 1297501/16216252
621.36/619.64	c cleaning 28994 clauses out of 58008 with flag 1387039/16246249
622.36/620.62	c cleaning 30008 clauses out of 60015 with flag 1477851/16277250
623.88/621.83	c cleaning 30997 clauses out of 62006 with flag 1576791/16309249
624.98/622.95	c cleaning 31994 clauses out of 64012 with flag 1685445/16342252
626.18/624.19	c cleaning 32994 clauses out of 66015 with flag 1802425/16376249
627.37/625.36	c cleaning 34011 clauses out of 68024 with flag 1909789/16411252
628.57/626.56	c cleaning 34989 clauses out of 70011 with flag 2019190/16447250
629.77/627.77	c cleaning 36003 clauses out of 72021 with flag 2130005/16484249
630.87/628.89	c cleaning 37009 clauses out of 74019 with flag 2253490/16522250
632.07/630.08	c cleaning 37998 clauses out of 76009 with flag 2376215/16561249
633.36/631.39	c cleaning 38989 clauses out of 78011 with flag 2517256/16601249
634.76/632.71	c cleaning 40011 clauses out of 80024 with flag 2647127/16642251
636.55/634.56	c cleaning 40996 clauses out of 82011 with flag 2782568/16684249
638.35/636.38	c cleaning 42000 clauses out of 84015 with flag 2915709/16727249
639.95/637.93	c cleaning 43005 clauses out of 86015 with flag 3043290/16771249
641.54/639.57	c cleaning 43995 clauses out of 88012 with flag 3173828/16816251
643.15/641.19	c cleaning 44984 clauses out of 90015 with flag 3323113/16862249
644.64/642.69	c cleaning 46016 clauses out of 92032 with flag 3468200/16909250
646.23/644.29	c cleaning 46977 clauses out of 94015 with flag 3612107/16957249
647.93/645.91	c cleaning 48011 clauses out of 96041 with flag 3768324/17006252
649.63/647.60	c cleaning 49012 clauses out of 98031 with flag 3924259/17056253
651.22/649.25	c cleaning 50001 clauses out of 100017 with flag 4100236/17107251
653.12/651.17	c cleaning 51004 clauses out of 102014 with flag 4261787/17159249
654.82/652.88	c cleaning 51996 clauses out of 104012 with flag 4425687/17212251
656.71/654.73	c cleaning 53006 clauses out of 106014 with flag 4598910/17266249
658.61/656.60	c cleaning 53998 clauses out of 108011 with flag 4770656/17321252
660.50/658.57	c cleaning 55002 clauses out of 110010 with flag 4960066/17377249
662.60/660.61	c cleaning 55995 clauses out of 112009 with flag 5128626/17434250
664.49/662.58	c cleaning 56993 clauses out of 114013 with flag 5298300/17492249
666.90/664.90	c cleaning 57983 clauses out of 116020 with flag 5480032/17551249
669.10/667.13	c cleaning 59001 clauses out of 118037 with flag 5657349/17611249
671.62/669.69	c cleaning 60015 clauses out of 120036 with flag 5843187/17672249
673.71/671.73	c cleaning 61006 clauses out of 122023 with flag 6042564/17734251
675.71/673.73	c cleaning 61986 clauses out of 124016 with flag 6236353/17797250
678.01/676.09	c cleaning 63015 clauses out of 126030 with flag 6423664/17861250
680.51/678.47	c cleaning 64007 clauses out of 128014 with flag 6622276/17926249
682.81/680.74	c cleaning 64992 clauses out of 130007 with flag 6830724/17992249
684.90/682.87	c cleaning 65964 clauses out of 132015 with flag 7043333/18059249
687.30/685.27	c cleaning 67021 clauses out of 134053 with flag 7265590/18127251
689.89/687.84	c cleaning 68015 clauses out of 136030 with flag 7459291/18196249
692.19/690.15	c cleaning 68986 clauses out of 138016 with flag 7686329/18266250
694.78/692.72	c cleaning 70002 clauses out of 140029 with flag 7898723/18337249
697.37/695.30	c cleaning 71009 clauses out of 142029 with flag 8108398/18409251
700.17/698.13	c cleaning 71993 clauses out of 144019 with flag 8310861/18482250
703.06/701.09	c cleaning 73013 clauses out of 146025 with flag 8521901/18556249
705.85/703.87	c cleaning 73988 clauses out of 148012 with flag 8739581/18631249
708.84/706.89	c cleaning 74993 clauses out of 150024 with flag 8971776/18707249
711.75/709.74	c cleaning 76010 clauses out of 152031 with flag 9199226/18784249
714.34/712.37	c cleaning 77011 clauses out of 154023 with flag 9413338/18862251
717.14/715.13	c cleaning 77992 clauses out of 156010 with flag 9623471/18941249
719.83/717.86	c cleaning 78994 clauses out of 158018 with flag 9860148/19021249
722.82/720.80	c cleaning 80007 clauses out of 160025 with flag 10097051/19102250
725.62/723.64	c cleaning 81003 clauses out of 162017 with flag 10352896/19184249
728.40/726.45	c cleaning 82008 clauses out of 164015 with flag 10613263/19267250
732.00/730.03	c cleaning 82990 clauses out of 166006 with flag 10865191/19351249
735.19/733.25	c cleaning 84004 clauses out of 168016 with flag 11120787/19436249
738.58/736.62	c cleaning 84994 clauses out of 170012 with flag 11386132/19522249
741.67/739.77	c cleaning 86006 clauses out of 172018 with flag 11651876/19609249
744.87/742.95	c cleaning 86990 clauses out of 174014 with flag 11917265/19697251
748.35/746.45	c cleaning 87997 clauses out of 176022 with flag 12194713/19786249
752.45/750.50	c cleaning 89001 clauses out of 178025 with flag 12446775/19876249
756.14/754.26	c cleaning 90006 clauses out of 180024 with flag 12718066/19967249
759.43/757.51	c cleaning 91004 clauses out of 182021 with flag 13027691/20059252
762.82/760.94	c cleaning 92000 clauses out of 184014 with flag 13320906/20152249
766.20/764.28	c cleaning 93002 clauses out of 186015 with flag 13623879/20246250
769.59/767.60	c cleaning 93984 clauses out of 188012 with flag 13915313/20341249
773.08/771.17	c cleaning 94999 clauses out of 190028 with flag 14223493/20437249
776.57/774.62	c cleaning 95993 clauses out of 192029 with flag 14543377/20534249
780.07/778.15	c cleaning 97004 clauses out of 194036 with flag 14855817/20632249
783.66/781.70	c cleaning 97998 clauses out of 196032 with flag 15183005/20731249
787.35/785.41	c cleaning 99008 clauses out of 198034 with flag 15500809/20831249
790.94/789.07	c cleaning 99988 clauses out of 200026 with flag 15827762/20932249
794.83/792.99	c cleaning 101019 clauses out of 202039 with flag 16130583/21034250
798.83/796.93	c cleaning 102004 clauses out of 204020 with flag 16458778/21137250
802.82/800.92	c cleaning 103000 clauses out of 206019 with flag 16793934/21241253
806.81/804.98	c cleaning 103993 clauses out of 208015 with flag 17138862/21346249
810.60/808.79	c cleaning 105007 clauses out of 210022 with flag 17463385/21452249
815.69/813.86	c cleaning 106004 clauses out of 212015 with flag 17754395/21559249
822.07/820.22	c cleaning 106999 clauses out of 214014 with flag 18040279/21667252
826.66/824.83	c cleaning 108003 clauses out of 216016 with flag 18366095/21776253
831.05/829.23	c cleaning 108992 clauses out of 218009 with flag 18697932/21886249
835.04/833.20	c cleaning 110001 clauses out of 220017 with flag 19032943/21997249
839.13/837.36	c cleaning 110991 clauses out of 222016 with flag 19353661/22109249
843.82/842.09	c cleaning 112006 clauses out of 224026 with flag 19689063/22222250
848.20/846.45	c cleaning 113001 clauses out of 226024 with flag 20013633/22336254
852.69/850.95	c cleaning 113997 clauses out of 228018 with flag 20369061/22451249
857.09/855.33	c cleaning 114995 clauses out of 230022 with flag 20734125/22567250
861.28/859.59	c cleaning 115996 clauses out of 232026 with flag 21084194/22684249
865.87/864.18	c cleaning 117004 clauses out of 234030 with flag 21463335/22802249
870.45/868.76	c cleaning 118005 clauses out of 236026 with flag 21804584/22921249
874.75/873.05	c cleaning 119003 clauses out of 238022 with flag 22161621/23041250
879.55/877.71	c cleaning 120005 clauses out of 240021 with flag 22525789/23162252
884.63/882.86	c cleaning 121000 clauses out of 242013 with flag 22892427/23284249
889.32/887.55	c cleaning 121992 clauses out of 244013 with flag 23272363/23407249
894.11/892.38	c cleaning 123006 clauses out of 246021 with flag 23646910/23531249
898.81/897.09	c cleaning 124007 clauses out of 248022 with flag 24044736/23656256
904.00/902.26	c cleaning 124993 clauses out of 250008 with flag 24425347/23782249
909.39/907.61	c cleaning 125990 clauses out of 252015 with flag 24831056/23909249
914.47/912.79	c cleaning 127011 clauses out of 254025 with flag 25245847/24037249
919.96/918.20	c cleaning 127984 clauses out of 256014 with flag 25595351/24166249
924.65/922.99	c cleaning 128999 clauses out of 258030 with flag 25993293/24296249
930.74/929.01	c cleaning 130013 clauses out of 260032 with flag 26408369/24427250
936.72/935.09	c cleaning 131007 clauses out of 262018 with flag 26782030/24559249
942.41/940.73	c cleaning 131991 clauses out of 264014 with flag 27174689/24692252
949.59/947.99	c cleaning 133004 clauses out of 266020 with flag 27565981/24826249
956.17/954.55	c cleaning 133992 clauses out of 268016 with flag 27935294/24961249
961.85/960.20	c cleaning 134996 clauses out of 270024 with flag 28338066/25097249
967.34/965.71	c cleaning 135994 clauses out of 272028 with flag 28761204/25234249
975.02/973.49	c cleaning 136999 clauses out of 274034 with flag 29163937/25372249
981.11/979.51	c cleaning 138003 clauses out of 276035 with flag 29567782/25511249
987.00/985.45	c cleaning 139002 clauses out of 278035 with flag 29998653/25651252
992.88/991.31	c cleaning 140014 clauses out of 280036 with flag 30425505/25792255
998.47/996.95	c cleaning 140978 clauses out of 282016 with flag 30833902/25934249
1004.56/1003.03	c cleaning 142012 clauses out of 284039 with flag 31262653/26077250
1010.57/1008.96	c cleaning 143004 clauses out of 286026 with flag 31715880/26221249
1016.26/1014.66	c cleaning 144012 clauses out of 288025 with flag 32173392/26366252
1022.44/1020.81	c cleaning 144985 clauses out of 290010 with flag 32609407/26512249
1028.13/1026.59	c cleaning 146011 clauses out of 292030 with flag 33036325/26659254
1033.82/1032.27	c cleaning 146994 clauses out of 294014 with flag 33485734/26807249
1040.00/1038.47	c cleaning 148007 clauses out of 296023 with flag 33952353/26956252
1045.99/1044.42	c cleaning 148990 clauses out of 298013 with flag 34423636/27106249
1053.57/1052.03	c cleaning 149998 clauses out of 300023 with flag 34870891/27257249
1060.66/1059.13	c cleaning 151007 clauses out of 302025 with flag 35307984/27409249
1067.14/1065.63	c cleaning 151996 clauses out of 304018 with flag 35774570/27562249
1073.32/1071.89	c cleaning 152989 clauses out of 306022 with flag 36237793/27716249
1079.31/1077.81	c cleaning 154016 clauses out of 308033 with flag 36708333/27871249
1086.23/1084.66	c cleaning 154990 clauses out of 310017 with flag 37153309/28027249
1093.31/1091.75	c cleaning 155997 clauses out of 312027 with flag 37641084/28184249
1099.70/1098.17	c cleaning 157008 clauses out of 314032 with flag 38132589/28342251
1106.88/1105.35	c cleaning 158009 clauses out of 316024 with flag 38587251/28501251
1113.85/1112.38	c cleaning 158990 clauses out of 318013 with flag 39082367/28661249
1121.84/1120.34	c cleaning 160004 clauses out of 320023 with flag 39562149/28822249
1128.73/1127.20	c cleaning 161000 clauses out of 322019 with flag 40084756/28984249
1135.41/1133.90	c cleaning 162002 clauses out of 324019 with flag 40590368/29147249
1141.89/1140.47	c cleaning 163003 clauses out of 326017 with flag 41097156/29311249
1148.87/1147.47	c cleaning 163996 clauses out of 328016 with flag 41611594/29476251
1155.95/1154.55	c cleaning 164996 clauses out of 330018 with flag 42124109/29642249
1163.33/1161.96	c cleaning 166002 clauses out of 332023 with flag 42641963/29809250
1171.02/1169.67	c cleaning 166994 clauses out of 334023 with flag 43111564/29977252
1178.89/1177.44	c cleaning 168001 clauses out of 336026 with flag 43618232/30146249
1185.89/1184.42	c cleaning 169000 clauses out of 338025 with flag 44150923/30316249
1193.57/1192.12	c cleaning 169987 clauses out of 340026 with flag 44643485/30487250
1200.06/1198.68	c cleaning 171015 clauses out of 342039 with flag 45161238/30659250
1207.34/1205.93	c cleaning 172009 clauses out of 344026 with flag 45667214/30832252
1214.13/1212.77	c cleaning 172982 clauses out of 346014 with flag 46173434/31006249
1221.11/1219.77	c cleaning 174010 clauses out of 348032 with flag 46690049/31181249
1228.59/1227.21	c cleaning 175001 clauses out of 350022 with flag 47228179/31357249
1236.27/1234.96	c cleaning 176003 clauses out of 352021 with flag 47782656/31534249
1243.47/1242.19	c cleaning 177009 clauses out of 354018 with flag 48337429/31712249
1251.85/1250.52	c cleaning 177994 clauses out of 356009 with flag 48878733/31891249
1259.23/1257.98	c cleaning 179004 clauses out of 358015 with flag 49436573/32071249
1266.91/1265.68	c cleaning 179998 clauses out of 360011 with flag 49962559/32252249
1276.21/1274.87	c cleaning 181001 clauses out of 362013 with flag 50536288/32434249
1284.20/1282.85	c cleaning 181992 clauses out of 364015 with flag 51080622/32617252
1291.58/1290.23	c cleaning 182997 clauses out of 366020 with flag 51669019/32801249
1302.26/1300.99	c cleaning 183986 clauses out of 368023 with flag 52206884/32986249
1310.74/1309.42	c cleaning 185014 clauses out of 370037 with flag 52767379/33172249
1320.32/1319.04	c cleaning 185995 clauses out of 372023 with flag 53299533/33359249
1330.00/1328.71	c cleaning 187005 clauses out of 374033 with flag 53811518/33547254
1338.97/1337.77	c cleaning 188005 clauses out of 376023 with flag 54363425/33736249
1347.66/1346.42	c cleaning 189003 clauses out of 378020 with flag 54924326/33926251
1358.04/1356.84	c cleaning 189996 clauses out of 380015 with flag 55451042/34117249
1366.72/1365.57	c cleaning 190990 clauses out of 382021 with flag 56015901/34309251
1375.74/1374.47	c cleaning 191998 clauses out of 384029 with flag 56630344/34502249
1384.22/1382.94	c cleaning 193005 clauses out of 386031 with flag 57241454/34696249
1392.61/1391.36	c cleaning 193999 clauses out of 388027 with flag 57860668/34891250
1401.30/1400.06	c cleaning 195012 clauses out of 390028 with flag 58430947/35087250
1411.67/1410.40	c cleaning 195994 clauses out of 392016 with flag 59013643/35284250
1420.05/1418.84	c cleaning 196989 clauses out of 394021 with flag 59654792/35482249
1428.53/1427.33	c cleaning 198008 clauses out of 396034 with flag 60250579/35681251
1438.10/1436.21	c cleaning 198992 clauses out of 398024 with flag 60848250/35881249
1447.08/1445.28	c cleaning 199986 clauses out of 400032 with flag 61478346/36082249
1456.86/1455.09	c cleaning 201010 clauses out of 402046 with flag 62079336/36284249
1465.34/1463.58	c cleaning 202007 clauses out of 404036 with flag 62676505/36487249
1474.13/1472.38	c cleaning 203001 clauses out of 406029 with flag 63337127/36691249
1482.68/1480.87	c cleaning 204003 clauses out of 408028 with flag 63968813/36896249
1492.46/1490.63	c cleaning 205003 clauses out of 410025 with flag 64563691/37102249
1502.34/1500.53	c cleaning 206001 clauses out of 412022 with flag 65182852/37309249
1515.42/1513.61	c cleaning 207002 clauses out of 414022 with flag 65784408/37517250
1524.99/1523.26	c cleaning 208011 clauses out of 416021 with flag 66405626/37726251
1534.07/1532.39	c cleaning 208999 clauses out of 418012 with flag 67041651/37936253
1543.76/1542.04	c cleaning 209975 clauses out of 420009 with flag 67678280/38147249
1554.53/1552.88	c cleaning 211009 clauses out of 422037 with flag 68360648/38359252
1564.81/1563.11	c cleaning 212009 clauses out of 424025 with flag 68979150/38572249
1573.88/1572.27	c cleaning 213001 clauses out of 426016 with flag 69618539/38786249
1585.06/1583.35	c cleaning 213994 clauses out of 428015 with flag 70241383/39001249
1595.14/1593.48	c cleaning 214984 clauses out of 430021 with flag 70897069/39217249
1604.42/1602.75	c cleaning 216017 clauses out of 432038 with flag 71577901/39434250
1614.49/1612.83	c cleaning 216996 clauses out of 434020 with flag 72274820/39652249
1624.38/1622.72	c cleaning 218009 clauses out of 436024 with flag 72971011/39871249
1634.96/1633.32	c cleaning 218999 clauses out of 438018 with flag 73612208/40091252
1646.13/1644.54	c cleaning 219995 clauses out of 440017 with flag 74282438/40312250
1656.81/1655.21	c cleaning 221005 clauses out of 442021 with flag 75011081/40534249
1666.79/1665.26	c cleaning 222004 clauses out of 444016 with flag 75720452/40757249
1677.36/1675.79	c cleaning 222996 clauses out of 446012 with flag 76452918/40981249
1688.94/1687.32	c cleaning 224001 clauses out of 448016 with flag 77179145/41206249
1699.21/1697.68	c cleaning 225003 clauses out of 450019 with flag 77866120/41432253
1711.59/1710.04	c cleaning 226000 clauses out of 452013 with flag 78514844/41659250
1722.86/1721.39	c cleaning 226989 clauses out of 454012 with flag 79173338/41887249
1733.55/1732.03	c cleaning 227998 clauses out of 456024 with flag 79918179/42116250
1744.92/1743.43	c cleaning 229011 clauses out of 458027 with flag 80657139/42346251
1756.79/1755.32	c cleaning 230004 clauses out of 460017 with flag 81379439/42577252
1767.67/1766.28	c cleaning 231003 clauses out of 462010 with flag 82081582/42809249
1778.35/1776.95	c cleaning 231994 clauses out of 464010 with flag 82805181/43042252
1789.49/1787.90	c cleaning 232993 clauses out of 466013 with flag 83515907/43276249
1799.77/1798.26	c cleaning 234001 clauses out of 468022 with flag 84227156/43511251
1810.55/1809.01	c cleaning 234999 clauses out of 470019 with flag 84919616/43747249
1821.82/1820.33	c cleaning 236001 clauses out of 472022 with flag 85660396/43984251
1833.50/1832.09	c cleaning 236998 clauses out of 474023 with flag 86338216/44222253
1845.17/1843.71	c cleaning 238005 clauses out of 476021 with flag 87035561/44461249
1855.64/1854.27	c cleaning 238999 clauses out of 478017 with flag 87768387/44701250
1867.12/1865.75	c cleaning 239995 clauses out of 480017 with flag 88484014/44942249
1879.60/1878.23	c cleaning 240981 clauses out of 482023 with flag 89209550/45184250
1891.90/1890.40	c cleaning 241993 clauses out of 484041 with flag 89950859/45427249
1902.97/1901.55	c cleaning 243023 clauses out of 486049 with flag 90680249/45671250
1914.64/1913.29	c cleaning 243994 clauses out of 488025 with flag 91447325/45916249
1927.41/1926.02	c cleaning 245015 clauses out of 490031 with flag 92248502/46162249
1941.97/1940.63	c cleaning 246006 clauses out of 492016 with flag 93024914/46409249
1953.25/1951.95	c cleaning 246998 clauses out of 494012 with flag 93761590/46657251
1966.32/1965.09	c cleaning 248005 clauses out of 496013 with flag 94490843/46906250
1979.86/1977.95	c cleaning 248996 clauses out of 498008 with flag 95216524/47156250
1991.94/1990.03	c cleaning 249980 clauses out of 500011 with flag 95995793/47407249
2004.81/2002.98	c cleaning 251007 clauses out of 502031 with flag 96774331/47659249
2016.68/2014.85	c cleaning 252006 clauses out of 504025 with flag 97551106/47912250
2030.25/2028.46	c cleaning 253010 clauses out of 506020 with flag 98340092/48166251
2042.33/2040.59	c cleaning 253993 clauses out of 508008 with flag 99090210/48421249
2057.07/2055.25	c cleaning 254997 clauses out of 510015 with flag 99856122/48677249
2070.64/2068.88	c cleaning 256004 clauses out of 512018 with flag 100646848/48934249
2083.11/2081.31	c cleaning 256982 clauses out of 514014 with flag 101416360/49192249
2095.70/2093.90	c cleaning 258006 clauses out of 516032 with flag 102238455/49451249
2109.66/2107.96	c cleaning 259013 clauses out of 518026 with flag 103008050/49711249
2121.64/2119.97	c cleaning 259997 clauses out of 520013 with flag 103785995/49972249
2134.32/2132.58	c cleaning 261004 clauses out of 522016 with flag 104581187/50234249
2150.09/2148.33	c cleaning 261969 clauses out of 524012 with flag 105387736/50497249
2167.56/2165.89	c cleaning 263007 clauses out of 526043 with flag 106207156/50761249
2180.03/2178.39	c cleaning 264016 clauses out of 528036 with flag 106993594/51026249
2194.10/2192.42	c cleaning 264981 clauses out of 530020 with flag 107795448/51292249
2207.07/2205.45	c cleaning 266015 clauses out of 532040 with flag 108631010/51559250
2221.24/2219.65	c cleaning 266998 clauses out of 534025 with flag 109466581/51827250
2244.39/2242.87	c cleaning 267998 clauses out of 536027 with flag 110220998/52096250
2257.50/2255.82	c cleaning 269007 clauses out of 538028 with flag 111044297/52366249
2269.97/2268.38	c cleaning 269997 clauses out of 540021 with flag 111831049/52637249
2283.84/2282.23	c cleaning 271008 clauses out of 542026 with flag 112614749/52909251
2298.71/2297.16	c cleaning 272008 clauses out of 544016 with flag 113447020/53182249
2312.58/2311.01	c cleaning 272997 clauses out of 546008 with flag 114312313/53456249
2328.56/2327.08	c cleaning 273995 clauses out of 548011 with flag 115128302/53731249
2341.33/2339.82	c cleaning 274995 clauses out of 550016 with flag 115943516/54007249
2355.06/2353.45	c cleaning 275998 clauses out of 552021 with flag 116791539/54284249
2369.63/2368.03	c cleaning 277012 clauses out of 554023 with flag 117601199/54562249
2384.40/2382.88	c cleaning 278003 clauses out of 556011 with flag 118447530/54841249
2399.17/2397.68	c cleaning 278981 clauses out of 558008 with flag 119312588/55121249
2413.55/2412.08	c cleaning 280005 clauses out of 560028 with flag 120138253/55402250
2429.40/2427.96	c cleaning 281006 clauses out of 562022 with flag 121009989/55684249
2444.76/2443.35	c cleaning 281989 clauses out of 564016 with flag 121866380/55967249
2458.33/2456.85	c cleaning 282995 clauses out of 566027 with flag 122766649/56251249
2472.30/2470.81	c cleaning 284009 clauses out of 568032 with flag 123631048/56536249
2486.58/2485.17	c cleaning 284995 clauses out of 570024 with flag 124490666/56822250
2501.14/2499.75	c cleaning 286007 clauses out of 572028 with flag 125365205/57109249
2516.91/2515.50	c cleaning 286985 clauses out of 574021 with flag 126245551/57397249
2533.10/2531.63	c cleaning 288008 clauses out of 576038 with flag 127102281/57686251
2547.58/2546.17	c cleaning 289001 clauses out of 578028 with flag 128009011/57976249
2564.45/2563.00	c cleaning 290007 clauses out of 580030 with flag 128864658/58267252
2579.22/2577.84	c cleaning 290981 clauses out of 582020 with flag 129753502/58559249
2597.57/2596.22	c cleaning 292018 clauses out of 584039 with flag 130627607/58852249
2613.71/2611.70	c cleaning 293005 clauses out of 586021 with flag 131524495/59146249
2629.17/2627.23	c cleaning 293963 clauses out of 588016 with flag 132442334/59441249
2644.15/2642.24	c cleaning 295023 clauses out of 590059 with flag 133360269/59737255
2659.31/2657.42	c cleaning 295997 clauses out of 592031 with flag 134289973/60034250
2674.62/2672.71	c cleaning 297015 clauses out of 594034 with flag 135173672/60332250
2690.20/2688.33	c cleaning 298000 clauses out of 596018 with flag 136102949/60631249
2705.87/2704.06	c cleaning 299003 clauses out of 598020 with flag 137009537/60931251
2721.23/2719.44	c cleaning 300005 clauses out of 600017 with flag 137941269/61232251
2736.40/2734.64	c cleaning 301004 clauses out of 602010 with flag 138824987/61534249
2752.34/2750.50	c cleaning 301980 clauses out of 604006 with flag 139756750/61837249
2768.50/2766.78	c cleaning 303002 clauses out of 606026 with flag 140693605/62141249
2784.87/2783.15	c cleaning 304009 clauses out of 608024 with flag 141574508/62446249
2800.63/2798.90	c cleaning 304994 clauses out of 610015 with flag 142481407/62752249
2816.20/2814.53	c cleaning 306005 clauses out of 612021 with flag 143438905/63059249
2833.26/2831.65	c cleaning 306997 clauses out of 614016 with flag 144392830/63367249
2852.74/2851.03	c cleaning 308003 clauses out of 616019 with flag 145376106/63676249
2872.19/2870.51	c cleaning 309004 clauses out of 618018 with flag 146319478/63986251
2887.76/2886.14	c cleaning 309993 clauses out of 620012 with flag 147262014/64297249
2903.42/2901.86	c cleaning 311003 clauses out of 622019 with flag 148256638/64609249
2924.29/2922.70	c cleaning 311999 clauses out of 624016 with flag 149162959/64922249
2939.35/2937.80	c cleaning 312999 clauses out of 626017 with flag 150086941/65236249
2956.53/2955.09	c cleaning 313996 clauses out of 628020 with flag 151030136/65551251
2971.62/2970.04	c cleaning 314998 clauses out of 630026 with flag 151959834/65867253
2989.69/2988.14	c cleaning 316000 clauses out of 632025 with flag 152932842/66184250
3005.35/3003.85	c cleaning 316986 clauses out of 634024 with flag 153917134/66502249
3022.12/3020.61	c cleaning 318013 clauses out of 636039 with flag 154905601/66821250
3039.98/3038.58	c cleaning 319007 clauses out of 638025 with flag 155878700/67141249
3062.93/3061.59	c cleaning 319999 clauses out of 640019 with flag 156727504/67462250
3091.08/3089.79	c cleaning 321005 clauses out of 642019 with flag 157541678/67784249
3123.62/3122.23	c cleaning 321999 clauses out of 644020 with flag 158381936/68107255
3145.67/3144.34	c cleaning 323002 clauses out of 646015 with flag 159225474/68431249
3181.79/3180.60	c cleaning 324002 clauses out of 648013 with flag 160073895/68756249
3199.04/3197.80	c cleaning 324994 clauses out of 650011 with flag 161048792/69082249
3216.39/3215.28	c cleaning 325994 clauses out of 652017 with flag 162011538/69409249
3234.46/3233.32	c cleaning 327005 clauses out of 654023 with flag 162967259/69737249
3251.06/3249.87	c cleaning 328003 clauses out of 656018 with flag 163967683/70066249
3272.82/3271.65	c cleaning 328997 clauses out of 658018 with flag 164941753/70396252
3291.18/3290.06	c cleaning 329993 clauses out of 660018 with flag 165928814/70727249
3308.55/3307.46	c cleaning 330981 clauses out of 662027 with flag 166934299/71059251
3328.37/3327.14	c cleaning 332024 clauses out of 664050 with flag 167973189/71392255
3346.33/3345.18	c cleaning 333010 clauses out of 666020 with flag 168968070/71726249
3364.59/3363.40	c cleaning 333993 clauses out of 668012 with flag 169978509/72061251
3383.75/3382.67	c cleaning 334990 clauses out of 670017 with flag 171017243/72397249
3405.53/3403.89	c cleaning 335995 clauses out of 672027 with flag 172021628/72734249
3426.99/3425.35	c cleaning 336999 clauses out of 674032 with flag 173064054/73072249
3446.61/3445.05	c cleaning 338017 clauses out of 676033 with flag 174127004/73411249
3468.47/3466.81	c cleaning 338999 clauses out of 678016 with flag 175147649/73751249
3488.73/3487.15	c cleaning 340009 clauses out of 680017 with flag 176109316/74092249
3507.78/3506.22	c cleaning 341001 clauses out of 682009 with flag 177106731/74434250
3529.84/3528.35	c cleaning 341997 clauses out of 684011 with flag 178168190/74777253
3549.10/3547.60	c cleaning 342994 clauses out of 686010 with flag 179212231/75121249
3569.97/3568.50	c cleaning 344007 clauses out of 688017 with flag 180282938/75466250
3589.12/3587.67	c cleaning 344990 clauses out of 690009 with flag 181339396/75812249
3600.00/3598.51	c starts		: 82706
3600.00/3598.52	c conflicts		: 76059074
3600.00/3598.52	c decisions		: 332167596
3600.00/3598.52	c propagations		: 6800532544
3600.00/3598.52	c inspects		: 21917933493
3600.00/3598.52	c shortcuts		: 0
3600.00/3598.52	c learnt literals	: 0
3600.00/3598.52	c learnt binary clauses	: 0
3600.00/3598.52	c learnt ternary clauses	: 0
3600.00/3598.52	c learnt constraints	: 76059074
3600.00/3598.52	c ignored constraints	: 0
3600.00/3598.52	c root simplifications	: 0
3600.00/3598.52	c removed literals (reason simplification)	: 213720096
3600.00/3598.52	c reason swapping (by a shorter reason)	: 0
3600.00/3598.52	c Calls to reduceDB	: 634
3600.00/3598.52	c Number of update (reduction) of LBD	: 29443707
3600.00/3598.52	c Imported unit clauses	: 0
3600.00/3598.52	c No decision after first conflict	: false
3600.00/3598.52	c number of reductions to clauses (during analyze)	: 0
3600.00/3598.52	c number of learned constraints concerned by reduction	: 0
3600.00/3598.52	c number of learning phase by resolution	: 0
3600.00/3598.52	c number of learning phase by cutting planes	: 0
3600.00/3598.52	c number of rounding to 1 operations	: 0
3600.00/3598.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3598.52	c number of reductions of the coefficients by power 2 	: 0
3600.00/3598.52	c number of right shift for reduction by power 2 	: 0
3600.00/3598.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3598.52	c number of ending skipping 	: 0
3600.00/3598.52	c number of internal skipping 	: 0
3600.00/3598.52	c number of derivation steps 	: 0
3600.00/3598.52	c number of skipped derivation steps 	: 0
3600.00/3598.52	c number of remaining unassigned 	: 0
3600.00/3598.53	c number of remaining assigned 	: 0
3600.00/3598.53	c number of falsified literals weakened from reason	: 0
3600.00/3598.53	c number of falsified literals weakened from conflict	: 0
3600.00/3598.53	c time for arithmetic operations	: 0
3600.00/3598.53	c minimum degree of deleted constraints	: null
3600.00/3598.53	c maximum degree of deleted constraints	: null
3600.00/3598.53	c number of deleted constraints	: 0
3600.00/3598.54	c speed (assignments/second)	: 1889932.960990114
3600.00/3598.54	c non guided choices	: 2
3600.21/3598.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 591844
3600.21/3598.61	s SATISFIABLE
3600.21/3598.61	c Found 10 solution(s)
3600.21/3598.61	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.21/3598.61	c objective function=28
3600.21/3598.61	c Total wall clock time (in seconds): 3598.477

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 (61897 MiB free)
  memory of node 1: 64465 MiB (62381 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487628-1751319289/watcher-4487628-1751319289 -o /tmp/evaluation-result-4487628-1751319289/solver-4487628-1751319289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751315455-42173 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4487628-1751319289.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.17 4.14 4.06 6/338 43428
/proc/meminfo: memFree=127244964/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=18930384 memory=57976 CPUtime=0.13 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 6602 0 0 0 12 1 0 0 20 0 18 0 47606468 19384713216 14494 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4732596 14494 5352 1 0 547640 0
[pid=43410/tid=43412] ppid=43407 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 5084 0 0 0 7 1 0 0 20 0 18 0 47606469 19384713216 14494 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47606471 19384713216 14494 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=18930384 memory=55186957824150 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47606472 19384713216 14494 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57976 KiB

[startup+0.205639 s]*
/proc/loadavg: 4.17 4.14 4.06 6/338 43428
/proc/meminfo: memFree=127234252/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=18930384 memory=66496 CPUtime=0.32 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 7147 0 0 0 30 2 0 0 20 0 18 0 47606468 19384713216 16624 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4732596 16624 5448 1 0 548007 0
[pid=43410/tid=43412] ppid=43407 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 5286 0 0 0 15 1 0 0 20 0 18 0 47606469 19384713216 16624 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47606471 19384713216 16624 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47606472 19384713216 16624 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66496 KiB

[startup+0.305572 s]*
/proc/loadavg: 4.17 4.14 4.06 6/339 43429
/proc/meminfo: memFree=127226692/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=18996948 memory=74432 CPUtime=0.5 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 9011 0 0 0 48 2 0 0 20 0 19 0 47606468 19452874752 18608 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4749237 18608 5480 1 0 549579 0
[pid=43410/tid=43412] ppid=43407 vsize=18996948 memory=-6000919477085432171 CPUtime=0.22 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 5408 0 0 0 21 1 0 0 20 0 19 0 47606469 19452874752 18608 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47606471 19452874752 18608 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47606472 19452874752 18608 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47606492 19452874752 18608 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74432 KiB

[startup+0.700232 s]
/proc/loadavg: 4.17 4.14 4.06 6/339 43429
/proc/meminfo: memFree=127215540/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=18996948 memory=86792 CPUtime=1.25 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 10951 0 0 0 122 3 0 0 20 0 19 0 47606468 19452874752 21698 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4749237 21698 5480 1 0 550996 0
[pid=43410/tid=43412] ppid=43407 vsize=18996948 memory=18176 CPUtime=0.58 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 5460 0 0 0 57 1 0 0 20 0 19 0 47606469 19452874752 21698 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47606471 19452874752 21698 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47606472 19452874752 21698 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47606492 19452874752 21698 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86792 KiB

[startup+1.50024 s]
/proc/loadavg: 4.23 4.15 4.07 6/339 43429
/proc/meminfo: memFree=127211444/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=18996948 memory=99816 CPUtime=2.74 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 16189 0 0 0 270 4 0 0 20 0 19 0 47606468 19452874752 24954 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4749237 24954 5480 1 0 551605 0
[pid=43410/tid=43412] ppid=43407 vsize=18996948 memory=10752 CPUtime=1.38 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 6080 0 0 0 136 2 0 0 20 0 19 0 47606469 19452874752 24954 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47606471 19452874752 24954 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47606472 19452874752 24954 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47606492 19452874752 24954 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99816 KiB

[startup+3.10545 s]
/proc/loadavg: 4.23 4.15 4.07 5/339 43429
/proc/meminfo: memFree=127178184/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=18996948 memory=124496 CPUtime=4.35 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 16827 0 0 0 431 4 0 0 20 0 19 0 47606468 19452874752 31124 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4749237 31124 5480 1 0 551622 0
[pid=43410/tid=43412] ppid=43407 vsize=18996948 memory=10752 CPUtime=2.97 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 6388 0 0 0 295 2 0 0 20 0 19 0 47606469 19452874752 31124 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=18996948 memory=-6000919477085432171 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47606471 19452874752 31124 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47606472 19452874752 31124 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47606492 19452874752 31124 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124496 KiB

[startup+6.30018 s]
/proc/loadavg: 4.21 4.15 4.07 5/339 43429
/proc/meminfo: memFree=127120856/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=175164 CPUtime=7.61 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 20930 0 0 0 756 5 0 0 20 0 20 0 47606468 19521036288 43791 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 43791 5544 1 0 551912 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=0 CPUtime=6.15 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 7001 0 0 0 612 3 0 0 20 0 20 0 47606469 19521036288 43791 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 43791 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 43791 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=101864 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 43791 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175164 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.15 4.07 5/340 43430
/proc/meminfo: memFree=126970060/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=183428 CPUtime=14 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 22644 0 0 0 1394 6 0 0 20 0 20 0 47606468 19521036288 45857 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 45857 5544 1 0 551912 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=101864 CPUtime=12.51 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 7539 0 0 0 1248 3 0 0 20 0 20 0 47606469 19521036288 45857 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 45857 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=175164 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 45857 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 45857 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183428 KiB

[startup+25.5002 s]
/proc/loadavg: 4.33 4.18 4.08 5/340 43430
/proc/meminfo: memFree=126844092/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=200112 CPUtime=26.8 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 24912 0 0 0 2673 7 0 0 20 0 20 0 47606468 19521036288 50028 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 50028 5576 1 0 551912 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=10752 CPUtime=25.26 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 8896 0 0 0 2523 3 0 0 20 0 20 0 47606469 19521036288 50028 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=175164 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 50028 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 50028 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 50028 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 26.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200112 KiB

[startup+51.1055 s]
/proc/loadavg: 4.50 4.24 4.10 5/340 43496
/proc/meminfo: memFree=126530536/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=343664 CPUtime=52.46 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 26837 0 0 0 5237 9 0 0 20 0 20 0 47606468 19521036288 85916 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 85916 5576 1 0 551912 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=343664 CPUtime=50.67 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 9781 0 0 0 5064 3 0 0 20 0 20 0 47606469 19521036288 85916 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=304720 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/338 43680
/proc/meminfo: memFree=120931016/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=2172560 CPUtime=3283.49 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 102123 0 0 0 328249 100 0 0 20 0 20 0 47606468 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 543140 5576 1 0 556681 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=2172560 CPUtime=3269.04 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 45981 0 0 0 326886 18 0 0 20 0 20 0 47606469 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=2172560 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 1895 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3283.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172560 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/339 43683
/proc/meminfo: memFree=121053268/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=2172560 CPUtime=3343.53 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 102289 0 0 0 334252 101 0 0 20 0 20 0 47606468 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 543140 5576 1 0 556681 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=18176 CPUtime=3328.74 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 45994 0 0 0 332856 18 0 0 20 0 20 0 47606469 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=2172560 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=2172560 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 1895 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 543140 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3343.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172560 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/339 43686
/proc/meminfo: memFree=121061348/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=2172688 CPUtime=3404.03 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 106499 0 0 0 340301 102 0 0 20 0 20 0 47606468 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 543172 5576 1 0 556708 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=2172688 CPUtime=3388.49 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 48585 0 0 0 338831 18 0 0 20 0 20 0 47606469 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=2172560 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 1895 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3404.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/340 44475
/proc/meminfo: memFree=121889936/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=2172688 CPUtime=3463.97 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 108160 0 0 0 346286 111 0 0 20 0 20 0 47606468 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 543172 5576 1 0 556708 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=2172560 CPUtime=3448.11 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 49517 0 0 0 344784 27 0 0 20 0 20 0 47606469 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=9984 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 2032 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=2172688 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3463.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.17 4.11 5/340 44477
/proc/meminfo: memFree=117447184/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=2172688 CPUtime=3523.86 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 108997 0 0 0 352273 113 0 0 20 0 20 0 47606468 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 543172 5576 1 0 556708 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=9984 CPUtime=3507.96 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 50164 0 0 0 350769 27 0 0 20 0 20 0 47606469 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=2172688 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=2172688 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 2163 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=2172688 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3523.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/341 44480
/proc/meminfo: memFree=116555904/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=2172688 CPUtime=3583.83 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 109674 0 0 0 358269 114 0 0 20 0 20 0 47606468 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 543172 5576 1 0 556708 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=10752 CPUtime=3567.67 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 50246 0 0 0 356740 27 0 0 20 0 20 0 47606469 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=2172688 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 2163 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=2172688 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3583.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.5 s]
/proc/loadavg: 4.20 4.17 4.12 5/341 44480
/proc/meminfo: memFree=116469944/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19063512 memory=2172688 CPUtime=3600 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 109898 0 0 0 359885 115 0 0 20 0 20 0 47606468 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4765878 543172 5576 1 0 556708 0
[pid=43410/tid=43412] ppid=43407 vsize=19063512 memory=2172688 CPUtime=3583.83 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 50438 0 0 0 358356 27 0 0 20 0 20 0 47606469 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19063512 memory=-6000919477085432171 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47606471 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19063512 memory=2172688 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 2163 0 0 0 0 0 0 0 20 0 20 0 47606472 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43429] ppid=43407 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/43410/task/43429/stat : 43429 (Timer-0) S 43407 43410 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47606492 19521036288 543172 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.07 s, system=1.17064 s

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

[startup+3598.6 s]
/proc/loadavg: 4.20 4.17 4.12 5/341 44480
/proc/meminfo: memFree=116469944/131249988 swapFree=33010684/33010684
[pid=43410] ppid=43407 vsize=19263204 memory=2173584 CPUtime=3600.21 cores=4,6
/proc/43410/stat : 43410 (java) S 43407 43410 42162 0 -1 4194304 111955 0 0 0 359905 116 0 0 20 0 21 0 47606468 19725520896 543396 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
/proc/43410/statm: 4815801 543396 5608 1 0 557648 0
[pid=43410/tid=43412] ppid=43407 vsize=19263204 memory=9088 CPUtime=3583.9 cores=4,6
/proc/43410/task/43412/stat : 43412 (java) R 43407 43410 42162 0 -1 4194368 50561 0 0 0 358363 27 0 0 20 0 21 0 47606469 19725520896 543396 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43421] ppid=43407 vsize=19263204 memory=7092 CPUtime=0 cores=4,6
/proc/43410/task/43421/stat : 43421 (Finalizer) S 43407 43410 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47606471 19725520896 543396 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
[pid=43410/tid=43428] ppid=43407 vsize=19263204 memory=10752 CPUtime=0 cores=4,6
/proc/43410/task/43428/stat : 43428 (Common-Cleaner) S 43407 43410 42162 0 -1 4194368 2163 0 0 0 0 0 0 0 20 0 21 0 47606472 19725520896 543396 18446744073709551615 94349297029120 94349297032816 140723916441680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94349297040632 94349297041424 94349329326080 140723916450177 140723916450278 140723916450278 140723916455880 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173584 KiB

Child status: 143

Real time (s): 3598.62
CPU time (s): 3600.24
CPU user time (s): 3599.07
CPU system time (s): 1.17064
CPU usage (%): 100.045
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2173584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 1.17064
maximum resident set size= 2173712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106550
involuntary context switches= 20899


# summary of solver processes directly reported to runsolver:
#   pid: 43410
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3599.07
#   total CPU system time (s): 1.17064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18233 second user time and 15.8653 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 23:34:49
IDJOB=4487628
IDBENCH=147209
IDSOLVER=3363
FILE ID=nodeC020/4487628-1751319289
RUNJOBID= nodeC020-1751315455-42173
SLURM_JOB_ID= 9594332
Free space on /tmp= 432948 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487628-1751319289/watcher-4487628-1751319289 -o /tmp/evaluation-result-4487628-1751319289/solver-4487628-1751319289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751315455-42173 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4487628-1751319289.opb

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

MD5SUM BENCH= dc8f15f122e8bf0ab63303347843dc21
RANDOM SEED=64926808

nodeC020 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		: 3599.906
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	: 6999.79
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		: 3599.900
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	: 6999.79
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		: 3593.504
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	: 6999.79
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		: 3586.494
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	: 6999.79
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		: 3599.893
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	: 6999.79
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		: 3599.893
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	: 6999.79
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.885
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	: 6999.79
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		: 3700.000
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	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127261912 kB
MemAvailable:   127539280 kB
Buffers:            3280 kB
Cached:          1082316 kB
SwapCached:            0 kB
Active:          2619184 kB
Inactive:         774376 kB
Active(anon):    2326020 kB
Inactive(anon):        0 kB
Active(file):     293164 kB
Inactive(file):   774376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1008 kB
Writeback:            12 kB
AnonPages:       2310604 kB
Mapped:           123792 kB
Shmem:             18056 kB
KReclaimable:      98132 kB
Slab:             185688 kB
SReclaimable:      98132 kB
SUnreclaim:        87556 kB
KernelStack:        5156 kB
PageTables:         8304 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7062200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2111488 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC020 at 2025-07-01 00:34:48