Trace number 4460055

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)176 3600.28 3576.65

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-edgecross10-040.opb
MD5SUM5c14727f1628c687fc33c0e456a00727
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark142
Best CPU time to get the best result obtained on this benchmark11.9641
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables91
Total number of constraints481
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 633
Biggest coefficient in the objective function 338
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1808
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 338
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1808
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)546
Sum of products size (including duplicates)1092
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4460055-1721946458.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.17	c ... done. Wall clock time 0.052s.
0.14/0.17	c declared #vars     91
0.14/0.17	c internal #vars     637
0.14/0.17	c #constraints  1574
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 546
0.14/0.17	c org.sat4j.specs.Constr$1 => 1
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1026
0.14/0.17	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.14/0.17	c 1574 constraints processed.
0.14/0.19	c objective function length is 633 literals
0.14/0.19	c SATISFIABLE
0.14/0.19	c OPTIMIZING...
0.14/0.19	c Got one! Elapsed wall clock time (in seconds):0.075
0.14/0.19	o 342
0.34/0.21	c Got one! Elapsed wall clock time (in seconds):0.084
0.34/0.21	o 338
0.34/0.21	c Got one! Elapsed wall clock time (in seconds):0.088
0.34/0.21	o 334
0.34/0.22	c Got one! Elapsed wall clock time (in seconds):0.097
0.34/0.22	o 329
0.34/0.22	c Got one! Elapsed wall clock time (in seconds):0.1
0.34/0.22	o 321
0.34/0.23	c Got one! Elapsed wall clock time (in seconds):0.114
0.34/0.23	o 313
0.34/0.25	c Got one! Elapsed wall clock time (in seconds):0.127
0.34/0.25	o 309
0.34/0.26	c Got one! Elapsed wall clock time (in seconds):0.136
0.34/0.26	o 307
0.53/0.31	c Got one! Elapsed wall clock time (in seconds):0.193
0.53/0.31	o 306
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.201
0.53/0.32	o 305
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.21
0.53/0.34	o 303
0.53/0.35	c Got one! Elapsed wall clock time (in seconds):0.219
0.53/0.35	o 301
0.53/0.35	c Got one! Elapsed wall clock time (in seconds):0.226
0.53/0.35	o 299
0.72/0.41	c Got one! Elapsed wall clock time (in seconds):0.28
0.72/0.41	o 292
0.72/0.42	c Got one! Elapsed wall clock time (in seconds):0.291
0.72/0.42	o 290
0.72/0.43	c Got one! Elapsed wall clock time (in seconds):0.303
0.72/0.43	o 289
0.72/0.43	c Got one! Elapsed wall clock time (in seconds):0.306
0.72/0.43	o 288
0.72/0.44	c Got one! Elapsed wall clock time (in seconds):0.311
0.72/0.44	o 287
0.72/0.44	c Got one! Elapsed wall clock time (in seconds):0.315
0.72/0.44	o 284
0.72/0.44	c Got one! Elapsed wall clock time (in seconds):0.317
0.72/0.44	o 282
0.72/0.49	c Got one! Elapsed wall clock time (in seconds):0.377
0.72/0.49	o 281
0.92/0.55	c Got one! Elapsed wall clock time (in seconds):0.421
0.92/0.55	o 279
1.27/0.77	c Got one! Elapsed wall clock time (in seconds):0.654
1.27/0.77	o 278
1.42/0.80	c Got one! Elapsed wall clock time (in seconds):0.674
1.42/0.80	o 275
1.42/0.80	c Got one! Elapsed wall clock time (in seconds):0.677
1.42/0.80	o 273
1.42/0.81	c Got one! Elapsed wall clock time (in seconds):0.693
1.42/0.81	o 272
1.42/0.82	c Got one! Elapsed wall clock time (in seconds):0.703
1.42/0.82	o 270
1.42/0.90	c cleaning 4080 clauses out of 8159 with flag 2248/8159
1.59/0.95	c Got one! Elapsed wall clock time (in seconds):0.836
1.59/0.95	o 269
1.59/0.97	c Got one! Elapsed wall clock time (in seconds):0.85
1.59/0.97	o 268
1.59/0.98	c Got one! Elapsed wall clock time (in seconds):0.856
1.59/0.98	o 267
2.03/1.23	c cleaning 4928 clauses out of 9855 with flag 8298/13935
2.32/1.49	c Got one! Elapsed wall clock time (in seconds):1.371
2.32/1.49	o 266
2.62/1.73	c cleaning 7780 clauses out of 15559 with flag 10472/24567
2.99/2.04	c Got one! Elapsed wall clock time (in seconds):1.922
2.99/2.04	o 265
3.09/2.13	c Got one! Elapsed wall clock time (in seconds):2.008
3.09/2.13	o 264
3.09/2.14	c Got one! Elapsed wall clock time (in seconds):2.02
3.09/2.14	o 263
3.19/2.20	c Got one! Elapsed wall clock time (in seconds):2.081
3.19/2.20	o 260
3.29/2.36	c cleaning 9978 clauses out of 19960 with flag 6582/36748
3.73/2.71	c cleaning 7991 clauses out of 15982 with flag 19268/42748
3.83/2.81	c Got one! Elapsed wall clock time (in seconds):2.688
3.83/2.81	o 259
3.83/2.84	c Got one! Elapsed wall clock time (in seconds):2.721
3.83/2.84	o 257
3.83/2.85	c Got one! Elapsed wall clock time (in seconds):2.725
3.83/2.85	o 256
3.83/2.86	c Got one! Elapsed wall clock time (in seconds):2.732
3.83/2.86	o 253
3.83/2.87	c Got one! Elapsed wall clock time (in seconds):2.752
3.83/2.87	o 252
3.83/2.88	c Got one! Elapsed wall clock time (in seconds):2.763
3.83/2.88	o 251
3.83/2.89	c Got one! Elapsed wall clock time (in seconds):2.768
3.83/2.89	o 250
3.98/2.99	c Got one! Elapsed wall clock time (in seconds):2.87
3.98/2.99	o 249
4.14/3.03	c Got one! Elapsed wall clock time (in seconds):2.91
4.14/3.03	o 248
4.14/3.06	c Got one! Elapsed wall clock time (in seconds):2.941
4.14/3.06	o 246
4.14/3.07	c Got one! Elapsed wall clock time (in seconds):2.952
4.14/3.08	o 245
4.26/3.13	c cleaning 8624 clauses out of 17254 with flag 2262/52011
4.40/3.26	c Got one! Elapsed wall clock time (in seconds):3.141
4.40/3.26	o 243
4.40/3.29	c Got one! Elapsed wall clock time (in seconds):3.173
4.40/3.29	o 242
4.65/3.44	c cleaning 7341 clauses out of 14683 with flag 6658/58064
4.84/3.65	c Got one! Elapsed wall clock time (in seconds):3.533
4.84/3.65	o 241
5.04/3.83	c Got one! Elapsed wall clock time (in seconds):3.71
5.04/3.83	o 240
5.19/3.96	c cleaning 8953 clauses out of 17912 with flag 2185/68634
5.39/4.12	c Got one! Elapsed wall clock time (in seconds):4.0
5.39/4.12	o 239
5.39/4.16	c Got one! Elapsed wall clock time (in seconds):4.038
5.39/4.16	o 238
5.48/4.21	c Got one! Elapsed wall clock time (in seconds):4.094
5.48/4.21	o 237
5.48/4.23	c Got one! Elapsed wall clock time (in seconds):4.11
5.48/4.23	o 234
5.48/4.29	c cleaning 8259 clauses out of 16524 with flag 2258/76199
5.70/4.43	c Got one! Elapsed wall clock time (in seconds):4.309
5.70/4.43	o 232
5.70/4.48	c Got one! Elapsed wall clock time (in seconds):4.362
5.70/4.48	o 230
5.80/4.54	c cleaning 6979 clauses out of 13963 with flag 2175/81897
6.10/4.80	c cleaning 6486 clauses out of 12984 with flag 14689/87897
6.10/4.81	c Got one! Elapsed wall clock time (in seconds):4.694
6.10/4.81	o 229
6.10/4.87	c Got one! Elapsed wall clock time (in seconds):4.754
6.10/4.87	o 227
6.20/4.97	c Got one! Elapsed wall clock time (in seconds):4.852
6.20/4.97	o 225
6.32/5.09	c Got one! Elapsed wall clock time (in seconds):4.972
6.32/5.09	o 222
6.47/5.19	c cleaning 6727 clauses out of 13453 with flag 4514/94852
6.66/5.36	c Got one! Elapsed wall clock time (in seconds):5.242
6.66/5.36	o 219
6.76/5.41	c cleaning 6043 clauses out of 12100 with flag 2175/100226
6.96/5.66	c cleaning 6025 clauses out of 12055 with flag 14823/106224
7.06/5.79	c Got one! Elapsed wall clock time (in seconds):5.673
7.06/5.79	o 218
7.16/5.88	c cleaning 5650 clauses out of 11302 with flag 4332/111496
7.16/5.89	c Got one! Elapsed wall clock time (in seconds):5.776
7.16/5.89	o 217
7.28/5.94	c Got one! Elapsed wall clock time (in seconds):5.826
7.28/5.94	o 216
7.59/6.10	c Got one! Elapsed wall clock time (in seconds):5.986
7.59/6.10	o 215
7.59/6.12	c Got one! Elapsed wall clock time (in seconds):5.998
7.59/6.12	o 214
7.59/6.13	c Got one! Elapsed wall clock time (in seconds):6.007
7.59/6.13	o 212
7.59/6.13	c Got one! Elapsed wall clock time (in seconds):6.011
7.59/6.13	o 211
7.68/6.25	c cleaning 6123 clauses out of 12246 with flag 4388/118090
8.01/6.52	c cleaning 6061 clauses out of 12122 with flag 17414/124089
8.31/6.85	c cleaning 6530 clauses out of 13060 with flag 32318/131088
8.70/7.23	c cleaning 7265 clauses out of 14530 with flag 49224/139088
9.27/7.76	c cleaning 8133 clauses out of 16266 with flag 68462/148089
9.77/8.28	c cleaning 9064 clauses out of 18132 with flag 90060/158088
10.37/8.84	c cleaning 10035 clauses out of 20070 with flag 113921/169090
11.14/9.54	c cleaning 11014 clauses out of 22033 with flag 139826/181088
11.74/10.19	c cleaning 12007 clauses out of 24019 with flag 166776/194088
12.54/10.90	c cleaning 13005 clauses out of 26013 with flag 195595/208089
13.43/11.79	c cleaning 14002 clauses out of 28008 with flag 227529/223089
14.35/12.62	c cleaning 15003 clauses out of 30005 with flag 262757/239088
15.25/13.57	c cleaning 15998 clauses out of 32003 with flag 300615/256089
16.43/14.65	c cleaning 17002 clauses out of 34006 with flag 339126/274090
17.44/15.68	c cleaning 18001 clauses out of 36003 with flag 381016/293089
18.75/16.88	c cleaning 18999 clauses out of 38002 with flag 423142/313089
19.84/17.99	c cleaning 20001 clauses out of 40003 with flag 469742/334089
21.35/19.39	c cleaning 20996 clauses out of 42003 with flag 518335/356090
22.45/20.49	c cleaning 21995 clauses out of 44005 with flag 567511/379088
24.05/21.97	c cleaning 23006 clauses out of 46011 with flag 619223/403089
25.54/23.40	c cleaning 24000 clauses out of 48004 with flag 672213/428088
27.56/25.34	c cleaning 24998 clauses out of 50004 with flag 729213/454088
29.36/27.11	c cleaning 25999 clauses out of 52006 with flag 789397/481088
31.15/28.93	c cleaning 27004 clauses out of 54007 with flag 851939/509088
31.55/29.28	c Got one! Elapsed wall clock time (in seconds):29.166
31.55/29.28	o 209
31.65/29.38	c cleaning 16458 clauses out of 32930 with flag 2114/515015
32.05/29.73	c cleaning 11233 clauses out of 22471 with flag 16309/521014
32.36/30.02	c cleaning 9113 clauses out of 18238 with flag 31270/528014
32.55/30.23	c Got one! Elapsed wall clock time (in seconds):30.109
32.55/30.23	o 207
32.75/30.48	c cleaning 9697 clauses out of 19398 with flag 11074/538287
33.05/30.75	c cleaning 7846 clauses out of 15702 with flag 24351/544288
33.36/31.02	c cleaning 7423 clauses out of 14857 with flag 39675/551289
33.65/31.32	c cleaning 7714 clauses out of 15432 with flag 57666/559287
33.75/31.42	c Got one! Elapsed wall clock time (in seconds):31.305
33.75/31.42	o 204
33.85/31.53	c cleaning 6362 clauses out of 12736 with flag 4532/564305
34.17/31.83	c cleaning 6183 clauses out of 12376 with flag 17576/570307
34.48/32.10	c cleaning 6596 clauses out of 13191 with flag 32272/577305
34.67/32.39	c cleaning 7293 clauses out of 14596 with flag 49809/585306
35.07/32.72	c cleaning 8152 clauses out of 16303 with flag 68565/594306
35.48/33.11	c cleaning 9074 clauses out of 18151 with flag 90754/604306
35.87/33.57	c cleaning 10038 clauses out of 20077 with flag 115288/615306
36.52/34.16	c cleaning 11016 clauses out of 22038 with flag 141821/627305
37.12/34.76	c cleaning 12010 clauses out of 24024 with flag 171831/640307
37.72/35.37	c cleaning 13002 clauses out of 26013 with flag 203512/654306
38.52/36.16	c cleaning 14005 clauses out of 28010 with flag 236673/669305
39.49/37.05	c cleaning 15002 clauses out of 30005 with flag 270589/685305
40.38/37.98	c cleaning 16000 clauses out of 32003 with flag 307939/702305
41.48/39.06	c cleaning 17002 clauses out of 34003 with flag 347772/720305
42.58/40.19	c cleaning 17997 clauses out of 36001 with flag 388249/739305
43.95/41.46	c cleaning 19000 clauses out of 38006 with flag 431039/759307
45.05/42.59	c cleaning 19997 clauses out of 40004 with flag 479059/780305
46.34/43.89	c cleaning 21003 clauses out of 42009 with flag 528611/802307
47.97/45.31	c cleaning 21999 clauses out of 44004 with flag 580418/825305
49.37/46.72	c cleaning 22999 clauses out of 46007 with flag 633684/849307
50.77/48.13	c cleaning 23996 clauses out of 48006 with flag 688493/874305
52.07/49.37	c Got one! Elapsed wall clock time (in seconds):49.256
52.07/49.37	o 203
52.57/49.86	c cleaning 24366 clauses out of 48733 with flag 11280/899028
52.97/50.21	c cleaning 15182 clauses out of 30367 with flag 24661/905028
53.27/50.54	c cleaning 11085 clauses out of 22186 with flag 40611/912029
53.57/50.89	c cleaning 9545 clauses out of 19102 with flag 58144/920030
53.97/51.24	c cleaning 9272 clauses out of 18555 with flag 77204/929028
54.36/51.64	c cleaning 9635 clauses out of 19283 with flag 98298/939028
54.77/52.09	c cleaning 10325 clauses out of 20649 with flag 121694/950029
55.52/52.70	c cleaning 11158 clauses out of 22324 with flag 147802/962029
56.11/53.38	c cleaning 12081 clauses out of 24167 with flag 176485/975030
56.82/54.05	c cleaning 13036 clauses out of 26085 with flag 206911/989029
57.61/54.84	c cleaning 14025 clauses out of 28049 with flag 240891/1004029
58.41/55.64	c cleaning 15010 clauses out of 30023 with flag 277668/1020028
59.31/56.51	c cleaning 16007 clauses out of 32014 with flag 317498/1037029
60.37/57.54	c cleaning 17002 clauses out of 34007 with flag 359311/1055029
61.47/58.60	c cleaning 18003 clauses out of 36005 with flag 401404/1074029
62.56/59.73	c cleaning 18994 clauses out of 38001 with flag 446555/1094028
63.16/60.32	c Got one! Elapsed wall clock time (in seconds):60.206
63.16/60.32	o 202
63.57/60.71	c cleaning 18473 clauses out of 36949 with flag 11054/1111970
63.87/61.03	c cleaning 12231 clauses out of 24473 with flag 25336/1117967
64.16/61.34	c cleaning 9617 clauses out of 19242 with flag 40678/1124967
64.46/61.69	c cleaning 8807 clauses out of 17627 with flag 57704/1132969
64.88/62.08	c cleaning 8909 clauses out of 17820 with flag 77160/1141969
65.36/62.51	c cleaning 9454 clauses out of 18912 with flag 99481/1151970
65.87/63.03	c cleaning 10226 clauses out of 20457 with flag 123361/1162969
66.26/63.42	c Got one! Elapsed wall clock time (in seconds):63.304
66.26/63.42	o 201
66.56/63.70	c cleaning 12503 clauses out of 25013 with flag 11494/1177751
66.76/63.97	c cleaning 9249 clauses out of 18507 with flag 23753/1183748
67.16/64.30	c cleaning 8126 clauses out of 16260 with flag 38253/1190750
67.46/64.67	c cleaning 8060 clauses out of 16133 with flag 55646/1198749
67.86/65.08	c cleaning 8531 clauses out of 17071 with flag 76354/1207747
68.36/65.52	c cleaning 9267 clauses out of 18541 with flag 99101/1217748
68.86/66.09	c cleaning 10135 clauses out of 20274 with flag 124332/1228748
69.36/66.59	c cleaning 11068 clauses out of 22140 with flag 150399/1240749
70.06/67.24	c cleaning 12033 clauses out of 24070 with flag 178546/1253747
70.66/67.87	c cleaning 13019 clauses out of 26038 with flag 207640/1267748
71.45/68.68	c cleaning 14008 clauses out of 28018 with flag 240994/1282747
72.25/69.41	c cleaning 15002 clauses out of 30012 with flag 276266/1298749
73.33/70.41	c cleaning 16002 clauses out of 32009 with flag 313613/1315748
74.33/71.46	c cleaning 17005 clauses out of 34010 with flag 353016/1333751
75.43/72.55	c cleaning 17998 clauses out of 36002 with flag 393383/1352748
76.54/73.69	c cleaning 19000 clauses out of 38006 with flag 434408/1372750
77.94/75.07	c cleaning 19998 clauses out of 40003 with flag 477960/1393747
78.53/75.62	c Got one! Elapsed wall clock time (in seconds):75.503
78.53/75.62	o 199
78.83/76.00	c cleaning 18351 clauses out of 36717 with flag 11370/1410459
79.13/76.28	c cleaning 12175 clauses out of 24367 with flag 24735/1416460
79.53/76.62	c cleaning 9592 clauses out of 19194 with flag 41191/1423462
79.83/76.99	c cleaning 8797 clauses out of 17599 with flag 59360/1431459
80.33/77.40	c cleaning 8898 clauses out of 17804 with flag 78547/1440461
80.73/77.89	c cleaning 9449 clauses out of 18906 with flag 100834/1450461
81.35/78.46	c cleaning 10225 clauses out of 20455 with flag 125590/1461459
81.95/79.06	c cleaning 11115 clauses out of 22233 with flag 153415/1473462
82.75/79.82	c cleaning 12052 clauses out of 24116 with flag 182603/1486460
83.45/80.54	c cleaning 13032 clauses out of 26064 with flag 213524/1500460
84.14/81.28	c cleaning 14014 clauses out of 28032 with flag 246134/1515460
85.05/82.13	c cleaning 15008 clauses out of 30017 with flag 280641/1531459
85.94/83.03	c cleaning 16005 clauses out of 32012 with flag 316655/1548462
87.37/84.31	c cleaning 17003 clauses out of 34006 with flag 356220/1566461
88.46/85.40	c cleaning 17990 clauses out of 36001 with flag 397233/1585459
88.86/85.89	c Got one! Elapsed wall clock time (in seconds):85.776
88.86/85.89	o 197
89.28/86.24	c cleaning 16643 clauses out of 33296 with flag 10851/1600744
89.57/86.54	c cleaning 11322 clauses out of 22656 with flag 23679/1606747
89.87/86.84	c cleaning 9160 clauses out of 18332 with flag 38563/1613745
90.18/87.19	c cleaning 8581 clauses out of 17171 with flag 55544/1621744
90.57/87.59	c cleaning 8793 clauses out of 17591 with flag 75786/1630745
90.77/87.70	c Got one! Elapsed wall clock time (in seconds):87.58
90.77/87.70	o 196
90.87/87.81	c cleaning 6974 clauses out of 13972 with flag 4683/1635919
91.08/88.08	c cleaning 6498 clauses out of 13002 with flag 17548/1641923
91.47/88.41	c cleaning 6752 clauses out of 13503 with flag 32656/1648922
91.77/88.78	c cleaning 7370 clauses out of 14748 with flag 50341/1656919
92.18/89.19	c cleaning 8189 clauses out of 16379 with flag 69872/1665920
92.67/89.66	c cleaning 9090 clauses out of 18189 with flag 92244/1675919
93.17/90.19	c cleaning 10048 clauses out of 20099 with flag 116226/1686919
93.77/90.76	c cleaning 11019 clauses out of 22051 with flag 141578/1698919
94.91/91.56	c cleaning 12014 clauses out of 24033 with flag 169318/1711920
95.42/92.08	c Got one! Elapsed wall clock time (in seconds):91.964
95.42/92.08	o 195
95.81/92.45	c cleaning 13968 clauses out of 27935 with flag 12154/1727836
96.11/92.75	c cleaning 9981 clauses out of 19967 with flag 26439/1733836
96.42/93.08	c cleaning 8491 clauses out of 16987 with flag 42063/1740837
96.71/93.39	c cleaning 8243 clauses out of 16497 with flag 59185/1748838
97.11/93.76	c cleaning 8626 clauses out of 17253 with flag 78050/1757837
97.61/94.23	c cleaning 9312 clauses out of 18626 with flag 100645/1767836
98.11/94.76	c cleaning 10151 clauses out of 20314 with flag 124260/1778836
98.70/95.30	c cleaning 11081 clauses out of 22163 with flag 150698/1790836
99.30/95.98	c cleaning 12041 clauses out of 24083 with flag 179829/1803837
100.00/96.68	c cleaning 13020 clauses out of 26043 with flag 211941/1817838
100.90/97.50	c cleaning 14009 clauses out of 28023 with flag 246413/1832838
101.70/98.38	c cleaning 15006 clauses out of 30012 with flag 280964/1848836
102.70/99.32	c cleaning 16001 clauses out of 32007 with flag 317464/1865837
103.85/100.47	c cleaning 16999 clauses out of 34005 with flag 357626/1883836
105.05/101.65	c cleaning 17993 clauses out of 36006 with flag 401047/1902836
106.15/102.76	c cleaning 19004 clauses out of 38013 with flag 446017/1922836
106.25/102.88	c Got one! Elapsed wall clock time (in seconds):102.765
106.25/102.88	o 193
106.55/103.12	c cleaning 12488 clauses out of 24990 with flag 7161/1928817
106.84/103.43	c cleaning 9244 clauses out of 18502 with flag 20475/1934817
107.14/103.77	c cleaning 8124 clauses out of 16258 with flag 35896/1941817
107.45/104.10	c cleaning 8063 clauses out of 16135 with flag 52835/1949818
107.94/104.52	c cleaning 8536 clauses out of 17071 with flag 72203/1958817
108.34/104.99	c cleaning 9267 clauses out of 18536 with flag 93116/1968818
108.94/105.51	c cleaning 10134 clauses out of 20269 with flag 116792/1979818
109.54/106.17	c cleaning 11064 clauses out of 22133 with flag 142412/1991816
110.24/106.82	c cleaning 12035 clauses out of 24070 with flag 170280/2004817
110.94/107.51	c cleaning 13011 clauses out of 26034 with flag 200009/2018816
111.63/108.24	c cleaning 14009 clauses out of 28024 with flag 232201/2033817
112.44/109.08	c cleaning 15005 clauses out of 30015 with flag 267406/2049817
113.51/110.03	c cleaning 16003 clauses out of 32009 with flag 305002/2066816
114.50/111.07	c cleaning 17000 clauses out of 34007 with flag 344420/2084817
115.50/112.07	c cleaning 18000 clauses out of 36006 with flag 385294/2103816
116.60/113.16	c cleaning 19004 clauses out of 38008 with flag 428417/2123818
117.60/114.13	c Got one! Elapsed wall clock time (in seconds):114.01
117.60/114.13	o 192
117.99/114.55	c cleaning 21420 clauses out of 42846 with flag 11284/2147660
118.29/114.84	c cleaning 13710 clauses out of 27423 with flag 24941/2153657
118.59/115.18	c cleaning 10346 clauses out of 20713 with flag 40019/2160657
118.99/115.54	c cleaning 9175 clauses out of 18368 with flag 56618/2168658
119.39/115.95	c cleaning 9089 clauses out of 18192 with flag 75516/2177657
119.89/116.43	c cleaning 9547 clauses out of 19104 with flag 98033/2187658
120.38/116.97	c cleaning 10278 clauses out of 20559 with flag 122738/2198660
120.98/117.58	c cleaning 11133 clauses out of 22278 with flag 149035/2210657
121.68/118.28	c cleaning 12070 clauses out of 24146 with flag 179146/2223658
122.38/118.96	c cleaning 13035 clauses out of 26075 with flag 210549/2237657
123.18/119.76	c cleaning 14022 clauses out of 28044 with flag 244673/2252661
123.98/120.53	c Got one! Elapsed wall clock time (in seconds):120.409
123.98/120.53	o 191
124.58/121.06	c cleaning 16889 clauses out of 33777 with flag 11041/2272416
124.97/121.40	c cleaning 11442 clauses out of 22887 with flag 23992/2278415
125.27/121.78	c cleaning 9220 clauses out of 18445 with flag 39588/2285415
125.68/122.18	c cleaning 8606 clauses out of 17225 with flag 57617/2293415
126.07/122.57	c cleaning 8808 clauses out of 17619 with flag 77449/2302415
126.58/123.09	c cleaning 9401 clauses out of 18812 with flag 100007/2312416
127.17/123.63	c cleaning 10204 clauses out of 20411 with flag 124572/2323416
127.77/124.24	c cleaning 11099 clauses out of 22206 with flag 151615/2335415
128.47/124.93	c cleaning 12047 clauses out of 24107 with flag 181402/2348415
129.27/125.70	c cleaning 13025 clauses out of 26060 with flag 213050/2362415
130.07/126.55	c cleaning 14013 clauses out of 28036 with flag 246073/2377416
130.96/127.48	c cleaning 15008 clauses out of 30022 with flag 281100/2393415
131.96/128.45	c cleaning 16001 clauses out of 32015 with flag 318507/2410416
133.06/129.54	c cleaning 17004 clauses out of 34015 with flag 358142/2428417
134.16/130.70	c cleaning 18004 clauses out of 36009 with flag 399102/2447415
135.65/132.03	c cleaning 18996 clauses out of 38005 with flag 443688/2467415
136.95/133.33	c cleaning 20002 clauses out of 40009 with flag 489550/2488415
138.14/134.51	c cleaning 20999 clauses out of 42009 with flag 537765/2510417
138.34/134.78	c Got one! Elapsed wall clock time (in seconds):134.662
138.34/134.78	o 190
138.75/135.13	c cleaning 16499 clauses out of 33001 with flag 11189/2522408
139.04/135.44	c cleaning 11246 clauses out of 22500 with flag 24192/2528406
139.44/135.80	c cleaning 9123 clauses out of 18256 with flag 39075/2535408
139.75/136.18	c cleaning 8557 clauses out of 17132 with flag 57035/2543407
140.24/136.61	c cleaning 8785 clauses out of 17574 with flag 76433/2552406
140.75/137.12	c cleaning 9389 clauses out of 18789 with flag 98834/2562406
141.24/137.68	c cleaning 10197 clauses out of 20400 with flag 122931/2573406
141.94/138.31	c cleaning 11100 clauses out of 22204 with flag 148705/2585407
142.54/138.98	c cleaning 12050 clauses out of 24104 with flag 176981/2598407
143.34/139.78	c cleaning 13025 clauses out of 26053 with flag 206846/2612406
144.41/140.71	c cleaning 14014 clauses out of 28028 with flag 238479/2627406
145.31/141.61	c cleaning 15000 clauses out of 30014 with flag 272406/2643406
146.31/142.64	c cleaning 16006 clauses out of 32016 with flag 308501/2660408
147.31/143.62	c cleaning 17001 clauses out of 34010 with flag 347104/2678408
148.31/144.63	c cleaning 17997 clauses out of 36008 with flag 386849/2697407
149.50/145.84	c cleaning 19005 clauses out of 38011 with flag 429842/2717407
150.71/147.05	c cleaning 20003 clauses out of 40005 with flag 473912/2738406
152.00/148.34	c cleaning 20999 clauses out of 42004 with flag 520627/2760408
153.30/149.60	c cleaning 21998 clauses out of 44004 with flag 568368/2783407
154.80/151.13	c cleaning 23004 clauses out of 46007 with flag 620388/2807408
156.59/152.91	c cleaning 24002 clauses out of 48003 with flag 673256/2832408
158.49/154.75	c cleaning 24997 clauses out of 50002 with flag 728150/2858409
160.29/156.56	c cleaning 25999 clauses out of 52004 with flag 786990/2885408
162.09/158.34	c cleaning 26997 clauses out of 54003 with flag 851149/2913406
163.89/160.11	c cleaning 28000 clauses out of 56006 with flag 913589/2942406
165.98/162.26	c cleaning 28999 clauses out of 58006 with flag 978604/2972406
167.67/163.99	c cleaning 30002 clauses out of 60008 with flag 1043734/3003407
169.67/165.97	c cleaning 31001 clauses out of 62006 with flag 1113402/3035407
171.77/168.08	c cleaning 31998 clauses out of 64004 with flag 1187026/3068406
174.06/170.33	c cleaning 33001 clauses out of 66007 with flag 1261541/3102407
176.87/172.91	c cleaning 34000 clauses out of 68005 with flag 1336664/3137406
179.26/175.36	c cleaning 34995 clauses out of 70006 with flag 1416081/3173407
181.55/177.68	c cleaning 36002 clauses out of 72012 with flag 1497391/3210408
184.35/180.41	c cleaning 37001 clauses out of 74009 with flag 1579251/3248407
187.14/183.20	c cleaning 38004 clauses out of 76007 with flag 1662325/3287406
190.13/186.23	c cleaning 39000 clauses out of 78004 with flag 1744819/3327407
193.94/189.85	c cleaning 39994 clauses out of 80003 with flag 1831088/3368406
197.05/192.97	c cleaning 40995 clauses out of 82010 with flag 1918936/3410407
200.04/195.91	c cleaning 42001 clauses out of 84014 with flag 2009286/3453406
203.93/199.88	c cleaning 43003 clauses out of 86014 with flag 2104197/3497407
208.76/204.40	c cleaning 44000 clauses out of 88011 with flag 2198922/3542407
212.75/208.49	c cleaning 44997 clauses out of 90010 with flag 2297135/3588406
216.54/212.26	c cleaning 46000 clauses out of 92013 with flag 2397272/3635406
220.67/216.25	c cleaning 47004 clauses out of 94014 with flag 2496172/3683407
224.27/219.80	c cleaning 48003 clauses out of 96011 with flag 2600205/3732408
228.92/224.36	c cleaning 49004 clauses out of 98007 with flag 2707030/3782407
233.31/228.75	c cleaning 49999 clauses out of 100003 with flag 2819159/3833407
238.13/233.30	c cleaning 51001 clauses out of 102003 with flag 2933830/3885406
242.19/237.43	c cleaning 51997 clauses out of 104003 with flag 3047930/3938407
246.69/241.80	c cleaning 52997 clauses out of 106006 with flag 3161680/3992407
251.59/246.79	c cleaning 53999 clauses out of 108008 with flag 3276935/4047406
256.98/251.47	c cleaning 54998 clauses out of 110009 with flag 3395577/4103406
261.43/255.79	c cleaning 56003 clauses out of 112012 with flag 3518056/4160407
266.22/260.59	c cleaning 57001 clauses out of 114011 with flag 3643341/4218409
271.57/265.75	c cleaning 57995 clauses out of 116009 with flag 3769815/4277408
271.57/265.78	c Got one! Elapsed wall clock time (in seconds):265.659
271.57/265.78	o 188
272.16/266.30	c cleaning 31664 clauses out of 63333 with flag 11123/4282727
272.46/266.69	c cleaning 18832 clauses out of 37671 with flag 24474/4288729
272.86/267.04	c cleaning 12913 clauses out of 25838 with flag 39146/4295728
273.25/267.42	c cleaning 10459 clauses out of 20926 with flag 56242/4303729
273.65/267.81	c cleaning 9728 clauses out of 19465 with flag 75753/4312727
274.14/268.31	c cleaning 9866 clauses out of 19737 with flag 97264/4322727
274.64/268.86	c cleaning 10433 clauses out of 20871 with flag 121023/4333727
275.23/269.48	c cleaning 11215 clauses out of 22440 with flag 146353/4345729
276.06/270.24	c cleaning 12113 clauses out of 24225 with flag 173547/4358729
276.86/271.01	c cleaning 13050 clauses out of 26110 with flag 202874/4372727
277.55/271.77	c cleaning 14020 clauses out of 28061 with flag 233986/4387728
277.66/271.80	c Got one! Elapsed wall clock time (in seconds):271.68
277.66/271.80	o 183
277.86/272.05	c cleaning 9864 clauses out of 19736 with flag 10414/4393423
278.16/272.33	c cleaning 7931 clauses out of 15872 with flag 22902/4399423
278.46/272.68	c cleaning 7467 clauses out of 14941 with flag 37710/4406423
278.86/273.07	c cleaning 7732 clauses out of 15476 with flag 54639/4414425
279.26/273.48	c cleaning 8371 clauses out of 16743 with flag 73892/4423424
279.75/273.92	c cleaning 9184 clauses out of 18371 with flag 96224/4433423
280.15/274.39	c cleaning 10091 clauses out of 20189 with flag 119747/4444425
280.75/274.92	c cleaning 11049 clauses out of 22097 with flag 144909/4456424
281.35/275.57	c cleaning 12023 clauses out of 24048 with flag 173131/4469424
282.29/276.40	c cleaning 13008 clauses out of 26024 with flag 205177/4483423
282.99/277.19	c cleaning 14005 clauses out of 28016 with flag 237653/4498423
283.99/278.14	c cleaning 15006 clauses out of 30011 with flag 273383/4514423
285.08/279.24	c cleaning 16000 clauses out of 32005 with flag 310102/4531423
286.18/280.34	c cleaning 16997 clauses out of 34007 with flag 348314/4549425
287.38/281.50	c cleaning 18002 clauses out of 36008 with flag 389600/4568423
288.57/282.76	c cleaning 19004 clauses out of 38007 with flag 434188/4588424
289.98/284.11	c cleaning 19995 clauses out of 40002 with flag 480963/4609423
291.17/285.36	c cleaning 21001 clauses out of 42007 with flag 529417/4631423
292.61/286.77	c cleaning 21999 clauses out of 44006 with flag 577467/4654423
294.00/288.13	c cleaning 23000 clauses out of 46008 with flag 628790/4678424
295.49/289.68	c cleaning 24001 clauses out of 48007 with flag 681295/4703423
297.17/291.36	c cleaning 25000 clauses out of 50006 with flag 736710/4729423
298.86/293.03	c cleaning 26001 clauses out of 52006 with flag 794729/4756423
300.84/295.00	c cleaning 26999 clauses out of 54005 with flag 854440/4784423
302.72/296.85	c cleaning 28001 clauses out of 56008 with flag 915602/4813425
302.92/297.09	c Got one! Elapsed wall clock time (in seconds):296.967
302.92/297.09	o 182
303.02/297.19	c cleaning 16867 clauses out of 33746 with flag 2088/4819164
303.41/297.52	c cleaning 11437 clauses out of 22879 with flag 14687/4825164
303.71/297.88	c cleaning 9214 clauses out of 18441 with flag 29327/4832163
304.20/298.30	c cleaning 8609 clauses out of 17227 with flag 46188/4840163
304.60/298.76	c cleaning 8809 clauses out of 17619 with flag 65400/4849164
305.09/299.28	c cleaning 9405 clauses out of 18812 with flag 86470/4859166
305.69/299.84	c cleaning 10200 clauses out of 20407 with flag 109258/4870166
306.18/300.38	c cleaning 11100 clauses out of 22204 with flag 133559/4882163
306.89/301.08	c cleaning 12047 clauses out of 24104 with flag 161887/4895163
307.68/301.80	c cleaning 13025 clauses out of 26057 with flag 191391/4909163
308.38/302.57	c cleaning 14009 clauses out of 28032 with flag 222401/4924163
309.38/303.50	c cleaning 15012 clauses out of 30025 with flag 256241/4940165
310.37/304.55	c cleaning 16004 clauses out of 32011 with flag 292254/4957163
311.52/305.65	c cleaning 17002 clauses out of 34009 with flag 330762/4975165
312.62/306.75	c cleaning 17999 clauses out of 36006 with flag 371931/4994164
313.82/307.99	c cleaning 19004 clauses out of 38007 with flag 414017/5014164
315.11/309.23	c cleaning 19994 clauses out of 40003 with flag 457774/5035164
316.51/310.66	c cleaning 21002 clauses out of 42009 with flag 504042/5057164
317.91/312.00	c cleaning 22000 clauses out of 44006 with flag 552760/5080163
319.32/313.49	c cleaning 22998 clauses out of 46006 with flag 604095/5104163
320.92/315.09	c cleaning 24003 clauses out of 48009 with flag 658924/5129164
322.41/316.54	c cleaning 25000 clauses out of 50005 with flag 714465/5155163
324.09/318.15	c cleaning 26005 clauses out of 52009 with flag 772012/5182167
326.09/320.16	c cleaning 26997 clauses out of 54000 with flag 831356/5210163
327.98/322.06	c cleaning 27997 clauses out of 56004 with flag 890833/5239164
330.08/324.19	c cleaning 29003 clauses out of 58006 with flag 952717/5269163
330.98/325.02	c Got one! Elapsed wall clock time (in seconds):324.9
330.98/325.02	o 181
331.27/325.38	c cleaning 23805 clauses out of 47622 with flag 10328/5287782
331.57/325.68	c cleaning 14903 clauses out of 29817 with flag 22433/5293782
331.98/326.02	c cleaning 10951 clauses out of 21914 with flag 36597/5300782
332.37/326.40	c cleaning 9483 clauses out of 18965 with flag 53398/5308784
332.87/326.90	c cleaning 9231 clauses out of 18482 with flag 74262/5317784
333.37/327.46	c cleaning 9623 clauses out of 19249 with flag 96094/5327782
333.97/328.10	c cleaning 10311 clauses out of 20629 with flag 119683/5338785
334.66/328.77	c cleaning 11158 clauses out of 22315 with flag 145386/5350782
335.36/329.49	c cleaning 12074 clauses out of 24157 with flag 172096/5363782
336.19/330.27	c cleaning 13038 clauses out of 26083 with flag 201085/5377782
337.00/331.04	c cleaning 14019 clauses out of 28045 with flag 232912/5392782
337.89/331.94	c cleaning 15012 clauses out of 30027 with flag 268102/5408783
338.89/332.91	c cleaning 16007 clauses out of 32016 with flag 305417/5425784
339.88/333.97	c cleaning 17005 clauses out of 34010 with flag 342314/5443785
341.09/335.11	c cleaning 17999 clauses out of 36006 with flag 382212/5462786
342.18/336.29	c cleaning 18998 clauses out of 38005 with flag 424214/5482784
343.58/337.61	c cleaning 19998 clauses out of 40005 with flag 467879/5503782
344.87/338.99	c cleaning 21004 clauses out of 42009 with flag 513804/5525784
346.27/340.32	c cleaning 22002 clauses out of 44004 with flag 560784/5548783
347.57/341.61	c cleaning 22996 clauses out of 46002 with flag 611008/5572783
349.07/343.19	c cleaning 24002 clauses out of 48008 with flag 665554/5597785
350.74/344.73	c cleaning 25000 clauses out of 50006 with flag 719666/5623785
352.13/346.19	c Got one! Elapsed wall clock time (in seconds):346.076
352.13/346.19	o 180
352.63/346.68	c cleaning 27158 clauses out of 54317 with flag 10885/5653096
353.03/347.03	c cleaning 16574 clauses out of 33158 with flag 23913/5659095
353.43/347.41	c cleaning 11793 clauses out of 23585 with flag 39050/5666096
353.82/347.81	c cleaning 9890 clauses out of 19792 with flag 55865/5674096
354.22/348.25	c cleaning 9443 clauses out of 18904 with flag 75311/5683098
354.72/348.76	c cleaning 9729 clauses out of 19461 with flag 97031/5693098
355.32/349.36	c cleaning 10361 clauses out of 20730 with flag 121158/5704096
355.92/349.98	c cleaning 11178 clauses out of 22368 with flag 146990/5716095
356.52/350.57	c cleaning 12093 clauses out of 24190 with flag 173954/5729095
357.32/351.31	c cleaning 13049 clauses out of 26097 with flag 204331/5743095
358.12/352.13	c cleaning 14022 clauses out of 28048 with flag 237157/5758095
358.91/352.97	c cleaning 15003 clauses out of 30026 with flag 270772/5774095
359.91/353.90	c cleaning 16010 clauses out of 32023 with flag 308307/5791095
360.81/354.81	c cleaning 17001 clauses out of 34014 with flag 347314/5809096
361.81/355.89	c cleaning 17999 clauses out of 36014 with flag 388283/5828097
363.11/357.18	c cleaning 19001 clauses out of 38013 with flag 431875/5848095
364.30/358.33	c cleaning 20005 clauses out of 40012 with flag 476128/5869095
365.75/359.70	c cleaning 21001 clauses out of 42008 with flag 522952/5891096
367.25/361.20	c cleaning 22002 clauses out of 44006 with flag 571465/5914095
368.74/362.70	c cleaning 22998 clauses out of 46004 with flag 622538/5938095
370.45/364.46	c cleaning 24000 clauses out of 48010 with flag 676571/5963099
372.44/366.45	c cleaning 24994 clauses out of 50007 with flag 732949/5989096
374.24/368.27	c cleaning 25998 clauses out of 52012 with flag 790853/6016095
376.14/370.16	c cleaning 27006 clauses out of 54016 with flag 851486/6044097
378.43/372.46	c cleaning 28002 clauses out of 56008 with flag 917058/6073095
380.82/374.82	c cleaning 28999 clauses out of 58006 with flag 980583/6103095
383.02/377.05	c cleaning 29999 clauses out of 60008 with flag 1045542/6134096
385.31/379.39	c cleaning 31003 clauses out of 62009 with flag 1115328/6166096
387.61/381.60	c cleaning 32002 clauses out of 64007 with flag 1186332/6199097
390.17/384.18	c cleaning 33000 clauses out of 66003 with flag 1257945/6233095
392.76/386.76	c cleaning 33998 clauses out of 68003 with flag 1330463/6268095
395.25/389.27	c cleaning 34997 clauses out of 70005 with flag 1405656/6304095
397.95/391.96	c cleaning 36002 clauses out of 72009 with flag 1484311/6341096
400.94/394.92	c cleaning 37001 clauses out of 74006 with flag 1564348/6379095
404.04/398.07	c cleaning 38001 clauses out of 76005 with flag 1650563/6418095
406.64/400.67	c cleaning 38995 clauses out of 78004 with flag 1735996/6458095
410.03/404.10	c cleaning 40005 clauses out of 80011 with flag 1826476/6499097
414.12/408.12	c cleaning 41003 clauses out of 82007 with flag 1913854/6541098
418.11/412.12	c cleaning 42001 clauses out of 84001 with flag 2007437/6584095
421.30/415.32	c cleaning 42991 clauses out of 86001 with flag 2103118/6628096
424.89/418.95	c cleaning 44000 clauses out of 88010 with flag 2199639/6673096
429.09/423.16	c cleaning 44997 clauses out of 90010 with flag 2295587/6719096
432.77/426.80	c cleaning 45997 clauses out of 92012 with flag 2395478/6766095
436.98/431.01	c cleaning 47008 clauses out of 94016 with flag 2499176/6814096
440.86/434.97	c cleaning 47996 clauses out of 96008 with flag 2603339/6863096
444.55/438.64	c cleaning 49001 clauses out of 98013 with flag 2707062/6913097
448.95/443.04	c cleaning 50002 clauses out of 100011 with flag 2817660/6964096
453.87/447.58	c cleaning 50997 clauses out of 102008 with flag 2928657/7016095
458.37/452.02	c cleaning 51997 clauses out of 104011 with flag 3044270/7069095
463.35/457.08	c cleaning 53001 clauses out of 106015 with flag 3160363/7123096
468.14/461.86	c cleaning 54003 clauses out of 108014 with flag 3281925/7178096
473.44/467.17	c cleaning 54999 clauses out of 110010 with flag 3398591/7234095
479.75/473.14	c cleaning 56002 clauses out of 112011 with flag 3523550/7291095
484.60/478.02	c cleaning 56998 clauses out of 114009 with flag 3645792/7349095
490.44/483.97	c cleaning 58005 clauses out of 116011 with flag 3770958/7408095
496.73/490.16	c cleaning 59000 clauses out of 118006 with flag 3911426/7468095
502.28/495.79	c cleaning 60000 clauses out of 120006 with flag 4041404/7529095
508.02/501.56	c cleaning 61001 clauses out of 122006 with flag 4174431/7591095
516.10/508.81	c cleaning 61995 clauses out of 124006 with flag 4317471/7654096
522.84/515.62	c cleaning 62997 clauses out of 126012 with flag 4457783/7718097
529.77/522.66	c cleaning 64000 clauses out of 128013 with flag 4607478/7783095
532.63/525.48	c Got one! Elapsed wall clock time (in seconds):525.363
532.63/525.48	o 179
533.52/526.33	c cleaning 49788 clauses out of 99590 with flag 10669/7818672
533.92/526.79	c cleaning 27893 clauses out of 55801 with flag 23184/7824671
534.32/527.16	c cleaning 17449 clauses out of 34908 with flag 38845/7831671
534.81/527.69	c cleaning 12725 clauses out of 25460 with flag 57733/7839672
535.31/528.17	c cleaning 10862 clauses out of 21734 with flag 77764/7848671
535.80/528.65	c cleaning 10425 clauses out of 20872 with flag 98962/7858671
536.39/529.23	c cleaning 10720 clauses out of 21447 with flag 122903/7869671
536.99/529.82	c cleaning 11360 clauses out of 22727 with flag 148976/7881671
537.68/530.51	c cleaning 12184 clauses out of 24368 with flag 177335/7894672
538.38/531.21	c cleaning 13088 clauses out of 26183 with flag 207959/7908671
539.08/531.94	c cleaning 14045 clauses out of 28096 with flag 239610/7923672
539.98/532.81	c cleaning 15022 clauses out of 30051 with flag 273500/7939672
540.88/533.73	c cleaning 16015 clauses out of 32030 with flag 309927/7956673
541.88/534.76	c cleaning 17005 clauses out of 34013 with flag 347729/7974671
542.97/535.84	c cleaning 18000 clauses out of 36008 with flag 390478/7993671
544.34/537.14	c cleaning 19000 clauses out of 38008 with flag 438565/8013671
545.63/538.45	c cleaning 20004 clauses out of 40008 with flag 485462/8034671
546.92/539.70	c cleaning 20998 clauses out of 42004 with flag 531790/8056671
548.23/541.09	c cleaning 21993 clauses out of 44006 with flag 580804/8079671
549.92/542.74	c cleaning 23002 clauses out of 46015 with flag 631514/8103673
551.62/544.46	c cleaning 24006 clauses out of 48011 with flag 685821/8128671
553.42/546.27	c cleaning 25002 clauses out of 50006 with flag 741288/8154672
555.32/548.18	c cleaning 25996 clauses out of 52003 with flag 799877/8181671
557.51/550.33	c cleaning 27004 clauses out of 54007 with flag 860633/8209671
559.71/552.58	c cleaning 28001 clauses out of 56003 with flag 923717/8238671
562.10/554.92	c cleaning 28998 clauses out of 58002 with flag 989497/8268671
564.44/557.24	c cleaning 29995 clauses out of 60004 with flag 1056074/8299671
566.94/559.75	c cleaning 31002 clauses out of 62009 with flag 1124951/8331671
569.34/562.13	c cleaning 32002 clauses out of 64008 with flag 1193964/8364672
572.03/564.81	c cleaning 32999 clauses out of 66006 with flag 1269026/8398672
574.12/566.94	c cleaning 34005 clauses out of 68009 with flag 1343041/8433674
576.42/569.24	c cleaning 34994 clauses out of 70003 with flag 1422908/8469673
579.22/572.10	c cleaning 35999 clauses out of 72009 with flag 1502543/8506673
581.91/574.78	c cleaning 37001 clauses out of 74011 with flag 1581912/8544674
585.00/577.70	c cleaning 38001 clauses out of 76010 with flag 1663077/8583674
588.00/580.76	c cleaning 38998 clauses out of 78007 with flag 1746058/8623672
591.40/584.15	c cleaning 40005 clauses out of 80009 with flag 1832253/8664672
594.78/587.50	c cleaning 41000 clauses out of 82005 with flag 1919970/8706673
598.17/590.98	c cleaning 42000 clauses out of 84003 with flag 2014553/8749671
602.37/595.13	c cleaning 42997 clauses out of 86004 with flag 2114238/8793672
606.64/599.25	c cleaning 44000 clauses out of 88006 with flag 2210938/8838671
610.03/602.66	c cleaning 44996 clauses out of 90006 with flag 2308002/8884671
614.53/607.10	c cleaning 45996 clauses out of 92011 with flag 2423107/8931672
619.71/612.38	c cleaning 47005 clauses out of 94015 with flag 2542460/8979672
624.51/617.16	c cleaning 48001 clauses out of 96009 with flag 2651026/9028671
629.75/622.22	c cleaning 49000 clauses out of 98008 with flag 2769043/9078671
634.34/626.89	c cleaning 50001 clauses out of 100010 with flag 2886836/9129673
638.33/630.86	c cleaning 51005 clauses out of 102009 with flag 2996601/9181673
643.32/635.83	c cleaning 51994 clauses out of 104003 with flag 3114429/9234672
647.11/639.62	c Got one! Elapsed wall clock time (in seconds):639.499
647.11/639.62	o 178
648.49/640.81	c cleaning 55447 clauses out of 110907 with flag 10677/9293570
648.98/641.33	c cleaning 30723 clauses out of 61460 with flag 23528/9299570
649.38/641.75	c cleaning 18861 clauses out of 37737 with flag 38187/9306570
649.79/642.16	c cleaning 13432 clauses out of 26875 with flag 54810/9314569
650.28/642.61	c cleaning 11215 clauses out of 22443 with flag 74468/9323569
650.79/643.14	c cleaning 10608 clauses out of 21228 with flag 96787/9333569
651.38/643.71	c cleaning 10804 clauses out of 21620 with flag 120151/9344569
651.98/644.31	c cleaning 11407 clauses out of 22817 with flag 145606/9356570
652.58/644.98	c cleaning 12202 clauses out of 24411 with flag 173182/9369571
653.37/645.78	c cleaning 13098 clauses out of 26208 with flag 204102/9383570
654.27/646.61	c cleaning 14053 clauses out of 28109 with flag 236049/9398569
655.17/647.50	c cleaning 15028 clauses out of 30057 with flag 269765/9414570
656.17/648.51	c cleaning 16010 clauses out of 32028 with flag 307794/9431569
657.16/649.51	c cleaning 17009 clauses out of 34018 with flag 346929/9449569
658.16/650.52	c cleaning 18003 clauses out of 36009 with flag 386051/9468569
659.26/651.66	c cleaning 18993 clauses out of 38006 with flag 428701/9488569
660.56/652.94	c cleaning 20002 clauses out of 40016 with flag 473733/9509572
662.23/654.53	c cleaning 21005 clauses out of 42012 with flag 523775/9531570
663.74/656.02	c cleaning 22001 clauses out of 44007 with flag 573297/9554570
665.23/657.56	c cleaning 23001 clauses out of 46010 with flag 624625/9578574
667.03/659.33	c cleaning 23999 clauses out of 48004 with flag 678506/9603569
668.83/661.19	c cleaning 24999 clauses out of 50005 with flag 733191/9629569
670.83/663.11	c cleaning 25998 clauses out of 52007 with flag 791058/9656570
671.33/663.69	c Got one! Elapsed wall clock time (in seconds):663.574
671.33/663.69	o 177
671.73/664.09	c cleaning 20541 clauses out of 41087 with flag 10600/9671648
672.13/664.44	c cleaning 13265 clauses out of 26547 with flag 23440/9677649
672.43/664.79	c cleaning 10135 clauses out of 20282 with flag 38410/9684649
672.83/665.19	c cleaning 9069 clauses out of 18146 with flag 55368/9692648
673.32/665.64	c cleaning 9031 clauses out of 18079 with flag 74662/9701650
673.83/666.15	c cleaning 9520 clauses out of 19047 with flag 96167/9711649
674.52/666.80	c cleaning 10260 clauses out of 20526 with flag 121305/9722648
675.22/667.52	c cleaning 11130 clauses out of 22266 with flag 146807/9734648
675.92/668.29	c cleaning 12069 clauses out of 24140 with flag 175505/9747652
676.72/669.09	c cleaning 13029 clauses out of 26068 with flag 205287/9761649
677.72/670.02	c cleaning 14019 clauses out of 28038 with flag 241462/9776648
678.61/670.97	c cleaning 15007 clauses out of 30019 with flag 275041/9792648
679.61/671.91	c cleaning 16006 clauses out of 32015 with flag 313078/9809651
680.72/673.04	c cleaning 16998 clauses out of 34006 with flag 353059/9827648
681.95/674.23	c cleaning 18002 clauses out of 36010 with flag 394239/9846650
683.25/675.57	c cleaning 18998 clauses out of 38006 with flag 439934/9866648
684.44/676.78	c cleaning 20006 clauses out of 40012 with flag 488290/9887652
685.94/678.20	c cleaning 21001 clauses out of 42004 with flag 538687/9909650
687.44/679.71	c cleaning 22000 clauses out of 44001 with flag 591671/9932648
689.02/681.30	c cleaning 22996 clauses out of 46002 with flag 644699/9956649
690.52/682.85	c cleaning 24004 clauses out of 48007 with flag 701172/9981650
692.22/684.57	c cleaning 24998 clauses out of 50001 with flag 758169/10007648
693.82/686.16	c cleaning 25999 clauses out of 52003 with flag 816975/10034648
695.71/688.03	c cleaning 27002 clauses out of 54007 with flag 879048/10062651
697.40/689.75	c cleaning 27999 clauses out of 56002 with flag 940906/10091648
699.50/691.81	c cleaning 28997 clauses out of 58003 with flag 1008516/10121648
701.90/694.29	c cleaning 29999 clauses out of 60007 with flag 1083237/10152649
704.29/696.65	c cleaning 31001 clauses out of 62009 with flag 1157285/10184650
707.31/699.57	c cleaning 32002 clauses out of 64006 with flag 1242218/10217648
709.71/701.93	c cleaning 33001 clauses out of 66004 with flag 1317563/10251648
711.92/704.12	c cleaning 33999 clauses out of 68003 with flag 1393421/10286648
714.31/706.58	c cleaning 34999 clauses out of 70004 with flag 1467156/10322648
717.00/709.21	c cleaning 35998 clauses out of 72009 with flag 1547210/10359652
719.90/712.11	c cleaning 37001 clauses out of 74008 with flag 1633586/10397649
723.28/715.53	c cleaning 37999 clauses out of 76006 with flag 1728153/10436648
726.28/718.53	c cleaning 39001 clauses out of 78007 with flag 1819635/10476648
730.14/722.28	c cleaning 40000 clauses out of 80007 with flag 1916887/10517649
732.94/725.09	c cleaning 41001 clauses out of 82008 with flag 2004990/10559650
733.04/725.16	c Got one! Elapsed wall clock time (in seconds):725.038
733.04/725.16	o 176
733.36/725.49	c cleaning 23168 clauses out of 46349 with flag 8221/10564992
733.76/725.86	c cleaning 14584 clauses out of 29181 with flag 21316/10570992
734.16/726.23	c cleaning 10791 clauses out of 21599 with flag 36669/10577994
734.55/726.61	c cleaning 9396 clauses out of 18806 with flag 54063/10585992
734.96/727.03	c cleaning 9197 clauses out of 18410 with flag 72930/10594992
735.45/727.56	c cleaning 9602 clauses out of 19215 with flag 93321/10604994
735.96/728.06	c cleaning 10303 clauses out of 20611 with flag 116347/10615992
736.55/728.66	c cleaning 11154 clauses out of 22308 with flag 141337/10627992
737.25/729.35	c cleaning 12079 clauses out of 24157 with flag 167854/10640995
738.06/730.12	c cleaning 13038 clauses out of 26077 with flag 196836/10654994
738.85/730.91	c cleaning 14017 clauses out of 28038 with flag 228923/10669993
739.75/731.86	c cleaning 15007 clauses out of 30021 with flag 263693/10685993
740.85/732.91	c cleaning 16005 clauses out of 32015 with flag 300736/10702994
741.85/733.99	c cleaning 17002 clauses out of 34008 with flag 342868/10720992
743.14/735.22	c cleaning 17999 clauses out of 36008 with flag 389846/10739994
744.44/736.51	c cleaning 18996 clauses out of 38008 with flag 435549/10759993
745.64/737.78	c cleaning 20002 clauses out of 40011 with flag 483763/10780992
747.04/739.13	c cleaning 21001 clauses out of 42009 with flag 531842/10802992
748.69/740.73	c cleaning 22004 clauses out of 44008 with flag 582370/10825992
750.19/742.25	c cleaning 22998 clauses out of 46004 with flag 633357/10849992
751.78/743.85	c cleaning 24001 clauses out of 48006 with flag 687152/10874992
753.38/745.45	c cleaning 24995 clauses out of 50005 with flag 742017/10900992
755.08/747.11	c cleaning 26001 clauses out of 52011 with flag 797567/10927993
756.77/748.87	c cleaning 27005 clauses out of 54010 with flag 856553/10955993
758.87/750.91	c cleaning 27996 clauses out of 56005 with flag 919041/10984993
761.26/753.32	c cleaning 29005 clauses out of 58009 with flag 981677/11014993
763.36/755.47	c cleaning 29996 clauses out of 60005 with flag 1046281/11045994
765.75/757.84	c cleaning 30999 clauses out of 62008 with flag 1117973/11077993
768.06/760.19	c cleaning 32003 clauses out of 64008 with flag 1196085/11110992
770.85/762.97	c cleaning 32996 clauses out of 66005 with flag 1273999/11144992
773.64/765.71	c cleaning 34003 clauses out of 68009 with flag 1352786/11179992
776.73/768.84	c cleaning 34997 clauses out of 70007 with flag 1433287/11215993
779.72/771.89	c cleaning 36000 clauses out of 72009 with flag 1514320/11252992
782.90/774.91	c cleaning 37000 clauses out of 74009 with flag 1599710/11290992
785.60/777.68	c cleaning 38006 clauses out of 76011 with flag 1680344/11329994
788.89/780.96	c cleaning 38998 clauses out of 78005 with flag 1765830/11369994
792.18/784.28	c cleaning 40000 clauses out of 80006 with flag 1856605/11410993
795.57/787.61	c cleaning 40992 clauses out of 82005 with flag 1947778/11452992
799.57/791.62	c cleaning 42004 clauses out of 84013 with flag 2052241/11495992
802.97/795.03	c cleaning 43003 clauses out of 86011 with flag 2146124/11539994
807.36/799.46	c cleaning 44002 clauses out of 88007 with flag 2257425/11584993
811.25/803.34	c cleaning 44998 clauses out of 90005 with flag 2359333/11630993
815.64/807.77	c cleaning 46003 clauses out of 92006 with flag 2468074/11677992
819.90/811.84	c cleaning 47001 clauses out of 94004 with flag 2570954/11725993
824.49/816.41	c cleaning 48003 clauses out of 96006 with flag 2674056/11774996
829.19/821.19	c cleaning 48997 clauses out of 97999 with flag 2776361/11824992
835.17/827.13	c cleaning 49997 clauses out of 100002 with flag 2882589/11875992
840.16/832.19	c cleaning 50997 clauses out of 102005 with flag 2997877/11927992
845.16/837.17	c cleaning 52004 clauses out of 104009 with flag 3120391/11980993
850.34/842.38	c cleaning 53002 clauses out of 106005 with flag 3246663/12034993
854.97/846.81	c cleaning 53992 clauses out of 108002 with flag 3360454/12089992
862.56/854.48	c cleaning 55001 clauses out of 110010 with flag 3510922/12145992
869.15/861.10	c cleaning 56003 clauses out of 112009 with flag 3640733/12202992
875.04/866.97	c cleaning 57003 clauses out of 114008 with flag 3771814/12260994
882.52/874.49	c cleaning 57998 clauses out of 116003 with flag 3906033/12319992
889.23/880.86	c cleaning 59001 clauses out of 118007 with flag 4032646/12379994
895.02/886.62	c cleaning 60000 clauses out of 120004 with flag 4167429/12440992
902.81/894.43	c cleaning 60999 clauses out of 122004 with flag 4312396/12502992
910.82/902.38	c cleaning 62002 clauses out of 124006 with flag 4468639/12565993
918.90/910.40	c cleaning 62999 clauses out of 126005 with flag 4621544/12629994
926.29/917.84	c cleaning 63997 clauses out of 128004 with flag 4780477/12694992
934.37/925.95	c cleaning 65000 clauses out of 130009 with flag 4931505/12760994
943.18/934.67	c cleaning 65999 clauses out of 132007 with flag 5093731/12827992
949.97/941.49	c cleaning 67001 clauses out of 134009 with flag 5249397/12895993
956.56/948.01	c cleaning 68000 clauses out of 136008 with flag 5399679/12964993
965.94/957.24	c cleaning 69002 clauses out of 138009 with flag 5583605/13034994
976.22/967.53	c cleaning 70001 clauses out of 140007 with flag 5772632/13105994
985.20/976.54	c cleaning 70996 clauses out of 142004 with flag 5955877/13177992
994.53/985.75	c cleaning 72002 clauses out of 144010 with flag 6136048/13250994
1002.23/993.44	c cleaning 73001 clauses out of 146008 with flag 6302405/13324994
1010.61/1001.67	c cleaning 74000 clauses out of 148006 with flag 6478791/13399993
1020.00/1011.03	c cleaning 75002 clauses out of 150005 with flag 6661389/13475992
1027.98/1018.86	c cleaning 76000 clauses out of 152004 with flag 6838440/13552993
1035.77/1026.63	c cleaning 77001 clauses out of 154004 with flag 7013794/13630993
1043.36/1034.06	c cleaning 77997 clauses out of 156003 with flag 7187617/13709993
1053.19/1042.92	c cleaning 78999 clauses out of 158005 with flag 7363338/13789992
1063.46/1053.28	c cleaning 79999 clauses out of 160006 with flag 7544166/13870992
1076.54/1066.33	c cleaning 81004 clauses out of 162007 with flag 7751845/13952992
1087.51/1077.24	c cleaning 81996 clauses out of 164004 with flag 7942516/14035993
1095.68/1085.44	c cleaning 83003 clauses out of 166008 with flag 8119852/14119993
1106.74/1096.44	c cleaning 84003 clauses out of 168006 with flag 8332516/14204994
1118.71/1108.40	c cleaning 84994 clauses out of 170001 with flag 8514052/14290992
1131.36/1121.00	c cleaning 85996 clauses out of 172007 with flag 8714067/14377992
1141.65/1131.11	c cleaning 87006 clauses out of 174013 with flag 8910998/14465994
1150.65/1140.22	c cleaning 88002 clauses out of 176006 with flag 9093646/14554993
1159.91/1149.44	c cleaning 89002 clauses out of 178003 with flag 9278402/14644992
1168.97/1158.46	c cleaning 89998 clauses out of 180001 with flag 9464206/14735992
1179.15/1168.57	c cleaning 91001 clauses out of 182005 with flag 9653403/14827994
1189.39/1178.65	c cleaning 92003 clauses out of 184005 with flag 9845159/14920995
1199.57/1188.74	c cleaning 93000 clauses out of 186002 with flag 10040788/15014995
1213.32/1202.49	c cleaning 93995 clauses out of 188001 with flag 10237108/15109994
1227.59/1216.63	c cleaning 94991 clauses out of 190004 with flag 10467110/15205992
1240.34/1229.27	c cleaning 96003 clauses out of 192015 with flag 10692864/15302994
1250.39/1239.19	c cleaning 97000 clauses out of 194011 with flag 10899972/15400993
1260.86/1248.64	c cleaning 97997 clauses out of 196010 with flag 11106605/15499992
1274.07/1261.72	c cleaning 98998 clauses out of 198014 with flag 11339693/15599993
1285.96/1273.67	c cleaning 100005 clauses out of 200017 with flag 11563817/15700994
1298.63/1286.23	c cleaning 101004 clauses out of 202011 with flag 11784453/15802993
1311.65/1299.24	c cleaning 101999 clauses out of 204006 with flag 12003699/15905992
1325.38/1312.91	c cleaning 103000 clauses out of 206007 with flag 12227765/16009992
1339.59/1327.01	c cleaning 103999 clauses out of 208008 with flag 12467652/16114993
1353.11/1340.44	c cleaning 104998 clauses out of 210009 with flag 12701925/16220993
1365.31/1352.55	c cleaning 106005 clauses out of 212011 with flag 12923293/16327993
1378.41/1365.69	c cleaning 106998 clauses out of 214005 with flag 13149541/16435992
1395.53/1382.79	c cleaning 107999 clauses out of 216007 with flag 13411243/16544992
1410.42/1397.66	c cleaning 109003 clauses out of 218008 with flag 13655227/16654992
1425.99/1413.16	c cleaning 109998 clauses out of 220006 with flag 13911543/16765993
1443.16/1430.10	c cleaning 111001 clauses out of 222007 with flag 14178232/16877992
1461.68/1448.52	c cleaning 111996 clauses out of 224006 with flag 14460697/16990992
1480.02/1466.74	c cleaning 112996 clauses out of 226010 with flag 14739344/17104992
1496.87/1483.44	c cleaning 114004 clauses out of 228015 with flag 15005073/17219993
1515.10/1501.52	c cleaning 114999 clauses out of 230010 with flag 15280584/17335992
1534.40/1520.81	c cleaning 116004 clauses out of 232011 with flag 15570199/17452992
1550.25/1536.74	c cleaning 117004 clauses out of 234007 with flag 15834626/17570992
1571.92/1558.50	c cleaning 117994 clauses out of 236003 with flag 16151276/17689992
1584.85/1571.17	c cleaning 119001 clauses out of 238009 with flag 16429401/17809992
1602.19/1587.30	c cleaning 119997 clauses out of 240009 with flag 16714598/17930993
1619.85/1604.97	c cleaning 120998 clauses out of 242011 with flag 16992717/18052992
1641.96/1626.88	c cleaning 122003 clauses out of 244013 with flag 17281350/18175992
1662.71/1647.43	c cleaning 123003 clauses out of 246010 with flag 17561299/18299992
1688.21/1672.84	c cleaning 124001 clauses out of 248008 with flag 17888007/18424993
1705.19/1689.76	c cleaning 124999 clauses out of 250007 with flag 18173526/18550993
1735.24/1719.94	c cleaning 126004 clauses out of 252008 with flag 18507194/18677993
1758.38/1743.29	c cleaning 126996 clauses out of 254003 with flag 18829697/18805992
1777.14/1761.94	c cleaning 128003 clauses out of 256007 with flag 19126198/18934992
1795.57/1780.39	c cleaning 129003 clauses out of 258007 with flag 19415495/19064995
1815.49/1800.15	c cleaning 130000 clauses out of 260002 with flag 19728655/19195993
1839.33/1823.92	c cleaning 130998 clauses out of 262004 with flag 20085932/19327995
1858.42/1843.08	c cleaning 132000 clauses out of 264005 with flag 20419019/19460994
1881.00/1865.79	c cleaning 133002 clauses out of 266003 with flag 20760189/19594992
1908.00/1892.74	c cleaning 133999 clauses out of 268002 with flag 21110459/19729993
1928.05/1912.64	c cleaning 135001 clauses out of 270002 with flag 21427030/19865992
1950.79/1935.24	c cleaning 135993 clauses out of 272001 with flag 21732406/20002992
1971.06/1955.44	c cleaning 136995 clauses out of 274009 with flag 22070510/20140993
1997.51/1981.81	c cleaning 137999 clauses out of 276013 with flag 22422041/20279992
2018.90/2003.11	c cleaning 139005 clauses out of 278014 with flag 22760844/20419992
2040.71/2024.87	c cleaning 139998 clauses out of 280009 with flag 23090325/20560992
2064.60/2048.77	c cleaning 141002 clauses out of 282012 with flag 23438355/20702993
2091.25/2075.26	c cleaning 141997 clauses out of 284010 with flag 23812923/20845993
2115.24/2099.13	c cleaning 143006 clauses out of 286013 with flag 24169549/20989993
2137.57/2121.39	c cleaning 143999 clauses out of 288007 with flag 24508878/21134993
2159.25/2142.95	c cleaning 145002 clauses out of 290010 with flag 24812429/21280995
2184.34/2167.84	c cleaning 145997 clauses out of 292007 with flag 25119602/21427994
2207.38/2190.68	c cleaning 146999 clauses out of 294008 with flag 25459265/21575992
2236.70/2218.90	c cleaning 147998 clauses out of 296010 with flag 25790067/21724993
2264.60/2246.87	c cleaning 149002 clauses out of 298014 with flag 26115563/21874995
2287.76/2269.99	c cleaning 150001 clauses out of 300009 with flag 26442188/22025992
2316.13/2298.49	c cleaning 150997 clauses out of 302010 with flag 26806675/22177994
2338.06/2320.36	c cleaning 152002 clauses out of 304013 with flag 27153835/22330994
2361.85/2344.05	c cleaning 152999 clauses out of 306011 with flag 27499131/22484994
2385.04/2367.12	c cleaning 154000 clauses out of 308011 with flag 27845342/22639993
2412.20/2394.17	c cleaning 154999 clauses out of 310012 with flag 28206735/22795994
2443.77/2425.63	c cleaning 155996 clauses out of 312012 with flag 28628110/22952993
2466.11/2447.96	c cleaning 157004 clauses out of 314015 with flag 28990963/23110992
2497.11/2478.89	c cleaning 157999 clauses out of 316011 with flag 29403703/23269992
2531.07/2512.91	c cleaning 159001 clauses out of 318015 with flag 29759688/23429995
2563.06/2544.99	c cleaning 160006 clauses out of 320015 with flag 30181035/23590996
2589.05/2570.97	c cleaning 160998 clauses out of 322005 with flag 30539971/23752992
2619.99/2601.82	c cleaning 161997 clauses out of 324007 with flag 30886828/23915992
2656.56/2638.44	c cleaning 163000 clauses out of 326010 with flag 31321550/24079992
2682.73/2664.65	c cleaning 163999 clauses out of 328010 with flag 31700384/24244992
2714.95/2696.81	c cleaning 165006 clauses out of 330012 with flag 32075663/24410993
2742.15/2723.83	c cleaning 165998 clauses out of 332006 with flag 32456380/24577993
2772.52/2753.74	c cleaning 167004 clauses out of 334007 with flag 32847957/24745992
2808.09/2789.21	c cleaning 167997 clauses out of 336003 with flag 33277212/24914992
2849.11/2830.29	c cleaning 169003 clauses out of 338009 with flag 33676038/25084995
2880.99/2861.81	c cleaning 169995 clauses out of 340003 with flag 34034217/25255992
2909.52/2890.00	c cleaning 170993 clauses out of 342008 with flag 34397910/25427992
2944.23/2924.61	c cleaning 172002 clauses out of 344015 with flag 34813108/25600992
2981.45/2961.61	c cleaning 173003 clauses out of 346013 with flag 35248158/25774992
3022.35/3002.48	c cleaning 174003 clauses out of 348010 with flag 35703237/25949992
3062.09/3041.93	c cleaning 175000 clauses out of 350007 with flag 36143733/26125992
3103.02/3082.76	c cleaning 176003 clauses out of 352007 with flag 36610736/26302992
3138.37/3117.80	c cleaning 176998 clauses out of 354005 with flag 37061899/26480993
3179.50/3158.95	c cleaning 178002 clauses out of 356009 with flag 37496079/26659995
3223.33/3201.45	c cleaning 178996 clauses out of 358005 with flag 37956239/26839993
3266.32/3244.31	c cleaning 180002 clauses out of 360010 with flag 38426760/27020994
3298.31/3276.22	c cleaning 180998 clauses out of 362006 with flag 38885235/27202992
3334.72/3312.51	c cleaning 182005 clauses out of 364010 with flag 39322334/27385994
3366.76/3344.50	c cleaning 182993 clauses out of 366004 with flag 39736509/27569993
3393.26/3370.65	c cleaning 184001 clauses out of 368011 with flag 40148124/27754993
3431.01/3408.19	c cleaning 184996 clauses out of 370009 with flag 40627536/27940992
3474.05/3451.07	c cleaning 186000 clauses out of 372014 with flag 41101812/28127993
3508.80/3485.76	c cleaning 187001 clauses out of 374014 with flag 41527596/28315993
3545.70/3522.49	c cleaning 187997 clauses out of 376012 with flag 41928832/28504992
3582.87/3559.59	c cleaning 189002 clauses out of 378015 with flag 42433683/28694992
3600.03/3576.52	c starts		: 67549
3600.03/3576.52	c conflicts		: 28818559
3600.03/3576.52	c decisions		: 32123943
3600.03/3576.52	c propagations		: 900324791
3600.03/3576.52	c inspects		: 34754548707
3600.03/3576.52	c shortcuts		: 0
3600.03/3576.52	c learnt literals	: 0
3600.03/3576.52	c learnt binary clauses	: 0
3600.03/3576.52	c learnt ternary clauses	: 1376
3600.03/3576.52	c learnt constraints	: 28818559
3600.03/3576.52	c ignored constraints	: 0
3600.03/3576.52	c root simplifications	: 0
3600.03/3576.52	c removed literals (reason simplification)	: 0
3600.03/3576.52	c reason swapping (by a shorter reason)	: 0
3600.03/3576.52	c Calls to reduceDB	: 693
3600.03/3576.52	c Number of update (reduction) of LBD	: 280544
3600.03/3576.52	c Imported unit clauses	: 0
3600.03/3576.52	c No decision after first conflict	: false
3600.03/3576.52	c number of reductions to clauses (during analyze)	: 0
3600.03/3576.52	c number of learned constraints concerned by reduction	: 0
3600.03/3576.52	c number of learning phase by resolution	: 0
3600.03/3576.52	c number of learning phase by cutting planes	: 0
3600.03/3576.52	c number of rounding to 1 operations	: 0
3600.03/3576.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3576.52	c number of reductions of the coefficients by power 2 	: 0
3600.03/3576.52	c number of right shift for reduction by power 2 	: 0
3600.03/3576.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3576.52	c number of ending skipping 	: 0
3600.03/3576.52	c number of internal skipping 	: 0
3600.03/3576.52	c number of derivation steps 	: 0
3600.03/3576.52	c number of skipped derivation steps 	: 0
3600.03/3576.52	c number of remaining unassigned 	: 0
3600.03/3576.52	c number of remaining assigned 	: 0
3600.03/3576.52	c number of falsified literals weakened from reason	: 0
3600.03/3576.52	c number of falsified literals weakened from conflict	: 0
3600.03/3576.52	c time for arithmetic operations	: 0
3600.03/3576.52	c minimum degree of deleted constraints	: null
3600.03/3576.52	c maximum degree of deleted constraints	: null
3600.03/3576.52	c number of deleted constraints	: 0
3600.03/3576.52	c speed (assignments/second)	: 251745.51642200703
3600.03/3576.52	c non guided choices	: 0
3600.03/3576.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 312580
3600.03/3576.60	s SATISFIABLE
3600.03/3576.60	c Found 91 solution(s)
3600.03/3576.60	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 
3600.22/3576.61	c objective function=176
3600.22/3576.61	c Total wall clock time (in seconds): 3576.487

Verifier Data 

OK	176

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.101137 s]*
/proc/loadavg: 1.12 1.10 1.18 15/325 257457
/proc/meminfo: memFree=125746312/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=18975048 memory=66412 CPUtime=0.14 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 7117 0 0 0 12 2 0 0 20 0 18 0 31175536 19430449152 16603 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4743762 16603 5585 1 0 549343 0
[pid=257403/tid=257407] ppid=257391 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 5679 0 0 0 7 1 0 0 20 0 18 0 31175537 19430449152 16603 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 31175539 19430449152 16603 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=18975048 memory=14131147602236477 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 31175540 19430449152 16603 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66412 KiB

[startup+0.213647 s]*
/proc/loadavg: 1.12 1.10 1.18 15/327 257459
/proc/meminfo: memFree=125716608/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19041612 memory=73860 CPUtime=0.34 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 7874 0 0 0 32 2 0 0 20 0 19 0 31175536 19498610688 18465 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4760403 18465 5869 1 0 550067 0
[pid=257403/tid=257407] ppid=257391 vsize=19041612 memory=664970851429515395 CPUtime=0.19 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 5945 0 0 0 17 2 0 0 20 0 19 0 31175537 19498610688 18465 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19041612 memory=1416227 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 31175539 19498610688 18465 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19041612 memory=15537422972749500 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 31175540 19498610688 18465 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 31175556 19498610688 18465 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73860 KiB

[startup+0.305647 s]*
/proc/loadavg: 1.12 1.10 1.18 12/328 257460
/proc/meminfo: memFree=125688984/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19041612 memory=82224 CPUtime=0.53 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 9565 0 0 0 50 3 0 0 20 0 19 0 31175536 19498610688 20556 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4760403 20556 5869 1 0 551055 0
[pid=257403/tid=257407] ppid=257391 vsize=19041612 memory=-9103014432079585980 CPUtime=0.27 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 5959 0 0 0 25 2 0 0 20 0 19 0 31175537 19498610688 20556 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 31175539 19498610688 20556 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 31175540 19498610688 20556 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 31175556 19498610688 20556 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82224 KiB

[startup+0.700648 s]
/proc/loadavg: 1.12 1.10 1.18 14/329 257461
/proc/meminfo: memFree=125619248/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19041612 memory=117072 CPUtime=1.27 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 10340 0 0 0 124 3 0 0 20 0 19 0 31175536 19498610688 29268 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4760403 29268 5869 1 0 551447 0
[pid=257403/tid=257407] ppid=257391 vsize=19041612 memory=68904 CPUtime=0.64 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 5981 0 0 0 62 2 0 0 20 0 19 0 31175537 19498610688 29268 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19041612 memory=12928 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 31175539 19498610688 29268 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19041612 memory=2220 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 31175540 19498610688 29268 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19041612 memory=39048 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 31175556 19498610688 29268 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 117072 KiB

[startup+1.50465 s]
/proc/loadavg: 1.12 1.10 1.18 11/329 257461
/proc/meminfo: memFree=125407496/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=222812 CPUtime=2.42 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 15940 0 0 0 237 5 0 0 20 0 20 0 31175536 19566772224 55703 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 55703 5900 1 0 552865 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=12928 CPUtime=1.39 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 6573 0 0 0 136 3 0 0 20 0 20 0 31175537 19566772224 55703 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 55703 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 55703 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=39048 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 55703 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222812 KiB

[startup+3.10666 s]
/proc/loadavg: 1.51 1.19 1.20 8/333 257465
/proc/meminfo: memFree=124472080/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=338200 CPUtime=4.26 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 17477 0 0 0 419 7 0 0 20 0 20 0 31175536 19566772224 84550 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 84550 5900 1 0 552869 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=0 CPUtime=2.87 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 7002 0 0 0 284 3 0 0 20 0 20 0 31175537 19566772224 84550 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=-9103014432079585980 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 84550 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 84550 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 84550 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 338200 KiB

[startup+6.30066 s]
/proc/loadavg: 1.51 1.19 1.20 9/333 257465
/proc/meminfo: memFree=123067688/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=744936 CPUtime=7.81 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 19744 0 0 0 767 14 0 0 20 0 20 0 31175536 19566772224 186234 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 186234 5910 1 0 843289 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=12928 CPUtime=5.79 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 7196 0 0 0 573 6 0 0 20 0 20 0 31175537 19566772224 186234 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 186234 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 186234 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=6944656592455360608 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 186234 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 7.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 744936 KiB

[startup+12.7003 s]
/proc/loadavg: 1.97 1.30 1.24 7/333 257466
/proc/meminfo: memFree=120054300/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=1258284 CPUtime=14.45 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 20941 0 0 0 1418 27 0 0 20 0 20 0 31175536 19566772224 314571 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 314571 5910 1 0 1119022 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=0 CPUtime=11.87 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 7408 0 0 0 1177 10 0 0 20 0 20 0 31175537 19566772224 314571 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 314571 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 314571 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=68904 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 314571 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 14.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1258284 KiB

[startup+25.5003 s]
/proc/loadavg: 2.29 1.39 1.27 9/333 257468
/proc/meminfo: memFree=116208836/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=2136420 CPUtime=27.76 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 24725 0 0 0 2732 44 0 0 20 0 20 0 31175536 19566772224 534105 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 534105 5910 1 0 1238090 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=68904 CPUtime=24.08 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 8519 0 0 0 2394 14 0 0 20 0 20 0 31175537 19566772224 534105 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=1859940 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 534105 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=1633604 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 534105 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=-9103014432079585980 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 534105 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 27.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2136420 KiB

[startup+51.106 s]
/proc/loadavg: 3.14 1.66 1.36 8/335 257642
/proc/meminfo: memFree=110111400/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=2863620 CPUtime=53.87 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 28639 0 0 0 5329 58 0 0 20 0 20 0 31175536 19566772224 715905 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 715905 5910 1 0 1238092 0

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

[startup+3222.3 s]
/proc/loadavg: 4.58 4.47 4.27 8/335 258870
/proc/meminfo: memFree=71148948/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=9766572 CPUtime=3244.19 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 316604 0 0 0 324095 324 0 0 20 0 20 0 31175536 19566772224 2441643 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 2441643 5926 1 0 3058360 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=8630960 CPUtime=3180.97 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 108452 0 0 0 318001 96 0 0 20 0 20 0 31175537 19566772224 2441643 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=9766572 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 2441643 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=39048 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2359 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 2441643 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=9766572 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 2441643 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3244.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9766572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.42 4.27 8/335 258881
/proc/meminfo: memFree=71026444/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=9775004 CPUtime=3304.4 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 323902 0 0 0 330114 326 0 0 20 0 20 0 31175536 19566772224 2443751 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 2443751 5926 1 0 3058365 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=9775004 CPUtime=3240.13 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 111496 0 0 0 323917 96 0 0 20 0 20 0 31175537 19566772224 2443751 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 2443751 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=9775000 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2448 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 2443751 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=9775004 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 2443751 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3304.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775004 KiB

[startup+3342.3 s]
/proc/loadavg: 3.66 4.23 4.21 6/309 258924
/proc/meminfo: memFree=86745500/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=9775024 CPUtime=3364.57 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 330711 0 0 0 336128 329 0 0 20 0 20 0 31175536 19566772224 2443756 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 2443756 5926 1 0 3058365 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=9775024 CPUtime=3299.69 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 114506 0 0 0 329872 97 0 0 20 0 20 0 31175537 19566772224 2443756 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=9775024 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 2443756 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=5528 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2591 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 2443756 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 2443756 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3364.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775024 KiB

[startup+3402.3 s]
/proc/loadavg: 3.30 4.02 4.14 6/309 258935
/proc/meminfo: memFree=86740568/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=9775048 CPUtime=3425.21 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 338007 0 0 0 342189 332 0 0 20 0 20 0 31175536 19566772224 2443762 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 2443762 5926 1 0 3058365 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=9775048 CPUtime=3358.8 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 116892 0 0 0 335783 97 0 0 20 0 20 0 31175537 19566772224 2443762 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 2443762 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=68904 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2736 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 2443762 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=9775044 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 2443762 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3425.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775048 KiB

[startup+3462.3 s]
/proc/loadavg: 3.19 3.86 4.07 6/308 259329
/proc/meminfo: memFree=86681204/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=9775052 CPUtime=3485.44 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 342897 0 0 0 348210 334 0 0 20 0 20 0 31175536 19566772224 2443763 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 2443763 5926 1 0 3058365 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=11588 CPUtime=3418.28 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 119115 0 0 0 341731 97 0 0 20 0 20 0 31175537 19566772224 2443763 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=9775048 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 2443763 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=9775048 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2826 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 2443763 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=9775052 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 2443763 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3485.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775052 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.75 4.02 5/280 259373
/proc/meminfo: memFree=102279856/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=9775064 CPUtime=3545.6 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 347966 0 0 0 354224 336 0 0 20 0 20 0 31175536 19566772224 2443766 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 2443766 5926 1 0 3058365 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=68904 CPUtime=3477.71 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 121499 0 0 0 347674 97 0 0 20 0 20 0 31175537 19566772224 2443766 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=68904 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 2443766 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=9775052 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2865 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 2443766 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=9775064 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 2443766 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3545.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3576.5 s]
/proc/loadavg: 2.32 3.42 3.89 2/254 259415
/proc/meminfo: memFree=116105176/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19108176 memory=9775072 CPUtime=3600.03 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 352882 0 0 0 359665 338 0 0 20 0 20 0 31175536 19566772224 2443768 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4777044 2443768 5926 1 0 3058365 0
[pid=257403/tid=257407] ppid=257391 vsize=19108176 memory=68904 CPUtime=3531.28 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 123291 0 0 0 353031 97 0 0 20 0 20 0 31175537 19566772224 2443768 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19108176 memory=68904 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 31175539 19566772224 2443768 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2948 0 0 0 0 0 0 0 20 0 20 0 31175540 19566772224 2443768 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257459] ppid=257391 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/257403/task/257459/stat : 257459 (Timer-0) S 257391 257403 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 31175556 19566772224 2443768 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9775072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.87 s, system=3.41831 s

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

[startup+3576.61 s]
/proc/loadavg: 2.32 3.42 3.89 2/254 259415
/proc/meminfo: memFree=116105176/131524600 swapFree=131055836/131071996
[pid=257403] ppid=257391 vsize=19307868 memory=9775864 CPUtime=3600.22 cores=4,6
/proc/257403/stat : 257403 (java) S 257391 257403 252712 0 -1 1077936128 356071 0 0 0 359684 338 0 0 20 0 21 0 31175536 19771256832 2443966 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
/proc/257403/statm: 4826967 2443966 5925 1 0 3059278 0
[pid=257403/tid=257407] ppid=257391 vsize=19307868 memory=32692 CPUtime=3531.36 cores=4,6
/proc/257403/task/257407/stat : 257407 (java) R 257391 257403 252712 0 -1 4194368 123369 0 0 0 353039 97 0 0 20 0 21 0 31175537 19771256832 2443966 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257430] ppid=257391 vsize=19307868 memory=108 CPUtime=0 cores=4,6
/proc/257403/task/257430/stat : 257430 (Finalizer) S 257391 257403 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 31175539 19771256832 2443966 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
[pid=257403/tid=257447] ppid=257391 vsize=19307868 memory=5528 CPUtime=0 cores=4,6
/proc/257403/task/257447/stat : 257447 (Common-Cleaner) S 257391 257403 252712 0 -1 1077936192 2948 0 0 0 0 0 0 0 20 0 21 0 31175540 19771256832 2443966 134679101440 94917317419008 94917317422704 140736982496336 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94917317430520 94917317431312 94917320679424 140736982500358 140736982500448 140736982500448 140736982507464 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9775864 KiB

Child status: 143

Real time (s): 3576.65
CPU time (s): 3600.28
CPU user time (s): 3596.87
CPU system time (s): 3.41831
CPU usage (%): 100.661
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9775864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.87
system time used= 3.41831
maximum resident set size= 9776708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114608
involuntary context switches= 13387


# summary of solver processes directly reported to runsolver:
#   pid: 257403
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3596.87
#   total CPU system time (s): 3.41831

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46627 second user time and 20.2153 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 5c14727f1628c687fc33c0e456a00727
RANDOM SEED=911227866

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125905108 kB
MemAvailable:   129696560 kB
Buffers:          339704 kB
Cached:          4249696 kB
SwapCached:          300 kB
Active:          2555616 kB
Inactive:        2404472 kB
Active(anon):       2148 kB
Inactive(anon):   421600 kB
Active(file):    2553468 kB
Inactive(file):  1982872 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055836 kB
Dirty:              3056 kB
Writeback:             0 kB
AnonPages:        370532 kB
Mapped:           119884 kB
Shmem:             53064 kB
KReclaimable:     189868 kB
Slab:             306092 kB
SReclaimable:     189868 kB
SUnreclaim:       116224 kB
KernelStack:        3924 kB
PageTables:        10212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2905856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      391892 kB
DirectMap2M:    39227392 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC033 at 2024-07-26 01:27:15