Trace number 4490526

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)4 3600.46 3600.26

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUM8ec3b633bd42b6cf315d15d8b6de5e8f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark5302.93
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.25/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.24	c java.vm.version	22.0.1+8-16
0.25/0.24	c java.vm.vendor	Oracle Corporation
0.25/0.24	c sun.arch.data.model	64
0.25/0.24	c java.version		22.0.1
0.25/0.24	c os.name		Linux
0.25/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.24	c os.arch		amd64
0.25/0.25	c Free memory 		2104792832
0.25/0.25	c Max memory 		16282288128
0.25/0.25	c Total memory 		2113929216
0.25/0.26	c Number of processors 	2
0.42/0.36	c Pseudo Boolean Optimization by upper bound
0.42/0.36	c --- Begin Solver configuration ---
0.42/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.36	c Learn all clauses as in MiniSAT
0.42/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.36	c Expensive reason simplification
0.42/0.36	c Glucose 2.1 dynamic restart strategy
0.42/0.36	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.42/0.36	c timeout=2147483s
0.42/0.36	c DB Simplification allowed=false
0.42/0.36	c Listener: none
0.42/0.36	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4490526-1751360462.opb
0.42/0.37	c reading problem ... 
0.42/0.37	c  objective function found
0.59/0.44	c ... done. Wall clock time 0.061s.
0.59/0.44	c declared #vars     120
0.59/0.44	c #constraints  10
0.59/0.44	c constraints type 
0.59/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.59/0.44	c 10 constraints processed.
0.59/0.47	c objective function length is 80 literals
1.91/1.15	c cleaning 2496 clauses out of 5005 with flag 10142/5005
2.88/1.63	c cleaning 4241 clauses out of 8504 with flag 22300/11000
3.48/1.99	c cleaning 5627 clauses out of 11264 with flag 36518/18001
3.97/2.23	c cleaning 6812 clauses out of 13636 with flag 52711/26000
4.27/2.48	c cleaning 7898 clauses out of 15824 with flag 70939/35000
4.37/2.53	c SATISFIABLE
4.37/2.53	c OPTIMIZING...
4.37/2.53	c Got one! Elapsed wall clock time (in seconds):2.168
4.37/2.54	o 749
4.37/2.57	c Got one! Elapsed wall clock time (in seconds):2.201
4.37/2.57	o 198
4.37/2.57	c Got one! Elapsed wall clock time (in seconds):2.205
4.37/2.57	o 194
4.37/2.57	c Got one! Elapsed wall clock time (in seconds):2.209
4.37/2.57	o 159
4.37/2.58	c Got one! Elapsed wall clock time (in seconds):2.212
4.37/2.58	o 145
4.37/2.59	c Got one! Elapsed wall clock time (in seconds):2.224
4.37/2.59	o 99
4.69/2.76	c cleaning 7232 clauses out of 14486 with flag 6284/41560
5.02/2.93	c cleaning 6619 clauses out of 13258 with flag 18391/47564
5.32/3.12	c cleaning 6808 clauses out of 13636 with flag 32487/54561
5.56/3.31	c cleaning 7399 clauses out of 14828 with flag 48664/62561
5.77/3.57	c cleaning 8203 clauses out of 16429 with flag 66881/71561
6.07/3.82	c cleaning 9109 clauses out of 18227 with flag 87050/81562
6.29/4.10	c cleaning 10049 clauses out of 20116 with flag 109299/92560
6.67/4.41	c cleaning 11025 clauses out of 22068 with flag 133572/104561
6.97/4.79	c cleaning 12016 clauses out of 24042 with flag 159866/117560
7.47/5.17	c cleaning 13003 clauses out of 26027 with flag 188336/131561
8.02/5.62	c cleaning 14001 clauses out of 28024 with flag 218634/146561
8.44/6.10	c cleaning 15001 clauses out of 30022 with flag 250902/162560
8.92/6.55	c cleaning 16002 clauses out of 32022 with flag 285206/179561
9.43/7.06	c cleaning 17000 clauses out of 34019 with flag 321570/197560
9.92/7.55	c Got one! Elapsed wall clock time (in seconds):7.185
9.92/7.55	o 96
9.92/7.57	c Got one! Elapsed wall clock time (in seconds):7.207
9.92/7.57	o 94
10.02/7.60	c Got one! Elapsed wall clock time (in seconds):7.236
10.02/7.60	o 93
10.32/8.00	c cleaning 20752 clauses out of 41516 with flag 10102/222057
10.62/8.21	c cleaning 13377 clauses out of 26766 with flag 22221/228059
10.72/8.39	c cleaning 10184 clauses out of 20385 with flag 36336/235055
10.82/8.41	c Got one! Elapsed wall clock time (in seconds):8.048
10.82/8.41	o 92
10.82/8.42	c Got one! Elapsed wall clock time (in seconds):8.052
10.82/8.42	o 88
10.82/8.42	c Got one! Elapsed wall clock time (in seconds):8.056
10.82/8.42	o 87
10.82/8.43	c Got one! Elapsed wall clock time (in seconds):8.06
10.82/8.43	o 86
10.82/8.43	c Got one! Elapsed wall clock time (in seconds):8.064
10.82/8.43	o 83
10.82/8.44	c Got one! Elapsed wall clock time (in seconds):8.078
10.82/8.44	o 80
10.94/8.50	c Got one! Elapsed wall clock time (in seconds):8.136
10.94/8.50	o 77
10.94/8.51	c Got one! Elapsed wall clock time (in seconds):8.142
10.94/8.51	o 72
10.94/8.58	c cleaning 8895 clauses out of 17810 with flag 4137/242664
11.14/8.70	c cleaning 7445 clauses out of 14915 with flag 16266/248664
11.24/8.82	c Got one! Elapsed wall clock time (in seconds):8.456
11.24/8.82	o 70
11.24/8.83	c Got one! Elapsed wall clock time (in seconds):8.463
11.24/8.83	o 68
11.24/8.84	c Got one! Elapsed wall clock time (in seconds):8.471
11.24/8.84	o 65
11.24/8.85	c Got one! Elapsed wall clock time (in seconds):8.485
11.24/8.85	o 64
11.34/9.01	c cleaning 10178 clauses out of 20382 with flag 10150/261576
11.56/9.14	c cleaning 8092 clauses out of 16203 with flag 22225/267575
11.64/9.28	c cleaning 7548 clauses out of 15112 with flag 36395/274576
11.84/9.45	c cleaning 7772 clauses out of 15563 with flag 52567/282575
12.04/9.65	c cleaning 8384 clauses out of 16791 with flag 70779/291575
12.25/9.88	c cleaning 9194 clauses out of 18407 with flag 91030/301575
12.56/10.13	c cleaning 10098 clauses out of 20215 with flag 113297/312577
12.85/10.42	c cleaning 11048 clauses out of 22116 with flag 137445/324576
13.15/10.77	c cleaning 12021 clauses out of 24067 with flag 163658/337575
13.56/11.12	c cleaning 13015 clauses out of 26046 with flag 191865/351575
13.95/11.53	c cleaning 14007 clauses out of 28032 with flag 222066/366576
14.47/12.01	c cleaning 15003 clauses out of 30024 with flag 254303/382575
14.96/12.52	c cleaning 15999 clauses out of 32022 with flag 288616/399576
15.47/13.04	c cleaning 17000 clauses out of 34022 with flag 324906/417575
16.05/13.65	c cleaning 18003 clauses out of 36024 with flag 363275/436577
16.75/14.32	c cleaning 18994 clauses out of 38020 with flag 403593/456576
17.46/15.08	c cleaning 20002 clauses out of 40027 with flag 446025/477577
18.25/15.81	c cleaning 21003 clauses out of 42025 with flag 490534/499577
18.95/16.55	c cleaning 21997 clauses out of 44020 with flag 537012/522575
19.75/17.30	c cleaning 23004 clauses out of 46024 with flag 585628/546576
20.35/18.01	c cleaning 24003 clauses out of 48021 with flag 636152/571577
21.24/18.85	c cleaning 24997 clauses out of 50017 with flag 688565/597576
22.24/19.83	c cleaning 26000 clauses out of 52020 with flag 743023/624576
23.45/21.07	c cleaning 26997 clauses out of 54020 with flag 799453/652576
24.55/22.14	c cleaning 27996 clauses out of 56023 with flag 857981/681576
24.94/22.54	c Got one! Elapsed wall clock time (in seconds):22.17
24.94/22.54	o 61
24.94/22.56	c Got one! Elapsed wall clock time (in seconds):22.189
24.94/22.56	o 59
25.45/23.02	c cleaning 23603 clauses out of 47227 with flag 10135/700776
25.45/23.03	c Got one! Elapsed wall clock time (in seconds):22.663
25.45/23.03	o 57
25.64/23.23	c cleaning 14556 clauses out of 29120 with flag 10179/706272
25.75/23.38	c cleaning 10272 clauses out of 20563 with flag 22275/712271
25.95/23.54	c cleaning 8637 clauses out of 17292 with flag 36425/719272
26.15/23.71	c cleaning 8317 clauses out of 16655 with flag 52580/727272
26.35/23.91	c cleaning 8663 clauses out of 17338 with flag 70737/736272
26.56/24.13	c cleaning 9327 clauses out of 18674 with flag 90954/746271
26.75/24.38	c cleaning 10162 clauses out of 20347 with flag 113189/757271
27.05/24.66	c cleaning 11085 clauses out of 22186 with flag 137448/769272
27.35/24.97	c cleaning 12041 clauses out of 24101 with flag 163611/782272
27.75/25.33	c cleaning 13022 clauses out of 26059 with flag 191848/796271
28.14/25.77	c cleaning 14012 clauses out of 28037 with flag 222034/811271
28.64/26.26	c cleaning 15003 clauses out of 30025 with flag 254355/827271
29.14/26.71	c cleaning 16002 clauses out of 32022 with flag 288837/844271
29.64/27.27	c cleaning 17000 clauses out of 34020 with flag 325190/862271
30.24/27.82	c cleaning 18005 clauses out of 36020 with flag 363571/881271
30.84/28.40	c cleaning 18994 clauses out of 38015 with flag 404080/901271
31.34/29.01	c cleaning 20004 clauses out of 40021 with flag 446502/922271
32.13/29.72	c cleaning 20994 clauses out of 42017 with flag 490837/944271
32.84/30.48	c cleaning 22009 clauses out of 44023 with flag 537145/967271
32.84/30.48	c Got one! Elapsed wall clock time (in seconds):30.117
32.84/30.48	o 56
32.94/30.53	c Got one! Elapsed wall clock time (in seconds):30.165
32.94/30.53	o 54
32.94/30.54	c Got one! Elapsed wall clock time (in seconds):30.175
32.94/30.54	o 51
32.94/30.58	c Got one! Elapsed wall clock time (in seconds):30.21
32.94/30.58	o 48
32.94/30.59	c Got one! Elapsed wall clock time (in seconds):30.219
32.94/30.59	o 45
33.06/30.65	c Got one! Elapsed wall clock time (in seconds):30.282
33.06/30.65	o 43
33.06/30.67	c Got one! Elapsed wall clock time (in seconds):30.306
33.06/30.67	o 42
33.06/30.69	c Got one! Elapsed wall clock time (in seconds):30.329
33.06/30.69	o 40
33.16/30.73	c Got one! Elapsed wall clock time (in seconds):30.363
33.16/30.73	o 38
33.16/30.78	c Got one! Elapsed wall clock time (in seconds):30.418
33.16/30.78	o 37
33.37/30.94	c cleaning 15820 clauses out of 31662 with flag 4120/976919
33.59/31.15	c cleaning 10912 clauses out of 21842 with flag 16272/982919
33.78/31.34	c cleaning 8962 clauses out of 17931 with flag 30478/989920
33.99/31.51	c cleaning 8472 clauses out of 16968 with flag 46639/997919
34.35/31.72	c cleaning 8737 clauses out of 17495 with flag 64845/1006918
34.70/31.94	c cleaning 9364 clauses out of 18758 with flag 85025/1016918
35.00/32.20	c cleaning 10191 clauses out of 20398 with flag 107320/1027922
35.00/32.27	c Got one! Elapsed wall clock time (in seconds):31.899
35.00/32.27	o 36
35.10/32.31	c Got one! Elapsed wall clock time (in seconds):31.949
35.10/32.32	o 34
35.10/32.37	c cleaning 7897 clauses out of 15809 with flag 2038/1033524
35.30/32.50	c cleaning 6944 clauses out of 13912 with flag 14138/1039524
35.30/32.52	c Got one! Elapsed wall clock time (in seconds):32.152
35.30/32.52	o 31
35.40/32.64	c cleaning 6356 clauses out of 12735 with flag 10177/1045291
35.50/32.76	c cleaning 6179 clauses out of 12379 with flag 22296/1051291
35.70/32.90	c cleaning 6591 clauses out of 13200 with flag 36480/1058291
35.81/33.07	c cleaning 7297 clauses out of 14611 with flag 52677/1066293
36.00/33.28	c cleaning 8146 clauses out of 16312 with flag 71002/1075291
36.30/33.53	c cleaning 9076 clauses out of 18168 with flag 91233/1085293
36.59/33.82	c cleaning 10037 clauses out of 20091 with flag 113543/1096292
36.91/34.13	c cleaning 11015 clauses out of 22055 with flag 137769/1108293
37.19/34.45	c cleaning 12006 clauses out of 24038 with flag 163998/1121291
37.62/34.87	c cleaning 13010 clauses out of 26035 with flag 192241/1135294
38.01/35.26	c cleaning 14001 clauses out of 28022 with flag 222419/1150291
38.51/35.71	c cleaning 15004 clauses out of 30023 with flag 254734/1166293
38.93/36.19	c cleaning 16000 clauses out of 32018 with flag 289028/1183292
39.51/36.74	c cleaning 17002 clauses out of 34017 with flag 325210/1201291
40.01/37.29	c cleaning 17999 clauses out of 36015 with flag 363565/1220291
40.71/37.92	c cleaning 18999 clauses out of 38016 with flag 403915/1240291
41.31/38.56	c cleaning 19998 clauses out of 40018 with flag 446421/1261292
42.01/39.28	c cleaning 21000 clauses out of 42020 with flag 491025/1283292
42.85/40.01	c cleaning 22000 clauses out of 44020 with flag 537314/1306292
43.63/40.85	c cleaning 23002 clauses out of 46020 with flag 585811/1330292
44.53/41.79	c cleaning 23997 clauses out of 48017 with flag 636413/1355291
45.53/42.72	c cleaning 25000 clauses out of 50021 with flag 689058/1381292
46.53/43.74	c cleaning 25999 clauses out of 52024 with flag 743561/1408295
47.62/44.86	c cleaning 26999 clauses out of 54021 with flag 800107/1436291
48.83/46.09	c cleaning 28002 clauses out of 56024 with flag 858944/1465293
50.02/47.29	c cleaning 28998 clauses out of 58020 with flag 919657/1495291
51.31/48.56	c cleaning 29997 clauses out of 60022 with flag 982453/1526291
52.83/50.05	c cleaning 31001 clauses out of 62029 with flag 1047184/1558295
54.11/51.32	c cleaning 32007 clauses out of 64028 with flag 1113878/1591295
55.32/52.55	c cleaning 33000 clauses out of 66017 with flag 1182589/1625291
57.62/54.84	c cleaning 34000 clauses out of 68017 with flag 1253278/1660291
59.52/56.70	c cleaning 35000 clauses out of 70017 with flag 1325951/1696291
60.93/58.15	c cleaning 36001 clauses out of 72019 with flag 1400725/1733293
62.31/59.59	c cleaning 36996 clauses out of 74016 with flag 1477324/1771291
63.92/61.15	c cleaning 38005 clauses out of 76025 with flag 1556028/1810296
65.61/62.84	c cleaning 38996 clauses out of 78019 with flag 1636644/1850295
67.21/64.45	c cleaning 39994 clauses out of 80020 with flag 1719176/1891292
68.82/66.08	c cleaning 41007 clauses out of 82026 with flag 1803896/1933292
70.91/68.15	c cleaning 41997 clauses out of 84020 with flag 1890586/1976293
73.51/70.75	c cleaning 43001 clauses out of 86022 with flag 1979369/2020292
75.60/72.83	c cleaning 44002 clauses out of 88021 with flag 2070097/2065292
77.81/75.08	c cleaning 44999 clauses out of 90018 with flag 2162845/2111291
80.19/77.41	c cleaning 46002 clauses out of 92020 with flag 2257765/2158292
82.29/79.56	c cleaning 47002 clauses out of 94019 with flag 2354760/2206293
84.58/81.82	c cleaning 47995 clauses out of 96017 with flag 2453558/2255293
86.89/84.20	c cleaning 49002 clauses out of 98020 with flag 2554482/2305291
89.78/87.01	c cleaning 49998 clauses out of 100018 with flag 2657158/2356291
92.17/89.40	c cleaning 50996 clauses out of 102020 with flag 2761965/2408291
94.88/92.18	c cleaning 51999 clauses out of 104024 with flag 2868864/2461291
97.79/95.08	c cleaning 52999 clauses out of 106025 with flag 2978022/2515291
100.08/97.35	c cleaning 54002 clauses out of 108026 with flag 3089346/2570291
102.27/99.53	c cleaning 55003 clauses out of 110025 with flag 3202630/2626292
105.27/102.53	c cleaning 56002 clauses out of 112022 with flag 3317820/2683292
107.57/104.89	c cleaning 56998 clauses out of 114019 with flag 3435273/2741291
110.06/107.30	c cleaning 57998 clauses out of 116021 with flag 3554310/2800291
111.46/108.78	c Got one! Elapsed wall clock time (in seconds):108.414
111.46/108.78	o 29
112.26/109.52	c cleaning 51647 clauses out of 103293 with flag 10679/2845561
112.65/109.92	c cleaning 28822 clauses out of 57644 with flag 22819/2851559
112.65/109.93	c Got one! Elapsed wall clock time (in seconds):109.56
112.65/109.93	o 28
112.77/110.05	c Got one! Elapsed wall clock time (in seconds):109.687
112.77/110.05	o 26
112.77/110.09	c Got one! Elapsed wall clock time (in seconds):109.727
112.77/110.09	o 24
112.87/110.19	c Got one! Elapsed wall clock time (in seconds):109.824
112.87/110.19	o 22
113.06/110.32	c cleaning 17550 clauses out of 35105 with flag 2450/2857842
113.06/110.35	c Got one! Elapsed wall clock time (in seconds):109.985
113.06/110.35	o 20
113.26/110.51	c cleaning 11354 clauses out of 22710 with flag 8851/2862997
113.36/110.69	c Got one! Elapsed wall clock time (in seconds):110.324
113.36/110.69	o 18
113.45/110.79	c cleaning 8486 clauses out of 16981 with flag 4364/2868622
113.65/110.95	c cleaning 7240 clauses out of 14492 with flag 16620/2874619
113.86/111.13	c cleaning 7121 clauses out of 14254 with flag 30902/2881621
114.05/111.33	c cleaning 7560 clauses out of 15134 with flag 47088/2889622
114.25/111.52	c cleaning 8275 clauses out of 16574 with flag 65257/2898622
114.45/111.78	c cleaning 9147 clauses out of 18296 with flag 86138/2908619
114.86/112.13	c cleaning 10069 clauses out of 20149 with flag 108511/2919619
115.25/112.56	c cleaning 11037 clauses out of 22081 with flag 132975/2931620
115.78/113.03	c cleaning 12019 clauses out of 24047 with flag 159405/2944623
115.78/113.10	c Got one! Elapsed wall clock time (in seconds):112.733
115.78/113.10	o 17
115.97/113.22	c cleaning 8922 clauses out of 17845 with flag 6604/2950440
116.07/113.40	c cleaning 7462 clauses out of 14923 with flag 19114/2956440
116.27/113.58	c cleaning 7226 clauses out of 14462 with flag 33714/2963441
116.37/113.64	c Got one! Elapsed wall clock time (in seconds):113.275
116.37/113.64	o 16
116.47/113.72	c cleaning 6245 clauses out of 12499 with flag 4375/2968704
116.57/113.88	c cleaning 6121 clauses out of 12257 with flag 16654/2974707
116.78/114.06	c cleaning 6561 clauses out of 13133 with flag 30905/2981704
116.97/114.25	c cleaning 7278 clauses out of 14571 with flag 47063/2989703
117.16/114.48	c cleaning 8137 clauses out of 16294 with flag 65239/2998704
117.47/114.76	c cleaning 9070 clauses out of 18156 with flag 85452/3008703
117.88/115.11	c cleaning 10034 clauses out of 20087 with flag 107751/3019704
118.16/115.50	c cleaning 11021 clauses out of 22054 with flag 132026/3031705
118.56/115.85	c cleaning 12002 clauses out of 24031 with flag 158325/3044703
118.96/116.24	c cleaning 13002 clauses out of 26030 with flag 186789/3058704
119.36/116.66	c cleaning 14002 clauses out of 28028 with flag 217138/3073704
119.87/117.17	c cleaning 15009 clauses out of 30030 with flag 249447/3089708
120.47/117.70	c cleaning 16000 clauses out of 32016 with flag 283804/3106703
120.88/118.18	c cleaning 16998 clauses out of 34016 with flag 320115/3124703
121.58/118.81	c cleaning 17999 clauses out of 36018 with flag 358481/3143703
122.18/119.40	c cleaning 19004 clauses out of 38021 with flag 398906/3163705
122.80/120.01	c cleaning 20000 clauses out of 40015 with flag 441332/3184703
123.38/120.65	c cleaning 20996 clauses out of 42018 with flag 485862/3206706
124.08/121.35	c cleaning 21999 clauses out of 44021 with flag 532254/3229705
124.89/122.17	c cleaning 22999 clauses out of 46024 with flag 580730/3253707
125.79/123.04	c cleaning 24000 clauses out of 48022 with flag 631265/3278704
126.57/123.86	c cleaning 24999 clauses out of 50021 with flag 683813/3304703
127.47/124.78	c cleaning 26001 clauses out of 52023 with flag 738282/3331704
128.57/125.81	c cleaning 27000 clauses out of 54021 with flag 794688/3359703
129.47/126.79	c cleaning 28003 clauses out of 56023 with flag 853157/3388705
130.57/127.84	c cleaning 28996 clauses out of 58018 with flag 913575/3418703
131.66/128.95	c cleaning 30000 clauses out of 60023 with flag 976074/3449704
132.94/130.19	c cleaning 31000 clauses out of 62022 with flag 1040520/3481703
134.43/131.63	c cleaning 32002 clauses out of 64023 with flag 1106904/3514704
136.02/133.20	c cleaning 33001 clauses out of 66020 with flag 1175467/3548703
137.22/134.41	c cleaning 33998 clauses out of 68020 with flag 1246155/3583704
138.72/135.97	c cleaning 34999 clauses out of 70024 with flag 1318691/3619706
140.21/137.43	c cleaning 35999 clauses out of 72023 with flag 1393309/3656704
141.51/138.78	c cleaning 36997 clauses out of 74023 with flag 1470122/3694703
143.11/140.34	c cleaning 38005 clauses out of 76027 with flag 1548806/3733704
144.71/141.91	c cleaning 39002 clauses out of 78026 with flag 1629525/3773708
146.30/143.54	c cleaning 40001 clauses out of 80019 with flag 1712016/3814703
147.82/145.08	c cleaning 40995 clauses out of 82018 with flag 1796748/3856703
149.70/146.98	c cleaning 42003 clauses out of 84023 with flag 1883315/3899703
151.81/149.08	c cleaning 42999 clauses out of 86020 with flag 1971862/3943703
154.08/151.40	c cleaning 44003 clauses out of 88022 with flag 2062574/3988704
156.58/153.80	c cleaning 44999 clauses out of 90019 with flag 2155163/4034704
158.89/156.18	c cleaning 46002 clauses out of 92021 with flag 2249715/4081705
161.17/158.44	c cleaning 46994 clauses out of 94017 with flag 2346430/4129703
163.47/160.78	c cleaning 48000 clauses out of 96023 with flag 2445099/4178703
165.77/163.03	c cleaning 49006 clauses out of 98024 with flag 2546000/4228704
168.55/165.87	c cleaning 49996 clauses out of 100017 with flag 2649057/4279703
170.85/168.17	c cleaning 50999 clauses out of 102022 with flag 2753960/4331704
173.64/170.92	c cleaning 52000 clauses out of 104022 with flag 2860710/4384703
176.43/173.80	c cleaning 53002 clauses out of 106025 with flag 2969724/4438706
179.33/176.64	c cleaning 53997 clauses out of 108020 with flag 3080891/4493703
181.52/178.85	c cleaning 55004 clauses out of 110023 with flag 3194137/4549703
184.22/181.59	c cleaning 55998 clauses out of 112020 with flag 3309289/4606704
186.82/184.17	c cleaning 56998 clauses out of 114021 with flag 3426526/4664703
189.20/186.55	c cleaning 58002 clauses out of 116024 with flag 3545883/4723704
191.81/189.14	c cleaning 58999 clauses out of 118023 with flag 3666965/4783705
194.49/191.84	c cleaning 59999 clauses out of 120025 with flag 3789937/4844706
197.39/194.74	c cleaning 61002 clauses out of 122024 with flag 3915979/4906704
199.98/197.31	c cleaning 61999 clauses out of 124024 with flag 4043971/4969706
202.97/200.30	c cleaning 62998 clauses out of 126023 with flag 4173111/5033704
206.26/203.69	c cleaning 64001 clauses out of 128026 with flag 4304359/5098705
209.26/206.63	c cleaning 65001 clauses out of 130024 with flag 4437287/5164704
212.95/210.35	c cleaning 65994 clauses out of 132022 with flag 4572030/5231703
216.65/214.08	c cleaning 67005 clauses out of 134028 with flag 4709020/5299703
220.43/217.81	c cleaning 68003 clauses out of 136026 with flag 4848073/5368706
224.52/221.96	c cleaning 69001 clauses out of 138021 with flag 4989393/5438704
228.51/225.91	c cleaning 69996 clauses out of 140019 with flag 5132775/5509703
232.11/229.52	c cleaning 71001 clauses out of 142024 with flag 5278168/5581704
235.50/232.91	c cleaning 72000 clauses out of 144022 with flag 5425895/5654703
238.78/236.24	c cleaning 73001 clauses out of 146022 with flag 5575436/5728703
243.08/240.55	c cleaning 73996 clauses out of 148021 with flag 5726614/5803703
248.06/245.34	c cleaning 74999 clauses out of 150026 with flag 5880150/5879704
252.45/249.71	c cleaning 75998 clauses out of 152027 with flag 6035231/5956704
256.85/254.16	c cleaning 77001 clauses out of 154028 with flag 6192359/6034703
261.53/258.89	c cleaning 78002 clauses out of 156030 with flag 6351240/6113706
266.42/263.71	c cleaning 79005 clauses out of 158025 with flag 6512107/6193703
271.23/268.47	c cleaning 79994 clauses out of 160020 with flag 6675420/6274703
276.52/273.75	c cleaning 81001 clauses out of 162026 with flag 6840537/6356703
280.82/278.05	c cleaning 82002 clauses out of 164026 with flag 7007560/6439704
286.08/283.20	c cleaning 82998 clauses out of 166024 with flag 7176736/6523704
291.26/288.43	c cleaning 84003 clauses out of 168025 with flag 7348085/6608703
296.55/293.73	c cleaning 84998 clauses out of 170022 with flag 7521483/6694703
303.24/300.47	c cleaning 86003 clauses out of 172025 with flag 7696528/6781704
309.12/306.36	c cleaning 86997 clauses out of 174022 with flag 7873561/6869704
315.11/312.30	c cleaning 87998 clauses out of 176024 with flag 8052600/6958703
321.88/319.07	c cleaning 89001 clauses out of 178027 with flag 8233973/7048704
328.55/325.70	c cleaning 90003 clauses out of 180025 with flag 8417183/7139703
334.33/331.51	c cleaning 90996 clauses out of 182024 with flag 8602206/7231705
340.94/338.13	c cleaning 91997 clauses out of 184026 with flag 8789474/7324703
342.42/339.68	c Got one! Elapsed wall clock time (in seconds):339.313
342.42/339.68	o 15
343.92/341.16	c cleaning 66065 clauses out of 132136 with flag 10372/7364810
344.31/341.58	c cleaning 36034 clauses out of 72072 with flag 22564/7370811
344.51/341.72	c Got one! Elapsed wall clock time (in seconds):341.35
344.51/341.72	o 13
344.61/341.88	c cleaning 21015 clauses out of 42036 with flag 2173/7376809
344.92/342.15	c cleaning 13503 clauses out of 27016 with flag 14593/7382804
345.11/342.35	c cleaning 10249 clauses out of 20515 with flag 28999/7389806
345.30/342.58	c cleaning 9130 clauses out of 18265 with flag 45459/7397805
345.50/342.73	c Got one! Elapsed wall clock time (in seconds):342.363
345.50/342.73	o 11
345.70/342.96	c cleaning 10476 clauses out of 20968 with flag 10569/7409638
345.92/343.16	c cleaning 8235 clauses out of 16493 with flag 22996/7415639
346.10/343.34	c cleaning 7619 clauses out of 15258 with flag 37586/7422639
346.30/343.53	c cleaning 7812 clauses out of 15640 with flag 53866/7430640
346.50/343.78	c cleaning 8407 clauses out of 16827 with flag 72151/7439639
346.81/344.05	c cleaning 9200 clauses out of 18420 with flag 92440/7449639
347.10/344.36	c cleaning 10099 clauses out of 20220 with flag 114817/7460639
347.65/344.87	c cleaning 11061 clauses out of 22121 with flag 139584/7472639
348.15/345.31	c cleaning 12027 clauses out of 24059 with flag 166060/7485638
348.65/345.81	c cleaning 13015 clauses out of 26033 with flag 194359/7499639
348.96/346.13	c Got one! Elapsed wall clock time (in seconds):345.768
348.96/346.13	o 9
349.25/346.43	c cleaning 14465 clauses out of 28930 with flag 10684/7515551
349.45/346.62	c cleaning 10234 clauses out of 20467 with flag 22893/7521553
349.65/346.81	c cleaning 8608 clauses out of 17231 with flag 37094/7528551
349.86/347.01	c cleaning 8307 clauses out of 16623 with flag 53333/7536551
350.05/347.21	c cleaning 8654 clauses out of 17317 with flag 71654/7545552
350.25/347.45	c cleaning 9329 clauses out of 18663 with flag 91944/7555552
350.55/347.74	c cleaning 10167 clauses out of 20334 with flag 114197/7566552
350.86/348.09	c cleaning 11080 clauses out of 22166 with flag 138514/7578551
351.35/348.52	c cleaning 12036 clauses out of 24086 with flag 164810/7591551
351.75/348.97	c cleaning 13022 clauses out of 26050 with flag 193122/7605551
352.35/349.53	c cleaning 14015 clauses out of 28030 with flag 223533/7620553
352.86/350.08	c cleaning 15006 clauses out of 30014 with flag 256034/7636552
353.64/350.82	c cleaning 16003 clauses out of 32008 with flag 290393/7653552
354.34/351.57	c cleaning 17002 clauses out of 34006 with flag 326801/7671553
355.14/352.36	c cleaning 18000 clauses out of 36002 with flag 365185/7690551
355.85/353.08	c Got one! Elapsed wall clock time (in seconds):352.718
355.85/353.08	o 8
356.54/353.74	c cleaning 20767 clauses out of 41556 with flag 10512/7714105
356.85/354.06	c cleaning 13386 clauses out of 26789 with flag 22840/7720105
357.04/354.24	c cleaning 10192 clauses out of 20403 with flag 36969/7727105
357.24/354.43	c cleaning 9098 clauses out of 18213 with flag 53180/7735107
357.43/354.67	c cleaning 9048 clauses out of 18114 with flag 71360/7744106
357.73/354.97	c cleaning 9526 clauses out of 19065 with flag 91658/7754105
358.03/355.26	c cleaning 10258 clauses out of 20541 with flag 114013/7765107
358.43/355.61	c cleaning 11132 clauses out of 22281 with flag 138408/7777105
358.84/356.10	c cleaning 12066 clauses out of 24149 with flag 165066/7790105
359.23/356.49	c cleaning 13032 clauses out of 26084 with flag 193391/7804106
359.63/356.88	c cleaning 14013 clauses out of 28052 with flag 223765/7819106
360.12/357.40	c cleaning 15009 clauses out of 30039 with flag 256071/7835106
360.62/357.87	c cleaning 16004 clauses out of 32029 with flag 290463/7852105
361.12/358.36	c cleaning 17005 clauses out of 34025 with flag 326833/7870105
361.72/358.90	c cleaning 18003 clauses out of 36021 with flag 365223/7889106
362.22/359.46	c cleaning 18997 clauses out of 38018 with flag 405588/7909106
362.84/360.09	c cleaning 20000 clauses out of 40022 with flag 447916/7930107
363.52/360.76	c cleaning 20998 clauses out of 42021 with flag 492187/7952106
364.32/361.55	c cleaning 22000 clauses out of 44022 with flag 538546/7975105
365.02/362.24	c cleaning 23003 clauses out of 46022 with flag 586971/7999105
365.83/363.08	c cleaning 24000 clauses out of 48019 with flag 637379/8024105
366.72/363.99	c cleaning 25000 clauses out of 50019 with flag 689782/8050105
367.74/365.01	c cleaning 25998 clauses out of 52019 with flag 744191/8077105
368.74/365.95	c cleaning 26996 clauses out of 54021 with flag 800722/8105105
369.74/367.00	c cleaning 27998 clauses out of 56026 with flag 859244/8134106
370.94/368.13	c cleaning 29006 clauses out of 58027 with flag 919890/8164105
372.13/369.35	c cleaning 30000 clauses out of 60022 with flag 982566/8195106
373.42/370.60	c cleaning 31003 clauses out of 62026 with flag 1047036/8227110
374.52/371.79	c cleaning 31994 clauses out of 64018 with flag 1113502/8260105
375.93/373.14	c cleaning 33001 clauses out of 66027 with flag 1182244/8294108
377.23/374.42	c cleaning 34002 clauses out of 68023 with flag 1253024/8329105
378.52/375.72	c cleaning 34999 clauses out of 70022 with flag 1325809/8365106
380.02/377.21	c cleaning 36000 clauses out of 72022 with flag 1400637/8402105
381.61/378.89	c cleaning 36998 clauses out of 74022 with flag 1477148/8440105
383.41/380.68	c cleaning 38002 clauses out of 76025 with flag 1555921/8479106
385.10/382.36	c cleaning 39000 clauses out of 78023 with flag 1636600/8519106
386.70/384.01	c cleaning 39999 clauses out of 80022 with flag 1719381/8560105
388.82/386.07	c cleaning 41002 clauses out of 82024 with flag 1804260/8602106
390.70/387.94	c cleaning 41997 clauses out of 84021 with flag 1891539/8645105
392.59/389.89	c cleaning 42999 clauses out of 86025 with flag 1980413/8689106
394.80/392.03	c cleaning 43998 clauses out of 88025 with flag 2071136/8734105
396.98/394.24	c cleaning 45004 clauses out of 90030 with flag 2163942/8780108
399.48/396.79	c cleaning 45999 clauses out of 92024 with flag 2258400/8827106
401.78/399.07	c cleaning 46998 clauses out of 94026 with flag 2354912/8875107
403.97/401.21	c cleaning 48004 clauses out of 96026 with flag 2453547/8924105
406.09/403.36	c cleaning 48997 clauses out of 98022 with flag 2554241/8974105
408.58/405.89	c cleaning 50000 clauses out of 100027 with flag 2656901/9025107
411.19/408.49	c cleaning 51002 clauses out of 102026 with flag 2761630/9077106
413.79/411.09	c cleaning 51999 clauses out of 104024 with flag 2868443/9130106
416.57/413.87	c cleaning 52993 clauses out of 106025 with flag 2977314/9184106
419.46/416.74	c cleaning 54008 clauses out of 108031 with flag 3088590/9239105
422.06/419.35	c cleaning 55003 clauses out of 110023 with flag 3201982/9295105
424.65/422.00	c cleaning 56000 clauses out of 112020 with flag 3317841/9352105
427.25/424.58	c cleaning 57001 clauses out of 114021 with flag 3435130/9410106
429.95/427.25	c cleaning 57996 clauses out of 116022 with flag 3554119/9469108
433.04/430.31	c cleaning 59001 clauses out of 118026 with flag 3675196/9529108
435.53/432.84	c cleaning 60000 clauses out of 120023 with flag 3798734/9590106
438.32/435.60	c cleaning 60997 clauses out of 122022 with flag 3924030/9652105
441.03/438.37	c cleaning 61997 clauses out of 124026 with flag 4051159/9715106
444.02/441.31	c cleaning 63002 clauses out of 126028 with flag 4180178/9779105
447.72/445.03	c cleaning 64005 clauses out of 128027 with flag 4311333/9844106
451.00/448.39	c cleaning 64995 clauses out of 130022 with flag 4444469/9910106
454.40/451.79	c cleaning 65999 clauses out of 132027 with flag 4579622/9977106
458.19/455.58	c cleaning 67001 clauses out of 134029 with flag 4717003/10045107
461.49/458.88	c cleaning 68000 clauses out of 136028 with flag 4856587/10114107
465.48/462.86	c cleaning 69004 clauses out of 138027 with flag 4997814/10184106
468.97/466.35	c cleaning 70002 clauses out of 140025 with flag 5141239/10255108
472.37/469.72	c cleaning 70995 clauses out of 142020 with flag 5286547/10327105
475.96/473.34	c cleaning 72002 clauses out of 144027 with flag 5433536/10400107
480.45/477.89	c cleaning 73003 clauses out of 146025 with flag 5582747/10474107
484.25/481.62	c cleaning 74002 clauses out of 148022 with flag 5733989/10549107
488.24/485.68	c cleaning 75003 clauses out of 150019 with flag 5887306/10625106
492.91/490.21	c cleaning 75997 clauses out of 152018 with flag 6042274/10702108
497.50/494.85	c cleaning 77002 clauses out of 154020 with flag 6199679/10780107
502.10/499.45	c cleaning 77997 clauses out of 156017 with flag 6358927/10859106
506.88/504.25	c cleaning 78997 clauses out of 158019 with flag 6519933/10939105
511.57/509.00	c cleaning 79999 clauses out of 160022 with flag 6683031/11020105
516.26/513.63	c cleaning 81000 clauses out of 162023 with flag 6849043/11102105
520.76/518.15	c cleaning 81996 clauses out of 164025 with flag 7016852/11185107
525.05/522.45	c cleaning 83001 clauses out of 166028 with flag 7186238/11269106
530.65/528.07	c cleaning 83998 clauses out of 168027 with flag 7357296/11354106
536.83/534.26	c cleaning 85001 clauses out of 170028 with flag 7530531/11440105
542.02/539.47	c cleaning 86000 clauses out of 172028 with flag 7705578/11527106
548.44/545.47	c cleaning 87003 clauses out of 174028 with flag 7882572/11615106
554.14/551.17	c cleaning 87996 clauses out of 176024 with flag 8061795/11704105
559.42/556.40	c cleaning 89002 clauses out of 178029 with flag 8242946/11794106
564.30/561.37	c cleaning 90000 clauses out of 180027 with flag 8426272/11885106
569.20/566.23	c cleaning 90997 clauses out of 182028 with flag 8611547/11977107
575.10/572.15	c cleaning 91997 clauses out of 184029 with flag 8798716/12070105
581.57/578.67	c cleaning 93015 clauses out of 186041 with flag 8988476/12164114
586.56/583.65	c cleaning 93992 clauses out of 188017 with flag 9180169/12259105
591.85/588.94	c cleaning 95000 clauses out of 190026 with flag 9373949/12355106
597.50/594.56	c cleaning 96007 clauses out of 192025 with flag 9569750/12452105
602.58/599.67	c cleaning 97001 clauses out of 194020 with flag 9767286/12550107
609.09/606.16	c cleaning 97994 clauses out of 196017 with flag 9967123/12649105
614.86/611.94	c cleaning 98997 clauses out of 198023 with flag 10168288/12749105
620.55/617.68	c cleaning 99997 clauses out of 200026 with flag 10371536/12850105
627.54/624.66	c cleaning 101006 clauses out of 202031 with flag 10576810/12952107
633.72/630.86	c cleaning 102002 clauses out of 204023 with flag 10784026/13055105
641.03/638.19	c cleaning 102999 clauses out of 206021 with flag 10993617/13159105
648.20/645.37	c cleaning 104001 clauses out of 208025 with flag 11205137/13264108
653.90/651.09	c cleaning 105002 clauses out of 210021 with flag 11418688/13370105
662.07/659.25	c cleaning 106000 clauses out of 212020 with flag 11634234/13477106
670.22/667.35	c cleaning 106997 clauses out of 214020 with flag 11851486/13585106
677.21/674.36	c cleaning 107997 clauses out of 216022 with flag 12071204/13694105
684.90/682.09	c cleaning 109002 clauses out of 218026 with flag 12292617/13804106
691.27/688.43	c cleaning 110000 clauses out of 220024 with flag 12516216/13915106
699.36/696.52	c cleaning 111001 clauses out of 222025 with flag 12741454/14027107
706.15/703.39	c cleaning 112002 clauses out of 224022 with flag 12968621/14140105
713.13/710.39	c cleaning 112995 clauses out of 226020 with flag 13198426/14254105
720.73/717.90	c cleaning 114004 clauses out of 228029 with flag 13430351/14369109
728.93/726.10	c cleaning 115001 clauses out of 230022 with flag 13664298/14485106
739.41/736.60	c cleaning 115999 clauses out of 232022 with flag 13899757/14602107
747.29/744.46	c cleaning 117002 clauses out of 234021 with flag 14137220/14720105
755.38/752.56	c cleaning 117993 clauses out of 236020 with flag 14377354/14839106
764.45/761.67	c cleaning 118997 clauses out of 238026 with flag 14618797/14959105
773.74/770.90	c cleaning 119999 clauses out of 240030 with flag 14862342/15080106
785.67/782.85	c cleaning 121008 clauses out of 242031 with flag 15107827/15202106
795.25/792.40	c cleaning 121996 clauses out of 244022 with flag 15355352/15325105
805.83/803.07	c cleaning 123007 clauses out of 246027 with flag 15604954/15449106
817.30/814.53	c cleaning 123995 clauses out of 248019 with flag 15856708/15574105
827.97/825.23	c cleaning 125001 clauses out of 250024 with flag 16110471/15700105
837.05/834.39	c cleaning 125996 clauses out of 252023 with flag 16366261/15827105
848.12/845.38	c cleaning 127001 clauses out of 254028 with flag 16624286/15955106
857.81/855.01	c cleaning 128006 clauses out of 256029 with flag 16884349/16084108
868.38/865.62	c cleaning 128997 clauses out of 258021 with flag 17146198/16214106
877.16/874.44	c cleaning 130001 clauses out of 260024 with flag 17410479/16345106
886.65/883.91	c cleaning 130998 clauses out of 262023 with flag 17676296/16477106
897.62/895.00	c cleaning 132000 clauses out of 264025 with flag 17943811/16610106
907.82/905.06	c cleaning 132994 clauses out of 266024 with flag 18213680/16744105
919.19/916.42	c cleaning 134005 clauses out of 268030 with flag 18485315/16879105
929.26/926.52	c cleaning 135002 clauses out of 270025 with flag 18759524/17015105
939.15/936.42	c cleaning 135998 clauses out of 272023 with flag 19035854/17152105
950.32/947.67	c cleaning 137000 clauses out of 274026 with flag 19313508/17290106
961.50/958.89	c cleaning 137997 clauses out of 276026 with flag 19593505/17429106
972.80/970.11	c cleaning 139000 clauses out of 278030 with flag 19875529/17569107
985.45/982.81	c cleaning 140002 clauses out of 280030 with flag 20159262/17710107
996.43/993.87	c cleaning 141004 clauses out of 282026 with flag 20445685/17852105
1008.50/1005.82	c cleaning 141999 clauses out of 284023 with flag 20733827/17995106
1021.88/1019.23	c cleaning 143000 clauses out of 286024 with flag 21023917/18139106
1033.77/1031.15	c cleaning 143998 clauses out of 288023 with flag 21316484/18284105
1039.04/1036.40	c Got one! Elapsed wall clock time (in seconds):1036.032
1039.04/1036.40	o 6
1044.24/1041.63	c cleaning 121362 clauses out of 242748 with flag 10102/18382828
1045.83/1043.23	c cleaning 63684 clauses out of 127383 with flag 22173/18388825
1046.33/1043.79	c cleaning 35342 clauses out of 70703 with flag 36326/18395829
1046.74/1044.15	c cleaning 21668 clauses out of 43357 with flag 52500/18403825
1047.03/1044.41	c cleaning 15336 clauses out of 30689 with flag 70625/18412825
1047.23/1044.66	c cleaning 12662 clauses out of 25354 with flag 90855/18422826
1047.53/1044.93	c cleaning 11836 clauses out of 23691 with flag 113097/18433825
1047.83/1045.23	c cleaning 11914 clauses out of 23855 with flag 137346/18445825
1048.13/1045.54	c cleaning 12461 clauses out of 24941 with flag 163611/18458825
1048.53/1045.98	c cleaning 13234 clauses out of 26482 with flag 191863/18472827
1048.93/1046.35	c cleaning 14113 clauses out of 28246 with flag 222095/18487825
1049.32/1046.76	c cleaning 15058 clauses out of 30133 with flag 254368/18503825
1049.74/1047.19	c cleaning 16024 clauses out of 32075 with flag 288623/18520825
1050.22/1047.68	c cleaning 17016 clauses out of 34051 with flag 324836/18538825
1050.82/1048.22	c cleaning 18001 clauses out of 36035 with flag 363142/18557825
1051.42/1048.85	c cleaning 19004 clauses out of 38035 with flag 403386/18577826
1052.12/1049.55	c cleaning 20009 clauses out of 40032 with flag 445653/18598827
1052.82/1050.21	c cleaning 21001 clauses out of 42022 with flag 490130/18620826
1053.42/1050.88	c cleaning 21999 clauses out of 44021 with flag 536523/18643826
1054.21/1051.67	c cleaning 23000 clauses out of 46023 with flag 584803/18667827
1055.01/1052.44	c cleaning 23995 clauses out of 48021 with flag 635219/18692825
1055.91/1053.38	c cleaning 25006 clauses out of 50028 with flag 687602/18718827
1056.91/1054.36	c cleaning 25997 clauses out of 52021 with flag 742007/18745826
1057.91/1055.37	c cleaning 27003 clauses out of 54025 with flag 798497/18773827
1059.10/1056.51	c cleaning 27997 clauses out of 56021 with flag 857016/18802826
1060.10/1057.55	c cleaning 29001 clauses out of 58024 with flag 917559/18832826
1061.00/1058.49	c cleaning 30002 clauses out of 60025 with flag 980128/18863828
1062.20/1059.62	c cleaning 31001 clauses out of 62020 with flag 1044738/18895825
1063.30/1060.71	c cleaning 31997 clauses out of 64019 with flag 1111185/18928825
1064.49/1061.91	c cleaning 33004 clauses out of 66023 with flag 1179646/18962826
1065.79/1063.20	c cleaning 33995 clauses out of 68018 with flag 1249970/18997825
1066.99/1064.46	c cleaning 34999 clauses out of 70023 with flag 1322340/19033825
1068.48/1065.92	c cleaning 36002 clauses out of 72024 with flag 1396808/19070825
1070.09/1067.51	c cleaning 37000 clauses out of 74023 with flag 1473310/19108826
1071.69/1069.02	c cleaning 37996 clauses out of 76022 with flag 1551797/19147825
1073.47/1070.84	c cleaning 39005 clauses out of 78027 with flag 1632312/19187826
1075.07/1072.43	c cleaning 40001 clauses out of 80021 with flag 1714962/19228825
1076.68/1074.04	c cleaning 41004 clauses out of 82021 with flag 1799580/19270826
1078.56/1075.95	c cleaning 41994 clauses out of 84016 with flag 1886195/19313825
1080.35/1077.75	c cleaning 42999 clauses out of 86022 with flag 1974838/19357825
1082.05/1079.49	c cleaning 43997 clauses out of 88023 with flag 2065574/19402825
1084.14/1081.50	c cleaning 45001 clauses out of 90028 with flag 2158478/19448827
1086.04/1083.49	c cleaning 45995 clauses out of 92026 with flag 2253136/19495826
1088.44/1085.81	c cleaning 47003 clauses out of 94030 with flag 2349650/19543825
1090.54/1087.95	c cleaning 48000 clauses out of 96027 with flag 2448287/19592825
1092.83/1090.24	c cleaning 49000 clauses out of 98029 with flag 2549075/19642827
1095.43/1092.83	c cleaning 50007 clauses out of 100028 with flag 2651677/19693826
1097.42/1094.90	c cleaning 50999 clauses out of 102020 with flag 2756559/19745825
1099.63/1097.11	c cleaning 51994 clauses out of 104022 with flag 2863320/19798826
1102.91/1100.36	c cleaning 53013 clauses out of 106029 with flag 2972572/19852827
1107.11/1104.52	c cleaning 54007 clauses out of 108014 with flag 3083803/19907825
1112.19/1109.61	c cleaning 55001 clauses out of 110007 with flag 3197137/19963825
1117.18/1114.63	c cleaning 55998 clauses out of 112006 with flag 3312376/20020825
1122.59/1120.05	c cleaning 57003 clauses out of 114008 with flag 3430004/20078825
1129.21/1126.67	c cleaning 58001 clauses out of 116005 with flag 3549027/20137825
1135.00/1132.43	c cleaning 59000 clauses out of 118004 with flag 3669820/20197825
1140.60/1138.04	c cleaning 60002 clauses out of 120004 with flag 3792758/20258825
1146.78/1144.27	c cleaning 60999 clauses out of 122003 with flag 3918143/20320826
1153.68/1151.17	c cleaning 61996 clauses out of 124003 with flag 4045379/20383825
1160.85/1158.39	c cleaning 63000 clauses out of 126007 with flag 4174745/20447825
1168.33/1165.87	c cleaning 64004 clauses out of 128008 with flag 4306108/20512826
1175.92/1173.48	c cleaning 64999 clauses out of 130004 with flag 4439333/20578826
1185.31/1182.82	c cleaning 66003 clauses out of 132005 with flag 4574478/20645826
1195.28/1192.86	c cleaning 66995 clauses out of 134002 with flag 4711803/20713826
1203.36/1200.93	c cleaning 67998 clauses out of 136006 with flag 4851029/20782825
1212.15/1209.74	c cleaning 69002 clauses out of 138008 with flag 4992393/20852825
1220.33/1217.91	c cleaning 69999 clauses out of 140006 with flag 5135949/20923825
1228.11/1225.79	c cleaning 71002 clauses out of 142007 with flag 5281256/20995825
1237.60/1235.25	c cleaning 71998 clauses out of 144006 with flag 5428815/21068826
1247.58/1245.24	c cleaning 73002 clauses out of 146007 with flag 5578659/21142825
1257.85/1255.59	c cleaning 74002 clauses out of 148005 with flag 5730817/21217825
1264.14/1261.82	c Got one! Elapsed wall clock time (in seconds):1261.451
1264.14/1261.82	o 4
1265.75/1263.42	c cleaning 67155 clauses out of 134333 with flag 10495/21278155
1266.46/1264.12	c cleaning 36581 clauses out of 73178 with flag 22892/21284155
1266.84/1264.51	c cleaning 21790 clauses out of 43598 with flag 37201/21291156
1267.14/1264.83	c cleaning 14896 clauses out of 29808 with flag 53523/21299156
1267.35/1265.08	c cleaning 11947 clauses out of 23912 with flag 71778/21308156
1267.64/1265.33	c cleaning 10971 clauses out of 21967 with flag 91985/21318158
1267.94/1265.63	c cleaning 10990 clauses out of 21995 with flag 114147/21329157
1268.24/1265.96	c cleaning 11491 clauses out of 23004 with flag 138448/21341156
1268.64/1266.30	c cleaning 12245 clauses out of 24512 with flag 164862/21354155
1268.94/1266.67	c cleaning 13128 clauses out of 26269 with flag 193555/21368157
1269.45/1267.12	c cleaning 14066 clauses out of 28143 with flag 224298/21383159
1269.83/1267.51	c cleaning 15029 clauses out of 30076 with flag 256759/21399158
1270.23/1267.94	c cleaning 16012 clauses out of 32044 with flag 291027/21416155
1270.73/1268.43	c cleaning 17004 clauses out of 34033 with flag 327408/21434156
1271.23/1269.00	c cleaning 18005 clauses out of 36028 with flag 365796/21453155
1271.93/1269.60	c cleaning 19002 clauses out of 38023 with flag 406254/21473155
1272.53/1270.25	c cleaning 19998 clauses out of 40021 with flag 448701/21494155
1273.34/1271.01	c cleaning 21000 clauses out of 42023 with flag 493066/21516155
1274.13/1271.89	c cleaning 22001 clauses out of 44023 with flag 539496/21539155
1275.13/1272.83	c cleaning 23001 clauses out of 46024 with flag 587953/21563157
1275.82/1273.54	c cleaning 23998 clauses out of 48022 with flag 638460/21588156
1276.72/1274.42	c cleaning 25001 clauses out of 50023 with flag 690990/21614155
1277.72/1275.42	c cleaning 26001 clauses out of 52023 with flag 745536/21641156
1278.72/1276.47	c cleaning 26997 clauses out of 54022 with flag 802233/21669156
1279.72/1277.45	c cleaning 28000 clauses out of 56028 with flag 860767/21698159
1281.01/1278.71	c cleaning 29003 clauses out of 58026 with flag 921167/21728157
1282.11/1279.83	c cleaning 29997 clauses out of 60021 with flag 983629/21759155
1283.21/1281.01	c cleaning 30998 clauses out of 62026 with flag 1048113/21791157
1285.11/1282.80	c cleaning 31997 clauses out of 64028 with flag 1114611/21824157
1286.31/1284.07	c cleaning 33001 clauses out of 66029 with flag 1183370/21858155
1287.60/1285.31	c cleaning 34000 clauses out of 68029 with flag 1254149/21893156
1288.89/1286.63	c cleaning 35003 clauses out of 70029 with flag 1327021/21929156
1290.19/1287.94	c cleaning 36004 clauses out of 72025 with flag 1401863/21966155
1291.59/1289.31	c cleaning 37001 clauses out of 74021 with flag 1478685/22004155
1293.19/1290.95	c cleaning 38002 clauses out of 76021 with flag 1557243/22043156
1295.09/1292.82	c cleaning 38998 clauses out of 78018 with flag 1637766/22083155
1296.69/1294.47	c cleaning 39994 clauses out of 80020 with flag 1720607/22124155
1298.39/1296.18	c cleaning 41004 clauses out of 82026 with flag 1805305/22166155
1300.29/1298.07	c cleaning 42000 clauses out of 84024 with flag 1892041/22209157
1302.47/1300.22	c cleaning 43003 clauses out of 86026 with flag 1980958/22253159
1305.28/1303.02	c cleaning 44000 clauses out of 88019 with flag 2071812/22298155
1307.76/1305.56	c cleaning 44998 clauses out of 90021 with flag 2164739/22344157
1310.45/1308.24	c cleaning 46004 clauses out of 92021 with flag 2259970/22391155
1313.15/1310.92	c cleaning 47000 clauses out of 94017 with flag 2356714/22439155
1315.54/1313.37	c cleaning 47996 clauses out of 96017 with flag 2455487/22488155
1317.74/1315.54	c cleaning 49001 clauses out of 98021 with flag 2556345/22538155
1320.35/1318.19	c cleaning 49999 clauses out of 100020 with flag 2659194/22589155
1323.03/1320.82	c cleaning 51001 clauses out of 102022 with flag 2764161/22641156
1325.52/1323.36	c cleaning 52001 clauses out of 104021 with flag 2871213/22694156
1328.23/1326.07	c cleaning 53003 clauses out of 106022 with flag 2980249/22748158
1330.42/1328.23	c cleaning 54001 clauses out of 108018 with flag 3091194/22803157
1333.01/1330.85	c cleaning 54992 clauses out of 110015 with flag 3204311/22859155
1335.32/1333.18	c cleaning 55999 clauses out of 112024 with flag 3319864/22916156
1338.22/1336.01	c cleaning 56999 clauses out of 114025 with flag 3436770/22974156
1342.21/1340.03	c cleaning 58007 clauses out of 116029 with flag 3556227/23033159
1344.59/1342.50	c cleaning 58997 clauses out of 118018 with flag 3677309/23093155
1347.58/1345.43	c cleaning 59996 clauses out of 120023 with flag 3800220/23154157
1350.19/1348.03	c cleaning 61001 clauses out of 122027 with flag 3925528/23216157
1353.07/1350.91	c cleaning 62006 clauses out of 124025 with flag 4052699/23279156
1356.17/1354.10	c cleaning 63001 clauses out of 126021 with flag 4181844/23343158
1359.17/1357.10	c cleaning 63997 clauses out of 128017 with flag 4313196/23408155
1362.05/1359.92	c cleaning 64999 clauses out of 130021 with flag 4446302/23474156
1365.16/1363.05	c cleaning 66001 clauses out of 132023 with flag 4581492/23541157
1368.44/1366.38	c cleaning 66995 clauses out of 134020 with flag 4718623/23609155
1371.53/1369.44	c cleaning 67999 clauses out of 136026 with flag 4857830/23678156
1375.42/1373.36	c cleaning 69002 clauses out of 138026 with flag 4998662/23748155
1379.32/1377.24	c cleaning 69997 clauses out of 140024 with flag 5141577/23819155
1383.61/1381.51	c cleaning 71000 clauses out of 142027 with flag 5286484/23891155
1387.60/1385.59	c cleaning 71999 clauses out of 144027 with flag 5433666/23964155
1392.80/1390.72	c cleaning 73007 clauses out of 146028 with flag 5582531/24038155
1397.00/1394.99	c cleaning 73997 clauses out of 148024 with flag 5733644/24113158
1401.89/1399.83	c cleaning 75002 clauses out of 150025 with flag 5886536/24189156
1406.48/1404.45	c cleaning 76000 clauses out of 152023 with flag 6041363/24266156
1410.57/1408.58	c cleaning 77001 clauses out of 154023 with flag 6198279/24344156
1414.46/1412.44	c cleaning 78001 clauses out of 156023 with flag 6358077/24423157
1418.65/1416.62	c cleaning 78996 clauses out of 158020 with flag 6519945/24503155
1422.75/1420.71	c cleaning 79998 clauses out of 160026 with flag 6683344/24584157
1427.14/1425.15	c cleaning 81001 clauses out of 162028 with flag 6848444/24666157
1432.42/1430.42	c cleaning 81998 clauses out of 164026 with flag 7015296/24749156
1437.22/1435.29	c cleaning 83000 clauses out of 166028 with flag 7184536/24833156
1442.40/1440.44	c cleaning 84001 clauses out of 168027 with flag 7355699/24918155
1447.50/1445.55	c cleaning 85002 clauses out of 170026 with flag 7528973/25004155
1452.69/1450.70	c cleaning 86002 clauses out of 172024 with flag 7704517/25091155
1457.67/1455.78	c cleaning 87000 clauses out of 174023 with flag 7882396/25179156
1463.39/1461.48	c cleaning 87998 clauses out of 176022 with flag 8062162/25268155
1468.88/1466.98	c cleaning 89003 clauses out of 178024 with flag 8243344/25358155
1475.08/1473.18	c cleaning 89996 clauses out of 180021 with flag 8426901/25449155
1480.75/1478.89	c cleaning 91000 clauses out of 182025 with flag 8612777/25541155
1486.64/1484.79	c cleaning 92004 clauses out of 184029 with flag 8800450/25634159
1492.33/1490.47	c cleaning 93004 clauses out of 186025 with flag 8989886/25728159
1497.52/1495.61	c cleaning 93994 clauses out of 188018 with flag 9181433/25823156
1503.02/1501.16	c cleaning 95002 clauses out of 190023 with flag 9374986/25919155
1508.09/1506.27	c cleaning 95997 clauses out of 192022 with flag 9571075/26016156
1513.29/1511.42	c cleaning 97001 clauses out of 194026 with flag 9768975/26114157
1518.48/1516.68	c cleaning 98003 clauses out of 196023 with flag 9968693/26213155
1524.88/1523.02	c cleaning 99003 clauses out of 198020 with flag 10170236/26313155
1531.38/1529.60	c cleaning 100000 clauses out of 200023 with flag 10373633/26414161
1537.46/1535.64	c cleaning 100993 clauses out of 202017 with flag 10579756/26516155
1543.97/1542.12	c cleaning 102003 clauses out of 204025 with flag 10787236/26619156
1550.95/1549.17	c cleaning 103004 clauses out of 206024 with flag 10996665/26723158
1557.85/1556.07	c cleaning 104001 clauses out of 208018 with flag 11208166/26828156
1564.83/1563.06	c cleaning 104996 clauses out of 210019 with flag 11421850/26934158
1571.25/1569.49	c cleaning 105998 clauses out of 212022 with flag 11637180/27041157
1579.34/1577.59	c cleaning 106999 clauses out of 214022 with flag 11854762/27149155
1585.94/1584.17	c cleaning 107997 clauses out of 216024 with flag 12074533/27258156
1592.83/1591.08	c cleaning 109004 clauses out of 218026 with flag 12295932/27368155
1599.40/1597.66	c cleaning 110002 clauses out of 220025 with flag 12519347/27479158
1606.39/1604.60	c cleaning 110995 clauses out of 222021 with flag 12745079/27591156
1613.57/1611.80	c cleaning 112005 clauses out of 224025 with flag 12972770/27704155
1620.87/1619.19	c cleaning 112993 clauses out of 226020 with flag 13202498/27818155
1629.44/1627.70	c cleaning 114001 clauses out of 228027 with flag 13434418/27933155
1636.92/1635.25	c cleaning 114998 clauses out of 230027 with flag 13668370/28049156
1644.51/1642.83	c cleaning 116002 clauses out of 232028 with flag 13903815/28166155
1652.59/1650.99	c cleaning 117007 clauses out of 234027 with flag 14141235/28284156
1660.48/1658.84	c cleaning 118000 clauses out of 236020 with flag 14380676/28403156
1669.96/1668.34	c cleaning 118998 clauses out of 238019 with flag 14621808/28523155
1678.76/1677.12	c cleaning 120005 clauses out of 240023 with flag 14865287/28644157
1687.33/1685.76	c cleaning 120997 clauses out of 242016 with flag 15110524/28766155
1695.81/1694.23	c cleaning 121997 clauses out of 244020 with flag 15357805/28889156
1705.70/1704.14	c cleaning 123000 clauses out of 246024 with flag 15606884/29013157
1715.47/1714.00	c cleaning 123999 clauses out of 248023 with flag 15857839/29138156
1724.46/1722.94	c cleaning 124999 clauses out of 250025 with flag 16110879/29264157
1732.84/1731.33	c cleaning 125996 clauses out of 252024 with flag 16365938/29391155
1745.30/1743.70	c cleaning 127004 clauses out of 254030 with flag 16622972/29519157
1754.19/1752.68	c cleaning 128000 clauses out of 256025 with flag 16882902/29648156
1762.68/1761.19	c cleaning 128998 clauses out of 258025 with flag 17145084/29778156
1771.95/1770.45	c cleaning 130000 clauses out of 260027 with flag 17409038/29909156
1782.47/1780.96	c cleaning 131002 clauses out of 262027 with flag 17674950/30041156
1793.45/1791.93	c cleaning 132005 clauses out of 264027 with flag 17942782/30174158
1804.03/1802.55	c cleaning 132995 clauses out of 266019 with flag 18212578/30308155
1815.11/1813.60	c cleaning 134002 clauses out of 268027 with flag 18484304/30443158
1825.39/1823.92	c cleaning 134997 clauses out of 270025 with flag 18757970/30579158
1839.58/1838.12	c cleaning 136001 clauses out of 272025 with flag 19034087/30716155
1851.14/1849.76	c cleaning 136997 clauses out of 274024 with flag 19311555/30854155
1862.02/1860.69	c cleaning 138000 clauses out of 276030 with flag 19591250/30993158
1873.09/1871.70	c cleaning 138996 clauses out of 278029 with flag 19872901/31133157
1887.77/1886.45	c cleaning 139999 clauses out of 280031 with flag 20156910/31274155
1900.94/1899.68	c cleaning 141004 clauses out of 282032 with flag 20443601/31416155
1913.52/1912.29	c cleaning 141996 clauses out of 284028 with flag 20732287/31559155
1927.99/1926.76	c cleaning 143004 clauses out of 286033 with flag 21022429/31703156
1942.28/1941.06	c cleaning 144003 clauses out of 288028 with flag 21315049/31848155
1955.73/1954.58	c cleaning 144999 clauses out of 290027 with flag 21609512/31994157
1965.92/1964.70	c cleaning 145999 clauses out of 292027 with flag 21906438/32141156
1977.15/1975.53	c cleaning 147004 clauses out of 294029 with flag 22204956/32289157
1987.53/1985.95	c cleaning 148002 clauses out of 296023 with flag 22504889/32438155
1997.91/1996.35	c cleaning 148999 clauses out of 298021 with flag 22807043/32588155
2008.39/2006.87	c cleaning 150000 clauses out of 300024 with flag 23110958/32739157
2019.76/2018.21	c cleaning 151001 clauses out of 302022 with flag 23416959/32891155
2030.76/2029.26	c cleaning 152001 clauses out of 304022 with flag 23725050/33044156
2042.84/2041.34	c cleaning 153002 clauses out of 306020 with flag 24034816/33198155
2054.92/2053.47	c cleaning 154000 clauses out of 308019 with flag 24346944/33353156
2066.70/2065.25	c cleaning 154996 clauses out of 310018 with flag 24660905/33509155
2078.58/2077.19	c cleaning 155995 clauses out of 312022 with flag 24977033/33666155
2090.35/2088.99	c cleaning 157001 clauses out of 314027 with flag 25295531/33824155
2103.33/2101.98	c cleaning 158006 clauses out of 316028 with flag 25615849/33983157
2114.42/2113.02	c cleaning 158995 clauses out of 318021 with flag 25938150/34143156
2126.28/2124.92	c cleaning 160000 clauses out of 320025 with flag 26262388/34304155
2140.25/2138.90	c cleaning 161004 clauses out of 322027 with flag 26588441/34466157
2153.24/2151.95	c cleaning 161993 clauses out of 324022 with flag 26916197/34629156
2169.10/2167.83	c cleaning 163005 clauses out of 326029 with flag 27246066/34793156
2184.58/2183.34	c cleaning 164000 clauses out of 328024 with flag 27577914/34958156
2198.95/2197.72	c cleaning 165003 clauses out of 330023 with flag 27911511/35124155
2215.12/2213.90	c cleaning 165996 clauses out of 332022 with flag 28247606/35291157
2230.20/2229.03	c cleaning 166997 clauses out of 334024 with flag 28585312/35459155
2244.18/2243.05	c cleaning 168006 clauses out of 336027 with flag 28925878/35628155
2259.70/2258.57	c cleaning 168999 clauses out of 338022 with flag 29267826/35798156
2275.86/2274.77	c cleaning 169997 clauses out of 340023 with flag 29611593/35969156
2291.15/2290.04	c cleaning 171003 clauses out of 342025 with flag 29957749/36141155
2304.02/2302.99	c cleaning 172000 clauses out of 344023 with flag 30306330/36314156
2317.24/2316.09	c cleaning 172998 clauses out of 346022 with flag 30656564/36488155
2329.00/2327.89	c cleaning 173999 clauses out of 348025 with flag 31008711/36663156
2343.07/2342.01	c cleaning 175002 clauses out of 350026 with flag 31362616/36839156
2358.64/2357.58	c cleaning 175994 clauses out of 352024 with flag 31718778/37016156
2373.61/2372.59	c cleaning 176997 clauses out of 354029 with flag 32077263/37194155
2389.48/2388.47	c cleaning 178000 clauses out of 356032 with flag 32438024/37373155
2407.44/2406.46	c cleaning 179005 clauses out of 358033 with flag 32800582/37553156
2423.32/2422.30	c cleaning 180001 clauses out of 360027 with flag 33165144/37734155
2441.36/2440.41	c cleaning 180999 clauses out of 362027 with flag 33531326/37916156
2457.73/2456.84	c cleaning 181999 clauses out of 364029 with flag 33899723/38099157
2475.19/2474.34	c cleaning 183003 clauses out of 366028 with flag 34270167/38283155
2492.96/2492.17	c cleaning 183998 clauses out of 368025 with flag 34642429/38468155
2508.90/2508.00	c cleaning 185000 clauses out of 370027 with flag 35016734/38654155
2528.86/2527.93	c cleaning 186000 clauses out of 372027 with flag 35393138/38841155
2546.52/2545.63	c cleaning 187002 clauses out of 374030 with flag 35771517/39029158
2564.51/2563.56	c cleaning 187998 clauses out of 376026 with flag 36151887/39218156
2591.55/2590.65	c cleaning 188997 clauses out of 378027 with flag 36535271/39408155
2615.30/2614.45	c cleaning 190008 clauses out of 380032 with flag 36920302/39599157
2641.54/2640.73	c cleaning 191002 clauses out of 382022 with flag 37307296/39791155
2660.80/2660.07	c cleaning 191996 clauses out of 384020 with flag 37695009/39984155
2680.85/2680.13	c cleaning 192998 clauses out of 386024 with flag 38085216/40178155
2699.29/2698.65	c cleaning 194000 clauses out of 388028 with flag 38477387/40373157
2717.76/2717.17	c cleaning 194996 clauses out of 390026 with flag 38872451/40569155
2735.91/2735.34	c cleaning 196001 clauses out of 392030 with flag 39269591/40766155
2755.75/2755.03	c cleaning 197001 clauses out of 394029 with flag 39667758/40964155
2781.08/2780.32	c cleaning 198002 clauses out of 396028 with flag 40068740/41163155
2802.54/2801.84	c cleaning 198996 clauses out of 398027 with flag 40471277/41363156
2823.86/2823.20	c cleaning 200003 clauses out of 400030 with flag 40876092/41564155
2850.49/2849.89	c cleaning 201005 clauses out of 402030 with flag 41282574/41766158
2872.60/2871.99	c cleaning 201999 clauses out of 404023 with flag 41690664/41969156
2893.58/2892.99	c cleaning 202997 clauses out of 406023 with flag 42100870/42173155
2913.85/2912.92	c cleaning 203999 clauses out of 408029 with flag 42513331/42378158
2933.62/2932.74	c cleaning 205002 clauses out of 410029 with flag 42928238/42584157
2950.90/2950.07	c cleaning 205996 clauses out of 412025 with flag 43344827/42791155
2973.14/2972.33	c cleaning 207002 clauses out of 414031 with flag 43763259/42999157
2992.30/2991.57	c cleaning 207999 clauses out of 416027 with flag 44183423/43208155
3013.66/3012.96	c cleaning 209002 clauses out of 418029 with flag 44606021/43418156
3037.32/3036.63	c cleaning 210000 clauses out of 420027 with flag 45031254/43629156
3062.58/3061.96	c cleaning 211001 clauses out of 422027 with flag 45458087/43841156
3084.80/3084.19	c cleaning 211994 clauses out of 424026 with flag 45886795/44054156
3112.24/3111.69	c cleaning 213005 clauses out of 426031 with flag 46318931/44268155
3135.20/3134.65	c cleaning 213999 clauses out of 428027 with flag 46752518/44483156
3159.63/3159.04	c cleaning 215002 clauses out of 430029 with flag 47187880/44699157
3184.77/3184.24	c cleaning 215996 clauses out of 432026 with flag 47624631/44916156
3207.12/3206.68	c cleaning 217001 clauses out of 434029 with flag 48063445/45134155
3228.87/3228.49	c cleaning 217999 clauses out of 436028 with flag 48503880/45353155
3254.57/3254.12	c cleaning 219002 clauses out of 438031 with flag 48946964/45573157
3280.61/3280.24	c cleaning 219999 clauses out of 440028 with flag 49392041/45794156
3303.68/3303.35	c cleaning 221002 clauses out of 442028 with flag 49838881/46016155
3326.84/3326.59	c cleaning 221995 clauses out of 444026 with flag 50287209/46239155
3347.50/3347.27	c cleaning 223001 clauses out of 446032 with flag 50737934/46463156
3374.60/3374.36	c cleaning 224000 clauses out of 448030 with flag 51190399/46688155
3399.55/3399.39	c cleaning 224997 clauses out of 450030 with flag 51644849/46914155
3422.32/3422.11	c cleaning 226000 clauses out of 452036 with flag 52102013/47141158
3446.65/3446.57	c cleaning 227008 clauses out of 454035 with flag 52560747/47369157
3475.11/3475.08	c cleaning 228002 clauses out of 456026 with flag 53020977/47598156
3504.69/3504.63	c cleaning 228999 clauses out of 458023 with flag 53483879/47828155
3537.54/3537.55	c cleaning 229997 clauses out of 460026 with flag 53948977/48059157
3561.00/3561.09	c cleaning 231010 clauses out of 462028 with flag 54416459/48291156
3598.69/3598.73	c cleaning 232009 clauses out of 464019 with flag 54885513/48524157
3600.00/3600.04	c starts		: 108
3600.00/3600.05	c conflicts		: 48548880
3600.00/3600.05	c decisions		: 48926728
3600.00/3600.06	c propagations		: 264764852
3600.00/3600.06	c inspects		: 27751465988
3600.00/3600.06	c shortcuts		: 0
3600.00/3600.06	c learnt literals	: 0
3600.00/3600.06	c learnt binary clauses	: 0
3600.00/3600.06	c learnt ternary clauses	: 0
3600.00/3600.06	c learnt constraints	: 48548880
3600.00/3600.06	c ignored constraints	: 0
3600.00/3600.06	c root simplifications	: 0
3600.00/3600.06	c removed literals (reason simplification)	: 38559135
3600.00/3600.06	c reason swapping (by a shorter reason)	: 0
3600.00/3600.07	c Calls to reduceDB	: 710
3600.00/3600.07	c Number of update (reduction) of LBD	: 685165
3600.00/3600.07	c Imported unit clauses	: 0
3600.00/3600.07	c No decision after first conflict	: false
3600.00/3600.07	c number of reductions to clauses (during analyze)	: 0
3600.00/3600.07	c number of learned constraints concerned by reduction	: 0
3600.00/3600.07	c number of learning phase by resolution	: 0
3600.00/3600.07	c number of learning phase by cutting planes	: 0
3600.00/3600.07	c number of rounding to 1 operations	: 0
3600.00/3600.07	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3600.07	c number of reductions of the coefficients by power 2 	: 0
3600.00/3600.07	c number of right shift for reduction by power 2 	: 0
3600.00/3600.07	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3600.07	c number of ending skipping 	: 0
3600.00/3600.07	c number of internal skipping 	: 0
3600.00/3600.07	c number of derivation steps 	: 0
3600.00/3600.07	c number of skipped derivation steps 	: 0
3600.00/3600.08	c number of remaining unassigned 	: 0
3600.00/3600.08	c number of remaining assigned 	: 0
3600.00/3600.08	c number of falsified literals weakened from reason	: 0
3600.00/3600.08	c number of falsified literals weakened from conflict	: 0
3600.00/3600.08	c time for arithmetic operations	: 0
3600.00/3600.08	c minimum degree of deleted constraints	: null
3600.00/3600.09	c maximum degree of deleted constraints	: null
3600.00/3600.09	c number of deleted constraints	: 0
3600.00/3600.09	c speed (assignments/second)	: 73553.69924489105
3600.00/3600.09	c non guided choices	: 1008
3600.37/3600.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 256733
3600.37/3600.22	s SATISFIABLE
3600.37/3600.22	c Found 53 solution(s)
3600.37/3600.23	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 x85 -x86 x87 x88 x89 x90 x91 -x92 -x93 x94 -x95 -x96 x97 -x98 -x99 -x100 x101 x102 x103 -x104 -x105 -x106 x107 x108 x109 x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 x120 
3600.37/3600.24	c objective function=4
3600.37/3600.24	c Total wall clock time (in seconds): 3599.874

Verifier Data 

OK	4

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (60700 MiB free)
  memory of node 1: 64507 MiB (59600 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100109 s]*
/proc/loadavg: 2.55 3.73 3.97 13/320 51948
/proc/meminfo: memFree=123127284/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=18930344 memory=45744 CPUtime=0.09 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 5457 0 0 0 6 3 0 0 20 0 18 0 51726030 19384672256 11436 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4732586 11436 4947 1 0 546702 0
[pid=51870/tid=51882] ppid=51861 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 4567 0 0 0 4 2 0 0 20 0 18 0 51726032 19384672256 11436 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=18930344 memory=16142 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726038 19384672256 11468 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=18930344 memory=58494082614266 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51726039 19384672256 11468 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45744 KiB

[startup+0.214512 s]*
/proc/loadavg: 2.55 3.73 3.97 8/320 51948
/proc/meminfo: memFree=123117148/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=18930384 memory=51968 CPUtime=0.25 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 6158 0 0 0 21 4 0 0 20 0 18 0 51726030 19384713216 12992 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4732596 12992 5331 1 0 547264 0
[pid=51870/tid=51882] ppid=51861 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 4954 0 0 0 14 3 0 0 20 0 18 0 51726032 19384713216 12992 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726038 19384713216 12992 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51726039 19384713216 12992 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51968 KiB

[startup+0.315815 s]*
/proc/loadavg: 2.55 3.73 3.97 12/320 51948
/proc/meminfo: memFree=123094652/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=18930384 memory=58048 CPUtime=0.42 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 6645 0 0 0 37 5 0 0 20 0 18 0 51726030 19384713216 14512 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4732596 14512 5331 1 0 547691 0
[pid=51870/tid=51882] ppid=51861 vsize=18930384 memory=-6000919494164376426 CPUtime=0.25 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 5119 0 0 0 22 3 0 0 20 0 18 0 51726032 19384713216 14512 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=18930384 memory=-4421386521933605474 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726038 19384713216 14512 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51726039 19384713216 14512 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58048 KiB

[startup+0.700412 s]
/proc/loadavg: 2.55 3.73 3.97 13/323 51951
/proc/meminfo: memFree=123091908/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=18996948 memory=66340 CPUtime=1.11 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 9016 0 0 0 104 7 0 0 20 0 19 0 51726030 19452874752 16585 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4749237 16585 5491 1 0 549109 0
[pid=51870/tid=51882] ppid=51861 vsize=18996948 memory=17920 CPUtime=0.51 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 5352 0 0 0 47 4 0 0 20 0 19 0 51726032 19452874752 16585 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 16585 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726039 19452874752 16585 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726078 19452874752 16585 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66340 KiB

[startup+1.50033 s]
/proc/loadavg: 2.55 3.73 3.97 10/324 51952
/proc/meminfo: memFree=123054592/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=18996948 memory=89228 CPUtime=2.68 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 18676 0 0 0 259 9 0 0 20 0 19 0 51726030 19452874752 22307 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4749237 22307 5491 1 0 552696 0
[pid=51870/tid=51882] ppid=51861 vsize=18996948 memory=0 CPUtime=1.26 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 5577 0 0 0 122 4 0 0 20 0 19 0 51726032 19452874752 22307 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 22307 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726039 19452874752 22307 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726078 19452874752 22307 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89228 KiB

[startup+3.10677 s]
/proc/loadavg: 2.55 3.73 3.97 7/324 51952
/proc/meminfo: memFree=122935900/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=18996948 memory=117780 CPUtime=5.32 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 21328 0 0 0 522 10 0 0 20 0 19 0 51726030 19452874752 29445 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4749237 29445 5491 1 0 553052 0
[pid=51870/tid=51882] ppid=51861 vsize=18996948 memory=10624 CPUtime=2.86 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 7070 0 0 0 281 5 0 0 20 0 19 0 51726032 19452874752 29445 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=18996948 memory=-6000919502754311018 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 29445 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726039 19452874752 29445 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726078 19452874752 29445 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117780 KiB

[startup+6.30038 s]
/proc/loadavg: 2.74 3.75 3.97 6/325 51953
/proc/meminfo: memFree=122794112/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=173076 CPUtime=8.72 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 25765 0 0 0 859 13 0 0 20 0 20 0 51726030 19521036288 43269 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 43269 5523 1 0 553344 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=0 CPUtime=6.01 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 7545 0 0 0 595 6 0 0 20 0 20 0 51726032 19521036288 43269 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 43269 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 43269 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=90508 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 43269 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173076 KiB

[startup+12.7004 s]
/proc/loadavg: 2.84 3.75 3.97 6/327 51955
/proc/meminfo: memFree=122662792/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=177220 CPUtime=15.16 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 28053 0 0 0 1502 14 0 0 20 0 20 0 51726030 19521036288 44305 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 44305 5523 1 0 553344 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=90508 CPUtime=12.38 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 8697 0 0 0 1232 6 0 0 20 0 20 0 51726032 19521036288 44305 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=177220 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 44305 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=177220 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 44305 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 44305 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177220 KiB

[startup+25.5005 s]
/proc/loadavg: 3.10 3.77 3.97 6/328 51956
/proc/meminfo: memFree=122534952/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=263636 CPUtime=27.94 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 30463 0 0 0 2777 17 0 0 20 0 20 0 51726030 19521036288 65909 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 65909 5523 1 0 553344 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=177220 CPUtime=24.84 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 9690 0 0 0 2478 6 0 0 20 0 20 0 51726032 19521036288 65909 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=247236 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 65909 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 65909 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=247236 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 65909 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 27.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 263636 KiB

[startup+51.1132 s]
/proc/loadavg: 3.47 3.80 3.98 6/328 51957
/proc/meminfo: memFree=122337908/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=336736 CPUtime=53.93 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 33499 0 0 0 5372 21 0 0 20 0 20 0 51726030 19521036288 84184 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 84184 5555 1 0 553344 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=336736 CPUtime=50.14 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 9795 0 0 0 5008 6 0 0 20 0 20 0 51726032 19521036288 84184 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=301756 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 84184 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=2764 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/326 52188
/proc/meminfo: memFree=115774516/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3282.72 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 90009 0 0 0 328036 236 0 0 20 0 20 0 51726030 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 543058 5587 1 0 556690 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=14560 CPUtime=3266.77 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 36177 0 0 0 326643 34 0 0 20 0 20 0 51726032 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 1955 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3282.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/325 52190
/proc/meminfo: memFree=115774616/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3342.6 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 90719 0 0 0 334022 238 0 0 20 0 20 0 51726030 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 543058 5587 1 0 556690 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3326.62 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 36733 0 0 0 332628 34 0 0 20 0 20 0 51726032 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=10112 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 2078 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3342.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172232 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/325 52192
/proc/meminfo: memFree=115774168/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3402.55 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 91224 0 0 0 340014 241 0 0 20 0 20 0 51726030 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 543058 5587 1 0 556690 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3386.39 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 36761 0 0 0 338605 34 0 0 20 0 20 0 51726032 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3402.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172232 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/325 52194
/proc/meminfo: memFree=115773980/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3462.42 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 91231 0 0 0 345998 244 0 0 20 0 20 0 51726030 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 543058 5587 1 0 556690 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3446.22 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 36762 0 0 0 344588 34 0 0 20 0 20 0 51726032 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3462.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.16 4.15 5/325 52196
/proc/meminfo: memFree=115766816/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3522.36 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 91476 0 0 0 351989 247 0 0 20 0 20 0 51726030 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 543058 5587 1 0 556690 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3505.99 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 36936 0 0 0 350565 34 0 0 20 0 20 0 51726032 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3522.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172232 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.17 4.15 5/326 52205
/proc/meminfo: memFree=115762060/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3582.32 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 92479 0 0 0 357982 250 0 0 20 0 20 0 51726030 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 543058 5587 1 0 556690 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=4352 CPUtime=3565.77 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 37467 0 0 0 356543 34 0 0 20 0 20 0 51726032 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 2181 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=2172232 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3582.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600 s]*
/proc/loadavg: 4.25 4.18 4.16 5/307 52233
/proc/meminfo: memFree=117876592/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19063512 memory=2172232 CPUtime=3600 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 92661 0 0 0 359749 251 0 0 20 0 20 0 51726030 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4765878 543058 5587 1 0 556690 0
[pid=51870/tid=51882] ppid=51861 vsize=19063512 memory=-7667805463880498302 CPUtime=3583.43 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 37637 0 0 0 358309 34 0 0 20 0 20 0 51726032 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 2181 0 0 0 0 0 0 0 20 0 20 0 51726039 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51951] ppid=51861 vsize=19063512 memory=3072 CPUtime=0 cores=0,2
/proc/51870/task/51951/stat : 51951 (Timer-0) S 51861 51870 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726078 19521036288 543058 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.93 s, system=2.53371 s

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

[startup+3600.2 s]
/proc/loadavg: 4.25 4.18 4.16 5/307 52233
/proc/meminfo: memFree=117876592/131382112 swapFree=33010684/33010684
[pid=51870] ppid=51861 vsize=19263204 memory=2173000 CPUtime=3600.37 cores=0,2
/proc/51870/stat : 51870 (java) S 51861 51870 51810 0 -1 4194304 94806 0 0 0 359785 252 0 0 20 0 21 0 51726030 19725520896 543250 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
/proc/51870/statm: 4815801 543250 5587 1 0 557615 0
[pid=51870/tid=51882] ppid=51861 vsize=19263204 memory=4916 CPUtime=3583.61 cores=0,2
/proc/51870/task/51882/stat : 51882 (java) R 51861 51870 51810 0 -1 4194368 37859 0 0 0 358326 35 0 0 20 0 21 0 51726032 19725520896 543250 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51918] ppid=51861 vsize=19263204 memory=4660 CPUtime=0 cores=0,2
/proc/51870/task/51918/stat : 51918 (Finalizer) S 51861 51870 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 51726038 19725520896 543250 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
[pid=51870/tid=51940] ppid=51861 vsize=19263204 memory=-6000919502754311018 CPUtime=0 cores=0,2
/proc/51870/task/51940/stat : 51940 (Common-Cleaner) S 51861 51870 51810 0 -1 4194368 2181 0 0 0 0 0 0 0 20 0 21 0 51726039 19725520896 543250 18446744073709551615 94607091109888 94607091113584 140731868444320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94607091121400 94607091122192 94607120515072 140731868453249 140731868453350 140731868453350 140731868458952 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173000 KiB

Child status: 143

Real time (s): 3600.26
CPU time (s): 3600.46
CPU user time (s): 3597.93
CPU system time (s): 2.53371
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2173000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.93
system time used= 2.53371
maximum resident set size= 2173000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106714
involuntary context switches= 10119


# summary of solver processes directly reported to runsolver:
#   pid: 51870
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3597.93
#   total CPU system time (s): 2.53371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1375 second user time and 40.2383 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 11:01:02
IDJOB=4490526
IDBENCH=147589
IDSOLVER=3363
FILE ID=nodeC009/4490526-1751360462
RUNJOBID= nodeC009-1751360462-51820
SLURM_JOB_ID= 9598165
Free space on /tmp= 432660 MiB

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

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

MD5SUM BENCH= 8ec3b633bd42b6cf315d15d8b6de5e8f
RANDOM SEED=1487505086

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123187236 kB
MemAvailable:   129873912 kB
Buffers:            3280 kB
Cached:          7458352 kB
SwapCached:            0 kB
Active:           368640 kB
Inactive:        7158752 kB
Active(anon):      82752 kB
Inactive(anon):      968 kB
Active(file):     285888 kB
Inactive(file):  7157784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1988 kB
Writeback:             4 kB
AnonPages:         69192 kB
Mapped:           102724 kB
Shmem:             17960 kB
KReclaimable:     164876 kB
Slab:             248816 kB
SReclaimable:     164876 kB
SUnreclaim:        83940 kB
KernelStack:        3888 kB
PageTables:         2816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432652 MiB
End job on nodeC009 at 2025-07-01 12:01:03