Trace number 3688228

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)312 1800.15 966.864

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1792.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3688228-1337876140.opb
0.07/0.13	c reading problem ... 
0.22/0.20	c ... done. Wall clock time 0.067s.
0.22/0.20	c declared #vars     198
0.22/0.20	c #constraints  16
0.22/0.20	c constraints type 
0.22/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.22/0.20	c 16 constraints processed.
0.22/0.20	c constraints type 
0.22/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16
0.22/0.20	c 16 constraints processed.
0.22/0.20	c objective function length is 128 literals
0.60/0.32	c  And the winner is solver0
1.12/0.70	c SATISFIABLE
1.12/0.70	c OPTIMIZING...
1.12/0.70	c Got one! Elapsed wall clock time (in seconds):0.57
1.12/0.70	o 1404
1.50/0.82	c  And the winner is solver0
1.83/1.20	c Got one! Elapsed wall clock time (in seconds):1.071
1.83/1.20	o 977
1.83/1.26	c  And the winner is solver0
2.32/1.70	c Got one! Elapsed wall clock time (in seconds):1.573
2.32/1.70	o 827
2.32/1.79	c  And the winner is solver0
2.61/2.21	c Got one! Elapsed wall clock time (in seconds):2.075
2.61/2.21	o 826
2.61/2.23	c  And the winner is solver0
2.73/2.71	c Got one! Elapsed wall clock time (in seconds):2.577
2.73/2.71	o 824
2.73/2.73	c  And the winner is solver0
2.83/3.21	c Got one! Elapsed wall clock time (in seconds):3.079
2.83/3.21	o 823
2.86/3.23	c  And the winner is solver0
2.89/3.71	c Got one! Elapsed wall clock time (in seconds):3.58
2.89/3.71	o 822
2.89/3.72	c  And the winner is solver0
2.91/4.21	c Got one! Elapsed wall clock time (in seconds):4.082
2.91/4.21	o 820
2.91/4.24	c  And the winner is solver0
2.98/4.71	c Got one! Elapsed wall clock time (in seconds):4.583
2.98/4.71	o 819
2.98/4.73	c  And the winner is solver0
3.17/5.22	c Got one! Elapsed wall clock time (in seconds):5.084
3.17/5.22	o 784
3.17/5.26	c  And the winner is solver0
3.28/5.72	c Got one! Elapsed wall clock time (in seconds):5.586
3.28/5.72	o 783
3.28/5.73	c  And the winner is solver0
3.33/6.22	c Got one! Elapsed wall clock time (in seconds):6.087
3.33/6.22	o 764
3.33/6.24	c  And the winner is solver0
3.41/6.72	c Got one! Elapsed wall clock time (in seconds):6.588
3.41/6.72	o 762
3.41/6.74	c  And the winner is solver0
3.46/7.22	c Got one! Elapsed wall clock time (in seconds):7.09
3.46/7.22	o 761
3.46/7.26	c  And the winner is solver0
3.56/7.72	c Got one! Elapsed wall clock time (in seconds):7.591
3.56/7.72	o 760
3.56/7.79	c  And the winner is solver0
3.71/8.22	c Got one! Elapsed wall clock time (in seconds):8.092
3.71/8.22	o 759
3.71/8.26	c  And the winner is solver0
3.85/8.72	c Got one! Elapsed wall clock time (in seconds):8.593
3.85/8.72	o 758
3.85/8.76	c  And the winner is solver0
3.95/9.23	c Got one! Elapsed wall clock time (in seconds):9.095
3.95/9.23	o 756
3.95/9.27	c  And the winner is solver0
4.05/9.73	c Got one! Elapsed wall clock time (in seconds):9.596
4.05/9.73	o 746
4.24/9.82	c cleaning 6297 clauses out of 12603 with flag 1003/12603
4.49/9.96	c  And the winner is solver0
4.62/10.23	c Got one! Elapsed wall clock time (in seconds):10.097
4.62/10.23	o 745
4.62/10.26	c  And the winner is solver0
4.70/10.73	c Got one! Elapsed wall clock time (in seconds):10.598
4.70/10.73	o 688
4.82/10.80	c  And the winner is solver0
4.84/11.23	c Got one! Elapsed wall clock time (in seconds):11.099
4.84/11.23	o 687
4.84/11.28	c cleaning 6522 clauses out of 13057 with flag 1002/19354
5.17/11.44	c  And the winner is solver0
5.28/11.73	c Got one! Elapsed wall clock time (in seconds):11.601
5.28/11.73	o 686
5.28/11.79	c  And the winner is solver0
5.41/12.23	c Got one! Elapsed wall clock time (in seconds):12.102
5.41/12.23	o 684
5.41/12.29	c cleaning 6291 clauses out of 12619 with flag 1001/25438
5.55/12.33	c  And the winner is solver0
5.64/12.73	c Got one! Elapsed wall clock time (in seconds):12.603
5.64/12.73	o 670
5.77/12.84	c  And the winner is solver0
5.86/13.24	c Got one! Elapsed wall clock time (in seconds):13.104
5.86/13.24	o 669
5.99/13.34	c cleaning 5843 clauses out of 11700 with flag 2000/30810
6.16/13.46	c  And the winner is solver0
6.30/13.74	c Got one! Elapsed wall clock time (in seconds):13.605
6.30/13.74	o 667
6.30/13.78	c  And the winner is solver0
6.40/14.24	c Got one! Elapsed wall clock time (in seconds):14.107
6.40/14.24	o 665
6.40/14.28	c  And the winner is solver0
6.48/14.74	c Got one! Elapsed wall clock time (in seconds):14.608
6.48/14.74	o 663
6.60/14.80	c  And the winner is solver0
6.63/15.24	c Got one! Elapsed wall clock time (in seconds):15.109
6.63/15.24	o 662
6.63/15.30	c cleaning 6674 clauses out of 13364 with flag 1001/38317
6.77/15.38	c  And the winner is solver0
6.92/15.74	c Got one! Elapsed wall clock time (in seconds):15.61
6.92/15.74	o 660
7.23/15.90	c cleaning 6214 clauses out of 12445 with flag 4003/44072
7.23/15.94	c  And the winner is solver0
7.33/16.24	c Got one! Elapsed wall clock time (in seconds):16.111
7.33/16.24	o 659
7.64/16.46	c cleaning 5800 clauses out of 11610 with flag 5003/49451
8.21/16.75	c cleaning 5897 clauses out of 11807 with flag 11000/55448
9.08/17.11	c  And the winner is solver0
9.13/17.24	c Got one! Elapsed wall clock time (in seconds):17.112
9.13/17.24	o 657
9.43/17.46	c cleaning 8502 clauses out of 17026 with flag 5001/66564
9.43/17.49	c  And the winner is solver0
9.62/17.74	c Got one! Elapsed wall clock time (in seconds):17.613
9.62/17.74	o 653
9.93/17.95	c cleaning 6750 clauses out of 13525 with flag 5000/71565
10.31/18.10	c  And the winner is solver0
10.34/18.25	c Got one! Elapsed wall clock time (in seconds):18.114
10.34/18.25	o 651
10.43/18.34	c cleaning 6147 clauses out of 12297 with flag 2002/77087
10.43/18.38	c  And the winner is solver0
10.61/18.75	c Got one! Elapsed wall clock time (in seconds):18.615
10.61/18.75	o 650
10.61/18.79	c  And the winner is solver0
10.71/19.25	c Got one! Elapsed wall clock time (in seconds):19.116
10.71/19.25	o 648
10.81/19.31	c  And the winner is solver0
10.85/19.75	c Got one! Elapsed wall clock time (in seconds):19.618
10.85/19.75	o 647
10.96/19.87	c  And the winner is solver0
11.12/20.25	c Got one! Elapsed wall clock time (in seconds):20.119
11.12/20.25	o 645
11.21/20.30	c cleaning 6515 clauses out of 13043 with flag 1002/83980
11.38/20.43	c  And the winner is solver0
11.46/20.75	c Got one! Elapsed wall clock time (in seconds):20.62
11.46/20.75	o 644
11.57/20.88	c cleaning 6103 clauses out of 12221 with flag 3001/89673
11.75/21.00	c  And the winner is solver0
11.96/21.25	c Got one! Elapsed wall clock time (in seconds):21.121
11.96/21.25	o 643
12.05/21.38	c cleaning 5790 clauses out of 11610 with flag 3003/95165
12.62/21.61	c  And the winner is solver0
12.74/21.75	c Got one! Elapsed wall clock time (in seconds):21.622
12.74/21.75	o 642
13.29/22.01	c cleaning 8246 clauses out of 16513 with flag 5001/105858
13.65/22.29	c cleaning 7118 clauses out of 14266 with flag 11000/111857
14.02/22.45	c  And the winner is solver0
14.18/22.75	c Got one! Elapsed wall clock time (in seconds):22.623
14.18/22.75	o 641
14.18/22.80	c  And the winner is solver0
14.28/23.26	c Got one! Elapsed wall clock time (in seconds):23.124
14.28/23.26	o 639
14.37/23.31	c cleaning 6260 clauses out of 12527 with flag 1000/117236
14.37/23.34	c  And the winner is solver0
14.45/23.76	c Got one! Elapsed wall clock time (in seconds):23.625
14.45/23.76	o 637
14.53/23.81	c  And the winner is solver0
14.59/24.26	c Got one! Elapsed wall clock time (in seconds):24.126
14.59/24.26	o 635
14.67/24.35	c  And the winner is solver0
14.81/24.76	c Got one! Elapsed wall clock time (in seconds):24.627
14.81/24.76	o 632
14.89/24.85	c cleaning 6187 clauses out of 12379 with flag 2001/123348
15.06/24.94	c  And the winner is solver0
15.26/25.26	c Got one! Elapsed wall clock time (in seconds):25.128
15.26/25.26	o 630
15.54/25.43	c cleaning 6015 clauses out of 12047 with flag 4000/129203
15.71/25.52	c  And the winner is solver0
15.79/25.76	c Got one! Elapsed wall clock time (in seconds):25.629
15.79/25.76	o 450
16.06/25.93	c cleaning 5849 clauses out of 11713 with flag 4000/134884
16.43/26.19	c cleaning 5927 clauses out of 11864 with flag 10000/140884
17.02/26.43	c  And the winner is solver0
17.14/26.76	c Got one! Elapsed wall clock time (in seconds):26.63
17.14/26.76	o 448
17.21/26.81	c cleaning 5954 clauses out of 11926 with flag 1000/146873
17.58/27.05	c  And the winner is solver0
17.72/27.26	c Got one! Elapsed wall clock time (in seconds):27.131
17.72/27.26	o 447
18.01/27.50	c cleaning 8445 clauses out of 16913 with flag 5000/157814
18.76/27.80	c cleaning 7224 clauses out of 14468 with flag 11000/163814
19.33/28.15	c cleaning 7110 clauses out of 14244 with flag 18000/170814
20.11/28.57	c cleaning 7560 clauses out of 15134 with flag 26000/178814
21.28/29.16	c cleaning 8284 clauses out of 16576 with flag 35002/187816
22.65/29.80	c cleaning 9145 clauses out of 18290 with flag 45000/197814
24.21/30.61	c cleaning 10066 clauses out of 20145 with flag 56000/208814
25.59/31.35	c cleaning 11030 clauses out of 22080 with flag 68001/220815
26.57/31.85	c  And the winner is solver0
26.74/32.26	c Got one! Elapsed wall clock time (in seconds):32.133
26.74/32.26	o 446
27.01/32.47	c cleaning 12213 clauses out of 24438 with flag 5000/234203
27.59/32.78	c cleaning 9105 clauses out of 18225 with flag 11000/240203
28.34/33.14	c cleaning 8048 clauses out of 16120 with flag 18000/247203
29.11/33.56	c cleaning 8028 clauses out of 16072 with flag 26000/255203
29.87/34.00	c cleaning 8519 clauses out of 17048 with flag 35004/264207
30.44/34.28	c  And the winner is solver0
30.68/34.77	c Got one! Elapsed wall clock time (in seconds):34.634
30.68/34.77	o 444
30.94/35.00	c cleaning 9520 clauses out of 19055 with flag 5003/274733
31.70/35.34	c cleaning 7756 clauses out of 15532 with flag 11000/280730
32.46/35.75	c cleaning 7384 clauses out of 14777 with flag 18001/287731
33.44/36.24	c cleaning 7686 clauses out of 15393 with flag 26001/295731
34.59/36.82	c cleaning 8341 clauses out of 16708 with flag 35002/304732
35.93/37.54	c cleaning 9180 clauses out of 18368 with flag 45003/314733
36.49/37.85	c  And the winner is solver0
36.64/38.29	c Got one! Elapsed wall clock time (in seconds):38.157
36.64/38.29	o 443
36.87/38.50	c cleaning 9750 clauses out of 19526 with flag 5000/325071
37.41/38.79	c cleaning 7880 clauses out of 15776 with flag 11000/331071
38.17/39.11	c cleaning 7439 clauses out of 14896 with flag 18000/338071
38.71/39.49	c cleaning 7709 clauses out of 15458 with flag 26001/346072
39.67/39.96	c cleaning 8366 clauses out of 16749 with flag 35001/355072
40.44/40.31	c  And the winner is solver0
40.54/40.79	c Got one! Elapsed wall clock time (in seconds):40.659
40.54/40.79	o 441
40.95/41.01	c cleaning 10248 clauses out of 20522 with flag 5000/367211
41.51/41.31	c cleaning 8129 clauses out of 16274 with flag 11000/373211
42.04/41.65	c cleaning 7564 clauses out of 15145 with flag 18000/380211
42.80/42.01	c cleaning 7771 clauses out of 15582 with flag 26001/388212
43.56/42.42	c cleaning 8397 clauses out of 16810 with flag 35000/397211
44.52/42.96	c cleaning 9203 clauses out of 18415 with flag 45002/407213
45.85/43.63	c cleaning 10104 clauses out of 20213 with flag 56003/418214
47.20/44.33	c cleaning 11052 clauses out of 22110 with flag 68004/430215
48.77/45.18	c cleaning 12020 clauses out of 24055 with flag 81001/443212
50.72/46.20	c cleaning 13009 clauses out of 26034 with flag 95000/457211
53.06/47.36	c cleaning 14003 clauses out of 28030 with flag 110005/472216
55.01/48.31	c cleaning 15004 clauses out of 30023 with flag 126001/488212
57.55/49.61	c cleaning 16001 clauses out of 32018 with flag 143000/505211
60.51/51.15	c cleaning 17001 clauses out of 34018 with flag 161001/523212
63.45/52.69	c cleaning 18007 clauses out of 36019 with flag 180003/542214
66.60/54.21	c cleaning 19002 clauses out of 38011 with flag 200002/562213
69.75/55.89	c cleaning 19993 clauses out of 40008 with flag 221001/583212
72.32/57.17	c cleaning 20999 clauses out of 42014 with flag 243000/605211
72.51/57.27	c  And the winner is solver0
72.98/57.80	c Got one! Elapsed wall clock time (in seconds):57.665
72.98/57.80	o 439
73.42/58.02	c cleaning 13109 clauses out of 26244 with flag 5000/610440
73.57/58.18	c  And the winner is solver0
74.06/58.55	c Got one! Elapsed wall clock time (in seconds):58.416
74.06/58.55	o 417
74.21/58.65	c cleaning 9081 clauses out of 18172 with flag 2003/615477
74.76/58.94	c cleaning 7526 clauses out of 15089 with flag 8001/621475
75.32/59.27	c cleaning 7275 clauses out of 14562 with flag 15000/628474
76.25/59.78	c cleaning 7635 clauses out of 15287 with flag 23000/636474
77.41/60.38	c cleaning 8316 clauses out of 16652 with flag 32000/645474
78.57/60.92	c cleaning 9161 clauses out of 18337 with flag 42001/655475
79.74/61.56	c cleaning 10079 clauses out of 20175 with flag 53000/666474
81.26/62.32	c cleaning 11043 clauses out of 22097 with flag 65001/678475
82.62/63.08	c cleaning 12017 clauses out of 24053 with flag 78000/691474
84.38/63.93	c cleaning 13011 clauses out of 26037 with flag 92001/705475
86.34/64.94	c cleaning 14004 clauses out of 28026 with flag 107001/720475
88.48/66.06	c cleaning 15005 clauses out of 30021 with flag 123000/736474
91.02/67.30	c cleaning 15999 clauses out of 32016 with flag 140000/753474
93.76/68.70	c cleaning 16996 clauses out of 34017 with flag 158000/771474
96.51/70.19	c cleaning 18003 clauses out of 36024 with flag 177003/790477
99.46/71.68	c cleaning 19006 clauses out of 38018 with flag 197000/810474
102.61/73.27	c cleaning 19993 clauses out of 40013 with flag 218001/831475
105.98/74.97	c cleaning 21003 clauses out of 42019 with flag 240000/853474
109.95/76.94	c cleaning 21996 clauses out of 44017 with flag 263001/876475
113.27/78.66	c cleaning 23002 clauses out of 46020 with flag 287000/900474
117.42/80.71	c cleaning 24005 clauses out of 48022 with flag 312004/925478
121.38/82.76	c cleaning 24996 clauses out of 50016 with flag 338003/951477
125.95/85.00	c cleaning 25997 clauses out of 52018 with flag 365001/978475
130.88/87.56	c cleaning 27007 clauses out of 54022 with flag 393002/1006476
135.83/90.07	c cleaning 27997 clauses out of 56013 with flag 422000/1035474
141.98/93.17	c cleaning 29005 clauses out of 58016 with flag 452000/1065474
147.32/95.86	c cleaning 29992 clauses out of 60011 with flag 483000/1096474
153.25/98.81	c cleaning 31004 clauses out of 62019 with flag 515000/1128474
156.39/100.46	c  And the winner is solver0
157.67/101.74	c Got one! Elapsed wall clock time (in seconds):101.609
157.67/101.74	o 416
158.31/102.13	c cleaning 30216 clauses out of 60457 with flag 5000/1157916
159.07/102.55	c cleaning 18113 clauses out of 36241 with flag 11000/1163916
159.82/102.93	c cleaning 12555 clauses out of 25128 with flag 18000/1170916
160.36/103.30	c  And the winner is solver0
161.46/104.24	c Got one! Elapsed wall clock time (in seconds):104.111
161.46/104.24	o 415
161.98/104.52	c cleaning 12486 clauses out of 24995 with flag 5003/1183338
162.53/104.83	c cleaning 9243 clauses out of 18506 with flag 11000/1189335
163.08/105.16	c cleaning 8120 clauses out of 16265 with flag 18002/1196337
163.85/105.54	c cleaning 8063 clauses out of 16149 with flag 26006/1204341
164.75/106.00	c cleaning 8538 clauses out of 17084 with flag 35004/1213339
165.50/106.47	c cleaning 9262 clauses out of 18543 with flag 45001/1223336
166.66/107.01	c cleaning 10127 clauses out of 20282 with flag 56002/1234337
167.81/107.60	c cleaning 11058 clauses out of 22154 with flag 68001/1246336
168.94/108.27	c cleaning 12038 clauses out of 24099 with flag 81004/1259339
170.30/108.99	c cleaning 13019 clauses out of 26058 with flag 95001/1273336
172.04/109.81	c cleaning 14002 clauses out of 28038 with flag 110000/1288335
173.60/110.63	c cleaning 15011 clauses out of 30038 with flag 126002/1304337
175.32/111.56	c cleaning 16007 clauses out of 32029 with flag 143004/1321339
175.87/111.81	c  And the winner is solver0
176.17/112.25	c Got one! Elapsed wall clock time (in seconds):112.114
176.17/112.25	o 370
176.27/112.32	c cleaning 10849 clauses out of 21703 with flag 1004/1327020
176.42/112.41	c  And the winner is solver0
176.50/112.75	c Got one! Elapsed wall clock time (in seconds):112.615
176.50/112.75	o 369
176.80/112.96	c cleaning 8404 clauses out of 16816 with flag 5000/1332982
177.56/113.30	c cleaning 7194 clauses out of 14413 with flag 11001/1338983
177.56/113.39	c  And the winner is solver0
177.79/113.75	c Got one! Elapsed wall clock time (in seconds):113.616
177.79/113.75	o 367
178.09/113.94	c cleaning 6141 clauses out of 12290 with flag 5001/1344054
178.64/114.27	c cleaning 6068 clauses out of 12148 with flag 11000/1350053
179.40/114.66	c cleaning 6527 clauses out of 13081 with flag 18001/1357054
180.36/115.16	c cleaning 7275 clauses out of 14553 with flag 26000/1365053
181.49/115.72	c cleaning 8127 clauses out of 16278 with flag 35000/1374053
182.65/116.33	c cleaning 9065 clauses out of 18151 with flag 45000/1384053
183.80/116.92	c cleaning 10036 clauses out of 20087 with flag 56001/1395054
185.16/117.65	c cleaning 11017 clauses out of 22050 with flag 68000/1407053
186.68/118.42	c cleaning 12011 clauses out of 24034 with flag 81001/1420054
188.64/119.41	c cleaning 13007 clauses out of 26025 with flag 95003/1434056
190.59/120.44	c cleaning 14001 clauses out of 28016 with flag 110001/1449054
192.74/121.58	c cleaning 14997 clauses out of 30014 with flag 126000/1465053
195.69/123.00	c cleaning 15996 clauses out of 32019 with flag 143002/1482055
198.45/124.48	c cleaning 17000 clauses out of 34021 with flag 161000/1500053
201.60/126.03	c cleaning 18000 clauses out of 36022 with flag 180001/1519054
204.56/127.58	c cleaning 18996 clauses out of 38021 with flag 200000/1539053
208.46/129.52	c cleaning 19997 clauses out of 40028 with flag 221003/1560056
212.41/131.56	c cleaning 20994 clauses out of 42028 with flag 243000/1582053
216.16/133.45	c cleaning 21996 clauses out of 44034 with flag 266000/1605053
219.72/135.22	c cleaning 23010 clauses out of 46040 with flag 290002/1629055
224.04/137.44	c cleaning 24009 clauses out of 48029 with flag 315001/1654054
228.98/139.90	c cleaning 25002 clauses out of 50019 with flag 341000/1680053
234.53/142.76	c cleaning 25996 clauses out of 52017 with flag 368000/1707053
240.48/145.76	c cleaning 27003 clauses out of 54022 with flag 396001/1735054
246.20/148.69	c cleaning 28003 clauses out of 56020 with flag 425002/1764055
253.55/152.34	c cleaning 28988 clauses out of 58015 with flag 455000/1794053
254.09/152.64	c  And the winner is solver0
254.12/152.90	c Got one! Elapsed wall clock time (in seconds):152.77
254.12/152.90	o 365
254.31/153.01	c cleaning 17295 clauses out of 34603 with flag 1002/1799629
254.85/153.30	c cleaning 11643 clauses out of 23307 with flag 7001/1805628
255.38/153.66	c cleaning 9319 clauses out of 18666 with flag 14003/1812630
256.14/154.05	c cleaning 8662 clauses out of 17345 with flag 22001/1820628
256.88/154.47	c cleaning 8828 clauses out of 17682 with flag 31000/1829627
257.83/154.95	c cleaning 9417 clauses out of 18854 with flag 41000/1839627
258.78/155.46	c cleaning 10211 clauses out of 20438 with flag 52001/1850628
259.92/156.06	c cleaning 11103 clauses out of 22226 with flag 64000/1862627
261.27/156.70	c cleaning 12052 clauses out of 24123 with flag 77000/1875627
262.62/157.46	c cleaning 13022 clauses out of 26072 with flag 91001/1889628
264.17/158.24	c cleaning 14012 clauses out of 28051 with flag 106002/1904629
265.92/159.11	c cleaning 15015 clauses out of 30039 with flag 122002/1920629
267.69/160.05	c cleaning 16004 clauses out of 32023 with flag 139001/1937628
269.64/161.04	c cleaning 16998 clauses out of 34020 with flag 157002/1955629
271.78/162.14	c cleaning 18004 clauses out of 36020 with flag 176000/1974627
273.52/163.05	c  And the winner is solver0
273.85/163.40	c Got one! Elapsed wall clock time (in seconds):163.274
273.85/163.40	o 364
274.43/163.72	c cleaning 20271 clauses out of 40547 with flag 5002/1997158
274.98/164.06	c cleaning 13134 clauses out of 26274 with flag 11000/2003156
275.92/164.53	c cleaning 10068 clauses out of 20143 with flag 18003/2010159
276.66/165.00	c cleaning 9027 clauses out of 18072 with flag 26000/2018156
277.79/165.50	c cleaning 9009 clauses out of 18049 with flag 35004/2027160
278.95/166.12	c cleaning 9511 clauses out of 19039 with flag 45003/2037159
280.09/166.71	c cleaning 10253 clauses out of 20525 with flag 56000/2048156
281.42/167.41	c cleaning 11128 clauses out of 22272 with flag 68000/2060156
282.98/168.26	c cleaning 12066 clauses out of 24144 with flag 81000/2073156
284.92/169.29	c cleaning 13028 clauses out of 26079 with flag 95001/2087157
287.28/170.42	c cleaning 14017 clauses out of 28050 with flag 110000/2102156
289.41/171.57	c cleaning 15009 clauses out of 30034 with flag 126001/2118157
291.95/172.90	c cleaning 16004 clauses out of 32026 with flag 143002/2135158
295.10/174.48	c cleaning 17006 clauses out of 34020 with flag 161000/2153156
297.84/175.82	c cleaning 18001 clauses out of 36015 with flag 180001/2172157
300.76/177.34	c cleaning 18999 clauses out of 38015 with flag 200002/2192158
304.11/179.02	c cleaning 19999 clauses out of 40014 with flag 221000/2213156
308.07/181.07	c cleaning 20995 clauses out of 42015 with flag 243000/2235156
312.82/183.49	c cleaning 22004 clauses out of 44023 with flag 266003/2258159
317.34/185.71	c cleaning 22999 clauses out of 46016 with flag 290000/2282156
321.69/187.97	c cleaning 23999 clauses out of 48017 with flag 315000/2307156
326.03/190.17	c cleaning 25002 clauses out of 50020 with flag 341002/2333158
331.37/192.89	c cleaning 26000 clauses out of 52018 with flag 368002/2360158
337.51/195.90	c cleaning 26987 clauses out of 54017 with flag 396001/2388157
343.49/198.98	c cleaning 28007 clauses out of 56029 with flag 425000/2417156
348.90/201.62	c  And the winner is solver0
348.79/201.97	c Got one! Elapsed wall clock time (in seconds):201.837
348.79/201.97	o 363
349.46/202.39	c cleaning 28598 clauses out of 57222 with flag 5000/2446356
350.40/202.81	c cleaning 17304 clauses out of 34624 with flag 11000/2452356
351.11/203.24	c cleaning 12151 clauses out of 24320 with flag 18000/2459356
351.86/203.67	c cleaning 10065 clauses out of 20170 with flag 26001/2467357
352.80/204.14	c cleaning 9549 clauses out of 19108 with flag 35004/2476360
353.76/204.66	c cleaning 9771 clauses out of 19555 with flag 45000/2486356
354.86/205.23	c cleaning 10381 clauses out of 20784 with flag 56000/2497356
355.81/205.79	c cleaning 11196 clauses out of 22408 with flag 68005/2509361
357.14/206.42	c cleaning 12090 clauses out of 24207 with flag 81000/2522356
358.49/207.14	c cleaning 13048 clauses out of 26117 with flag 95000/2536356
360.05/207.91	c cleaning 14022 clauses out of 28070 with flag 110001/2551357
361.57/208.77	c cleaning 15014 clauses out of 30047 with flag 126000/2567356
363.52/209.78	c cleaning 16016 clauses out of 32037 with flag 143004/2584360
365.66/210.88	c cleaning 16990 clauses out of 34017 with flag 161000/2602356
368.17/212.10	c cleaning 18004 clauses out of 36027 with flag 180000/2621356
370.52/213.31	c cleaning 19000 clauses out of 38025 with flag 200002/2641358
372.05/214.16	c  And the winner is solver0
372.79/214.89	c Got one! Elapsed wall clock time (in seconds):214.756
372.79/214.89	o 362
373.85/215.43	c cleaning 20575 clauses out of 41172 with flag 5004/2663505
374.58/215.83	c cleaning 13290 clauses out of 26597 with flag 11004/2669505
375.29/216.24	c cleaning 10140 clauses out of 20305 with flag 18002/2676503
376.04/216.64	c cleaning 9068 clauses out of 18164 with flag 26001/2684502
376.77/217.07	c cleaning 9038 clauses out of 18095 with flag 35000/2693501
377.71/217.55	c cleaning 9522 clauses out of 19061 with flag 45004/2703505
378.81/218.11	c cleaning 10265 clauses out of 20541 with flag 56006/2714507
379.95/218.75	c cleaning 11125 clauses out of 22270 with flag 68000/2726501
381.28/219.46	c cleaning 12061 clauses out of 24148 with flag 81003/2739504
382.62/220.19	c cleaning 13027 clauses out of 26084 with flag 95000/2753501
384.16/221.00	c cleaning 14015 clauses out of 28057 with flag 110000/2768501
385.89/221.88	c cleaning 15009 clauses out of 30042 with flag 126000/2784501
388.04/222.91	c cleaning 16007 clauses out of 32038 with flag 143005/2801506
389.98/223.95	c cleaning 16998 clauses out of 34026 with flag 161000/2819501
392.28/225.15	c cleaning 18002 clauses out of 36029 with flag 180001/2838502
394.81/226.41	c cleaning 19009 clauses out of 38035 with flag 200009/2858510
397.55/227.83	c cleaning 19994 clauses out of 40019 with flag 221002/2879503
400.10/229.18	c cleaning 20993 clauses out of 42024 with flag 243001/2901502
403.20/230.77	c cleaning 22006 clauses out of 44038 with flag 266008/2924509
406.13/232.28	c cleaning 23003 clauses out of 46025 with flag 290001/2948502
409.47/233.91	c cleaning 23998 clauses out of 48021 with flag 315000/2973501
411.61/235.06	c  And the winner is solver0
411.80/235.56	c Got one! Elapsed wall clock time (in seconds):235.426
411.80/235.56	o 361
412.67/236.01	c cleaning 24946 clauses out of 49904 with flag 5000/2999382
412.80/236.15	c  And the winner is solver0
413.03/236.62	c Got one! Elapsed wall clock time (in seconds):236.486
413.03/236.62	o 360
413.59/236.98	c cleaning 15447 clauses out of 30919 with flag 5000/3005343
414.32/237.34	c cleaning 10730 clauses out of 21472 with flag 11000/3011343
415.06/237.74	c cleaning 8866 clauses out of 17743 with flag 18001/3018344
416.00/238.20	c cleaning 8429 clauses out of 16877 with flag 26001/3026344
416.93/238.72	c cleaning 8714 clauses out of 17448 with flag 35001/3035344
417.06/238.80	c  And the winner is solver0
417.20/239.12	c Got one! Elapsed wall clock time (in seconds):238.987
417.20/239.12	o 359
417.56/239.35	c cleaning 7224 clauses out of 14473 with flag 5000/3041083
418.10/239.67	c cleaning 6623 clauses out of 13249 with flag 11000/3047083
418.28/239.78	c  And the winner is solver0
419.52/240.92	c Got one! Elapsed wall clock time (in seconds):240.793
419.52/240.92	o 358
419.66/241.09	c cleaning 5835 clauses out of 11694 with flag 4002/3052151
420.37/241.45	c cleaning 5917 clauses out of 11857 with flag 10000/3058149
421.10/241.80	c cleaning 6462 clauses out of 12944 with flag 17004/3065153
421.85/242.23	c cleaning 7237 clauses out of 14484 with flag 25006/3073155
422.19/242.49	c  And the winner is solver0
422.65/242.93	c Got one! Elapsed wall clock time (in seconds):242.796
422.65/242.93	o 357
422.65/242.99	c cleaning 6399 clauses out of 12803 with flag 1008/3078711
423.30/243.33	c cleaning 6193 clauses out of 12409 with flag 7013/3084716
423.85/243.68	c cleaning 6596 clauses out of 13208 with flag 14005/3091708
424.60/244.09	c cleaning 7291 clauses out of 14608 with flag 22001/3099704
425.55/244.54	c cleaning 8147 clauses out of 16319 with flag 31003/3108706
426.50/245.06	c cleaning 9071 clauses out of 18171 with flag 41002/3118705
426.86/245.22	c  And the winner is solver0
427.95/246.33	c Got one! Elapsed wall clock time (in seconds):246.199
427.95/246.33	o 355
428.10/246.48	c cleaning 7226 clauses out of 14482 with flag 3000/3124087
428.82/246.80	c cleaning 6618 clauses out of 13257 with flag 9001/3130088
429.36/247.15	c cleaning 6810 clauses out of 13640 with flag 16002/3137089
430.08/247.58	c cleaning 7404 clauses out of 14831 with flag 24003/3145090
431.01/248.04	c cleaning 8201 clauses out of 16428 with flag 33004/3154091
431.96/248.56	c cleaning 9100 clauses out of 18223 with flag 43000/3164087
433.09/249.10	c cleaning 10055 clauses out of 20126 with flag 54003/3175090
434.04/249.69	c cleaning 11030 clauses out of 22069 with flag 66001/3187088
435.77/250.52	c cleaning 12012 clauses out of 24044 with flag 79006/3200093
437.71/251.56	c cleaning 13007 clauses out of 26028 with flag 93002/3214089
440.04/252.73	c cleaning 14003 clauses out of 28019 with flag 108000/3229087
442.77/254.18	c cleaning 14995 clauses out of 30016 with flag 124000/3245087
445.70/255.65	c cleaning 16003 clauses out of 32022 with flag 141001/3262088
449.05/257.35	c cleaning 17002 clauses out of 34020 with flag 159002/3280089
451.18/258.47	c  And the winner is solver0
453.48/260.72	c Got one! Elapsed wall clock time (in seconds):260.587
453.48/260.72	o 354
454.03/261.09	c cleaning 19740 clauses out of 39506 with flag 5000/3302577
454.93/261.51	c cleaning 12875 clauses out of 25766 with flag 11000/3308577
455.47/261.88	c cleaning 9937 clauses out of 19891 with flag 18000/3315577
456.20/262.29	c cleaning 8958 clauses out of 17955 with flag 26001/3323578
457.14/262.75	c cleaning 8995 clauses out of 18000 with flag 35004/3332581
458.07/263.28	c cleaning 9494 clauses out of 19001 with flag 45000/3342577
459.21/263.82	c cleaning 10239 clauses out of 20508 with flag 56001/3353578
460.35/264.43	c cleaning 11124 clauses out of 22269 with flag 68001/3365578
461.50/265.09	c cleaning 12058 clauses out of 24147 with flag 81003/3378580
463.02/265.85	c cleaning 13035 clauses out of 26086 with flag 95000/3392577
464.76/266.70	c cleaning 14011 clauses out of 28056 with flag 110005/3407582
466.50/267.60	c cleaning 15005 clauses out of 30041 with flag 126001/3423578
468.43/268.62	c cleaning 16013 clauses out of 32037 with flag 143002/3440579
470.74/269.80	c  And the winner is solver0
473.59/272.73	c Got one! Elapsed wall clock time (in seconds):272.599
473.59/272.73	o 353
474.32/273.10	c cleaning 18848 clauses out of 37720 with flag 5008/3462275
474.86/273.46	c cleaning 12421 clauses out of 24866 with flag 11002/3468269
475.40/273.80	c cleaning 9712 clauses out of 19447 with flag 18004/3475271
476.34/274.21	c cleaning 8848 clauses out of 17731 with flag 26000/3483267
477.06/274.68	c cleaning 8937 clauses out of 17883 with flag 35000/3492267
478.00/275.18	c cleaning 9466 clauses out of 18950 with flag 45004/3502271
479.15/275.75	c cleaning 10224 clauses out of 20480 with flag 56000/3513267
480.28/276.36	c cleaning 11120 clauses out of 22258 with flag 68002/3525269
481.62/277.04	c cleaning 12054 clauses out of 24136 with flag 81000/3538267
483.16/277.80	c cleaning 13029 clauses out of 26082 with flag 95000/3552267
484.49/278.58	c cleaning 14018 clauses out of 28056 with flag 110003/3567270
486.24/279.45	c cleaning 15009 clauses out of 30037 with flag 126002/3583269
488.18/280.42	c cleaning 16005 clauses out of 32028 with flag 143002/3600269
490.10/281.46	c cleaning 17003 clauses out of 34023 with flag 161002/3618269
492.23/282.54	c cleaning 17994 clauses out of 36018 with flag 180000/3637267
493.77/283.39	c  And the winner is solver0
495.31/284.82	c Got one! Elapsed wall clock time (in seconds):284.69
495.31/284.82	o 352
496.26/285.31	c cleaning 19728 clauses out of 39476 with flag 5001/3658719
496.99/285.73	c cleaning 12868 clauses out of 25754 with flag 11007/3664725
497.73/286.11	c cleaning 9928 clauses out of 19881 with flag 18002/3671720
498.48/286.52	c cleaning 8960 clauses out of 17951 with flag 26000/3679718
499.22/286.94	c cleaning 8985 clauses out of 17994 with flag 35003/3688721
500.16/287.43	c cleaning 9493 clauses out of 19006 with flag 45000/3698718
501.10/288.00	c cleaning 10245 clauses out of 20513 with flag 56000/3709718
502.44/288.60	c cleaning 11122 clauses out of 22270 with flag 68002/3721720
503.59/289.29	c cleaning 12058 clauses out of 24147 with flag 81001/3734719
505.11/290.03	c cleaning 13040 clauses out of 26091 with flag 95003/3748721
506.65/290.82	c cleaning 14011 clauses out of 28049 with flag 110001/3763719
508.39/291.75	c cleaning 15007 clauses out of 30038 with flag 126001/3779719
510.32/292.71	c cleaning 16000 clauses out of 32031 with flag 143001/3796719
512.28/293.74	c cleaning 16997 clauses out of 34032 with flag 161002/3814720
514.60/294.93	c cleaning 18005 clauses out of 36033 with flag 180000/3833718
517.14/296.21	c cleaning 19014 clauses out of 38041 with flag 200013/3853731
519.68/297.50	c cleaning 19993 clauses out of 40015 with flag 221001/3874719
522.41/298.93	c cleaning 20994 clauses out of 42021 with flag 243000/3896718
525.16/300.36	c cleaning 22003 clauses out of 44028 with flag 266001/3919719
528.08/301.82	c cleaning 22992 clauses out of 46025 with flag 290001/3943719
531.22/303.40	c cleaning 24003 clauses out of 48036 with flag 315004/3968722
534.14/304.97	c cleaning 25006 clauses out of 50030 with flag 341001/3994719
539.28/307.55	c cleaning 26004 clauses out of 52023 with flag 368000/4021718
544.23/310.08	c cleaning 26999 clauses out of 54020 with flag 396001/4049719
550.56/313.26	c cleaning 28002 clauses out of 56022 with flag 425002/4078720
558.26/317.13	c cleaning 29004 clauses out of 58020 with flag 455002/4108720
566.00/321.01	c cleaning 30001 clauses out of 60015 with flag 486001/4139719
574.35/325.25	c cleaning 30998 clauses out of 62014 with flag 518001/4171719
582.09/329.16	c cleaning 32003 clauses out of 64017 with flag 551002/4204720
590.23/333.27	c cleaning 32993 clauses out of 66013 with flag 585001/4238719
600.55/338.45	c cleaning 33999 clauses out of 68019 with flag 620000/4273718
610.89/343.68	c cleaning 35000 clauses out of 70020 with flag 656000/4309718
621.03/348.79	c cleaning 36000 clauses out of 72021 with flag 693001/4346719
634.17/355.33	c cleaning 37006 clauses out of 74022 with flag 731002/4384720
647.33/361.94	c cleaning 37994 clauses out of 76015 with flag 770001/4423719
648.27/362.44	c  And the winner is solver0
648.24/362.60	c Got one! Elapsed wall clock time (in seconds):362.465
648.24/362.60	o 350
648.74/362.98	c cleaning 24211 clauses out of 48448 with flag 5000/4434146
649.45/363.36	c cleaning 15111 clauses out of 30237 with flag 11000/4440146
650.13/363.77	c cleaning 11054 clauses out of 22126 with flag 18000/4447146
650.87/364.18	c cleaning 9517 clauses out of 19073 with flag 26001/4455147
651.79/364.66	c cleaning 9275 clauses out of 18559 with flag 35004/4464150
652.73/365.19	c cleaning 9633 clauses out of 19280 with flag 45000/4474146
653.82/365.78	c cleaning 10325 clauses out of 20649 with flag 56002/4485148
654.35/366.09	c  And the winner is solver0
655.05/366.65	c Got one! Elapsed wall clock time (in seconds):366.518
655.05/366.65	o 349
655.36/366.88	c cleaning 10346 clauses out of 20707 with flag 5001/4495531
656.09/367.24	c cleaning 8168 clauses out of 16360 with flag 11000/4501530
656.81/367.63	c cleaning 7588 clauses out of 15193 with flag 18001/4508531
657.69/368.12	c cleaning 7795 clauses out of 15605 with flag 26001/4516531
658.63/368.65	c cleaning 8401 clauses out of 16812 with flag 35003/4525533
659.77/369.22	c cleaning 9199 clauses out of 18410 with flag 45002/4535532
660.91/369.88	c cleaning 10101 clauses out of 20211 with flag 56002/4546532
662.43/370.61	c cleaning 11052 clauses out of 22109 with flag 68001/4558531
663.94/371.42	c cleaning 12021 clauses out of 24057 with flag 81001/4571531
666.07/372.55	c cleaning 13016 clauses out of 26035 with flag 95000/4585530
668.61/373.84	c cleaning 14000 clauses out of 28020 with flag 110001/4600531
671.52/375.34	c cleaning 15001 clauses out of 30019 with flag 126000/4616530
673.66/376.43	c cleaning 16006 clauses out of 32019 with flag 143001/4633531
675.98/377.65	c cleaning 16998 clauses out of 34016 with flag 161004/4651534
678.91/379.18	c cleaning 18001 clauses out of 36014 with flag 180000/4670530
681.81/380.65	c cleaning 18996 clauses out of 38013 with flag 200000/4690530
685.12/382.38	c cleaning 19997 clauses out of 40017 with flag 221000/4711530
686.26/382.90	c  And the winner is solver0
686.48/383.32	c Got one! Elapsed wall clock time (in seconds):383.187
686.48/383.32	o 347
686.83/383.57	c cleaning 16453 clauses out of 32931 with flag 5000/4724441
687.57/383.92	c cleaning 11231 clauses out of 22478 with flag 11000/4730441
688.25/384.35	c cleaning 9115 clauses out of 18247 with flag 18000/4737441
688.99/384.77	c cleaning 8547 clauses out of 17133 with flag 26001/4745442
689.93/385.25	c cleaning 8790 clauses out of 17589 with flag 35004/4754445
690.87/385.79	c cleaning 9391 clauses out of 18795 with flag 45000/4764441
691.96/386.38	c cleaning 10188 clauses out of 20405 with flag 56001/4775442
693.30/387.04	c cleaning 11105 clauses out of 22216 with flag 68000/4787441
694.03/387.44	c  And the winner is solver0
695.23/388.61	c Got one! Elapsed wall clock time (in seconds):388.483
695.23/388.61	o 345
695.59/388.88	c cleaning 11116 clauses out of 22258 with flag 5000/4798588
696.32/389.23	c cleaning 8563 clauses out of 17142 with flag 11000/4804588
697.00/389.65	c cleaning 7781 clauses out of 15579 with flag 18000/4811588
697.74/390.06	c cleaning 7880 clauses out of 15799 with flag 26001/4819589
698.68/390.54	c cleaning 8457 clauses out of 16921 with flag 35003/4828591
699.60/391.09	c cleaning 9230 clauses out of 18470 with flag 45009/4838597
700.71/391.69	c cleaning 10106 clauses out of 20233 with flag 56002/4849590
702.03/392.31	c cleaning 11046 clauses out of 22127 with flag 68002/4861590
703.16/392.97	c cleaning 12026 clauses out of 24081 with flag 81002/4874590
704.70/393.72	c cleaning 13018 clauses out of 26055 with flag 95002/4888590
706.21/394.56	c cleaning 14003 clauses out of 28035 with flag 110000/4903588
707.94/395.44	c cleaning 15011 clauses out of 30032 with flag 126000/4919588
708.68/395.86	c  And the winner is solver0
708.97/396.30	c Got one! Elapsed wall clock time (in seconds):396.17
708.97/396.30	o 344
709.59/396.70	c cleaning 14348 clauses out of 28712 with flag 5004/4933279
710.32/397.07	c cleaning 10169 clauses out of 20360 with flag 11000/4939275
711.01/397.48	c cleaning 8590 clauses out of 17196 with flag 18005/4946280
711.73/397.89	c cleaning 8294 clauses out of 16607 with flag 26006/4954281
712.66/398.35	c cleaning 8645 clauses out of 17308 with flag 35001/4963276
713.60/398.85	c cleaning 9319 clauses out of 18665 with flag 45003/4973278
714.73/399.41	c cleaning 10160 clauses out of 20344 with flag 56001/4984276
715.86/400.05	c cleaning 11083 clauses out of 22185 with flag 68002/4996277
717.19/400.79	c cleaning 12043 clauses out of 24104 with flag 81004/5009279
718.72/401.58	c cleaning 13008 clauses out of 26057 with flag 95000/5023275
720.43/402.42	c cleaning 14013 clauses out of 28051 with flag 110002/5038277
721.95/403.28	c cleaning 15009 clauses out of 30036 with flag 126000/5054275
724.09/404.33	c cleaning 15999 clauses out of 32027 with flag 143000/5071275
726.21/405.42	c cleaning 17004 clauses out of 34031 with flag 161003/5089278
728.54/406.60	c cleaning 17999 clauses out of 36026 with flag 180002/5108277
731.06/407.90	c cleaning 18998 clauses out of 38026 with flag 200001/5128276
733.78/409.31	c cleaning 20000 clauses out of 40029 with flag 221002/5149277
736.71/410.86	c cleaning 21004 clauses out of 42030 with flag 243003/5171278
740.60/412.80	c cleaning 22004 clauses out of 44023 with flag 266000/5194275
741.95/413.58	c  And the winner is solver0
742.32/413.99	c Got one! Elapsed wall clock time (in seconds):413.856
742.32/413.99	o 342
742.95/414.36	c cleaning 19056 clauses out of 38143 with flag 5003/5210399
743.68/414.75	c cleaning 12537 clauses out of 25086 with flag 11002/5216398
744.39/415.14	c cleaning 9762 clauses out of 19547 with flag 18000/5223396
745.27/415.61	c cleaning 8883 clauses out of 17787 with flag 26002/5231398
746.01/416.06	c cleaning 8938 clauses out of 17902 with flag 35000/5240396
746.93/416.59	c cleaning 9474 clauses out of 18964 with flag 45000/5250396
748.26/417.20	c cleaning 10234 clauses out of 20492 with flag 56002/5261398
749.38/417.87	c cleaning 11113 clauses out of 22256 with flag 68000/5273396
750.72/418.59	c cleaning 12067 clauses out of 24150 with flag 81007/5286403
752.45/419.41	c cleaning 13032 clauses out of 26076 with flag 95000/5300396
754.17/420.31	c cleaning 14012 clauses out of 28044 with flag 110000/5315396
755.90/421.30	c cleaning 15006 clauses out of 30032 with flag 126000/5331396
758.03/422.33	c cleaning 16003 clauses out of 32026 with flag 143000/5348396
760.15/423.46	c cleaning 17001 clauses out of 34025 with flag 161002/5366398
762.47/424.66	c cleaning 17994 clauses out of 36023 with flag 180001/5385397
764.75/425.88	c cleaning 19005 clauses out of 38031 with flag 200003/5405399
767.47/427.21	c cleaning 20004 clauses out of 40029 with flag 221006/5426402
769.99/428.58	c cleaning 20990 clauses out of 42021 with flag 243002/5448398
772.92/430.02	c cleaning 22002 clauses out of 44031 with flag 266002/5471398
774.04/430.64	c  And the winner is solver0
775.06/431.66	c Got one! Elapsed wall clock time (in seconds):431.532
775.06/431.66	o 341
775.92/432.20	c cleaning 18973 clauses out of 37962 with flag 5007/5487331
776.85/432.60	c cleaning 12481 clauses out of 24985 with flag 11003/5493327
777.38/433.00	c cleaning 9743 clauses out of 19501 with flag 18000/5500324
778.31/433.41	c cleaning 8868 clauses out of 17758 with flag 26000/5508324
779.03/433.89	c cleaning 8934 clauses out of 17891 with flag 35001/5517325
780.16/434.42	c cleaning 9468 clauses out of 18957 with flag 45001/5527325
781.08/434.98	c cleaning 10230 clauses out of 20492 with flag 56004/5538328
782.42/435.63	c cleaning 11124 clauses out of 22267 with flag 68009/5550333
783.89/436.40	c cleaning 12049 clauses out of 24134 with flag 81000/5563324
785.22/437.19	c cleaning 13023 clauses out of 26086 with flag 95001/5577325
786.95/438.04	c cleaning 14023 clauses out of 28065 with flag 110003/5592327
788.69/438.93	c cleaning 15008 clauses out of 30039 with flag 126000/5608324
790.57/439.97	c cleaning 16000 clauses out of 32031 with flag 143000/5625324
792.70/441.07	c cleaning 17014 clauses out of 34043 with flag 161012/5643336
795.03/442.26	c cleaning 17991 clauses out of 36018 with flag 180001/5662325
797.54/443.51	c cleaning 18997 clauses out of 38028 with flag 200002/5682326
800.01/444.81	c cleaning 20009 clauses out of 40034 with flag 221005/5703329
802.53/446.13	c cleaning 20999 clauses out of 42025 with flag 243005/5725329
805.25/447.59	c cleaning 21998 clauses out of 44021 with flag 266000/5748324
808.18/449.03	c cleaning 22994 clauses out of 46023 with flag 290000/5772324
811.46/450.71	c cleaning 24003 clauses out of 48030 with flag 315001/5797325
814.58/452.34	c cleaning 25000 clauses out of 50026 with flag 341000/5823324
818.09/454.18	c cleaning 26000 clauses out of 52026 with flag 368000/5850324
821.62/455.99	c cleaning 26999 clauses out of 54026 with flag 396000/5878324
825.70/458.00	c cleaning 28001 clauses out of 56029 with flag 425002/5907326
829.82/460.12	c cleaning 29004 clauses out of 58029 with flag 455003/5937327
833.94/462.28	c cleaning 29998 clauses out of 60023 with flag 486001/5968325
835.46/463.02	c  And the winner is solver0
835.53/463.43	c Got one! Elapsed wall clock time (in seconds):463.298
835.53/463.43	o 328
836.66/464.09	c cleaning 23669 clauses out of 47370 with flag 5000/5985670
837.55/464.57	c cleaning 14837 clauses out of 29703 with flag 11002/5991672
838.28/464.97	c cleaning 10918 clauses out of 21864 with flag 18000/5998670
839.02/465.39	c cleaning 9461 clauses out of 18946 with flag 26000/6006670
839.94/465.86	c cleaning 9233 clauses out of 18486 with flag 35001/6015671
840.86/466.37	c cleaning 9610 clauses out of 19252 with flag 45000/6025670
841.97/466.97	c cleaning 10308 clauses out of 20646 with flag 56004/6036674
843.29/467.63	c cleaning 11153 clauses out of 22336 with flag 68002/6048672
844.61/468.33	c cleaning 12080 clauses out of 24184 with flag 81003/6061673
846.13/469.10	c cleaning 13036 clauses out of 26103 with flag 95002/6075672
847.65/469.94	c cleaning 14018 clauses out of 28068 with flag 110003/6090673
849.39/470.82	c cleaning 15009 clauses out of 30047 with flag 126000/6106670
851.30/471.82	c cleaning 15999 clauses out of 32038 with flag 143000/6123670
853.59/473.01	c cleaning 17003 clauses out of 34039 with flag 161000/6141670
855.89/474.23	c cleaning 18007 clauses out of 36041 with flag 180005/6160675
858.41/475.52	c cleaning 18999 clauses out of 38029 with flag 200000/6180670
860.94/476.87	c cleaning 20005 clauses out of 40032 with flag 221002/6201672
864.04/478.45	c cleaning 21002 clauses out of 42026 with flag 243001/6223671
866.75/479.89	c cleaning 22002 clauses out of 44023 with flag 266000/6246670
869.87/481.48	c cleaning 23001 clauses out of 46021 with flag 290000/6270670
873.39/483.22	c cleaning 23996 clauses out of 48021 with flag 315001/6295671
876.68/484.94	c cleaning 25002 clauses out of 50024 with flag 341000/6321670
880.19/486.71	c cleaning 26001 clauses out of 52022 with flag 368000/6348670
884.11/488.78	c cleaning 27001 clauses out of 54022 with flag 396001/6376671
888.02/490.79	c cleaning 27998 clauses out of 56020 with flag 425000/6405670
892.50/493.07	c cleaning 29001 clauses out of 58025 with flag 455003/6435673
896.81/495.24	c cleaning 30006 clauses out of 60025 with flag 486004/6466674
901.32/497.54	c cleaning 30996 clauses out of 62016 with flag 518001/6498671
906.03/499.99	c cleaning 32001 clauses out of 64019 with flag 551000/6531670
911.09/502.53	c cleaning 33001 clauses out of 66022 with flag 585004/6565674
915.62/504.83	c cleaning 33997 clauses out of 68017 with flag 620000/6600670
920.93/507.54	c cleaning 34998 clauses out of 70020 with flag 656000/6636670
926.66/510.46	c cleaning 35997 clauses out of 72022 with flag 693000/6673670
932.73/513.52	c cleaning 37003 clauses out of 74025 with flag 731000/6711670
938.86/516.62	c cleaning 38011 clauses out of 76023 with flag 770001/6750671
946.98/520.72	c cleaning 39007 clauses out of 78015 with flag 810004/6790674
950.69/522.62	c  And the winner is solver0
950.73/522.92	c Got one! Elapsed wall clock time (in seconds):522.788
950.73/522.92	o 326
951.89/523.51	c cleaning 31517 clauses out of 63059 with flag 5000/6814725
952.73/524.02	c cleaning 18762 clauses out of 37542 with flag 11000/6820725
953.44/524.47	c cleaning 12888 clauses out of 25783 with flag 18003/6827728
954.36/524.98	c cleaning 10436 clauses out of 20892 with flag 26000/6835725
955.27/525.49	c cleaning 9721 clauses out of 19458 with flag 35002/6844727
956.36/526.08	c cleaning 9858 clauses out of 19736 with flag 45001/6854726
957.68/526.70	c cleaning 10433 clauses out of 20877 with flag 56000/6865725
958.99/527.45	c cleaning 11211 clauses out of 22444 with flag 68000/6877725
960.71/528.31	c cleaning 12111 clauses out of 24233 with flag 81000/6890725
962.38/529.29	c cleaning 13054 clauses out of 26122 with flag 95000/6904725
964.50/530.37	c cleaning 14018 clauses out of 28069 with flag 110001/6919726
966.63/531.41	c cleaning 15017 clauses out of 30054 with flag 126004/6935729
968.95/532.60	c cleaning 16008 clauses out of 32033 with flag 143000/6952725
971.22/533.89	c cleaning 17007 clauses out of 34028 with flag 161003/6970728
974.14/535.32	c cleaning 17995 clauses out of 36018 with flag 180000/6989725
977.04/536.82	c cleaning 19003 clauses out of 38023 with flag 200000/7009725
979.96/538.38	c cleaning 19999 clauses out of 40022 with flag 221002/7030727
983.43/540.15	c cleaning 21006 clauses out of 42023 with flag 243002/7052727
986.92/541.94	c cleaning 21995 clauses out of 44015 with flag 266000/7075725
990.84/543.94	c cleaning 23008 clauses out of 46021 with flag 290001/7099726
994.56/545.86	c cleaning 23990 clauses out of 48012 with flag 315000/7124725
999.00/548.16	c cleaning 25010 clauses out of 50027 with flag 341005/7150730
1004.13/550.75	c cleaning 25997 clauses out of 52012 with flag 368000/7177725
1010.24/553.81	c cleaning 26999 clauses out of 54016 with flag 396001/7205726
1015.15/556.36	c cleaning 27995 clauses out of 56017 with flag 425001/7234726
1016.60/557.11	c  And the winner is solver0
1017.04/557.70	c Got one! Elapsed wall clock time (in seconds):557.564
1017.04/557.70	o 325
1017.64/558.05	c cleaning 21384 clauses out of 42793 with flag 5000/7249497
1018.35/558.43	c cleaning 13697 clauses out of 27409 with flag 11000/7255497
1019.09/558.81	c cleaning 10347 clauses out of 20712 with flag 18000/7262497
1019.80/559.22	c cleaning 9163 clauses out of 18366 with flag 26001/7270498
1020.66/559.75	c cleaning 9098 clauses out of 18206 with flag 35004/7279501
1021.58/560.29	c cleaning 9545 clauses out of 19104 with flag 45000/7289497
1022.70/560.85	c cleaning 10265 clauses out of 20560 with flag 56001/7300498
1023.82/561.48	c cleaning 11135 clauses out of 22294 with flag 68000/7312497
1025.31/562.20	c cleaning 12069 clauses out of 24159 with flag 81000/7325497
1026.62/562.90	c cleaning 13036 clauses out of 26092 with flag 95002/7339499
1028.15/563.74	c cleaning 14010 clauses out of 28054 with flag 110000/7354497
1029.66/564.60	c cleaning 15018 clauses out of 30049 with flag 126005/7370502
1031.53/565.58	c cleaning 16003 clauses out of 32026 with flag 143000/7387497
1033.84/566.77	c cleaning 17004 clauses out of 34023 with flag 161000/7405497
1037.16/568.47	c cleaning 18002 clauses out of 36021 with flag 180002/7424499
1040.49/570.17	c cleaning 18996 clauses out of 38018 with flag 200001/7444498
1044.54/572.21	c cleaning 19999 clauses out of 40022 with flag 221001/7465498
1048.27/574.18	c cleaning 20998 clauses out of 42023 with flag 243001/7487498
1052.78/576.40	c cleaning 22006 clauses out of 44025 with flag 266001/7510498
1057.48/578.90	c cleaning 23004 clauses out of 46018 with flag 290000/7534497
1062.59/581.43	c cleaning 23998 clauses out of 48016 with flag 315002/7559499
1068.10/584.24	c cleaning 25000 clauses out of 50016 with flag 341000/7585497
1074.81/587.61	c cleaning 25998 clauses out of 52016 with flag 368000/7612497
1081.72/591.17	c cleaning 26995 clauses out of 54018 with flag 396000/7640497
1088.17/594.40	c cleaning 28000 clauses out of 56023 with flag 425000/7669497
1094.69/597.72	c cleaning 28999 clauses out of 58023 with flag 455000/7699497
1103.20/602.06	c cleaning 30003 clauses out of 60025 with flag 486001/7730498
1106.32/603.63	c  And the winner is solver0
1106.45/603.90	c Got one! Elapsed wall clock time (in seconds):603.765
1106.45/603.90	o 323
1107.21/604.34	c cleaning 26450 clauses out of 52925 with flag 5000/7753401
1108.05/604.83	c cleaning 16230 clauses out of 32475 with flag 11000/7759401
1108.76/605.22	c cleaning 11614 clauses out of 23245 with flag 18000/7766401
1109.48/605.65	c cleaning 9796 clauses out of 19632 with flag 26001/7774402
1110.41/606.14	c cleaning 9415 clauses out of 18839 with flag 35004/7783405
1111.48/606.75	c cleaning 9703 clauses out of 19420 with flag 45000/7793401
1112.59/607.31	c cleaning 10347 clauses out of 20720 with flag 56003/7804404
1113.71/607.93	c cleaning 11177 clauses out of 22373 with flag 68003/7816404
1115.03/608.61	c cleaning 12081 clauses out of 24195 with flag 81002/7829403
1116.31/609.40	c cleaning 13045 clauses out of 26114 with flag 95002/7843403
1117.81/610.18	c cleaning 14022 clauses out of 28068 with flag 110001/7858402
1119.54/611.02	c cleaning 15010 clauses out of 30046 with flag 126001/7874402
1121.26/611.96	c cleaning 16007 clauses out of 32036 with flag 143001/7891402
1123.17/612.99	c cleaning 17008 clauses out of 34031 with flag 161003/7909404
1125.49/614.10	c cleaning 17999 clauses out of 36022 with flag 180002/7928403
1127.81/615.36	c cleaning 19001 clauses out of 38024 with flag 200003/7948404
1130.54/616.75	c cleaning 19998 clauses out of 40022 with flag 221002/7969403
1133.05/618.06	c cleaning 21003 clauses out of 42024 with flag 243002/7991403
1135.97/619.55	c cleaning 21997 clauses out of 44019 with flag 266000/8014401
1139.28/621.24	c cleaning 23000 clauses out of 46022 with flag 290000/8038401
1143.00/623.10	c cleaning 24006 clauses out of 48023 with flag 315001/8063402
1146.46/624.94	c cleaning 25004 clauses out of 50023 with flag 341007/8089408
1149.77/626.69	c cleaning 25998 clauses out of 52018 with flag 368006/8116407
1153.49/628.52	c cleaning 26999 clauses out of 54022 with flag 396008/8144409
1157.40/630.51	c cleaning 27994 clauses out of 56015 with flag 425000/8173401
1161.33/632.56	c cleaning 28997 clauses out of 58021 with flag 455000/8203401
1165.23/634.51	c cleaning 30006 clauses out of 60024 with flag 486000/8234401
1170.33/637.19	c cleaning 31001 clauses out of 62019 with flag 518001/8266402
1174.45/639.24	c  And the winner is solver0
1174.70/639.60	c Got one! Elapsed wall clock time (in seconds):639.472
1174.70/639.60	o 322
1176.08/640.32	c cleaning 30175 clauses out of 60373 with flag 5000/8295757
1176.92/640.89	c cleaning 18094 clauses out of 36201 with flag 11003/8301760
1177.85/641.31	c cleaning 12530 clauses out of 25104 with flag 18000/8308757
1178.54/641.74	c cleaning 10283 clauses out of 20579 with flag 26005/8316762
1179.27/642.18	c cleaning 9636 clauses out of 19292 with flag 35001/8325758
1180.37/642.72	c cleaning 9810 clauses out of 19656 with flag 45001/8335758
1181.48/643.31	c cleaning 10414 clauses out of 20847 with flag 56002/8346759
1182.59/643.94	c cleaning 11201 clauses out of 22431 with flag 68000/8358757
1183.92/644.64	c cleaning 12110 clauses out of 24237 with flag 81007/8371764
1185.21/645.39	c cleaning 13046 clauses out of 26120 with flag 95000/8385757
1186.93/646.27	c cleaning 14018 clauses out of 28074 with flag 110000/8400757
1188.63/647.17	c cleaning 15017 clauses out of 30056 with flag 126000/8416757
1190.54/648.17	c cleaning 16009 clauses out of 32039 with flag 143000/8433757
1192.58/649.29	c cleaning 17004 clauses out of 34032 with flag 161002/8451759
1194.89/650.47	c cleaning 18000 clauses out of 36027 with flag 180001/8470758
1197.20/651.65	c cleaning 19002 clauses out of 38026 with flag 200000/8490757
1199.72/652.99	c cleaning 19999 clauses out of 40026 with flag 221002/8511759
1202.43/654.31	c cleaning 20997 clauses out of 42025 with flag 243000/8533757
1205.32/655.87	c cleaning 22004 clauses out of 44028 with flag 266000/8556757
1208.82/657.69	c cleaning 22997 clauses out of 46030 with flag 290006/8580763
1212.33/659.46	c cleaning 24000 clauses out of 48029 with flag 315002/8605759
1216.02/661.40	c cleaning 25000 clauses out of 50028 with flag 341001/8631758
1219.93/663.34	c cleaning 26006 clauses out of 52033 with flag 368006/8658763
1223.84/665.31	c cleaning 26995 clauses out of 54021 with flag 396000/8686757
1227.76/667.36	c cleaning 28010 clauses out of 56033 with flag 425007/8715764
1232.28/669.66	c cleaning 28997 clauses out of 58016 with flag 455000/8745757
1237.00/672.08	c cleaning 29997 clauses out of 60020 with flag 486001/8776758
1241.51/674.32	c cleaning 31001 clauses out of 62025 with flag 518003/8808760
1245.82/676.57	c cleaning 31994 clauses out of 64023 with flag 551002/8841759
1251.09/679.27	c cleaning 33004 clauses out of 66027 with flag 585000/8875757
1256.79/682.17	c cleaning 33993 clauses out of 68023 with flag 620000/8910757
1262.30/684.92	c cleaning 35002 clauses out of 70030 with flag 656000/8946757
1265.61/686.69	c  And the winner is solver0
1266.69/687.72	c Got one! Elapsed wall clock time (in seconds):687.589
1266.69/687.72	o 320
1268.55/688.77	c cleaning 33338 clauses out of 66704 with flag 5010/8978433
1269.60/689.39	c cleaning 19664 clauses out of 39357 with flag 11001/8984424
1270.51/689.85	c cleaning 13334 clauses out of 26692 with flag 18000/8991423
1271.42/690.35	c cleaning 10660 clauses out of 21358 with flag 26000/8999423
1272.34/690.86	c cleaning 9838 clauses out of 19698 with flag 35000/9008423
1273.44/691.43	c cleaning 9909 clauses out of 19860 with flag 45000/9018423
1274.55/692.05	c cleaning 10467 clauses out of 20958 with flag 56007/9029430
1275.87/692.71	c cleaning 11228 clauses out of 22486 with flag 68002/9041425
1277.17/693.46	c cleaning 12106 clauses out of 24256 with flag 81000/9054423
1278.68/694.26	c cleaning 13055 clauses out of 26151 with flag 95001/9068424
1280.40/695.11	c cleaning 14042 clauses out of 28095 with flag 110000/9083423
1281.91/695.98	c cleaning 15018 clauses out of 30055 with flag 126002/9099425
1283.82/696.92	c cleaning 16011 clauses out of 32036 with flag 143001/9116424
1285.69/697.97	c cleaning 17005 clauses out of 34025 with flag 161001/9134424
1287.79/699.09	c cleaning 18005 clauses out of 36021 with flag 180002/9153425
1290.31/700.31	c cleaning 18993 clauses out of 38016 with flag 200002/9173425
1292.62/701.53	c cleaning 20001 clauses out of 40026 with flag 221005/9194428
1295.26/702.92	c cleaning 21007 clauses out of 42030 with flag 243010/9216433
1297.95/704.38	c cleaning 21995 clauses out of 44014 with flag 266001/9239424
1301.05/705.93	c cleaning 22996 clauses out of 46018 with flag 290000/9263423
1304.16/707.54	c cleaning 23997 clauses out of 48023 with flag 315001/9288424
1307.83/709.41	c cleaning 25002 clauses out of 50026 with flag 341001/9314424
1311.34/711.21	c cleaning 26003 clauses out of 52024 with flag 368001/9341424
1315.03/713.16	c cleaning 27000 clauses out of 54020 with flag 396000/9369423
1319.34/715.31	c cleaning 27997 clauses out of 56020 with flag 425000/9398423
1323.60/717.51	c cleaning 28999 clauses out of 58023 with flag 455000/9428423
1328.10/719.81	c cleaning 30002 clauses out of 60024 with flag 486000/9459423
1332.60/722.20	c cleaning 30998 clauses out of 62022 with flag 518000/9491423
1337.10/724.48	c cleaning 32009 clauses out of 64030 with flag 551006/9524429
1341.76/726.89	c cleaning 32994 clauses out of 66017 with flag 585002/9558425
1346.67/729.32	c cleaning 33999 clauses out of 68021 with flag 620000/9593423
1352.16/732.20	c cleaning 35003 clauses out of 70022 with flag 656000/9629423
1357.88/735.06	c cleaning 36003 clauses out of 72021 with flag 693002/9666425
1363.93/738.17	c cleaning 36996 clauses out of 74016 with flag 731000/9704423
1370.02/741.22	c cleaning 37996 clauses out of 76021 with flag 770001/9743424
1376.51/744.55	c cleaning 39003 clauses out of 78025 with flag 810001/9783424
1382.42/747.54	c cleaning 40000 clauses out of 80022 with flag 851001/9824424
1388.67/750.79	c cleaning 41000 clauses out of 82022 with flag 893001/9866424
1395.37/754.10	c cleaning 41999 clauses out of 84022 with flag 936001/9909424
1402.88/757.99	c cleaning 42997 clauses out of 86022 with flag 980000/9953423
1411.78/762.44	c cleaning 44002 clauses out of 88025 with flag 1025000/9998423
1420.40/766.81	c cleaning 44994 clauses out of 90023 with flag 1071000/10044423
1428.70/771.07	c cleaning 46002 clauses out of 92029 with flag 1118000/10091423
1435.99/774.72	c cleaning 47007 clauses out of 94028 with flag 1166001/10139424
1436.15/774.85	c  And the winner is solver0
1438.26/777.19	c Got one! Elapsed wall clock time (in seconds):777.059
1438.26/777.19	o 319
1439.35/777.82	c cleaning 26011 clauses out of 52047 with flag 5000/10144450
1440.19/778.35	c cleaning 16010 clauses out of 32036 with flag 11000/10150450
1440.91/778.75	c cleaning 11506 clauses out of 23027 with flag 18001/10157451
1441.80/779.27	c cleaning 9753 clauses out of 19520 with flag 26000/10165450
1442.92/779.81	c cleaning 9374 clauses out of 18768 with flag 35001/10174451
1443.98/780.42	c cleaning 9692 clauses out of 19393 with flag 45000/10184450
1445.28/781.11	c cleaning 10344 clauses out of 20701 with flag 56000/10195450
1446.58/781.82	c cleaning 11174 clauses out of 22358 with flag 68001/10207451
1448.10/782.67	c cleaning 12081 clauses out of 24183 with flag 81000/10220450
1449.82/783.52	c cleaning 13046 clauses out of 26103 with flag 95001/10234451
1451.53/784.49	c cleaning 14013 clauses out of 28058 with flag 110002/10249452
1452.02/784.71	c  And the winner is solver0
1452.52/785.24	c Got one! Elapsed wall clock time (in seconds):785.113
1452.52/785.24	o 318
1452.67/785.34	c cleaning 9529 clauses out of 19064 with flag 2003/10254471
1453.17/785.68	c cleaning 7762 clauses out of 15538 with flag 8006/10260474
1454.00/786.13	c cleaning 7375 clauses out of 14770 with flag 15000/10267468
1454.73/786.56	c cleaning 7684 clauses out of 15395 with flag 23000/10275468
1455.63/787.04	c cleaning 8348 clauses out of 16714 with flag 32003/10284471
1456.56/787.55	c cleaning 9177 clauses out of 18364 with flag 42001/10294469
1456.82/787.77	c  And the winner is solver0
1457.74/788.61	c Got one! Elapsed wall clock time (in seconds):788.476
1457.74/788.61	o 316
1458.11/788.83	c cleaning 7348 clauses out of 14722 with flag 5000/10300004
1458.62/789.19	c cleaning 6679 clauses out of 13374 with flag 11000/10306004
1459.33/789.59	c cleaning 6839 clauses out of 13695 with flag 18000/10313004
1460.24/790.02	c cleaning 7412 clauses out of 14857 with flag 26001/10321005
1461.28/790.61	c cleaning 8200 clauses out of 16444 with flag 35000/10330004
1462.18/791.16	c cleaning 9119 clauses out of 18249 with flag 45005/10340009
1463.28/791.78	c cleaning 10057 clauses out of 20130 with flag 56005/10351009
1464.58/792.45	c cleaning 11025 clauses out of 22074 with flag 68006/10363010
1465.90/793.14	c cleaning 12013 clauses out of 24044 with flag 81001/10376005
1467.39/793.96	c cleaning 13001 clauses out of 26030 with flag 95000/10390004
1469.70/795.12	c cleaning 14015 clauses out of 28029 with flag 110000/10405004
1472.40/796.57	c cleaning 15000 clauses out of 30015 with flag 126001/10421005
1475.92/798.34	c cleaning 15998 clauses out of 32015 with flag 143001/10438005
1479.62/800.29	c cleaning 16996 clauses out of 34017 with flag 161001/10456005
1482.94/801.98	c cleaning 18000 clauses out of 36028 with flag 180008/10475012
1486.63/803.85	c cleaning 19004 clauses out of 38023 with flag 200003/10495007
1490.25/805.79	c cleaning 19991 clauses out of 40016 with flag 221000/10516004
1494.36/807.81	c cleaning 20992 clauses out of 42025 with flag 243000/10538004
1498.06/809.76	c cleaning 22012 clauses out of 44034 with flag 266001/10561005
1501.98/811.79	c cleaning 23005 clauses out of 46021 with flag 290000/10585004
1506.81/814.25	c cleaning 24005 clauses out of 48018 with flag 315002/10610006
1512.51/817.17	c cleaning 25005 clauses out of 50015 with flag 341004/10636008
1513.02/817.45	c  And the winner is solver0
1513.93/818.43	c Got one! Elapsed wall clock time (in seconds):818.295
1513.93/818.43	o 314
1514.06/818.57	c cleaning 15227 clauses out of 30459 with flag 2003/10641457
1514.76/818.94	c cleaning 10607 clauses out of 21230 with flag 8001/10647455
1515.47/819.34	c cleaning 8803 clauses out of 17622 with flag 15000/10654454
1516.17/819.77	c cleaning 8394 clauses out of 16819 with flag 23000/10662454
1517.07/820.26	c cleaning 8707 clauses out of 17427 with flag 32002/10671456
1517.98/820.77	c cleaning 9349 clauses out of 18718 with flag 42000/10681454
1519.08/821.35	c cleaning 10171 clauses out of 20369 with flag 53000/10692454
1520.19/821.98	c cleaning 11087 clauses out of 22198 with flag 65000/10704454
1521.51/822.69	c cleaning 12045 clauses out of 24114 with flag 78003/10717457
1523.22/823.55	c cleaning 13027 clauses out of 26072 with flag 92006/10731460
1524.93/824.49	c cleaning 14009 clauses out of 28046 with flag 107007/10746461
1526.84/825.44	c cleaning 15013 clauses out of 30031 with flag 123001/10762455
1528.94/826.59	c cleaning 15994 clauses out of 32017 with flag 140000/10779454
1532.04/828.16	c cleaning 17003 clauses out of 34023 with flag 158000/10797454
1535.54/829.99	c cleaning 17999 clauses out of 36020 with flag 177000/10816454
1539.64/832.04	c cleaning 18998 clauses out of 38021 with flag 197000/10836454
1543.75/834.16	c cleaning 20000 clauses out of 40025 with flag 218002/10857456
1549.06/836.85	c cleaning 21006 clauses out of 42027 with flag 240004/10879458
1553.76/839.20	c cleaning 21990 clauses out of 44017 with flag 263000/10902454
1558.65/841.73	c cleaning 23003 clauses out of 46029 with flag 287002/10926456
1560.77/842.86	c  And the winner is solver0
1563.18/845.25	c Got one! Elapsed wall clock time (in seconds):845.117
1563.18/845.25	o 313
1563.84/845.62	c cleaning 20413 clauses out of 40852 with flag 5000/10944282
1564.55/846.04	c cleaning 13212 clauses out of 26439 with flag 11000/10950282
1565.39/846.52	c cleaning 10105 clauses out of 20227 with flag 18000/10957282
1566.11/846.95	c cleaning 9048 clauses out of 18122 with flag 26000/10965282
1567.01/847.46	c cleaning 9027 clauses out of 18078 with flag 35004/10974286
1567.93/847.99	c cleaning 9518 clauses out of 19047 with flag 45000/10984282
1569.03/848.58	c cleaning 10254 clauses out of 20529 with flag 56000/10995282
1570.15/849.19	c cleaning 11128 clauses out of 22275 with flag 68000/11007282
1571.44/849.88	c cleaning 12070 clauses out of 24152 with flag 81005/11020287
1572.95/850.69	c cleaning 13029 clauses out of 26077 with flag 95000/11034282
1574.65/851.52	c cleaning 14015 clauses out of 28051 with flag 110003/11049285
1576.36/852.42	c cleaning 15016 clauses out of 30042 with flag 126009/11065291
1578.25/853.42	c cleaning 15998 clauses out of 32019 with flag 143002/11082284
1579.95/854.37	c cleaning 16996 clauses out of 34020 with flag 161001/11100283
1582.67/855.78	c cleaning 17997 clauses out of 36024 with flag 180001/11119283
1585.77/857.39	c cleaning 19005 clauses out of 38026 with flag 200000/11139282
1589.08/859.06	c cleaning 19999 clauses out of 40022 with flag 221001/11160283
1592.78/860.94	c cleaning 21001 clauses out of 42023 with flag 243001/11182283
1597.20/863.28	c cleaning 21997 clauses out of 44024 with flag 266003/11205285
1602.11/865.73	c cleaning 23004 clauses out of 46024 with flag 290000/11229282
1607.00/868.24	c cleaning 23999 clauses out of 48021 with flag 315001/11254283
1612.29/870.99	c cleaning 24999 clauses out of 50021 with flag 341000/11280282
1617.76/873.76	c cleaning 25998 clauses out of 52022 with flag 368000/11307282
1623.27/876.51	c cleaning 26995 clauses out of 54024 with flag 396000/11335282
1625.57/877.77	c  And the winner is solver0
1626.06/878.28	c Got one! Elapsed wall clock time (in seconds):878.151
1626.06/878.28	o 312
1626.66/878.69	c cleaning 23767 clauses out of 47560 with flag 5000/11355813
1627.57/879.11	c cleaning 14889 clauses out of 29793 with flag 11000/11361813
1628.20/879.59	c cleaning 10943 clauses out of 21904 with flag 18000/11368813
1629.11/880.02	c cleaning 9461 clauses out of 18962 with flag 26001/11376814
1630.01/880.51	c cleaning 9236 clauses out of 18502 with flag 35002/11385815
1630.93/881.06	c cleaning 9624 clauses out of 19267 with flag 45003/11395816
1632.03/881.62	c cleaning 10313 clauses out of 20641 with flag 56001/11406814
1633.14/882.25	c cleaning 11149 clauses out of 22328 with flag 68001/11418814
1634.44/882.95	c cleaning 12073 clauses out of 24179 with flag 81001/11431814
1635.93/883.75	c cleaning 13039 clauses out of 26111 with flag 95006/11445819
1637.63/884.60	c cleaning 14019 clauses out of 28069 with flag 110003/11460816
1639.15/885.48	c cleaning 15015 clauses out of 30048 with flag 126001/11476814
1641.04/886.45	c cleaning 16001 clauses out of 32033 with flag 143001/11493814
1642.94/887.48	c cleaning 17003 clauses out of 34033 with flag 161002/11511815
1645.04/888.58	c cleaning 17999 clauses out of 36030 with flag 180002/11530815
1647.34/889.75	c cleaning 19005 clauses out of 38030 with flag 200001/11550814
1649.84/891.09	c cleaning 20008 clauses out of 40029 with flag 221005/11571818
1652.34/892.39	c cleaning 21000 clauses out of 42017 with flag 243001/11593814
1655.84/894.18	c cleaning 22000 clauses out of 44018 with flag 266002/11616815
1660.38/896.49	c cleaning 22996 clauses out of 46018 with flag 290002/11640815
1665.28/898.94	c cleaning 24003 clauses out of 48020 with flag 315000/11665813
1670.80/901.70	c cleaning 24999 clauses out of 50018 with flag 341001/11691814
1677.09/904.94	c cleaning 26004 clauses out of 52020 with flag 368002/11718815
1682.59/907.79	c cleaning 26999 clauses out of 54014 with flag 396000/11746813
1689.49/911.27	c cleaning 27997 clauses out of 56016 with flag 425001/11775814
1697.41/915.28	c cleaning 28995 clauses out of 58020 with flag 455002/11805815
1704.90/919.00	c cleaning 30004 clauses out of 60023 with flag 486000/11836813
1712.41/922.81	c cleaning 31002 clauses out of 62019 with flag 518000/11868813
1720.89/927.20	c cleaning 31997 clauses out of 64017 with flag 551000/11901813
1731.20/932.33	c cleaning 33000 clauses out of 66022 with flag 585002/11935815
1740.87/937.26	c cleaning 33996 clauses out of 68021 with flag 620001/11970814
1749.96/941.82	c cleaning 35003 clauses out of 70025 with flag 656001/12006814
1759.27/946.58	c cleaning 35998 clauses out of 72022 with flag 693001/12043814
1769.39/951.64	c cleaning 37002 clauses out of 74024 with flag 731001/12081814
1780.04/957.02	c cleaning 38004 clauses out of 76022 with flag 770001/12120814
1791.93/963.02	c cleaning 38997 clauses out of 78017 with flag 810000/12160813
1799.46/966.82	c starts		: 417
1799.46/966.82	c conflicts		: 12188236
1799.46/966.82	c decisions		: 13842228
1799.46/966.82	c propagations		: 173434869
1799.46/966.82	c inspects		: 9060505521
1799.46/966.82	c shortcuts		: 0
1799.46/966.82	c learnt literals	: 0
1799.46/966.82	c learnt binary clauses	: 0
1799.46/966.82	c learnt ternary clauses	: 0
1799.46/966.82	c learnt constraints	: 12188237
1799.46/966.82	c ignored constraints	: 0
1799.46/966.82	c root simplifications	: 0
1799.46/966.82	c removed literals (reason simplification)	: 27990639
1799.46/966.82	c reason swapping (by a shorter reason)	: 0
1799.46/966.82	c Calls to reduceDB	: 730
1799.46/966.82	c number of reductions to clauses (during analyze)	: 0
1799.46/966.82	c number of learned constraints concerned by reduction	: 0
1799.46/966.82	c number of learning phase by resolution	: 0
1799.46/966.82	c number of learning phase by cutting planes	: 0
1799.46/966.82	c speed (assignments/second)	: 179425.19351054297
1799.46/966.82	c non guided choices	2889
1799.46/966.85	c learnt constraints type 
1799.46/966.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 66586
1799.46/966.85	c constraints type 
1799.46/966.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17
1799.46/966.85	c 17 constraints processed.
1799.46/966.85	c constraints type 
1799.46/966.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17
1799.46/966.85	c 17 constraints processed.
1799.46/966.85	s SATISFIABLE
1799.46/966.85	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 x20 x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 x132 x133 x134 -x135 -x136 -x137 -x138 -x139 x140 x141 x142 -x143 -x144 -x145 x146 x147 x148 x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 x158 x159 -x160 x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 x170 -x171 x172 x173 -x174 x175 x176 x177 -x178 -x179 x180 -x181 -x182 x183 x184 x185 x186 -x187 -x188 -x189 x190 -x191 -x192 x193 x194 -x195 x196 -x197 -x198 
1799.46/966.85	c objective function=312
1799.46/966.85	c Total wall clock time (in seconds): 966.718

Verifier Data 

OK	312

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688228-1337876140/watcher-3688228-1337876140 -o /tmp/evaluation-result-3688228-1337876140/solver-3688228-1337876140 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688228-1337876140.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.98 3.95 3.84 4/197 19795
/proc/meminfo: memFree=27330624/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/19795/stat : 19795 (java) R 19793 19795 18255 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 253739467 278528 33 33554432000 1073741824 1073778376 140733691502976 140733691500152 239863950631 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 68 33 25 9 0 25 0

[startup+0.010655 s]
/proc/loadavg: 3.98 3.95 3.84 4/197 19795
/proc/meminfo: memFree=27330624/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19795/stat : 19795 (java) D 19793 19795 18255 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 253739467 9515008 184 33554432000 1073741824 1073778376 140733691502976 140733691494200 239872929207 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2323 184 142 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292

[startup+0.100297 s]
/proc/loadavg: 3.98 3.95 3.84 4/197 19795
/proc/meminfo: memFree=27330624/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 3661 0 1 0 6 1 0 0 20 0 18 0 253739467 9787813888 4869 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2389603 4869 1932 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.30016 s]
/proc/loadavg: 3.98 3.95 3.84 4/197 19795
/proc/meminfo: memFree=27330624/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9824668 CPUtime=0.6 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 10786 0 1 0 57 3 0 0 20 0 22 0 253739467 10060460032 11323 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2456167 11323 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9824668

[startup+0.700256 s]
/proc/loadavg: 3.98 3.95 3.84 4/197 19795
/proc/meminfo: memFree=27330624/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 18444 0 1 0 106 6 0 0 20 0 19 0 253739467 10060460032 16231 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2456167 16231 2238 9 0 2446860 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9824668

[startup+1.50076 s]
/proc/loadavg: 3.98 3.95 3.84 3/216 19820
/proc/meminfo: memFree=27262520/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 19701 0 1 0 222 10 0 0 20 0 19 0 253739467 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2456167 21785 2247 9 0 2446860 0
[pid=19795/tid=19797] ppid=19793 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/19795/task/19797/stat : 19797 (java) S 19793 19795 18255 0 -1 4202560 2456 0 1 0 15 2 0 0 20 0 19 0 253739469 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140678014342136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19798] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19798/stat : 19798 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677975833256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19799] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19799/stat : 19799 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677974780712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19800] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19800/stat : 19800 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677973728168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19801] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19801/stat : 19801 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677972675624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19802] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19802/stat : 19802 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677971622056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19803] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19803/stat : 19803 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677970569512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19804] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19804/stat : 19804 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677969516968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19805] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19805/stat : 19805 (java) S 19793 19795 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677968464424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19806] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19806/stat : 19806 (java) S 19793 19795 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253739471 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677837978216 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19807] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19807/stat : 19807 (java) S 19793 19795 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253739472 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677836924536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19808] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19808/stat : 19808 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253739472 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677835871880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19809] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19809/stat : 19809 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677834820624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19810] ppid=19793 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/19795/task/19810/stat : 19810 (java) S 19793 19795 18255 0 -1 4202560 7239 0 0 0 74 2 0 0 20 0 19 0 253739474 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677833766968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19811] ppid=19793 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/19795/task/19811/stat : 19811 (java) S 19793 19795 18255 0 -1 4202560 8644 0 0 0 75 1 0 0 20 0 19 0 253739474 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677832714424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19812] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19812/stat : 19812 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677831662072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19813] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19813/stat : 19813 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140677830609736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19817] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19817/stat : 19817 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253739488 10060460032 21785 33554432000 1073741824 1073778376 140736159467712 140676818777768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9824668

[startup+3.1007 s]
/proc/loadavg: 3.98 3.95 3.84 3/216 19826
/proc/meminfo: memFree=27229156/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9824668 CPUtime=2.83 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 19747 0 1 0 267 16 0 0 20 0 19 0 253739467 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2456167 32542 2251 9 0 2446860 0
[pid=19795/tid=19797] ppid=19793 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/19795/task/19797/stat : 19797 (java) S 19793 19795 18255 0 -1 4202560 2457 0 1 0 15 2 0 0 20 0 19 0 253739469 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140678014342136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19798] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19798/stat : 19798 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677975833256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19799] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19799/stat : 19799 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677974780712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19800] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19800/stat : 19800 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677973728168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19801] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19801/stat : 19801 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677972675624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19802] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19802/stat : 19802 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677971622056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19803] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19803/stat : 19803 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677970569512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19804] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19804/stat : 19804 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677969516968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19805] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19805/stat : 19805 (java) S 19793 19795 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677968464424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19806] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19806/stat : 19806 (java) S 19793 19795 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253739471 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677837978216 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19807] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19807/stat : 19807 (java) S 19793 19795 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253739472 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677836924536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19808] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19808/stat : 19808 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253739472 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677835871880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19809] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19809/stat : 19809 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677834820624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19810] ppid=19793 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/19795/task/19810/stat : 19810 (java) S 19793 19795 18255 0 -1 4202560 7239 0 0 0 80 2 0 0 20 0 19 0 253739474 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677833766968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19811] ppid=19793 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/19795/task/19811/stat : 19811 (java) S 19793 19795 18255 0 -1 4202560 8648 0 0 0 89 2 0 0 20 0 19 0 253739474 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677832714424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19812] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19812/stat : 19812 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677831662072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19813] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19813/stat : 19813 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140677830609736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19817] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19817/stat : 19817 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253739488 10060460032 32542 33554432000 1073741824 1073778376 140736159467712 140676818777768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9824668

[startup+6.30073 s]
/proc/loadavg: 3.82 3.92 3.83 3/216 19847
/proc/meminfo: memFree=27170120/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 20365 0 1 0 312 29 0 0 20 0 19 0 253739467 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2456167 47682 2265 9 0 2446860 0
[pid=19795/tid=19797] ppid=19793 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/19795/task/19797/stat : 19797 (java) S 19793 19795 18255 0 -1 4202560 2458 0 1 0 16 2 0 0 20 0 19 0 253739469 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140678014342136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19798] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19798/stat : 19798 (java) S 19793 19795 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677975833256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19799] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19799/stat : 19799 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677974780712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19800] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19800/stat : 19800 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677973728168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19801] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19801/stat : 19801 (java) S 19793 19795 18255 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677972675624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19802] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19802/stat : 19802 (java) S 19793 19795 18255 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677971622056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19803] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19803/stat : 19803 (java) S 19793 19795 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677970569512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19804] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19804/stat : 19804 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677969516968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19805] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19805/stat : 19805 (java) S 19793 19795 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253739470 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677968464424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19806] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19806/stat : 19806 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253739471 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677837978216 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19807] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19807/stat : 19807 (java) S 19793 19795 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253739472 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677836924536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19808] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19808/stat : 19808 (java) S 19793 19795 18255 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253739472 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677835871880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19809] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19809/stat : 19809 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677834820624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19810] ppid=19793 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/19795/task/19810/stat : 19810 (java) S 19793 19795 18255 0 -1 4202560 7728 0 0 0 97 2 0 0 20 0 19 0 253739474 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677833766968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19811] ppid=19793 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/19795/task/19811/stat : 19811 (java) S 19793 19795 18255 0 -1 4202560 8649 0 0 0 96 2 0 0 20 0 19 0 253739474 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677832714424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19812] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19812/stat : 19812 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677831662072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19813] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19813/stat : 19813 (java) S 19793 19795 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253739474 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140677830609736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19817] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19817/stat : 19817 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253739488 10060460032 47682 33554432000 1073741824 1073778376 140736159467712 140676818777768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 9824668
heavy processes:


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

[pid=19795/tid=19801] ppid=19793 vsize=9824668 CPUtime=1.45 cores=0,2,4,6
/proc/19795/task/19801/stat : 19801 (java) S 19793 19795 18255 0 -1 4202560 2383 0 0 0 140 5 0 0 20 0 22 0 253739470 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677972675624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19802] ppid=19793 vsize=9824668 CPUtime=1.47 cores=0,2,4,6
/proc/19795/task/19802/stat : 19802 (java) S 19793 19795 18255 0 -1 4202560 1246 0 0 0 143 4 0 0 20 0 22 0 253739470 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677971622056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19803] ppid=19793 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/19795/task/19803/stat : 19803 (java) S 19793 19795 18255 0 -1 4202560 1197 0 0 0 145 4 0 0 20 0 22 0 253739470 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677970569512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19804] ppid=19793 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/19795/task/19804/stat : 19804 (java) S 19793 19795 18255 0 -1 4202560 2216 0 0 0 152 5 0 0 20 0 22 0 253739470 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677969516968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19805] ppid=19793 vsize=9824668 CPUtime=1.38 cores=0,2,4,6
/proc/19795/task/19805/stat : 19805 (java) S 19793 19795 18255 0 -1 4202560 1578 0 0 0 134 4 0 0 20 0 22 0 253739470 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677968464424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19806] ppid=19793 vsize=9824668 CPUtime=57.51 cores=0,2,4,6
/proc/19795/task/19806/stat : 19806 (java) R 19793 19795 18255 0 -1 4202560 871 0 0 0 5690 61 0 0 20 0 22 0 253739471 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677837977288 140678018478112 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19807] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19807/stat : 19807 (java) S 19793 19795 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253739472 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677836924536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19808] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19808/stat : 19808 (java) S 19793 19795 18255 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 253739472 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677835871880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19809] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19809/stat : 19809 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253739474 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677834820624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19810] ppid=19793 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/19795/task/19810/stat : 19810 (java) S 19793 19795 18255 0 -1 4202560 7740 0 0 0 124 2 0 0 20 0 22 0 253739474 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677833766968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19811] ppid=19793 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/19795/task/19811/stat : 19811 (java) S 19793 19795 18255 0 -1 4202560 8666 0 0 0 113 2 0 0 20 0 22 0 253739474 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677832714424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19812] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19812/stat : 19812 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253739474 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677831662072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19813] ppid=19793 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/19795/task/19813/stat : 19813 (java) S 19793 19795 18255 0 -1 4202560 52 0 0 0 10 10 0 0 20 0 22 0 253739474 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140677830609736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19817] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19817/stat : 19817 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253739488 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140676818777768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=20173] ppid=19793 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/19795/task/20173/stat : 20173 (java) S 19793 19795 18255 0 -1 4202560 8 0 0 0 314 0 0 0 20 0 22 0 253827296 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140676821935192 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=20174] ppid=19793 vsize=9824668 CPUtime=3.15 cores=0,2,4,6
/proc/19795/task/20174/stat : 20174 (java) S 19793 19795 18255 0 -1 4202560 4 0 0 0 315 0 0 0 20 0 22 0 253827296 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140676819826744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=20175] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/20175/stat : 20175 (java) S 19793 19795 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253827296 10060460032 375732 33554432000 1073741824 1073778376 140736159467712 140676820882344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1633.3
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.82 3.88 3.82 5/219 20176
/proc/meminfo: memFree=25808236/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9824668 CPUtime=1750.87 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 38494 0 1 0 174767 320 0 0 20 0 22 0 253739467 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2456167 377139 2281 9 0 2446860 0
[pid=19795/tid=19797] ppid=19793 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/19795/task/19797/stat : 19797 (java) S 19793 19795 18255 0 -1 4202560 2561 0 1 0 24 4 0 0 20 0 22 0 253739469 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140678014342136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19798] ppid=19793 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/19795/task/19798/stat : 19798 (java) S 19793 19795 18255 0 -1 4202560 1677 0 0 0 149 5 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677975833256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19799] ppid=19793 vsize=9824668 CPUtime=1.58 cores=0,2,4,6
/proc/19795/task/19799/stat : 19799 (java) S 19793 19795 18255 0 -1 4202560 1779 0 0 0 153 5 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677974780712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19800] ppid=19793 vsize=9824668 CPUtime=1.52 cores=0,2,4,6
/proc/19795/task/19800/stat : 19800 (java) S 19793 19795 18255 0 -1 4202560 2076 0 0 0 147 5 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677973728168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19801] ppid=19793 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/19795/task/19801/stat : 19801 (java) S 19793 19795 18255 0 -1 4202560 2383 0 0 0 144 5 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677972675624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19802] ppid=19793 vsize=9824668 CPUtime=1.53 cores=0,2,4,6
/proc/19795/task/19802/stat : 19802 (java) S 19793 19795 18255 0 -1 4202560 1268 0 0 0 149 4 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677971622056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19803] ppid=19793 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/19795/task/19803/stat : 19803 (java) S 19793 19795 18255 0 -1 4202560 1289 0 0 0 153 4 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677970569512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19804] ppid=19793 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/19795/task/19804/stat : 19804 (java) S 19793 19795 18255 0 -1 4202560 2216 0 0 0 158 5 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677969516968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19805] ppid=19793 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/19795/task/19805/stat : 19805 (java) S 19793 19795 18255 0 -1 4202560 1578 0 0 0 139 5 0 0 20 0 22 0 253739470 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677968464424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19806] ppid=19793 vsize=9824668 CPUtime=60.15 cores=0,2,4,6
/proc/19795/task/19806/stat : 19806 (java) S 19793 19795 18255 0 -1 4202560 883 0 0 0 5951 64 0 0 20 0 22 0 253739471 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677837978216 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19807] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19807/stat : 19807 (java) S 19793 19795 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253739472 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677836924536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19808] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19808/stat : 19808 (java) S 19793 19795 18255 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 253739472 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677835871880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19809] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19809/stat : 19809 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253739474 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677834820624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19810] ppid=19793 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/19795/task/19810/stat : 19810 (java) S 19793 19795 18255 0 -1 4202560 7740 0 0 0 124 2 0 0 20 0 22 0 253739474 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677833766968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19811] ppid=19793 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/19795/task/19811/stat : 19811 (java) S 19793 19795 18255 0 -1 4202560 8666 0 0 0 113 2 0 0 20 0 22 0 253739474 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677832714424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19812] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19812/stat : 19812 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253739474 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677831662072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19813] ppid=19793 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/19795/task/19813/stat : 19813 (java) S 19793 19795 18255 0 -1 4202560 56 0 0 0 11 11 0 0 20 0 22 0 253739474 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140677830609736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19817] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19817/stat : 19817 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253739488 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140676818777768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=20173] ppid=19793 vsize=9824668 CPUtime=60.19 cores=0,2,4,6
/proc/19795/task/20173/stat : 20173 (java) R 19793 19795 18255 0 -1 4202560 29 0 0 0 6019 0 0 0 20 0 22 0 253827296 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140676821935072 140677845841003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=20174] ppid=19793 vsize=9824668 CPUtime=60.24 cores=0,2,4,6
/proc/19795/task/20174/stat : 20174 (java) R 19793 19795 18255 0 -1 4202560 5 0 0 0 6024 0 0 0 20 0 22 0 253827296 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140676819826672 140677846017962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=20175] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/20175/stat : 20175 (java) S 19793 19795 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253827296 10060460032 377139 33554432000 1073741824 1073778376 140736159467712 140676820882344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1750.87
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+966.801 s]
/proc/loadavg: 3.88 3.89 3.82 5/219 20176
/proc/meminfo: memFree=25809288/32873844 swapFree=7384/7384
[pid=19795] ppid=19793 vsize=9824668 CPUtime=1799.46 cores=0,2,4,6
/proc/19795/stat : 19795 (java) S 19793 19795 18255 0 -1 4202496 39300 0 1 0 179625 321 0 0 20 0 22 0 253739467 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140736159458848 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19795/statm: 2456167 379980 2281 9 0 2446860 0
[pid=19795/tid=19797] ppid=19793 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/19795/task/19797/stat : 19797 (java) S 19793 19795 18255 0 -1 4202560 2561 0 1 0 24 4 0 0 20 0 22 0 253739469 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140678014342136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19798] ppid=19793 vsize=9824668 CPUtime=1.57 cores=0,2,4,6
/proc/19795/task/19798/stat : 19798 (java) S 19793 19795 18255 0 -1 4202560 1917 0 0 0 152 5 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677975833256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19799] ppid=19793 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/19795/task/19799/stat : 19799 (java) S 19793 19795 18255 0 -1 4202560 1820 0 0 0 156 5 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677974780712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19800] ppid=19793 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/19795/task/19800/stat : 19800 (java) S 19793 19795 18255 0 -1 4202560 2115 0 0 0 149 5 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677973728168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19801] ppid=19793 vsize=9824668 CPUtime=1.53 cores=0,2,4,6
/proc/19795/task/19801/stat : 19801 (java) S 19793 19795 18255 0 -1 4202560 2533 0 0 0 148 5 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677972675624 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19802] ppid=19793 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/19795/task/19802/stat : 19802 (java) S 19793 19795 18255 0 -1 4202560 1279 0 0 0 151 4 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677971622056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19803] ppid=19793 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/19795/task/19803/stat : 19803 (java) S 19793 19795 18255 0 -1 4202560 1428 0 0 0 155 4 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677970569512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19804] ppid=19793 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/19795/task/19804/stat : 19804 (java) S 19793 19795 18255 0 -1 4202560 2316 0 0 0 160 5 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677969516968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19805] ppid=19793 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/19795/task/19805/stat : 19805 (java) S 19793 19795 18255 0 -1 4202560 1653 0 0 0 141 5 0 0 20 0 22 0 253739470 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677968464424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19806] ppid=19793 vsize=9824668 CPUtime=60.66 cores=0,2,4,6
/proc/19795/task/19806/stat : 19806 (java) S 19793 19795 18255 0 -1 4202560 890 0 0 0 6002 64 0 0 20 0 22 0 253739471 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677837978216 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19807] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19807/stat : 19807 (java) S 19793 19795 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253739472 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677836924536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19808] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19808/stat : 19808 (java) S 19793 19795 18255 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 253739472 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677835871880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19795/tid=19809] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19809/stat : 19809 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253739474 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677834820624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19810] ppid=19793 vsize=9824668 CPUtime=1.26 cores=0,2,4,6
/proc/19795/task/19810/stat : 19810 (java) S 19793 19795 18255 0 -1 4202560 7740 0 0 0 124 2 0 0 20 0 22 0 253739474 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677833766968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=19811] ppid=19793 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/19795/task/19811/stat : 19811 (java) S 19793 19795 18255 0 -1 4202560 8666 0 0 0 113 2 0 0 20 0 22 0 253739474 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677832714424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19812] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19812/stat : 19812 (java) S 19793 19795 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253739474 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677831662072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=19813] ppid=19793 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/19795/task/19813/stat : 19813 (java) S 19793 19795 18255 0 -1 4202560 56 0 0 0 11 11 0 0 20 0 22 0 253739474 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140677830609736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=19817] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/19817/stat : 19817 (java) S 19793 19795 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253739488 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140676818777768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19795/tid=20173] ppid=19793 vsize=9824668 CPUtime=84.07 cores=0,2,4,6
/proc/19795/task/20173/stat : 20173 (java) R 19793 19795 18255 0 -1 4202560 33 0 0 0 8406 1 0 0 20 0 22 0 253827296 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140676821935072 140677845840640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19795/tid=20174] ppid=19793 vsize=9824668 CPUtime=84.12 cores=0,2,4,6
/proc/19795/task/20174/stat : 20174 (java) R 19793 19795 18255 0 -1 4202560 5 0 0 0 8411 1 0 0 20 0 22 0 253827296 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140676819826672 140677846018222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19795/tid=20175] ppid=19793 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/19795/task/20175/stat : 20175 (java) S 19793 19795 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253827296 10060460032 379980 33554432000 1073741824 1073778376 140736159467712 140676820882344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 9824668

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19795 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=888983
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=462473
# CPU time returned by wait4() is 1799.35
# while last known CPU time is 1799.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.689881
#  lost CPU user time (s): 0.869833
#  lost CPU system time (s): -0.18

Real time (s): 966.864
CPU time (s): 1800.15
CPU user time (s): 1797.12
CPU system time (s): 3.03
CPU usage (%): 186.184
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 3.46247
maximum resident set size= 1520068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39339
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45580
involuntary context switches= 35593

runsolver used 3.79242 second user time and 7.80381 second system time

The end

Launcher Data 

Begin job on node136 at 2012-05-24 18:15:40
IDJOB=3688228
IDBENCH=2912
IDSOLVER=2268
FILE ID=node136/3688228-1337876140
RUNJOBID= node136-1337871880-18271
PBS_JOBID= 14620068
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688228-1337876140/watcher-3688228-1337876140 -o /tmp/evaluation-result-3688228-1337876140/solver-3688228-1337876140 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688228-1337876140.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=1191204051

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27330888 kB
Buffers:          278232 kB
Cached:          1906096 kB
SwapCached:        24460 kB
Active:          3164452 kB
Inactive:        1608488 kB
Active(anon):    2563580 kB
Inactive(anon):    25096 kB
Active(file):     600872 kB
Inactive(file):  1583392 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:       2527172 kB
Mapped:            17932 kB
Shmem:                 0 kB
Slab:             626452 kB
SReclaimable:      68244 kB
SUnreclaim:       558208 kB
KernelStack:        1808 kB
PageTables:         9092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2911928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2471936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node136 at 2012-05-24 18:31:49