Trace number 4490710

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)34 3600.34 3600.75

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUM39a6e806d7aaba09f767f3cbd6afa1ec
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark72000.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.21	c java.vm.version	22.0.1+8-16
0.11/0.21	c java.vm.vendor	Oracle Corporation
0.11/0.21	c sun.arch.data.model	64
0.11/0.21	c java.version		22.0.1
0.11/0.21	c os.name		Linux
0.11/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.21	c os.arch		amd64
0.29/0.23	c Free memory 		2104792832
0.29/0.23	c Max memory 		16282288128
0.29/0.23	c Total memory 		2113929216
0.29/0.24	c Number of processors 	2
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c Expensive reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4490710-1751364063.opb
0.44/0.35	c reading problem ... 
0.44/0.35	c  objective function found
0.62/0.43	c ... done. Wall clock time 0.058s.
0.62/0.43	c declared #vars     172
0.62/0.43	c #constraints  14
0.62/0.43	c constraints type 
0.62/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.62/0.43	c 14 constraints processed.
0.62/0.45	c objective function length is 112 literals
0.75/0.58	c SATISFIABLE
0.75/0.58	c OPTIMIZING...
0.75/0.58	c Got one! Elapsed wall clock time (in seconds):0.235
0.75/0.58	o 498
2.06/1.22	c cleaning 2573 clauses out of 5170 with flag 10317/5170
2.66/1.51	c Got one! Elapsed wall clock time (in seconds):1.158
2.66/1.51	o 472
2.66/1.53	c Got one! Elapsed wall clock time (in seconds):1.182
2.66/1.53	o 462
2.66/1.59	c Got one! Elapsed wall clock time (in seconds):1.237
2.66/1.59	o 373
3.05/1.76	c cleaning 4299 clauses out of 8612 with flag 4261/11185
3.65/2.09	c cleaning 5147 clauses out of 10305 with flag 16696/17177
4.10/2.34	c cleaning 6065 clauses out of 12156 with flag 31356/24175
4.10/2.39	c Got one! Elapsed wall clock time (in seconds):2.043
4.10/2.39	o 371
4.38/2.54	c cleaning 5874 clauses out of 11786 with flag 8341/29870
4.38/2.57	c Got one! Elapsed wall clock time (in seconds):2.222
4.38/2.57	o 369
4.38/2.58	c Got one! Elapsed wall clock time (in seconds):2.231
4.38/2.58	o 367
4.38/2.59	c Got one! Elapsed wall clock time (in seconds):2.237
4.38/2.59	o 270
4.38/2.59	c Got one! Elapsed wall clock time (in seconds):2.242
4.38/2.59	o 262
4.55/2.60	c Got one! Elapsed wall clock time (in seconds):2.249
4.55/2.60	o 261
4.55/2.60	c Got one! Elapsed wall clock time (in seconds):2.253
4.55/2.60	o 260
4.55/2.61	c Got one! Elapsed wall clock time (in seconds):2.257
4.55/2.61	o 255
4.55/2.62	c Got one! Elapsed wall clock time (in seconds):2.27
4.55/2.62	o 253
4.55/2.64	c Got one! Elapsed wall clock time (in seconds):2.294
4.55/2.64	o 233
4.55/2.65	c Got one! Elapsed wall clock time (in seconds):2.3
4.55/2.65	o 232
4.55/2.67	c Got one! Elapsed wall clock time (in seconds):2.318
4.55/2.67	o 223
4.55/2.67	c Got one! Elapsed wall clock time (in seconds):2.324
4.55/2.67	o 221
4.55/2.68	c Got one! Elapsed wall clock time (in seconds):2.33
4.55/2.68	o 218
4.55/2.68	c Got one! Elapsed wall clock time (in seconds):2.333
4.55/2.68	o 216
4.72/2.75	c Got one! Elapsed wall clock time (in seconds):2.397
4.72/2.75	o 192
4.72/2.76	c Got one! Elapsed wall clock time (in seconds):2.407
4.72/2.76	o 175
4.72/2.77	c Got one! Elapsed wall clock time (in seconds):2.421
4.72/2.77	o 174
4.72/2.77	c Got one! Elapsed wall clock time (in seconds):2.424
4.72/2.77	o 173
4.72/2.78	c Got one! Elapsed wall clock time (in seconds):2.428
4.72/2.78	o 170
4.83/2.80	c Got one! Elapsed wall clock time (in seconds):2.453
4.83/2.80	o 169
4.83/2.81	c Got one! Elapsed wall clock time (in seconds):2.458
4.83/2.81	o 161
4.83/2.83	c Got one! Elapsed wall clock time (in seconds):2.476
4.83/2.83	o 160
4.83/2.83	c Got one! Elapsed wall clock time (in seconds):2.481
4.83/2.83	o 158
4.93/2.93	c Got one! Elapsed wall clock time (in seconds):2.579
4.93/2.93	o 157
4.93/2.99	c cleaning 9193 clauses out of 18399 with flag 2423/42357
5.07/3.03	c Got one! Elapsed wall clock time (in seconds):2.684
5.07/3.03	o 156
5.07/3.07	c Got one! Elapsed wall clock time (in seconds):2.723
5.07/3.07	o 155
5.27/3.13	c Got one! Elapsed wall clock time (in seconds):2.778
5.27/3.13	o 154
5.27/3.14	c Got one! Elapsed wall clock time (in seconds):2.792
5.27/3.14	o 153
5.27/3.15	c Got one! Elapsed wall clock time (in seconds):2.8
5.27/3.15	o 152
5.44/3.23	c cleaning 7669 clauses out of 15338 with flag 4669/48489
5.77/3.42	c Got one! Elapsed wall clock time (in seconds):3.067
5.77/3.42	o 151
5.77/3.47	c cleaning 6623 clauses out of 13251 with flag 2142/54071
5.98/3.66	c cleaning 6307 clauses out of 12613 with flag 16897/60056
5.98/3.67	c Got one! Elapsed wall clock time (in seconds):3.319
5.98/3.67	o 149
6.08/3.73	c Got one! Elapsed wall clock time (in seconds):3.385
6.08/3.73	o 119
6.43/3.92	c cleaning 6190 clauses out of 12379 with flag 9063/66129
7.03/4.25	c cleaning 6094 clauses out of 12188 with flag 22742/72128
7.35/4.42	c Got one! Elapsed wall clock time (in seconds):4.073
7.35/4.42	o 117
7.45/4.59	c cleaning 5982 clauses out of 11970 with flag 7124/78004
7.55/4.64	c Got one! Elapsed wall clock time (in seconds):4.287
7.55/4.64	o 116
7.55/4.69	c Got one! Elapsed wall clock time (in seconds):4.336
7.55/4.69	o 115
7.75/4.81	c cleaning 6123 clauses out of 12256 with flag 7221/84272
7.75/4.83	c Got one! Elapsed wall clock time (in seconds):4.483
7.75/4.83	o 113
7.75/4.88	c Got one! Elapsed wall clock time (in seconds):4.535
7.75/4.88	o 112
7.75/4.89	c Got one! Elapsed wall clock time (in seconds):4.545
7.75/4.89	o 111
7.85/4.97	c Got one! Elapsed wall clock time (in seconds):4.621
7.85/4.97	o 102
7.85/4.99	c Got one! Elapsed wall clock time (in seconds):4.644
7.85/4.99	o 100
7.95/5.00	c Got one! Elapsed wall clock time (in seconds):4.653
7.95/5.00	o 98
7.95/5.03	c Got one! Elapsed wall clock time (in seconds):4.685
7.95/5.03	o 97
7.95/5.07	c Got one! Elapsed wall clock time (in seconds):4.726
7.95/5.08	o 96
8.15/5.20	c Got one! Elapsed wall clock time (in seconds):4.848
8.15/5.20	o 94
8.15/5.22	c Got one! Elapsed wall clock time (in seconds):4.873
8.15/5.22	o 92
8.34/5.40	c Got one! Elapsed wall clock time (in seconds):5.056
8.34/5.40	o 90
8.54/5.60	c Got one! Elapsed wall clock time (in seconds):5.255
8.54/5.60	o 87
8.64/5.74	c cleaning 8906 clauses out of 17825 with flag 2104/95964
8.74/5.88	c Got one! Elapsed wall clock time (in seconds):5.536
8.74/5.88	o 85
8.95/6.11	c cleaning 7011 clauses out of 14030 with flag 7044/101075
9.34/6.47	c cleaning 6503 clauses out of 13021 with flag 21673/107077
9.84/6.91	c cleaning 6755 clauses out of 13515 with flag 39177/114074
10.34/7.32	c cleaning 7376 clauses out of 14763 with flag 56443/122077
10.34/7.39	c Got one! Elapsed wall clock time (in seconds):7.042
10.34/7.39	o 83
10.60/7.56	c cleaning 6310 clauses out of 12642 with flag 7094/127332
10.70/7.68	c Got one! Elapsed wall clock time (in seconds):7.332
10.70/7.68	o 81
10.90/7.81	c cleaning 6089 clauses out of 12188 with flag 4332/133188
11.11/8.07	c cleaning 6042 clauses out of 12098 with flag 18240/139187
11.11/8.10	c Got one! Elapsed wall clock time (in seconds):7.748
11.11/8.10	o 80
11.40/8.30	c cleaning 6010 clauses out of 12033 with flag 11157/145164
11.60/8.50	c cleaning 6001 clauses out of 12023 with flag 24138/151164
11.80/8.72	c cleaning 6509 clauses out of 13026 with flag 39615/158168
12.11/9.01	c cleaning 7261 clauses out of 14521 with flag 57213/166172
12.40/9.34	c cleaning 8123 clauses out of 16252 with flag 76516/175164
12.80/9.73	c cleaning 9063 clauses out of 18130 with flag 97612/185165
13.21/10.18	c cleaning 10022 clauses out of 20067 with flag 120477/196165
13.70/10.67	c cleaning 11021 clauses out of 22050 with flag 145605/208170
14.30/11.26	c cleaning 12011 clauses out of 24024 with flag 173448/221165
14.90/11.82	c Got one! Elapsed wall clock time (in seconds):11.47
14.90/11.82	o 78
15.29/12.21	c cleaning 14466 clauses out of 28953 with flag 11172/238105
15.29/12.21	c Got one! Elapsed wall clock time (in seconds):11.861
15.29/12.21	o 76
15.50/12.49	c cleaning 9774 clauses out of 19562 with flag 11133/243180
15.70/12.62	c Got one! Elapsed wall clock time (in seconds):12.27
15.70/12.62	o 75
15.80/12.75	c cleaning 7464 clauses out of 14938 with flag 4313/248330
15.80/12.79	c Got one! Elapsed wall clock time (in seconds):12.438
15.80/12.79	o 73
16.00/12.98	c cleaning 6343 clauses out of 12695 with flag 9285/253551
16.30/13.25	c cleaning 6165 clauses out of 12349 with flag 22749/259548
16.60/13.55	c cleaning 6585 clauses out of 13184 with flag 38491/266548
16.90/13.86	c cleaning 7297 clauses out of 14600 with flag 56247/274549
17.30/14.24	c cleaning 8147 clauses out of 16301 with flag 75863/283547
17.70/14.65	c cleaning 9074 clauses out of 18156 with flag 97582/293549
18.21/15.12	c cleaning 10033 clauses out of 20080 with flag 121219/304547
18.80/15.77	c cleaning 11023 clauses out of 22048 with flag 146906/316548
19.50/16.45	c cleaning 12009 clauses out of 24025 with flag 174096/329548
20.21/17.12	c cleaning 13005 clauses out of 26017 with flag 204576/343549
20.99/17.98	c cleaning 14007 clauses out of 28014 with flag 237407/358551
21.69/18.66	c Got one! Elapsed wall clock time (in seconds):18.314
21.69/18.66	o 71
22.10/19.02	c cleaning 16945 clauses out of 33896 with flag 11428/378440
22.10/19.05	c Got one! Elapsed wall clock time (in seconds):18.704
22.10/19.06	o 69
22.39/19.32	c cleaning 11395 clauses out of 22797 with flag 11082/384286
22.59/19.54	c cleaning 8688 clauses out of 17401 with flag 24623/390285
22.79/19.79	c cleaning 7841 clauses out of 15713 with flag 40065/397285
23.10/20.11	c cleaning 7921 clauses out of 15874 with flag 58200/405287
23.49/20.44	c cleaning 8472 clauses out of 16951 with flag 78126/414285
23.59/20.51	c Got one! Elapsed wall clock time (in seconds):20.161
23.59/20.51	o 68
23.69/20.66	c cleaning 6886 clauses out of 13790 with flag 6580/419596
23.89/20.87	c cleaning 6442 clauses out of 12904 with flag 20043/425596
24.20/21.18	c cleaning 6728 clauses out of 13461 with flag 36980/432595
24.29/21.28	c Got one! Elapsed wall clock time (in seconds):20.935
24.29/21.28	o 67
24.39/21.39	c cleaning 5958 clauses out of 11925 with flag 4418/437787
24.59/21.58	c cleaning 5975 clauses out of 11963 with flag 17693/443783
24.69/21.63	c Got one! Elapsed wall clock time (in seconds):21.278
24.69/21.63	o 66
24.80/21.75	c cleaning 5616 clauses out of 11242 with flag 6650/449037
25.00/21.94	c cleaning 5810 clauses out of 11626 with flag 20713/455037
25.30/22.21	c cleaning 6408 clauses out of 12816 with flag 36568/462037
25.61/22.50	c cleaning 7196 clauses out of 14409 with flag 54809/470038
25.90/22.82	c cleaning 8105 clauses out of 16211 with flag 75570/479036
26.30/23.25	c cleaning 9051 clauses out of 18106 with flag 98612/489036
26.60/23.53	c Got one! Elapsed wall clock time (in seconds):23.178
26.60/23.53	o 65
26.80/23.78	c cleaning 10793 clauses out of 21591 with flag 11358/501572
27.12/24.02	c cleaning 8395 clauses out of 16801 with flag 24804/507575
27.12/24.10	c Got one! Elapsed wall clock time (in seconds):23.756
27.12/24.10	o 64
27.30/24.23	c cleaning 6966 clauses out of 13950 with flag 6801/513119
27.30/24.24	c Got one! Elapsed wall clock time (in seconds):23.888
27.30/24.24	o 63
27.50/24.43	c cleaning 6052 clauses out of 12119 with flag 10702/518254
27.50/24.45	c Got one! Elapsed wall clock time (in seconds):24.104
27.50/24.45	o 61
27.71/24.66	c cleaning 5922 clauses out of 11874 with flag 10908/524061
27.91/24.87	c cleaning 5963 clauses out of 11943 with flag 23414/530052
28.12/25.09	c cleaning 6489 clauses out of 12985 with flag 38017/537057
28.40/25.35	c cleaning 7246 clauses out of 14492 with flag 54923/545053
28.70/25.60	c Got one! Elapsed wall clock time (in seconds):25.256
28.70/25.60	o 56
28.90/25.89	c cleaning 10092 clauses out of 20183 with flag 10691/557990
29.00/25.98	c Got one! Elapsed wall clock time (in seconds):25.63
29.00/25.98	o 55
29.22/26.16	c cleaning 7798 clauses out of 15598 with flag 6626/563497
29.30/26.28	c Got one! Elapsed wall clock time (in seconds):25.929
29.30/26.28	o 54
29.50/26.41	c cleaning 6564 clauses out of 13135 with flag 4444/568832
29.70/26.63	c cleaning 6276 clauses out of 12571 with flag 17269/574832
30.00/26.91	c cleaning 6643 clauses out of 13296 with flag 31986/581833
30.30/27.20	c cleaning 7325 clauses out of 14653 with flag 49236/589833
30.60/27.50	c Got one! Elapsed wall clock time (in seconds):27.153
30.60/27.50	o 52
30.80/27.77	c cleaning 10601 clauses out of 21203 with flag 10749/603708
31.00/28.00	c cleaning 8301 clauses out of 16605 with flag 23518/609711
31.21/28.19	c Got one! Elapsed wall clock time (in seconds):27.842
31.21/28.19	o 50
31.50/28.49	c cleaning 9447 clauses out of 18903 with flag 11271/620310
31.90/28.80	c cleaning 7727 clauses out of 15463 with flag 24422/626317
31.90/28.84	c Got one! Elapsed wall clock time (in seconds):28.492
31.90/28.84	o 49
32.11/29.01	c cleaning 6455 clauses out of 12921 with flag 8925/631502
32.21/29.18	c cleaning 6224 clauses out of 12469 with flag 21988/637505
32.50/29.41	c cleaning 6615 clauses out of 13242 with flag 36701/644502
32.71/29.68	c cleaning 7312 clauses out of 14625 with flag 53784/652500
33.00/29.96	c cleaning 8156 clauses out of 16313 with flag 72907/661500
33.40/30.33	c cleaning 9080 clauses out of 18160 with flag 93899/671503
33.80/30.78	c cleaning 10040 clauses out of 20079 with flag 116855/682502
34.30/31.24	c cleaning 11011 clauses out of 22037 with flag 142566/694500
34.90/31.81	c cleaning 12012 clauses out of 24026 with flag 170241/707500
35.50/32.47	c cleaning 12999 clauses out of 26016 with flag 199587/721502
36.21/33.19	c cleaning 14000 clauses out of 28015 with flag 231140/736500
37.10/34.06	c cleaning 15008 clauses out of 30015 with flag 264214/752500
37.99/34.95	c cleaning 15996 clauses out of 32008 with flag 300289/769501
38.90/35.89	c cleaning 17005 clauses out of 34011 with flag 338191/787500
39.99/36.92	c cleaning 17993 clauses out of 36010 with flag 378373/806504
40.29/37.27	c Got one! Elapsed wall clock time (in seconds):36.917
40.29/37.27	o 48
40.69/37.69	c cleaning 15409 clauses out of 30837 with flag 10986/819324
40.99/38.01	c cleaning 10711 clauses out of 21427 with flag 24050/825323
41.29/38.26	c cleaning 8852 clauses out of 17719 with flag 39046/832326
41.59/38.53	c cleaning 8417 clauses out of 16865 with flag 56378/840324
41.89/38.87	c cleaning 8719 clauses out of 17448 with flag 75444/849324
42.39/39.31	c cleaning 9359 clauses out of 18730 with flag 96669/859325
42.78/39.73	c cleaning 10175 clauses out of 20371 with flag 119920/870325
43.28/40.24	c cleaning 11093 clauses out of 22194 with flag 145329/882323
43.88/40.81	c cleaning 12052 clauses out of 24104 with flag 172386/895326
44.48/41.41	c cleaning 13026 clauses out of 26054 with flag 201772/909328
45.09/42.09	c cleaning 14010 clauses out of 28023 with flag 233489/924323
45.98/42.90	c cleaning 15006 clauses out of 30014 with flag 266553/940324
46.78/43.73	c cleaning 15999 clauses out of 32008 with flag 301202/957324
47.58/44.55	c cleaning 17005 clauses out of 34011 with flag 337831/975326
48.58/45.55	c cleaning 17996 clauses out of 36005 with flag 376481/994325
49.68/46.67	c cleaning 19004 clauses out of 38011 with flag 417342/1014327
51.01/47.97	c cleaning 20001 clauses out of 40004 with flag 460291/1035324
52.31/49.20	c cleaning 21001 clauses out of 42006 with flag 505202/1057327
53.72/50.67	c cleaning 22005 clauses out of 44009 with flag 552124/1080331
54.92/51.81	c cleaning 22995 clauses out of 45997 with flag 601537/1104324
56.13/53.08	c cleaning 24001 clauses out of 48003 with flag 653109/1129325
57.51/54.48	c cleaning 24995 clauses out of 50003 with flag 707853/1155326
59.41/56.33	c cleaning 26002 clauses out of 52007 with flag 764253/1182325
61.22/58.11	c cleaning 27002 clauses out of 54004 with flag 821575/1210324
64.22/61.12	c cleaning 27998 clauses out of 56001 with flag 881560/1239323
66.00/62.98	c cleaning 28998 clauses out of 58005 with flag 943349/1269325
68.41/65.30	c cleaning 29992 clauses out of 60007 with flag 1006558/1300325
71.23/68.13	c cleaning 31004 clauses out of 62013 with flag 1072076/1332323
74.22/71.14	c cleaning 32005 clauses out of 64010 with flag 1139796/1365324
76.70/73.69	c cleaning 33003 clauses out of 66007 with flag 1209628/1399326
79.45/76.31	c cleaning 33988 clauses out of 68001 with flag 1281966/1434323
82.26/79.12	c cleaning 35001 clauses out of 70015 with flag 1356813/1470325
84.94/81.82	c cleaning 35992 clauses out of 72013 with flag 1433749/1507324
87.64/84.54	c cleaning 36994 clauses out of 74020 with flag 1512588/1545323
91.14/88.02	c cleaning 38008 clauses out of 76031 with flag 1596599/1584328
94.74/91.61	c cleaning 39000 clauses out of 78021 with flag 1680887/1624326
97.64/94.51	c cleaning 40006 clauses out of 80024 with flag 1767860/1665329
100.63/97.54	c cleaning 41000 clauses out of 82012 with flag 1855113/1707323
104.15/101.05	c cleaning 41996 clauses out of 84019 with flag 1943601/1750330
104.93/101.82	c Got one! Elapsed wall clock time (in seconds):101.473
104.93/101.82	o 47
105.53/102.49	c cleaning 30437 clauses out of 60888 with flag 10723/1769195
105.93/102.84	c cleaning 18214 clauses out of 36447 with flag 23452/1775191
106.33/103.22	c cleaning 12609 clauses out of 25232 with flag 38117/1782190
106.53/103.48	c cleaning 10300 clauses out of 20624 with flag 54771/1790191
106.83/103.78	c cleaning 9648 clauses out of 19323 with flag 73664/1799190
107.24/104.12	c cleaning 9828 clauses out of 19676 with flag 94608/1809191
107.53/104.48	c cleaning 10422 clauses out of 20847 with flag 117796/1820190
107.93/104.89	c cleaning 11212 clauses out of 22425 with flag 143052/1832190
108.43/105.32	c cleaning 12102 clauses out of 24218 with flag 170167/1845195
108.93/105.81	c cleaning 13052 clauses out of 26111 with flag 199503/1859190
109.43/106.33	c cleaning 14029 clauses out of 28061 with flag 230852/1874192
110.02/106.93	c cleaning 15011 clauses out of 30032 with flag 264535/1890192
110.72/107.67	c cleaning 16000 clauses out of 32019 with flag 300137/1907190
111.52/108.49	c cleaning 17008 clauses out of 34023 with flag 337669/1925194
112.32/109.27	c cleaning 18002 clauses out of 36011 with flag 377352/1944190
113.23/110.15	c cleaning 19005 clauses out of 38011 with flag 419017/1964192
114.32/111.22	c cleaning 20000 clauses out of 40006 with flag 464137/1985192
115.31/112.24	c cleaning 20998 clauses out of 42005 with flag 510871/2007191
116.41/113.30	c cleaning 22001 clauses out of 44009 with flag 559421/2030193
117.51/114.40	c cleaning 22995 clauses out of 46006 with flag 610081/2054191
119.22/116.11	c cleaning 24001 clauses out of 48012 with flag 663521/2079192
120.60/117.58	c cleaning 24998 clauses out of 50010 with flag 718689/2105191
122.40/119.30	c cleaning 26004 clauses out of 52011 with flag 775309/2132190
123.80/120.70	c cleaning 26994 clauses out of 54008 with flag 833666/2160191
125.40/122.39	c cleaning 28006 clauses out of 56013 with flag 894999/2189190
127.40/124.31	c cleaning 29006 clauses out of 58011 with flag 959644/2219194
129.10/126.08	c cleaning 30000 clauses out of 60001 with flag 1025331/2250190
130.89/127.87	c cleaning 30994 clauses out of 62002 with flag 1092733/2282191
132.88/129.84	c cleaning 32001 clauses out of 64007 with flag 1162639/2315190
134.89/131.83	c cleaning 32998 clauses out of 66006 with flag 1233195/2349190
137.13/134.04	c cleaning 34004 clauses out of 68009 with flag 1305753/2384191
139.51/136.43	c cleaning 34994 clauses out of 70004 with flag 1380953/2420190
141.60/138.58	c cleaning 36000 clauses out of 72010 with flag 1459477/2457190
144.11/141.02	c cleaning 37004 clauses out of 74012 with flag 1540957/2495192
147.29/144.29	c cleaning 38000 clauses out of 76007 with flag 1623498/2534191
150.55/147.49	c cleaning 39001 clauses out of 78012 with flag 1709303/2574196
153.84/150.70	c cleaning 40003 clauses out of 80005 with flag 1796981/2615190
157.14/154.08	c cleaning 40998 clauses out of 82002 with flag 1887867/2657190
160.52/157.49	c cleaning 41999 clauses out of 84004 with flag 1979450/2700190
164.13/161.04	c cleaning 43002 clauses out of 86006 with flag 2073482/2744191
167.29/164.16	c cleaning 43996 clauses out of 88004 with flag 2168064/2789191
170.18/167.03	c cleaning 45000 clauses out of 90008 with flag 2265672/2835191
173.18/170.09	c cleaning 45999 clauses out of 92007 with flag 2364718/2882190
176.46/173.31	c cleaning 47003 clauses out of 94010 with flag 2466685/2930192
179.85/176.80	c cleaning 48001 clauses out of 96010 with flag 2571143/2979195
183.64/180.54	c cleaning 49001 clauses out of 98007 with flag 2678782/3029193
187.93/184.89	c cleaning 50000 clauses out of 100003 with flag 2787524/3080190
191.72/188.64	c cleaning 51000 clauses out of 102003 with flag 2896403/3132190
195.82/192.79	c cleaning 51995 clauses out of 104004 with flag 3009610/3185191
201.17/198.10	c cleaning 52992 clauses out of 106008 with flag 3126962/3239190
205.76/202.69	c cleaning 54001 clauses out of 108016 with flag 3245818/3294190
211.04/207.97	c cleaning 55006 clauses out of 110015 with flag 3364027/3350190
216.04/212.96	c cleaning 56004 clauses out of 112009 with flag 3484738/3407190
221.17/218.03	c cleaning 56997 clauses out of 114006 with flag 3605549/3465191
225.95/222.81	c cleaning 58004 clauses out of 116009 with flag 3729034/3524191
231.34/228.27	c cleaning 58996 clauses out of 118005 with flag 3857550/3584191
238.25/235.17	c cleaning 60003 clauses out of 120009 with flag 3988354/3645191
242.73/239.65	c Got one! Elapsed wall clock time (in seconds):239.3
242.73/239.65	o 45
244.06/240.96	c cleaning 57964 clauses out of 115941 with flag 11068/3701126
244.56/241.48	c cleaning 31976 clauses out of 63976 with flag 24320/3707125
244.96/241.88	c cleaning 19491 clauses out of 39000 with flag 39724/3714125
245.36/242.23	c cleaning 13734 clauses out of 27512 with flag 56756/3722128
245.66/242.54	c cleaning 11380 clauses out of 22779 with flag 76522/3731129
245.96/242.90	c cleaning 10697 clauses out of 21403 with flag 98486/3741133
246.36/243.29	c cleaning 10842 clauses out of 21699 with flag 122213/3752126
246.86/243.71	c cleaning 11427 clauses out of 22858 with flag 147997/3764127
247.37/244.21	c cleaning 12210 clauses out of 24429 with flag 175983/3777125
247.87/244.74	c cleaning 13109 clauses out of 26220 with flag 206497/3791126
248.46/245.33	c cleaning 14055 clauses out of 28113 with flag 239511/3806128
248.96/245.82	c Got one! Elapsed wall clock time (in seconds):245.47
248.96/245.82	o 44
249.28/246.12	c cleaning 15867 clauses out of 31743 with flag 11124/3823813
249.46/246.34	c cleaning 10926 clauses out of 21873 with flag 23930/3829810
249.66/246.57	c cleaning 8968 clauses out of 17953 with flag 39109/3836816
249.96/246.81	c cleaning 8484 clauses out of 16979 with flag 56204/3844810
250.17/247.10	c cleaning 8741 clauses out of 17495 with flag 75904/3853810
250.56/247.44	c cleaning 9378 clauses out of 18756 with flag 97648/3863812
250.96/247.86	c cleaning 10191 clauses out of 20382 with flag 121612/3874816
251.36/248.27	c cleaning 11088 clauses out of 22186 with flag 147662/3886811
251.86/248.78	c cleaning 12045 clauses out of 24098 with flag 176339/3899811
252.46/249.34	c cleaning 13021 clauses out of 26052 with flag 207022/3913810
253.18/250.04	c cleaning 14013 clauses out of 28031 with flag 239906/3928810
253.87/250.72	c cleaning 15008 clauses out of 30018 with flag 275103/3944810
254.67/251.50	c cleaning 16000 clauses out of 32011 with flag 312997/3961811
254.77/251.63	c Got one! Elapsed wall clock time (in seconds):251.28
254.77/251.63	o 43
254.87/251.76	c cleaning 10891 clauses out of 21787 with flag 4213/3967587
255.07/251.98	c cleaning 8441 clauses out of 16900 with flag 17427/3973591
255.28/252.19	c cleaning 7715 clauses out of 15456 with flag 32043/3980588
255.56/252.43	c cleaning 7870 clauses out of 15742 with flag 49047/3988589
255.76/252.67	c cleaning 8424 clauses out of 16871 with flag 68694/3997588
256.06/252.97	c cleaning 9217 clauses out of 18446 with flag 90240/4007587
256.46/253.34	c cleaning 10116 clauses out of 20231 with flag 114281/4018589
256.96/253.81	c cleaning 11057 clauses out of 22117 with flag 140319/4030591
257.46/254.35	c cleaning 12028 clauses out of 24057 with flag 168798/4043588
258.06/254.91	c cleaning 13010 clauses out of 26028 with flag 199461/4057587
258.76/255.63	c cleaning 14010 clauses out of 28020 with flag 233410/4072589
259.46/256.34	c cleaning 15001 clauses out of 30008 with flag 268458/4088587
260.17/257.09	c cleaning 15998 clauses out of 32009 with flag 304959/4105589
261.06/257.99	c cleaning 17002 clauses out of 34010 with flag 342852/4123588
262.06/258.93	c cleaning 18000 clauses out of 36009 with flag 382617/4142589
263.06/259.95	c cleaning 19003 clauses out of 38008 with flag 424279/4162588
264.17/261.09	c cleaning 20001 clauses out of 40005 with flag 469876/4183588
265.35/262.20	c cleaning 20999 clauses out of 42003 with flag 517283/4205587
266.65/263.50	c cleaning 22000 clauses out of 44005 with flag 567801/4228588
268.16/265.05	c cleaning 22998 clauses out of 46004 with flag 619994/4252587
269.64/266.50	c cleaning 23995 clauses out of 48006 with flag 675205/4277587
271.34/268.26	c cleaning 25007 clauses out of 50020 with flag 731543/4303596
273.03/269.98	c cleaning 26001 clauses out of 52004 with flag 791711/4330587
274.93/271.81	c cleaning 27000 clauses out of 54003 with flag 852728/4358587
276.82/273.79	c cleaning 28001 clauses out of 56007 with flag 916638/4387591
279.02/275.98	c cleaning 29002 clauses out of 58003 with flag 982821/4417588
281.41/278.34	c cleaning 29998 clauses out of 60004 with flag 1050952/4448591
283.51/280.48	c cleaning 31004 clauses out of 62007 with flag 1120136/4480592
285.80/282.72	c cleaning 31998 clauses out of 63998 with flag 1191319/4513587
288.21/285.12	c cleaning 32995 clauses out of 66000 with flag 1265958/4547587
290.49/287.46	c cleaning 34002 clauses out of 68007 with flag 1342891/4582589
293.39/290.37	c cleaning 35001 clauses out of 70004 with flag 1421563/4618588
296.38/293.39	c cleaning 35997 clauses out of 72004 with flag 1503353/4655589
298.68/295.61	c cleaning 36993 clauses out of 74005 with flag 1586724/4693587
301.38/298.37	c cleaning 38005 clauses out of 76014 with flag 1670129/4732589
304.37/301.34	c cleaning 39002 clauses out of 78007 with flag 1757467/4772587
307.87/304.83	c cleaning 39999 clauses out of 80005 with flag 1846557/4813587
311.36/308.31	c cleaning 41002 clauses out of 82007 with flag 1938375/4855588
314.25/311.29	c cleaning 42001 clauses out of 84004 with flag 2030771/4898587
317.94/314.93	c cleaning 43001 clauses out of 86003 with flag 2126062/4942587
321.54/318.54	c cleaning 44001 clauses out of 88002 with flag 2221625/4987587
324.84/321.81	c cleaning 45001 clauses out of 90002 with flag 2320182/5033588
328.33/325.39	c cleaning 45997 clauses out of 92000 with flag 2418410/5080587
332.04/329.03	c cleaning 47002 clauses out of 94004 with flag 2520723/5128588
336.31/333.39	c cleaning 48001 clauses out of 96001 with flag 2626149/5177587
341.12/338.18	c cleaning 49000 clauses out of 98000 with flag 2735193/5227587
345.12/342.13	c cleaning 49998 clauses out of 100004 with flag 2845983/5278591
349.01/346.05	c cleaning 51004 clauses out of 102008 with flag 2958277/5330593
353.29/350.37	c cleaning 51992 clauses out of 103999 with flag 3073508/5383588
357.19/354.28	c cleaning 53002 clauses out of 106006 with flag 3189503/5437587
361.78/358.86	c cleaning 53992 clauses out of 108004 with flag 3306924/5492587
366.37/363.41	c cleaning 54999 clauses out of 110012 with flag 3427986/5548587
370.47/367.52	c cleaning 56007 clauses out of 112016 with flag 3548856/5605590
375.66/372.79	c cleaning 57004 clauses out of 114008 with flag 3674947/5663589
380.85/377.99	c cleaning 57996 clauses out of 116003 with flag 3797901/5722588
385.65/382.80	c cleaning 59001 clauses out of 118006 with flag 3925428/5782587
391.84/388.85	c cleaning 60003 clauses out of 120006 with flag 4054555/5843588
397.06/394.04	c cleaning 60996 clauses out of 122002 with flag 4185291/5905587
402.43/399.40	c cleaning 62000 clauses out of 124009 with flag 4317187/5968590
407.62/404.64	c cleaning 62999 clauses out of 126007 with flag 4450732/6032588
413.51/410.59	c cleaning 63997 clauses out of 128007 with flag 4584391/6097587
420.30/417.32	c cleaning 64997 clauses out of 130010 with flag 4726504/6163587
429.88/426.90	c cleaning 66005 clauses out of 132018 with flag 4872327/6230592
439.06/436.08	c cleaning 67001 clauses out of 134008 with flag 5020570/6298587
448.14/445.12	c cleaning 67999 clauses out of 136008 with flag 5171805/6367588
459.03/456.07	c cleaning 69002 clauses out of 138011 with flag 5328879/6437590
469.60/466.66	c cleaning 69994 clauses out of 140010 with flag 5489920/6508591
475.10/472.18	c Got one! Elapsed wall clock time (in seconds):471.83
475.10/472.18	o 42
476.69/473.70	c cleaning 65767 clauses out of 131552 with flag 11180/6570127
476.79/473.89	c Got one! Elapsed wall clock time (in seconds):473.545
476.79/473.89	o 41
477.39/474.41	c cleaning 35612 clauses out of 71237 with flag 6588/6575579
477.69/474.76	c cleaning 20813 clauses out of 41638 with flag 19847/6581592
478.00/475.02	c cleaning 13894 clauses out of 27811 with flag 34691/6588578
478.33/475.32	c cleaning 10951 clauses out of 21917 with flag 52072/6596578
478.63/475.61	c cleaning 9972 clauses out of 19970 with flag 71478/6605582
478.93/475.91	c cleaning 9983 clauses out of 19994 with flag 93463/6615578
479.23/476.29	c cleaning 10505 clauses out of 21015 with flag 117489/6626582
479.73/476.70	c cleaning 11253 clauses out of 22506 with flag 144368/6638578
480.23/477.25	c cleaning 12127 clauses out of 24253 with flag 173183/6651578
480.72/477.77	c cleaning 13056 clauses out of 26126 with flag 204601/6665578
481.32/478.35	c cleaning 14032 clauses out of 28070 with flag 238407/6680578
482.03/479.09	c cleaning 15016 clauses out of 30040 with flag 273195/6696580
482.72/479.76	c cleaning 16013 clauses out of 32026 with flag 309901/6713582
483.52/480.55	c cleaning 17004 clauses out of 34011 with flag 349382/6731580
484.32/481.37	c cleaning 17998 clauses out of 36010 with flag 390947/6750583
485.21/482.25	c cleaning 19000 clauses out of 38009 with flag 434731/6770580
486.21/483.25	c cleaning 19993 clauses out of 40008 with flag 480593/6791579
487.41/484.41	c cleaning 21005 clauses out of 42014 with flag 530086/6813578
488.61/485.65	c cleaning 21999 clauses out of 44009 with flag 579925/6836578
489.90/486.98	c cleaning 23007 clauses out of 46014 with flag 631668/6860582
491.30/488.36	c cleaning 24003 clauses out of 48010 with flag 686962/6885585
492.70/489.75	c cleaning 25001 clauses out of 50001 with flag 743052/6911579
494.39/491.45	c cleaning 25997 clauses out of 52002 with flag 802230/6938581
496.10/493.14	c cleaning 27001 clauses out of 54002 with flag 862176/6966578
498.00/495.01	c cleaning 28001 clauses out of 56001 with flag 924996/6995578
499.58/496.69	c cleaning 28994 clauses out of 58000 with flag 989744/7025578
501.68/498.71	c cleaning 30004 clauses out of 60008 with flag 1055665/7056580
503.68/500.70	c cleaning 31005 clauses out of 62009 with flag 1125091/7088585
505.79/502.84	c cleaning 31995 clauses out of 63997 with flag 1195214/7121578
508.19/505.27	c cleaning 32996 clauses out of 66002 with flag 1267811/7155578
510.28/507.39	c cleaning 34003 clauses out of 68008 with flag 1342602/7190580
512.99/510.03	c cleaning 35003 clauses out of 70007 with flag 1421314/7226582
515.87/512.92	c cleaning 35999 clauses out of 72000 with flag 1502584/7263578
518.67/515.75	c cleaning 36998 clauses out of 74001 with flag 1585902/7301578
522.57/519.63	c cleaning 37996 clauses out of 76003 with flag 1674402/7340578
525.66/522.71	c cleaning 38990 clauses out of 78008 with flag 1763294/7380579
529.26/526.34	c cleaning 40003 clauses out of 80018 with flag 1854825/7421579
532.66/529.74	c cleaning 41004 clauses out of 82018 with flag 1946790/7463582
536.97/534.06	c cleaning 42002 clauses out of 84010 with flag 2043141/7506578
541.15/538.28	c cleaning 43001 clauses out of 86012 with flag 2140682/7550582
545.54/542.61	c cleaning 43992 clauses out of 88008 with flag 2237904/7595579
549.54/546.61	c cleaning 44999 clauses out of 90018 with flag 2337041/7641581
554.04/551.13	c cleaning 46002 clauses out of 92018 with flag 2441701/7688580
558.62/555.76	c cleaning 47008 clauses out of 94018 with flag 2546876/7736582
563.04/560.19	c cleaning 48000 clauses out of 96006 with flag 2653273/7785578
567.41/564.53	c cleaning 49005 clauses out of 98011 with flag 2759522/7835583
572.51/569.62	c cleaning 49999 clauses out of 100001 with flag 2868638/7886578
577.10/574.24	c cleaning 51001 clauses out of 102003 with flag 2981916/7938579
581.59/578.72	c cleaning 51998 clauses out of 104006 with flag 3095190/7991583
585.38/582.50	c cleaning 53001 clauses out of 106003 with flag 3210992/8045578
590.38/587.51	c cleaning 54002 clauses out of 108005 with flag 3328416/8100581
596.37/593.52	c cleaning 54996 clauses out of 110000 with flag 3450773/8156578
602.56/599.72	c cleaning 55998 clauses out of 112004 with flag 3576962/8213578
609.88/606.70	c cleaning 57003 clauses out of 114007 with flag 3701511/8271579
616.67/613.59	c cleaning 57999 clauses out of 116003 with flag 3829793/8330578
623.17/620.04	c cleaning 59004 clauses out of 118011 with flag 3960186/8390585
630.45/627.38	c cleaning 59988 clauses out of 120001 with flag 4092709/8451579
637.33/634.21	c cleaning 61003 clauses out of 122013 with flag 4227268/8513579
643.24/640.15	c cleaning 62006 clauses out of 124011 with flag 4362452/8576580
649.52/646.45	c cleaning 62992 clauses out of 126004 with flag 4500230/8640579
656.80/653.70	c cleaning 63999 clauses out of 128012 with flag 4640257/8705579
663.82/660.77	c cleaning 65005 clauses out of 130014 with flag 4782493/8771580
669.01/665.97	c cleaning 65994 clauses out of 132007 with flag 4928115/8838578
674.60/671.53	c cleaning 67007 clauses out of 134015 with flag 5073852/8906580
680.69/677.63	c cleaning 68000 clauses out of 136006 with flag 5221936/8975578
685.68/682.68	c cleaning 68994 clauses out of 138006 with flag 5369477/9045578
691.87/688.80	c cleaning 70003 clauses out of 140013 with flag 5519549/9116579
699.99/697.01	c cleaning 71005 clauses out of 142012 with flag 5675496/9188581
708.57/705.56	c cleaning 71997 clauses out of 144005 with flag 5833404/9261579
718.95/715.92	c cleaning 73001 clauses out of 146009 with flag 6000543/9335580
728.33/725.37	c cleaning 73989 clauses out of 148006 with flag 6163802/9410578
736.23/733.22	c cleaning 75008 clauses out of 150018 with flag 6328363/9486579
744.81/741.88	c cleaning 75999 clauses out of 152012 with flag 6500079/9563581
753.66/750.67	c cleaning 77004 clauses out of 154014 with flag 6675550/9641582
761.24/758.21	c cleaning 77994 clauses out of 156006 with flag 6847904/9720578
770.83/767.88	c cleaning 79004 clauses out of 158013 with flag 7021010/9800579
780.51/777.52	c cleaning 79995 clauses out of 160008 with flag 7198186/9881578
789.20/786.25	c cleaning 81008 clauses out of 162016 with flag 7376960/9963581
797.55/794.52	c cleaning 81997 clauses out of 164005 with flag 7556120/10046578
806.73/803.78	c cleaning 83000 clauses out of 166008 with flag 7739806/10130578
817.03/814.05	c cleaning 83998 clauses out of 168008 with flag 7923831/10215578
827.50/824.53	c cleaning 85002 clauses out of 170010 with flag 8111666/10301578
836.89/833.97	c cleaning 85998 clauses out of 172010 with flag 8299476/10388580
849.44/846.41	c cleaning 87005 clauses out of 174014 with flag 8488652/10476582
858.52/855.54	c cleaning 87999 clauses out of 176006 with flag 8678875/10565579
871.30/868.31	c cleaning 89000 clauses out of 178006 with flag 8877688/10655578
883.38/880.49	c cleaning 90000 clauses out of 180007 with flag 9080425/10746579
895.86/893.00	c cleaning 91000 clauses out of 182010 with flag 9280754/10838582
909.34/906.43	c cleaning 92000 clauses out of 184006 with flag 9481956/10931578
924.30/921.42	c cleaning 92998 clauses out of 186009 with flag 9683284/11025581
939.09/936.17	c cleaning 94001 clauses out of 188009 with flag 9886770/11120579
959.45/956.60	c cleaning 95001 clauses out of 190008 with flag 10096929/11216579
975.41/972.55	c cleaning 96001 clauses out of 192009 with flag 10308805/11313581
988.19/985.38	c cleaning 96993 clauses out of 194005 with flag 10527224/11411578
1000.16/997.35	c cleaning 98008 clauses out of 196015 with flag 10735696/11510581
1012.64/1009.89	c cleaning 99000 clauses out of 198007 with flag 10947085/11610581
1029.92/1027.11	c cleaning 100002 clauses out of 200004 with flag 11164025/11711578
1057.65/1054.84	c cleaning 100998 clauses out of 202002 with flag 11387759/11813578
1085.01/1082.25	c cleaning 102003 clauses out of 204008 with flag 11612709/11916582
1102.56/1099.75	c cleaning 102990 clauses out of 206003 with flag 11837158/12020580
1136.40/1133.65	c cleaning 104000 clauses out of 208011 with flag 12065580/12125578
1167.15/1164.48	c cleaning 105000 clauses out of 210012 with flag 12297419/12231579
1202.99/1200.33	c cleaning 106003 clauses out of 212012 with flag 12534891/12338579
1242.04/1239.48	c cleaning 107004 clauses out of 214009 with flag 12783557/12446579
1274.69/1272.13	c cleaning 108002 clauses out of 216005 with flag 13033977/12555579
1301.16/1298.62	c cleaning 108995 clauses out of 218002 with flag 13274173/12665578
1343.09/1340.62	c cleaning 109996 clauses out of 220007 with flag 13521003/12776578
1380.04/1377.64	c cleaning 111003 clauses out of 222014 with flag 13775750/12888581
1405.51/1403.17	c cleaning 111999 clauses out of 224010 with flag 14029889/13001580
1443.53/1441.22	c cleaning 113004 clauses out of 226009 with flag 14279337/13115578
1483.90/1481.63	c cleaning 113999 clauses out of 228005 with flag 14527840/13230578
1524.64/1522.43	c cleaning 114999 clauses out of 230007 with flag 14775584/13346579
1565.29/1563.19	c cleaning 116002 clauses out of 232009 with flag 15033509/13463580
1593.72/1591.66	c cleaning 116997 clauses out of 234007 with flag 15291204/13581580
1629.76/1627.74	c cleaning 117997 clauses out of 236010 with flag 15556406/13700580
1650.12/1648.05	c cleaning 119002 clauses out of 238014 with flag 15814900/13820581
1654.60/1652.53	c Got one! Elapsed wall clock time (in seconds):1652.178
1654.60/1652.53	o 39
1657.30/1655.29	c cleaning 82637 clauses out of 165290 with flag 10975/13866859
1658.39/1656.30	c cleaning 44320 clauses out of 88654 with flag 24398/13872860
1658.69/1656.68	c cleaning 25656 clauses out of 51334 with flag 40371/13879860
1658.99/1656.94	c cleaning 16828 clauses out of 33677 with flag 58075/13887859
1659.29/1657.22	c cleaning 12919 clauses out of 25852 with flag 77888/13896862
1659.59/1657.53	c cleaning 11455 clauses out of 22931 with flag 100095/13906860
1659.99/1657.90	c cleaning 11235 clauses out of 22476 with flag 123934/13917860
1660.39/1658.31	c cleaning 11620 clauses out of 23243 with flag 150906/13929862
1660.79/1658.77	c cleaning 12311 clauses out of 24623 with flag 178376/13942862
1661.29/1659.28	c cleaning 13157 clauses out of 26313 with flag 208304/13956863
1661.88/1659.85	c cleaning 14075 clauses out of 28155 with flag 241412/13971862
1662.48/1660.46	c cleaning 15034 clauses out of 30077 with flag 276771/13987859
1663.19/1661.17	c cleaning 16024 clauses out of 32049 with flag 314171/14004865
1663.98/1661.96	c cleaning 17007 clauses out of 34020 with flag 354811/14022860
1664.78/1662.74	c cleaning 18005 clauses out of 36012 with flag 397778/14041859
1665.78/1663.77	c cleaning 19000 clauses out of 38008 with flag 442314/14061860
1666.67/1664.69	c cleaning 20001 clauses out of 40007 with flag 488847/14082859
1667.77/1665.71	c cleaning 20999 clauses out of 42006 with flag 537753/14104859
1668.97/1666.92	c cleaning 21997 clauses out of 44008 with flag 589353/14127860
1670.27/1668.22	c cleaning 23003 clauses out of 46012 with flag 643336/14151861
1671.56/1669.50	c cleaning 24006 clauses out of 48013 with flag 698651/14176865
1672.86/1670.86	c cleaning 24993 clauses out of 50002 with flag 753815/14202860
1674.46/1672.41	c cleaning 25990 clauses out of 52008 with flag 812702/14229859
1676.07/1674.04	c cleaning 27007 clauses out of 54019 with flag 875053/14257860
1677.65/1675.67	c cleaning 28004 clauses out of 56012 with flag 940018/14286860
1679.65/1677.63	c cleaning 29000 clauses out of 58007 with flag 1008380/14316859
1681.35/1679.39	c cleaning 29999 clauses out of 60007 with flag 1075369/14347859
1683.06/1681.03	c cleaning 30997 clauses out of 62008 with flag 1145086/14379859
1685.25/1683.21	c cleaning 32007 clauses out of 64013 with flag 1219946/14412861
1687.84/1685.84	c cleaning 33002 clauses out of 66009 with flag 1295933/14446864
1690.44/1688.46	c cleaning 34000 clauses out of 68007 with flag 1375258/14481864
1693.10/1691.09	c cleaning 34998 clauses out of 70002 with flag 1455322/14517859
1695.78/1693.75	c cleaning 36002 clauses out of 72006 with flag 1537624/14554861
1698.58/1696.53	c cleaning 36999 clauses out of 74004 with flag 1623704/14592861
1701.27/1699.23	c cleaning 37998 clauses out of 76003 with flag 1711197/14631859
1704.08/1702.02	c cleaning 38998 clauses out of 78006 with flag 1799688/14671860
1707.07/1705.03	c cleaning 40003 clauses out of 80007 with flag 1889263/14712859
1710.55/1708.51	c cleaning 41002 clauses out of 82006 with flag 1982589/14754861
1713.65/1711.68	c cleaning 42000 clauses out of 84005 with flag 2076293/14797862
1717.84/1715.89	c cleaning 42998 clauses out of 86004 with flag 2173954/14841861
1721.73/1719.70	c cleaning 44003 clauses out of 88008 with flag 2273799/14886863
1726.14/1724.17	c cleaning 44997 clauses out of 90009 with flag 2378606/14932867
1730.62/1728.69	c cleaning 46003 clauses out of 92006 with flag 2483070/14979861
1735.02/1733.07	c cleaning 47002 clauses out of 94005 with flag 2587206/15027863
1739.11/1737.18	c cleaning 47997 clauses out of 96005 with flag 2693219/15076865
1743.59/1741.60	c cleaning 49003 clauses out of 98005 with flag 2802527/15126862
1749.00/1747.02	c cleaning 50000 clauses out of 100002 with flag 2915687/15177862
1753.38/1751.43	c cleaning 50997 clauses out of 102002 with flag 3030753/15229862
1758.47/1756.54	c cleaning 52001 clauses out of 104008 with flag 3147663/15282865
1765.25/1763.36	c cleaning 52997 clauses out of 106001 with flag 3268901/15336859
1771.05/1769.18	c cleaning 54001 clauses out of 108008 with flag 3393906/15391863
1778.62/1776.60	c cleaning 54997 clauses out of 110003 with flag 3516907/15447859
1785.70/1783.70	c cleaning 56001 clauses out of 112008 with flag 3643286/15504861
1792.80/1790.85	c cleaning 56999 clauses out of 114006 with flag 3772004/15562860
1799.49/1797.55	c cleaning 58002 clauses out of 116006 with flag 3903368/15621859
1806.17/1804.22	c cleaning 59002 clauses out of 118004 with flag 4033789/15681859
1813.86/1811.99	c cleaning 60004 clauses out of 120007 with flag 4170239/15742864
1821.84/1819.91	c cleaning 61000 clauses out of 122001 with flag 4307518/15804862
1828.83/1826.99	c cleaning 61999 clauses out of 123998 with flag 4445338/15867859
1836.11/1834.22	c cleaning 62998 clauses out of 126000 with flag 4585244/15931860
1844.01/1842.12	c cleaning 63992 clauses out of 128002 with flag 4728548/15996860
1852.48/1850.60	c cleaning 65002 clauses out of 130012 with flag 4871786/16062862
1857.98/1856.16	c cleaning 66004 clauses out of 132007 with flag 5016289/16129859
1861.19/1859.30	c Got one! Elapsed wall clock time (in seconds):1858.956
1861.19/1859.30	o 38
1862.29/1860.46	c cleaning 55348 clauses out of 110714 with flag 11202/16174570
1862.90/1861.07	c cleaning 30676 clauses out of 61363 with flag 24667/16180567
1863.29/1861.43	c cleaning 18836 clauses out of 37687 with flag 40445/16187567
1863.59/1861.71	c cleaning 13423 clauses out of 26856 with flag 58579/16195572
1863.79/1861.97	c cleaning 11212 clauses out of 22437 with flag 78946/16204576
1864.08/1862.29	c cleaning 10593 clauses out of 21218 with flag 101241/16214569
1864.48/1862.65	c cleaning 10808 clauses out of 21624 with flag 125283/16225568
1864.90/1863.02	c cleaning 11408 clauses out of 22816 with flag 150848/16237568
1865.28/1863.48	c cleaning 12201 clauses out of 24410 with flag 179209/16250570
1865.89/1864.03	c cleaning 13104 clauses out of 26209 with flag 210807/16264570
1866.38/1864.59	c cleaning 14050 clauses out of 28102 with flag 243584/16279567
1867.08/1865.26	c cleaning 15027 clauses out of 30054 with flag 278478/16295569
1867.78/1865.92	c cleaning 16011 clauses out of 32030 with flag 315602/16312572
1868.38/1866.60	c cleaning 17000 clauses out of 34014 with flag 355772/16330567
1869.18/1867.36	c cleaning 18004 clauses out of 36014 with flag 397974/16349567
1870.07/1868.20	c cleaning 19000 clauses out of 38010 with flag 443013/16369567
1870.77/1869.01	c cleaning 20002 clauses out of 40010 with flag 489553/16390567
1871.77/1869.91	c cleaning 21001 clauses out of 42008 with flag 537624/16412567
1872.67/1870.88	c cleaning 21999 clauses out of 44008 with flag 588262/16435568
1873.77/1871.96	c cleaning 22996 clauses out of 46009 with flag 641449/16459568
1875.07/1873.25	c cleaning 24001 clauses out of 48012 with flag 697077/16484567
1876.47/1874.68	c cleaning 25006 clauses out of 50016 with flag 755429/16510572
1877.88/1876.08	c cleaning 26004 clauses out of 52007 with flag 814480/16537569
1879.46/1877.64	c cleaning 26997 clauses out of 54002 with flag 875558/16565568
1880.97/1879.19	c cleaning 27995 clauses out of 56005 with flag 939500/16594568
1882.66/1880.87	c cleaning 29000 clauses out of 58014 with flag 1005804/16624572
1884.36/1882.53	c cleaning 30000 clauses out of 60009 with flag 1072555/16655567
1886.25/1884.48	c cleaning 31003 clauses out of 62013 with flag 1143323/16687571
1888.15/1886.34	c cleaning 31996 clauses out of 64007 with flag 1215859/16720568
1890.04/1888.21	c cleaning 33002 clauses out of 66011 with flag 1290608/16754568
1891.74/1889.97	c cleaning 34002 clauses out of 68010 with flag 1365962/16789569
1894.24/1892.41	c cleaning 35004 clauses out of 70008 with flag 1444211/16825569
1896.73/1894.99	c cleaning 35999 clauses out of 72003 with flag 1526625/16862568
1898.94/1897.16	c cleaning 36999 clauses out of 74004 with flag 1610923/16900568
1901.02/1899.29	c cleaning 38002 clauses out of 76005 with flag 1696895/16939568
1903.62/1901.81	c cleaning 38996 clauses out of 78003 with flag 1786376/16979568
1906.21/1904.42	c cleaning 40002 clauses out of 80012 with flag 1875303/17020573
1908.92/1907.13	c cleaning 41001 clauses out of 82005 with flag 1966232/17062568
1911.41/1909.66	c cleaning 41999 clauses out of 84003 with flag 2059013/17105567
1914.20/1912.48	c cleaning 43001 clauses out of 86004 with flag 2153299/17149567
1917.69/1915.99	c cleaning 43999 clauses out of 88007 with flag 2250647/17194571
1921.09/1919.33	c cleaning 45003 clauses out of 90008 with flag 2348717/17240571
1925.38/1923.62	c cleaning 45996 clauses out of 92004 with flag 2452470/17287570
1930.28/1928.50	c cleaning 47003 clauses out of 94008 with flag 2560191/17335570
1934.56/1932.87	c cleaning 47998 clauses out of 96004 with flag 2669308/17384569
1939.16/1937.47	c cleaning 49002 clauses out of 98007 with flag 2779405/17434570
1943.65/1941.97	c cleaning 50001 clauses out of 100004 with flag 2891142/17485569
1948.54/1946.87	c cleaning 51000 clauses out of 102006 with flag 3005590/17537572
1953.54/1951.81	c cleaning 51997 clauses out of 104003 with flag 3122836/17590569
1959.42/1957.70	c cleaning 53000 clauses out of 106004 with flag 3240941/17644567
1964.84/1963.13	c cleaning 53997 clauses out of 108005 with flag 3361107/17699568
1971.75/1970.10	c cleaning 55001 clauses out of 110007 with flag 3482161/17755567
1977.32/1975.60	c cleaning 55996 clauses out of 112008 with flag 3608258/17812569
1982.11/1980.43	c cleaning 56999 clauses out of 114011 with flag 3736860/17870568
1988.41/1986.71	c cleaning 58005 clauses out of 116013 with flag 3866512/17929569
1993.10/1991.48	c cleaning 58995 clauses out of 118006 with flag 3995888/17989567
1998.89/1997.22	c cleaning 60005 clauses out of 120012 with flag 4128685/18050568
2006.48/2004.85	c cleaning 61002 clauses out of 122008 with flag 4266389/18112569
2011.97/2010.39	c cleaning 62002 clauses out of 124006 with flag 4402852/18175569
2017.36/2015.72	c cleaning 62997 clauses out of 126004 with flag 4542137/18239569
2024.14/2022.53	c cleaning 64002 clauses out of 128005 with flag 4685003/18304567
2031.14/2029.51	c cleaning 64999 clauses out of 130003 with flag 4830329/18370567
2036.74/2035.15	c cleaning 65998 clauses out of 132005 with flag 4973277/18437568
2044.11/2042.57	c cleaning 66999 clauses out of 134008 with flag 5121355/18505569
2051.61/2050.08	c cleaning 67994 clauses out of 136010 with flag 5272074/18574570
2059.69/2058.18	c cleaning 68997 clauses out of 138013 with flag 5427698/18644567
2066.87/2065.34	c cleaning 70004 clauses out of 140016 with flag 5582427/18715567
2076.25/2074.78	c cleaning 71004 clauses out of 142013 with flag 5739695/18787568
2084.66/2083.12	c cleaning 71999 clauses out of 144008 with flag 5899603/18860567
2096.31/2094.89	c cleaning 73004 clauses out of 146010 with flag 6062946/18934568
2108.19/2106.71	c cleaning 74003 clauses out of 148005 with flag 6232286/19009567
2119.86/2118.47	c cleaning 75000 clauses out of 150002 with flag 6400081/19085567
2133.45/2132.09	c cleaning 75990 clauses out of 152003 with flag 6571351/19162568
2137.13/2135.72	c Got one! Elapsed wall clock time (in seconds):2135.367
2137.13/2135.72	o 36
2138.44/2137.09	c cleaning 58854 clauses out of 117721 with flag 11188/19204276
2139.12/2137.79	c cleaning 32435 clauses out of 64870 with flag 24872/19210279
2139.54/2138.19	c cleaning 19706 clauses out of 39431 with flag 40945/19217275
2139.82/2138.47	c cleaning 13856 clauses out of 27727 with flag 58749/19225277
2140.12/2138.75	c cleaning 11434 clauses out of 22873 with flag 79378/19234279
2140.43/2139.07	c cleaning 10712 clauses out of 21439 with flag 101946/19244279
2140.82/2139.45	c cleaning 10860 clauses out of 21725 with flag 127093/19255277
2141.22/2139.85	c cleaning 11424 clauses out of 22864 with flag 153804/19267276
2141.72/2140.31	c cleaning 12219 clauses out of 24440 with flag 183019/19280276
2142.22/2140.83	c cleaning 13107 clauses out of 26220 with flag 214114/19294275
2142.72/2141.35	c cleaning 14053 clauses out of 28114 with flag 246919/19309276
2143.31/2142.01	c cleaning 15030 clauses out of 30064 with flag 282358/19325279
2144.12/2142.72	c cleaning 16017 clauses out of 32036 with flag 321063/19342281
2144.91/2143.59	c cleaning 17005 clauses out of 34015 with flag 361659/19360277
2145.81/2144.49	c cleaning 18004 clauses out of 36009 with flag 405165/19379276
2146.91/2145.52	c cleaning 19003 clauses out of 38008 with flag 451254/19399279
2147.91/2146.55	c cleaning 20001 clauses out of 40001 with flag 498554/19420275
2149.01/2147.64	c cleaning 21002 clauses out of 42003 with flag 549395/19442278
2150.30/2148.96	c cleaning 21993 clauses out of 44002 with flag 602173/19465279
2151.60/2150.24	c cleaning 22998 clauses out of 46005 with flag 657838/19489275
2152.90/2151.59	c cleaning 24005 clauses out of 48012 with flag 712668/19514280
2154.30/2152.99	c cleaning 25002 clauses out of 50003 with flag 771454/19540276
2155.90/2154.54	c cleaning 25994 clauses out of 52001 with flag 831637/19567276
2157.69/2156.36	c cleaning 27003 clauses out of 54011 with flag 895298/19595280
2159.68/2158.34	c cleaning 28005 clauses out of 56013 with flag 961152/19624285
2161.58/2160.23	c cleaning 28996 clauses out of 57999 with flag 1027418/19654276
2163.49/2162.11	c cleaning 29999 clauses out of 60007 with flag 1096416/19685280
2165.49/2164.17	c cleaning 31001 clauses out of 62005 with flag 1168366/19717277
2167.87/2166.52	c cleaning 32001 clauses out of 64002 with flag 1241091/19750275
2169.76/2168.48	c cleaning 32997 clauses out of 66002 with flag 1315696/19784276
2172.06/2170.78	c cleaning 34002 clauses out of 68006 with flag 1392789/19819277
2174.88/2173.56	c cleaning 35001 clauses out of 70002 with flag 1474640/19855275
2177.39/2176.03	c cleaning 36002 clauses out of 72007 with flag 1558407/19892281
2180.17/2178.87	c cleaning 36998 clauses out of 73999 with flag 1643811/19930275
2183.17/2181.88	c cleaning 38000 clauses out of 76004 with flag 1731226/19969278
2185.86/2184.59	c cleaning 39000 clauses out of 78004 with flag 1819883/20009278
2189.25/2187.95	c cleaning 40001 clauses out of 80003 with flag 1911904/20050277
2192.75/2191.46	c cleaning 40995 clauses out of 82000 with flag 2005404/20092275
2196.84/2195.54	c cleaning 42000 clauses out of 84006 with flag 2102016/20135276
2201.23/2199.94	c cleaning 42997 clauses out of 86006 with flag 2202877/20179276
2205.44/2204.11	c cleaning 44001 clauses out of 88010 with flag 2303493/20224277
2209.43/2208.18	c cleaning 44995 clauses out of 90008 with flag 2406100/20270276
2213.71/2212.42	c cleaning 46004 clauses out of 92014 with flag 2510270/20317277
2217.01/2215.76	c cleaning 47002 clauses out of 94008 with flag 2616394/20365275
2220.41/2219.15	c cleaning 48000 clauses out of 96006 with flag 2725997/20414275
2224.59/2223.34	c cleaning 48995 clauses out of 98007 with flag 2839101/20464276
2230.09/2228.85	c cleaning 50002 clauses out of 100012 with flag 2952389/20515276
2234.98/2233.77	c cleaning 50998 clauses out of 102009 with flag 3067853/20567275
2240.86/2239.65	c cleaning 52003 clauses out of 104017 with flag 3185129/20620281
2246.65/2245.40	c cleaning 52998 clauses out of 106008 with flag 3304752/20674275
2253.05/2251.82	c cleaning 54004 clauses out of 108013 with flag 3428797/20729278
2259.53/2258.35	c cleaning 55002 clauses out of 110011 with flag 3555314/20785280
2265.02/2263.88	c cleaning 56003 clauses out of 112005 with flag 3681140/20842276
2271.51/2270.36	c cleaning 56993 clauses out of 114003 with flag 3812976/20900277
2278.41/2277.24	c cleaning 58002 clauses out of 116009 with flag 3945102/20959276
2285.39/2284.24	c cleaning 58999 clauses out of 118006 with flag 4082512/21019275
2290.65/2289.49	c cleaning 60000 clauses out of 120009 with flag 4220712/21080277
2296.43/2295.26	c cleaning 61001 clauses out of 122011 with flag 4355166/21142279
2304.53/2303.39	c cleaning 62001 clauses out of 124006 with flag 4496418/21205275
2310.71/2309.56	c cleaning 62999 clauses out of 126006 with flag 4642533/21269276
2319.60/2318.43	c cleaning 63996 clauses out of 128007 with flag 4789418/21334276
2329.98/2328.80	c cleaning 65002 clauses out of 130016 with flag 4942286/21400281
2338.76/2337.65	c cleaning 66002 clauses out of 132009 with flag 5092379/21467276
2347.35/2346.27	c cleaning 67000 clauses out of 134009 with flag 5247063/21535278
2357.13/2356.09	c cleaning 67999 clauses out of 136007 with flag 5401651/21604276
2366.31/2365.25	c cleaning 69003 clauses out of 138011 with flag 5557495/21674279
2376.00/2374.96	c cleaning 70007 clauses out of 140013 with flag 5717004/21745284
2383.78/2382.70	c cleaning 70992 clauses out of 141997 with flag 5885455/21817275
2391.56/2390.52	c cleaning 72000 clauses out of 144007 with flag 6051222/21890277
2401.65/2400.60	c cleaning 73006 clauses out of 146011 with flag 6217670/21964281
2414.71/2413.79	c cleaning 73998 clauses out of 148000 with flag 6382026/22039276
2427.69/2426.77	c cleaning 74997 clauses out of 150004 with flag 6549639/22115278
2438.16/2437.23	c cleaning 75996 clauses out of 152005 with flag 6720659/22192276
2452.74/2451.87	c cleaning 76994 clauses out of 154008 with flag 6899830/22270275
2465.22/2464.35	c cleaning 78006 clauses out of 156020 with flag 7073924/22349281
2481.63/2480.79	c cleaning 79003 clauses out of 158013 with flag 7255039/22429280
2499.50/2498.64	c cleaning 80000 clauses out of 160005 with flag 7439517/22510275
2507.89/2507.10	c cleaning 80997 clauses out of 162005 with flag 7624109/22592275
2517.37/2516.56	c cleaning 82005 clauses out of 164010 with flag 7805766/22675277
2526.25/2525.42	c cleaning 82997 clauses out of 166003 with flag 7993027/22759275
2535.94/2535.12	c cleaning 84002 clauses out of 168009 with flag 8182292/22844278
2545.71/2544.95	c cleaning 85004 clauses out of 170011 with flag 8373622/22930282
2553.70/2552.92	c cleaning 85999 clauses out of 172001 with flag 8565513/23017276
2568.48/2567.79	c cleaning 86996 clauses out of 174008 with flag 8759362/23105282
2588.34/2587.70	c cleaning 87993 clauses out of 176005 with flag 8957848/23194275
2603.32/2602.65	c cleaning 88998 clauses out of 178014 with flag 9157372/23284277
2623.28/2622.60	c cleaning 89997 clauses out of 180017 with flag 9361863/23375278
2646.25/2645.68	c cleaning 91006 clauses out of 182019 with flag 9570094/23467277
2665.81/2665.25	c cleaning 92004 clauses out of 184014 with flag 9780399/23560278
2689.88/2689.37	c cleaning 93002 clauses out of 186007 with flag 9992420/23654275
2709.05/2708.50	c cleaning 94005 clauses out of 188009 with flag 10209696/23749279
2729.65/2729.03	c cleaning 95000 clauses out of 190001 with flag 10424750/23845276
2756.20/2755.64	c cleaning 95992 clauses out of 192001 with flag 10642733/23942276
2764.08/2763.57	c Got one! Elapsed wall clock time (in seconds):2763.222
2764.08/2763.57	o 34
2765.99/2765.43	c cleaning 72777 clauses out of 145560 with flag 11456/23991827
2766.89/2766.32	c cleaning 39387 clauses out of 78783 with flag 25058/23997827
2767.29/2766.71	c cleaning 23189 clauses out of 46398 with flag 40889/24004829
2767.49/2766.99	c cleaning 15594 clauses out of 31203 with flag 58495/24012823
2767.79/2767.28	c cleaning 12298 clauses out of 24609 with flag 78861/24021823
2768.09/2767.58	c cleaning 11150 clauses out of 22312 with flag 101376/24031824
2768.49/2767.99	c cleaning 11063 clauses out of 22163 with flag 124601/24042825
2768.99/2768.40	c cleaning 11540 clauses out of 23101 with flag 151549/24054826
2769.39/2768.83	c cleaning 12275 clauses out of 24560 with flag 180680/24067825
2769.89/2769.34	c cleaning 13135 clauses out of 26283 with flag 212560/24081823
2770.39/2769.88	c cleaning 14073 clauses out of 28152 with flag 246087/24096827
2771.08/2770.52	c cleaning 15036 clauses out of 30077 with flag 281675/24112825
2771.78/2771.28	c cleaning 16019 clauses out of 32039 with flag 320441/24129823
2772.59/2772.04	c cleaning 17003 clauses out of 34022 with flag 360860/24147825
2773.48/2772.91	c cleaning 18007 clauses out of 36020 with flag 404571/24166826
2774.38/2773.84	c cleaning 18998 clauses out of 38010 with flag 449397/24186823
2775.59/2775.03	c cleaning 20006 clauses out of 40015 with flag 497739/24207826
2776.68/2776.19	c cleaning 21000 clauses out of 42006 with flag 548853/24229823
2777.77/2777.21	c cleaning 21993 clauses out of 44008 with flag 599509/24252825
2779.17/2778.60	c cleaning 23007 clauses out of 46016 with flag 654888/24276826
2780.47/2779.90	c cleaning 23996 clauses out of 48007 with flag 711678/24301824
2781.86/2781.35	c cleaning 25004 clauses out of 50010 with flag 771317/24327823
2783.36/2782.88	c cleaning 26004 clauses out of 52008 with flag 833705/24354825
2784.96/2784.43	c cleaning 26995 clauses out of 54002 with flag 896952/24382823
2786.75/2786.28	c cleaning 28005 clauses out of 56011 with flag 961726/24411827
2789.15/2788.60	c cleaning 28999 clauses out of 58002 with flag 1029923/24441823
2791.55/2791.04	c cleaning 29993 clauses out of 60004 with flag 1101913/24472824
2793.65/2793.12	c cleaning 31002 clauses out of 62010 with flag 1171837/24504823
2795.83/2795.38	c cleaning 31995 clauses out of 64009 with flag 1247482/24537824
2798.33/2797.81	c cleaning 33001 clauses out of 66015 with flag 1323629/24571825
2800.82/2800.34	c cleaning 34000 clauses out of 68015 with flag 1402840/24606826
2803.53/2803.01	c cleaning 35004 clauses out of 70015 with flag 1486674/24642826
2806.21/2805.72	c cleaning 36003 clauses out of 72012 with flag 1570968/24679827
2808.81/2808.34	c cleaning 37004 clauses out of 74008 with flag 1657365/24717826
2811.20/2810.78	c cleaning 38001 clauses out of 76001 with flag 1745247/24756823
2814.09/2813.69	c cleaning 38990 clauses out of 78000 with flag 1835567/24796823
2817.19/2816.79	c cleaning 39996 clauses out of 80010 with flag 1929569/24837823
2820.56/2820.06	c cleaning 41004 clauses out of 82017 with flag 2024476/24879826
2824.43/2823.98	c cleaning 41998 clauses out of 84011 with flag 2122651/24922824
2828.55/2828.04	c cleaning 43002 clauses out of 86012 with flag 2223425/24966823
2831.82/2831.33	c cleaning 43998 clauses out of 88012 with flag 2324485/25011825
2836.12/2835.68	c cleaning 45004 clauses out of 90012 with flag 2427340/25057823
2840.41/2839.93	c cleaning 46002 clauses out of 92010 with flag 2534203/25104825
2843.90/2843.45	c cleaning 47001 clauses out of 94006 with flag 2641454/25152823
2847.51/2847.04	c cleaning 47999 clauses out of 96006 with flag 2753266/25201824
2851.19/2850.77	c cleaning 48993 clauses out of 98007 with flag 2864889/25251824
2856.69/2856.24	c cleaning 50004 clauses out of 100017 with flag 2980829/25302827
2862.59/2862.13	c cleaning 51000 clauses out of 102010 with flag 3102700/25354824
2869.57/2869.14	c cleaning 51996 clauses out of 104013 with flag 3224488/25407827
2875.65/2875.29	c cleaning 53005 clauses out of 106016 with flag 3347421/25461826
2882.34/2881.94	c cleaning 53997 clauses out of 108008 with flag 3471453/25516823
2889.32/2888.90	c cleaning 55004 clauses out of 110012 with flag 3599896/25572824
2896.02/2895.63	c cleaning 56004 clauses out of 112007 with flag 3729190/25629823
2901.01/2900.64	c cleaning 56999 clauses out of 114005 with flag 3863980/25687825
2907.89/2907.55	c cleaning 58000 clauses out of 116013 with flag 3997353/25746832
2914.98/2914.63	c cleaning 58987 clauses out of 118004 with flag 4130840/25806823
2923.27/2922.98	c cleaning 60002 clauses out of 120017 with flag 4269630/25867823
2933.15/2932.89	c cleaning 61005 clauses out of 122015 with flag 4411733/25929823
2941.73/2941.46	c cleaning 62001 clauses out of 124011 with flag 4556580/25992824
2950.44/2950.12	c cleaning 63000 clauses out of 126011 with flag 4700911/26056825
2959.81/2959.52	c cleaning 64002 clauses out of 128012 with flag 4849172/26121826
2969.30/2969.11	c cleaning 65007 clauses out of 130013 with flag 4997905/26187829
2977.18/2976.96	c cleaning 65995 clauses out of 132002 with flag 5150113/26254825
2985.27/2985.04	c cleaning 67002 clauses out of 134007 with flag 5303564/26322825
2993.64/2993.46	c cleaning 68003 clauses out of 136006 with flag 5460212/26391826
3001.73/3001.52	c cleaning 68997 clauses out of 138001 with flag 5614788/26461824
3011.52/3011.30	c cleaning 70000 clauses out of 140006 with flag 5775182/26532826
3019.60/3019.49	c cleaning 70999 clauses out of 142003 with flag 5937837/26604823
3028.09/3027.90	c cleaning 72000 clauses out of 144007 with flag 6100584/26677826
3036.67/3036.58	c cleaning 72996 clauses out of 146004 with flag 6268177/26751823
3044.96/3044.87	c cleaning 74003 clauses out of 148008 with flag 6434858/26826823
3052.05/3051.94	c cleaning 75000 clauses out of 150005 with flag 6602993/26902823
3060.33/3060.29	c cleaning 76000 clauses out of 152008 with flag 6772276/26979826
3071.01/3070.91	c cleaning 77000 clauses out of 154006 with flag 6946761/27057824
3086.59/3086.57	c cleaning 78003 clauses out of 156005 with flag 7123606/27136823
3099.86/3099.86	c cleaning 78997 clauses out of 158002 with flag 7301419/27216823
3108.35/3108.32	c cleaning 79999 clauses out of 160006 with flag 7475237/27297824
3116.44/3116.43	c cleaning 81002 clauses out of 162007 with flag 7654647/27379824
3127.82/3127.86	c cleaning 81997 clauses out of 164007 with flag 7836723/27462826
3138.10/3138.06	c cleaning 83003 clauses out of 166007 with flag 8023777/27546823
3148.87/3148.89	c cleaning 84004 clauses out of 168013 with flag 8207640/27631832
3164.95/3164.94	c cleaning 85001 clauses out of 170004 with flag 8401745/27717827
3179.42/3179.48	c cleaning 85995 clauses out of 172001 with flag 8595181/27804825
3197.69/3197.71	c cleaning 86995 clauses out of 174008 with flag 8794961/27892827
3212.86/3213.01	c cleaning 88002 clauses out of 176010 with flag 8995031/27981824
3230.24/3230.35	c cleaning 88998 clauses out of 178009 with flag 9202881/28071825
3250.91/3251.10	c cleaning 90005 clauses out of 180014 with flag 9410467/28162828
3269.37/3269.56	c cleaning 90999 clauses out of 182007 with flag 9621499/28254826
3287.95/3288.15	c cleaning 91998 clauses out of 184005 with flag 9828514/28347823
3311.59/3311.82	c cleaning 92996 clauses out of 186011 with flag 10043650/28441827
3334.86/3335.14	c cleaning 94005 clauses out of 188012 with flag 10257616/28536824
3355.32/3355.66	c cleaning 94999 clauses out of 190006 with flag 10481107/28632823
3376.38/3376.77	c cleaning 95999 clauses out of 192009 with flag 10700880/28729825
3398.84/3399.21	c cleaning 96993 clauses out of 194008 with flag 10920639/28827823
3419.62/3420.02	c cleaning 98006 clauses out of 196017 with flag 11143658/28926825
3442.06/3442.50	c cleaning 99002 clauses out of 198012 with flag 11374782/29026826
3465.23/3465.70	c cleaning 100004 clauses out of 200008 with flag 11602493/29127824
3491.69/3492.29	c cleaning 100994 clauses out of 202005 with flag 11833318/29229825
3510.86/3511.40	c cleaning 101995 clauses out of 204012 with flag 12063510/29332826
3523.34/3523.93	c cleaning 103003 clauses out of 206015 with flag 12284673/29436824
3538.12/3538.74	c cleaning 104002 clauses out of 208011 with flag 12513711/29541823
3555.99/3556.62	c cleaning 105002 clauses out of 210011 with flag 12750253/29647825
3569.86/3570.51	c cleaning 106004 clauses out of 212008 with flag 12982662/29754824
3580.36/3581.01	c cleaning 107001 clauses out of 214003 with flag 13205860/29862823
3593.07/3593.68	c cleaning 108000 clauses out of 216004 with flag 13431974/29971825
3600.06/3600.63	c starts		: 13873
3600.06/3600.64	c conflicts		: 30051775
3600.06/3600.64	c decisions		: 32612131
3600.06/3600.64	c propagations		: 277250550
3600.06/3600.64	c inspects		: 41547277892
3600.06/3600.64	c shortcuts		: 0
3600.06/3600.64	c learnt literals	: 0
3600.06/3600.64	c learnt binary clauses	: 0
3600.06/3600.65	c learnt ternary clauses	: 0
3600.06/3600.65	c learnt constraints	: 30051775
3600.06/3600.65	c ignored constraints	: 0
3600.06/3600.65	c root simplifications	: 0
3600.06/3600.65	c removed literals (reason simplification)	: 204162951
3600.06/3600.65	c reason swapping (by a shorter reason)	: 0
3600.06/3600.65	c Calls to reduceDB	: 732
3600.06/3600.65	c Number of update (reduction) of LBD	: 3447803
3600.06/3600.65	c Imported unit clauses	: 0
3600.06/3600.65	c No decision after first conflict	: false
3600.06/3600.65	c number of reductions to clauses (during analyze)	: 0
3600.06/3600.66	c number of learned constraints concerned by reduction	: 0
3600.06/3600.66	c number of learning phase by resolution	: 0
3600.06/3600.66	c number of learning phase by cutting planes	: 0
3600.06/3600.66	c number of rounding to 1 operations	: 0
3600.06/3600.66	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3600.66	c number of reductions of the coefficients by power 2 	: 0
3600.06/3600.66	c number of right shift for reduction by power 2 	: 0
3600.06/3600.66	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3600.66	c number of ending skipping 	: 0
3600.06/3600.66	c number of internal skipping 	: 0
3600.06/3600.66	c number of derivation steps 	: 0
3600.06/3600.66	c number of skipped derivation steps 	: 0
3600.06/3600.66	c number of remaining unassigned 	: 0
3600.06/3600.66	c number of remaining assigned 	: 0
3600.06/3600.66	c number of falsified literals weakened from reason	: 0
3600.06/3600.66	c number of falsified literals weakened from conflict	: 0
3600.06/3600.66	c time for arithmetic operations	: 0
3600.06/3600.66	c minimum degree of deleted constraints	: null
3600.06/3600.66	c maximum degree of deleted constraints	: null
3600.06/3600.67	c number of deleted constraints	: 0
3600.06/3600.67	c speed (assignments/second)	: 77009.54944294917
3600.06/3600.67	c non guided choices	: 2470
3600.26/3600.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 187954
3600.26/3600.73	s SATISFIABLE
3600.26/3600.73	c Found 86 solution(s)
3600.26/3600.73	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 
3600.26/3600.73	c objective function=34
3600.26/3600.73	c Total wall clock time (in seconds): 3600.383

Verifier Data 

OK	34

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: 63794 MiB (59186 MiB free)
  memory of node 1: 64507 MiB (58022 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490710-1751364063/watcher-4490710-1751364063 -o /tmp/evaluation-result-4490710-1751364063/solver-4490710-1751364063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51822 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490710-1751364063.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=52275, runsolver pid=52272

[startup+0.100071 s]*
/proc/loadavg: 4.25 4.18 4.16 6/301 52293
/proc/meminfo: memFree=119989908/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=18930384 memory=48168 CPUtime=0.11 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 5751 0 0 0 8 3 0 0 20 0 18 0 52086102 19384713216 12042 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4732596 12042 5307 1 0 546976 0
[pid=52275/tid=52277] ppid=52272 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 4648 0 0 0 5 2 0 0 20 0 18 0 52086105 19384713216 12042 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=18930384 memory=16142 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52086109 19384713216 12106 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52086110 19384713216 12106 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48168 KiB

[startup+0.221093 s]*
/proc/loadavg: 4.25 4.18 4.16 5/303 52299
/proc/meminfo: memFree=119987292/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=18930384 memory=53280 CPUtime=0.29 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 6468 0 0 0 26 3 0 0 20 0 18 0 52086102 19384713216 13320 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4732596 13320 5339 1 0 547550 0
[pid=52275/tid=52277] ppid=52272 vsize=18930384 memory=3472328300254199928 CPUtime=0.17 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 4986 0 0 0 15 2 0 0 20 0 18 0 52086105 19384713216 13320 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52086109 19384713216 13320 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=18930384 memory=59593594258114 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52086110 19384713216 13320 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53280 KiB

[startup+0.313515 s]*
/proc/loadavg: 4.25 4.18 4.16 7/303 52299
/proc/meminfo: memFree=119983196/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=18930384 memory=58312 CPUtime=0.44 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 6722 0 0 0 40 4 0 0 20 0 18 0 52086102 19384713216 14578 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4732596 14578 5339 1 0 547730 0
[pid=52275/tid=52277] ppid=52272 vsize=18930384 memory=-7523942145037787511 CPUtime=0.26 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 5149 0 0 0 23 3 0 0 20 0 18 0 52086105 19384713216 14578 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52086109 19384713216 14578 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52086110 19384713216 14578 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58312 KiB

[startup+0.700322 s]
/proc/loadavg: 4.25 4.18 4.16 10/305 52315
/proc/meminfo: memFree=119989524/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=18996948 memory=65896 CPUtime=1.08 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 8857 0 0 0 103 5 0 0 20 0 19 0 52086102 19452874752 16474 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4749237 16474 5467 1 0 549079 0
[pid=52275/tid=52277] ppid=52272 vsize=18996948 memory=17920 CPUtime=0.54 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 5366 0 0 0 51 3 0 0 20 0 19 0 52086105 19452874752 16474 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086109 19452874752 16474 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52086110 19452874752 16474 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086148 19452874752 16474 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65896 KiB

[startup+1.5003 s]
/proc/loadavg: 4.25 4.18 4.16 7/300 52359
/proc/meminfo: memFree=121523048/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=18996948 memory=88588 CPUtime=2.66 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 20078 0 0 0 256 10 0 0 20 0 19 0 52086102 19452874752 22147 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4749237 22147 5467 1 0 553074 0
[pid=52275/tid=52277] ppid=52272 vsize=18996948 memory=0 CPUtime=1.3 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 6432 0 0 0 126 4 0 0 20 0 19 0 52086105 19452874752 22147 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086109 19452874752 22147 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52086110 19452874752 22147 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086148 19452874752 22147 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88588 KiB

[startup+3.10718 s]
/proc/loadavg: 4.25 4.18 4.16 7/301 52441
/proc/meminfo: memFree=121369792/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=18996948 memory=123448 CPUtime=5.27 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 22005 0 0 0 516 11 0 0 20 0 19 0 52086102 19452874752 30862 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4749237 30862 5467 1 0 553450 0
[pid=52275/tid=52277] ppid=52272 vsize=18996948 memory=10624 CPUtime=2.88 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 7012 0 0 0 284 4 0 0 20 0 19 0 52086105 19452874752 30862 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=18996948 memory=-6000919498442959466 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086109 19452874752 30862 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52086110 19452874752 30862 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086148 19452874752 30862 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123448 KiB

[startup+6.30046 s]
/proc/loadavg: 4.39 4.21 4.17 5/324 52481
/proc/meminfo: memFree=121219492/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=18996948 memory=160856 CPUtime=9.24 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 22336 0 0 0 912 12 0 0 20 0 19 0 52086102 19452874752 40214 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4749237 40214 5467 1 0 553457 0
[pid=52275/tid=52277] ppid=52272 vsize=18996948 memory=0 CPUtime=6.05 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 7134 0 0 0 600 5 0 0 20 0 19 0 52086105 19452874752 40214 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52086109 19452874752 40214 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52086110 19452874752 40214 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=18996948 memory=6944652027076318631 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52086148 19452874752 40214 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 9.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 160856 KiB

[startup+12.7004 s]
/proc/loadavg: 4.36 4.20 4.16 5/325 52482
/proc/meminfo: memFree=121186836/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=179896 CPUtime=15.8 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 27143 0 0 0 1567 13 0 0 20 0 20 0 52086102 19521036288 44974 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 44974 5531 1 0 553746 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=179896 CPUtime=12.41 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 8836 0 0 0 1236 5 0 0 20 0 20 0 52086105 19521036288 44974 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 44974 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 44974 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 44974 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 15.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179896 KiB

[startup+25.5005 s]
/proc/loadavg: 4.35 4.21 4.17 5/325 52482
/proc/meminfo: memFree=121142540/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=186148 CPUtime=28.6 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 30586 0 0 0 2845 15 0 0 20 0 20 0 52086102 19521036288 46537 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 46537 5531 1 0 553746 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=179896 CPUtime=25.13 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 9890 0 0 0 2508 5 0 0 20 0 20 0 52086105 19521036288 46537 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=186148 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 46537 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=186148 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 46537 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=181996 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 46537 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 28.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186148 KiB

[startup+51.1133 s]
/proc/loadavg: 4.31 4.21 4.17 5/326 52483
/proc/meminfo: memFree=121072192/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=237868 CPUtime=54.23 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 32324 0 0 0 5405 18 0 0 20 0 20 0 52086102 19521036288 59467 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 59467 5563 1 0 553746 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=181996 CPUtime=50.56 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 10763 0 0 0 5050 6 0 0 20 0 20 0 52086105 19521036288 59467 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=181996 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 59467 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/327 52697
/proc/meminfo: memFree=117506044/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3282.15 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 72237 0 0 0 327989 226 0 0 20 0 20 0 52086102 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 511215 5563 1 0 523427 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3269.3 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 29067 0 0 0 326906 24 0 0 20 0 20 0 52086105 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3282.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2044860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/326 52699
/proc/meminfo: memFree=117444620/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3342.04 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 72301 0 0 0 333975 229 0 0 20 0 20 0 52086102 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 511215 5563 1 0 523427 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3329.16 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 29125 0 0 0 332891 25 0 0 20 0 20 0 52086105 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3342.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2044860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/325 52701
/proc/meminfo: memFree=117350196/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3401.93 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 72723 0 0 0 339962 231 0 0 20 0 20 0 52086102 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 511215 5563 1 0 523428 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3389.01 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 29542 0 0 0 338876 25 0 0 20 0 20 0 52086105 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3401.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2044860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/326 52704
/proc/meminfo: memFree=117288788/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3461.84 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 73218 0 0 0 345949 235 0 0 20 0 20 0 52086102 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 511215 5563 1 0 523432 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3448.86 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 29915 0 0 0 344861 25 0 0 20 0 20 0 52086105 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1769 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 511215 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3461.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2044860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/326 52706
/proc/meminfo: memFree=117144724/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=2044988 CPUtime=3521.74 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 73870 0 0 0 351937 237 0 0 20 0 20 0 52086102 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 511247 5563 1 0 523444 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=2044860 CPUtime=3508.71 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 30405 0 0 0 350846 25 0 0 20 0 20 0 52086105 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=2044860 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=2044988 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=2044988 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3521.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2044988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/326 52708
/proc/meminfo: memFree=117087396/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=2044988 CPUtime=3581.64 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 73964 0 0 0 357924 240 0 0 20 0 20 0 52086102 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 511247 5563 1 0 523444 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=10624 CPUtime=3568.56 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 30493 0 0 0 356831 25 0 0 20 0 20 0 52086105 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=2044988 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=2044988 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=2044988 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3581.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2044988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/326 52719
/proc/meminfo: memFree=117070120/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19063512 memory=2044988 CPUtime=3600.06 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 74130 0 0 0 359765 241 0 0 20 0 20 0 52086102 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4765878 511247 5563 1 0 523444 0
[pid=52275/tid=52277] ppid=52272 vsize=19063512 memory=4352 CPUtime=3586.65 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 30527 0 0 0 358640 25 0 0 20 0 20 0 52086105 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52086109 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 20 0 52086110 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52306] ppid=52272 vsize=19063512 memory=5888 CPUtime=0 cores=1,3
/proc/52275/task/52306/stat : 52306 (Timer-0) S 52272 52275 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52086148 19521036288 511247 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2044988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.91 s, system=2.43012 s

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

[startup+3600.71 s]
/proc/loadavg: 4.11 4.10 4.09 5/326 52719
/proc/meminfo: memFree=117070120/131382112 swapFree=33010684/33010684
[pid=52275] ppid=52272 vsize=19263204 memory=2045756 CPUtime=3600.26 cores=1,3
/proc/52275/stat : 52275 (java) S 52272 52275 51810 0 -1 4194304 76072 0 0 0 359785 241 0 0 20 0 21 0 52086102 19725520896 511439 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
/proc/52275/statm: 4815801 511439 5595 1 0 524380 0
[pid=52275/tid=52277] ppid=52272 vsize=19263204 memory=2044988 CPUtime=3586.73 cores=1,3
/proc/52275/task/52277/stat : 52277 (java) R 52272 52275 51810 0 -1 4194368 30759 0 0 0 358648 25 0 0 20 0 21 0 52086105 19725520896 511439 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52286] ppid=52272 vsize=19263204 memory=5760 CPUtime=0 cores=1,3
/proc/52275/task/52286/stat : 52286 (Finalizer) S 52272 52275 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52086109 19725520896 511439 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
[pid=52275/tid=52293] ppid=52272 vsize=19263204 memory=14560 CPUtime=0 cores=1,3
/proc/52275/task/52293/stat : 52293 (Common-Cleaner) S 52272 52275 51810 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 21 0 52086110 19725520896 511439 18446744073709551615 94342029836288 94342029839984 140729407223504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342029847800 94342029848592 94342054670336 140729407228289 140729407228390 140729407228390 140729407233992 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2045756 KiB

Child status: 143

Real time (s): 3600.75
CPU time (s): 3600.34
CPU user time (s): 3597.91
CPU system time (s): 2.43012
CPU usage (%): 99.9886
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2045756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.91
system time used= 2.43012
maximum resident set size= 2045884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105832
involuntary context switches= 3259


# summary of solver processes directly reported to runsolver:
#   pid: 52275
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3597.91
#   total CPU system time (s): 2.43012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2723 second user time and 39.1898 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 12:01:03
IDJOB=4490710
IDBENCH=147611
IDSOLVER=3363
FILE ID=nodeC009/4490710-1751364063
RUNJOBID= nodeC009-1751360462-51822
SLURM_JOB_ID= 9598165
Free space on /tmp= 432656 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490710-1751364063/watcher-4490710-1751364063 -o /tmp/evaluation-result-4490710-1751364063/solver-4490710-1751364063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51822 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4490710-1751364063.opb

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

MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=1574004890

nodeC009 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	: 0xb00001f
cpu MHz		: 3492.794
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.229
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.220
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.493
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3641.807
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.924
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.238
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.321
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        120021388 kB
MemAvailable:   126711840 kB
Buffers:            3280 kB
Cached:          7462084 kB
SwapCached:            0 kB
Active:          3577696 kB
Inactive:        7162468 kB
Active(anon):    3291792 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7161500 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:       3277892 kB
Mapped:           123244 kB
Shmem:             17960 kB
KReclaimable:     164964 kB
Slab:             249052 kB
SReclaimable:     164964 kB
SUnreclaim:        84088 kB
KernelStack:        4656 kB
PageTables:         9804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4848672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149992 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3063808 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432644 MiB
End job on nodeC009 at 2025-07-01 13:01:04