Trace number 3492181

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 408.676 406.689

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo
MD5SUM889361cc7af818b09040d50027029365
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark129.419
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 701
Number of bits of the biggest sum of numbers10
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492181-1307911646.wbo
0.10/0.11	c reading problem ... 
0.46/0.33	c ... done. Wall clock time 0.221s.
0.46/0.33	c #vars     2938
0.46/0.33	c #constraints  2707
0.46/0.33	c constraints type 
0.46/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.46/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.06/0.53	c SATISFIABLE
1.06/0.53	c OPTIMIZING...
1.06/0.53	c Got one! Elapsed wall clock time (in seconds):0.427
1.06/0.54	o 312
1.06/0.57	c Got one! Elapsed wall clock time (in seconds):0.462
1.06/0.57	o 304
1.31/0.60	c Got one! Elapsed wall clock time (in seconds):0.492
1.31/0.60	o 264
1.31/0.62	c Got one! Elapsed wall clock time (in seconds):0.513
1.31/0.62	o 252
1.31/0.64	c Got one! Elapsed wall clock time (in seconds):0.537
1.31/0.64	o 241
1.31/0.67	c Got one! Elapsed wall clock time (in seconds):0.566
1.31/0.67	o 234
1.31/0.69	c Got one! Elapsed wall clock time (in seconds):0.584
1.31/0.69	o 208
1.55/0.71	c Got one! Elapsed wall clock time (in seconds):0.604
1.55/0.71	o 197
1.55/0.74	c Got one! Elapsed wall clock time (in seconds):0.627
1.55/0.74	o 174
1.55/0.78	c Got one! Elapsed wall clock time (in seconds):0.672
1.55/0.78	o 133
1.86/1.10	c Got one! Elapsed wall clock time (in seconds):0.989
1.86/1.10	o 132
1.96/1.19	c Got one! Elapsed wall clock time (in seconds):1.08
1.96/1.19	o 120
2.06/1.25	c Got one! Elapsed wall clock time (in seconds):1.14
2.06/1.25	o 118
2.25/1.46	c Got one! Elapsed wall clock time (in seconds):1.351
2.25/1.46	o 108
2.35/1.50	c Got one! Elapsed wall clock time (in seconds):1.392
2.35/1.50	o 106
2.35/1.60	c Got one! Elapsed wall clock time (in seconds):1.488
2.35/1.60	o 103
2.45/1.69	c Got one! Elapsed wall clock time (in seconds):1.58
2.45/1.69	o 99
2.55/1.72	c Got one! Elapsed wall clock time (in seconds):1.612
2.55/1.72	o 93
2.75/1.93	c Got one! Elapsed wall clock time (in seconds):1.818
2.75/1.93	o 89
2.95/2.16	c Got one! Elapsed wall clock time (in seconds):2.054
2.95/2.16	o 84
3.06/2.28	c Got one! Elapsed wall clock time (in seconds):2.17
3.06/2.28	o 82
3.55/2.70	c Got one! Elapsed wall clock time (in seconds):2.597
3.55/2.70	o 81
3.67/2.86	c Got one! Elapsed wall clock time (in seconds):2.755
3.67/2.86	o 73
3.67/2.89	c Got one! Elapsed wall clock time (in seconds):2.778
3.67/2.89	o 69
3.77/2.96	c Got one! Elapsed wall clock time (in seconds):2.847
3.77/2.96	o 68
3.87/3.00	c Got one! Elapsed wall clock time (in seconds):2.892
3.87/3.00	o 65
3.87/3.07	c Got one! Elapsed wall clock time (in seconds):2.964
3.87/3.07	o 62
3.97/3.20	c Got one! Elapsed wall clock time (in seconds):3.088
3.97/3.20	o 53
4.27/3.43	c Got one! Elapsed wall clock time (in seconds):3.323
4.27/3.43	o 51
4.48/3.66	c Got one! Elapsed wall clock time (in seconds):3.554
4.48/3.66	o 46
4.70/3.83	c cleaning 8080 clauses out of 16165 with flag 1002/16165
4.93/4.06	c Got one! Elapsed wall clock time (in seconds):3.953
4.93/4.06	o 43
5.13/4.20	c Got one! Elapsed wall clock time (in seconds):4.096
5.13/4.20	o 42
5.23/4.32	c Got one! Elapsed wall clock time (in seconds):4.212
5.23/4.32	o 33
5.53/4.65	c Got one! Elapsed wall clock time (in seconds):4.546
5.53/4.65	o 26
5.73/4.83	c Got one! Elapsed wall clock time (in seconds):4.719
5.73/4.83	o 24
5.83/4.96	c cleaning 7792 clauses out of 15590 with flag 1001/23670
6.10/5.13	c Got one! Elapsed wall clock time (in seconds):5.024
6.10/5.13	o 22
6.30/5.32	c Got one! Elapsed wall clock time (in seconds):5.208
6.30/5.32	o 21
6.44/5.49	c Got one! Elapsed wall clock time (in seconds):5.385
6.44/5.49	o 16
6.64/5.63	c Got one! Elapsed wall clock time (in seconds):5.517
6.64/5.63	o 15
6.74/5.73	c cleaning 7429 clauses out of 14863 with flag 1002/30735
7.19/6.10	c Got one! Elapsed wall clock time (in seconds):5.991
7.19/6.10	o 14
7.29/6.27	c cleaning 6315 clauses out of 12636 with flag 2000/35937
7.79/6.78	c Got one! Elapsed wall clock time (in seconds):6.676
7.79/6.78	o 12
8.09/7.04	c Got one! Elapsed wall clock time (in seconds):6.934
8.09/7.04	o 10
8.39/7.36	c cleaning 8795 clauses out of 17604 with flag 3000/47220
8.89/7.85	c Got one! Elapsed wall clock time (in seconds):7.743
8.89/7.85	o 8
8.99/7.95	c cleaning 7291 clauses out of 14593 with flag 1001/53004
9.49/8.48	c cleaning 6644 clauses out of 13302 with flag 7001/59004
10.00/8.97	c cleaning 6824 clauses out of 13657 with flag 14000/66003
10.60/9.51	c cleaning 7412 clauses out of 14833 with flag 22000/74003
10.60/9.60	c Got one! Elapsed wall clock time (in seconds):9.488
10.60/9.60	o 3
10.90/9.88	c cleaning 6416 clauses out of 12846 with flag 4006/79428
11.30/10.24	c cleaning 6207 clauses out of 12427 with flag 10003/85425
11.70/10.67	c cleaning 6600 clauses out of 13217 with flag 17000/92422
12.20/11.15	c cleaning 7304 clauses out of 14617 with flag 25000/100422
12.70/11.70	c cleaning 8151 clauses out of 16313 with flag 34000/109422
13.40/12.34	c cleaning 9079 clauses out of 18163 with flag 44001/119423
14.00/12.99	c cleaning 9540 clauses out of 19083 with flag 54000/129422
14.61/13.59	c cleaning 9769 clauses out of 19546 with flag 64003/139425
15.31/14.21	c cleaning 9880 clauses out of 19776 with flag 74002/149424
15.81/14.78	c cleaning 9942 clauses out of 19895 with flag 84001/159423
15.91/14.89	c Got one! Elapsed wall clock time (in seconds):14.779
15.91/14.89	o 2
16.21/15.17	c cleaning 7831 clauses out of 15676 with flag 4001/165146
16.61/15.54	c cleaning 6914 clauses out of 13844 with flag 10000/171145
17.01/15.91	c cleaning 6956 clauses out of 13930 with flag 17000/178145
17.41/16.39	c cleaning 7483 clauses out of 14976 with flag 25002/186147
17.91/16.90	c cleaning 8243 clauses out of 16493 with flag 34002/195147
18.52/17.44	c cleaning 9119 clauses out of 18250 with flag 44002/205147
19.12/18.02	c cleaning 9559 clauses out of 19130 with flag 54001/215146
19.72/18.64	c cleaning 9775 clauses out of 19570 with flag 64000/225145
20.34/19.24	c cleaning 9895 clauses out of 19799 with flag 74004/235149
20.95/19.83	c cleaning 9944 clauses out of 19901 with flag 84001/245146
21.44/20.40	c cleaning 9976 clauses out of 19957 with flag 94001/255146
22.05/20.94	c cleaning 9986 clauses out of 19982 with flag 104002/265147
22.64/21.53	c cleaning 9990 clauses out of 19994 with flag 114000/275145
23.24/22.11	c cleaning 9994 clauses out of 20005 with flag 124001/285146
23.75/22.67	c cleaning 10003 clauses out of 20014 with flag 134004/295149
24.34/23.21	c cleaning 9994 clauses out of 20008 with flag 144001/305146
24.85/23.77	c cleaning 10004 clauses out of 20016 with flag 154003/315148
25.45/24.33	c cleaning 10002 clauses out of 20009 with flag 164000/325145
25.95/24.88	c cleaning 9999 clauses out of 20009 with flag 174002/335147
26.55/25.47	c cleaning 9999 clauses out of 20009 with flag 184001/345146
27.15/26.05	c cleaning 10000 clauses out of 20009 with flag 194000/355145
27.75/26.61	c cleaning 10000 clauses out of 20010 with flag 204001/365146
28.25/27.18	c cleaning 10000 clauses out of 20011 with flag 214002/375147
28.85/27.74	c cleaning 9998 clauses out of 20011 with flag 224002/385147
29.35/28.27	c cleaning 10000 clauses out of 20012 with flag 234001/395146
29.95/28.82	c cleaning 10001 clauses out of 20014 with flag 244003/405148
30.46/29.35	c cleaning 9997 clauses out of 20010 with flag 254000/415145
31.06/29.91	c cleaning 10001 clauses out of 20014 with flag 264001/425146
31.56/30.48	c cleaning 9998 clauses out of 20012 with flag 274000/435145
32.16/31.01	c cleaning 9997 clauses out of 20014 with flag 284000/445145
32.66/31.54	c cleaning 10000 clauses out of 20017 with flag 294000/455145
33.16/32.08	c cleaning 9999 clauses out of 20018 with flag 304001/465146
33.26/32.16	c Got one! Elapsed wall clock time (in seconds):32.049
33.26/32.16	o 1
33.56/32.43	c cleaning 7678 clauses out of 15371 with flag 4001/470498
33.87/32.76	c cleaning 6841 clauses out of 13693 with flag 10001/476498
34.27/33.19	c cleaning 6920 clauses out of 13851 with flag 17000/483497
34.78/33.62	c cleaning 7459 clauses out of 14931 with flag 25000/491497
35.18/34.09	c cleaning 8226 clauses out of 16472 with flag 34000/500497
35.78/34.62	c cleaning 9111 clauses out of 18247 with flag 44001/510498
36.28/35.17	c cleaning 9560 clauses out of 19137 with flag 54002/520499
36.78/35.69	c cleaning 9780 clauses out of 19575 with flag 64000/530497
37.39/36.20	c cleaning 9890 clauses out of 19796 with flag 74001/540498
37.78/36.69	c cleaning 9948 clauses out of 19905 with flag 84000/550497
38.28/37.15	c cleaning 9973 clauses out of 19958 with flag 94001/560498
38.78/37.66	c cleaning 9985 clauses out of 19984 with flag 104000/570497
39.28/38.16	c cleaning 9989 clauses out of 19999 with flag 114000/580497
39.88/38.70	c cleaning 9998 clauses out of 20010 with flag 124000/590497
40.38/39.22	c cleaning 10002 clauses out of 20012 with flag 134000/600497
40.88/39.76	c cleaning 9999 clauses out of 20010 with flag 144000/610497
41.49/40.31	c cleaning 10005 clauses out of 20013 with flag 154002/620499
41.99/40.85	c cleaning 9998 clauses out of 20008 with flag 164002/630499
42.59/41.40	c cleaning 9998 clauses out of 20010 with flag 174002/640499
43.09/41.95	c cleaning 10003 clauses out of 20011 with flag 184001/650498
43.69/42.58	c cleaning 9997 clauses out of 20007 with flag 194000/660497
44.29/43.11	c cleaning 10000 clauses out of 20010 with flag 204000/670497
44.79/43.62	c cleaning 9997 clauses out of 20010 with flag 214000/680497
45.29/44.16	c cleaning 10004 clauses out of 20014 with flag 224001/690498
45.89/44.74	c cleaning 10001 clauses out of 20011 with flag 234002/700499
46.49/45.30	c cleaning 10001 clauses out of 20011 with flag 244003/710500
46.99/45.83	c cleaning 10000 clauses out of 20008 with flag 254001/720498
47.50/46.39	c cleaning 9997 clauses out of 20009 with flag 264002/730499
48.10/46.93	c cleaning 9994 clauses out of 20010 with flag 274000/740497
48.70/47.52	c cleaning 10005 clauses out of 20017 with flag 284001/750498
49.20/48.06	c cleaning 10000 clauses out of 20012 with flag 294001/760498
49.80/48.61	c cleaning 9998 clauses out of 20012 with flag 304001/770498
50.30/49.16	c cleaning 10001 clauses out of 20014 with flag 314001/780498
50.90/49.74	c cleaning 10003 clauses out of 20014 with flag 324002/790499
51.50/50.32	c cleaning 10001 clauses out of 20011 with flag 334002/800499
52.10/50.94	c cleaning 10000 clauses out of 20010 with flag 344002/810499
52.70/51.57	c cleaning 9997 clauses out of 20008 with flag 354000/820497
53.31/52.14	c cleaning 9999 clauses out of 20012 with flag 364001/830498
53.81/52.65	c cleaning 10000 clauses out of 20012 with flag 374000/840497
54.31/53.19	c cleaning 9998 clauses out of 20013 with flag 384001/850498
54.91/53.70	c cleaning 10003 clauses out of 20016 with flag 394002/860499
55.41/54.23	c cleaning 10000 clauses out of 20012 with flag 404001/870498
55.91/54.77	c cleaning 10002 clauses out of 20011 with flag 414000/880497
56.51/55.32	c cleaning 9997 clauses out of 20010 with flag 424001/890498
57.01/55.88	c cleaning 10004 clauses out of 20013 with flag 434001/900498
57.61/56.46	c cleaning 9999 clauses out of 20009 with flag 444001/910498
58.22/57.02	c cleaning 10006 clauses out of 20013 with flag 454004/920501
58.72/57.58	c cleaning 9996 clauses out of 20004 with flag 464001/930498
59.22/58.10	c cleaning 9992 clauses out of 20007 with flag 474000/940497
59.73/58.59	c cleaning 10000 clauses out of 20015 with flag 484000/950497
60.23/59.08	c cleaning 9999 clauses out of 20016 with flag 494001/960498
60.83/59.61	c cleaning 10003 clauses out of 20016 with flag 504000/970497
61.33/60.12	c cleaning 10005 clauses out of 20016 with flag 514003/980500
61.83/60.67	c cleaning 9998 clauses out of 20011 with flag 524003/990500
62.43/61.21	c cleaning 10000 clauses out of 20014 with flag 534004/1000501
62.93/61.75	c cleaning 9999 clauses out of 20011 with flag 544001/1010498
63.43/62.29	c cleaning 10001 clauses out of 20013 with flag 554002/1020499
64.04/62.82	c cleaning 9999 clauses out of 20010 with flag 564000/1030497
64.54/63.35	c cleaning 9998 clauses out of 20011 with flag 574000/1040497
65.05/63.87	c cleaning 10000 clauses out of 20013 with flag 584000/1050497
65.64/64.42	c cleaning 10004 clauses out of 20015 with flag 594002/1060499
66.15/64.98	c cleaning 10002 clauses out of 20010 with flag 604001/1070498
66.74/65.53	c cleaning 9997 clauses out of 20007 with flag 614000/1080497
67.25/66.05	c cleaning 9999 clauses out of 20011 with flag 624001/1090498
67.75/66.58	c cleaning 9990 clauses out of 20012 with flag 634001/1100498
68.35/67.12	c cleaning 10006 clauses out of 20023 with flag 644002/1110499
68.85/67.64	c cleaning 10002 clauses out of 20016 with flag 654001/1120498
69.35/68.20	c cleaning 10001 clauses out of 20013 with flag 664000/1130497
69.95/68.72	c cleaning 10000 clauses out of 20014 with flag 674002/1140499
70.55/69.32	c cleaning 10003 clauses out of 20014 with flag 684002/1150499
71.05/69.86	c cleaning 10002 clauses out of 20009 with flag 694000/1160497
71.66/70.41	c cleaning 9999 clauses out of 20008 with flag 704001/1170498
72.15/70.98	c cleaning 9994 clauses out of 20008 with flag 714000/1180497
72.76/71.53	c cleaning 9999 clauses out of 20014 with flag 724000/1190497
73.26/72.08	c cleaning 10003 clauses out of 20016 with flag 734001/1200498
73.86/72.64	c cleaning 9999 clauses out of 20012 with flag 744000/1210497
74.46/73.21	c cleaning 9999 clauses out of 20013 with flag 754000/1220497
74.97/73.72	c cleaning 10001 clauses out of 20016 with flag 764002/1230499
75.46/74.25	c cleaning 10003 clauses out of 20013 with flag 774000/1240497
75.97/74.74	c cleaning 10003 clauses out of 20011 with flag 784001/1250498
76.46/75.28	c cleaning 10000 clauses out of 20008 with flag 794001/1260498
77.07/75.83	c cleaning 9997 clauses out of 20007 with flag 804000/1270497
77.56/76.38	c cleaning 10000 clauses out of 20010 with flag 814000/1280497
78.17/76.90	c cleaning 10000 clauses out of 20010 with flag 824000/1290497
78.67/77.45	c cleaning 10000 clauses out of 20011 with flag 834001/1300498
79.27/78.04	c cleaning 10000 clauses out of 20011 with flag 844001/1310498
79.87/78.62	c cleaning 10001 clauses out of 20011 with flag 854001/1320498
80.37/79.16	c cleaning 9997 clauses out of 20010 with flag 864001/1330498
80.97/79.73	c cleaning 9998 clauses out of 20015 with flag 874003/1340500
81.58/80.33	c cleaning 10002 clauses out of 20014 with flag 884000/1350497
82.07/80.86	c cleaning 10005 clauses out of 20015 with flag 894003/1360500
82.58/81.40	c cleaning 10003 clauses out of 20009 with flag 904002/1370499
83.17/81.91	c cleaning 10000 clauses out of 20008 with flag 914004/1380501
83.68/82.44	c cleaning 9996 clauses out of 20004 with flag 924000/1390497
84.18/82.93	c cleaning 9999 clauses out of 20008 with flag 934000/1400497
84.68/83.43	c cleaning 10000 clauses out of 20009 with flag 944000/1410497
85.18/83.98	c cleaning 9997 clauses out of 20010 with flag 954001/1420498
85.68/84.46	c cleaning 9999 clauses out of 20012 with flag 964000/1430497
86.18/84.97	c cleaning 10000 clauses out of 20013 with flag 974000/1440497
86.78/85.50	c cleaning 9994 clauses out of 20015 with flag 984002/1450499
87.29/86.07	c cleaning 10008 clauses out of 20023 with flag 994004/1460501
87.79/86.58	c cleaning 9999 clauses out of 20011 with flag 1004000/1470497
88.29/87.09	c cleaning 10003 clauses out of 20013 with flag 1014001/1480498
88.89/87.61	c cleaning 10002 clauses out of 20010 with flag 1024001/1490498
89.39/88.15	c cleaning 9998 clauses out of 20007 with flag 1034000/1500497
89.89/88.68	c cleaning 9999 clauses out of 20015 with flag 1044006/1510503
90.49/89.20	c cleaning 9994 clauses out of 20010 with flag 1054000/1520497
90.89/89.70	c cleaning 10003 clauses out of 20017 with flag 1064001/1530498
91.50/90.22	c cleaning 10002 clauses out of 20016 with flag 1074003/1540500
91.99/90.74	c cleaning 9997 clauses out of 20012 with flag 1084001/1550498
92.50/91.23	c cleaning 10005 clauses out of 20017 with flag 1094003/1560500
93.00/91.75	c cleaning 9993 clauses out of 20009 with flag 1104000/1570497
93.50/92.24	c cleaning 10002 clauses out of 20016 with flag 1114000/1580497
94.00/92.73	c cleaning 9993 clauses out of 20015 with flag 1124001/1590498
94.50/93.27	c cleaning 10005 clauses out of 20021 with flag 1134000/1600497
95.00/93.77	c cleaning 10004 clauses out of 20017 with flag 1144001/1610498
95.60/94.35	c cleaning 9998 clauses out of 20012 with flag 1154000/1620497
96.20/94.90	c cleaning 10001 clauses out of 20015 with flag 1164001/1630498
96.70/95.42	c cleaning 9999 clauses out of 20013 with flag 1174000/1640497
97.20/95.94	c cleaning 10002 clauses out of 20015 with flag 1184001/1650498
97.70/96.47	c cleaning 10003 clauses out of 20017 with flag 1194005/1660502
98.20/96.99	c cleaning 10000 clauses out of 20013 with flag 1204004/1670501
98.70/97.46	c cleaning 9998 clauses out of 20010 with flag 1214001/1680498
99.21/97.99	c cleaning 10000 clauses out of 20012 with flag 1224001/1690498
99.70/98.49	c cleaning 9997 clauses out of 20011 with flag 1234000/1700497
100.31/99.01	c cleaning 9999 clauses out of 20015 with flag 1244001/1710498
100.81/99.51	c cleaning 10005 clauses out of 20019 with flag 1254004/1720501
101.31/100.01	c cleaning 10003 clauses out of 20015 with flag 1264005/1730502
101.81/100.52	c cleaning 9994 clauses out of 20009 with flag 1274002/1740499
102.31/101.06	c cleaning 9997 clauses out of 20013 with flag 1284000/1750497
102.81/101.53	c cleaning 10001 clauses out of 20016 with flag 1294000/1760497
103.31/102.04	c cleaning 10003 clauses out of 20017 with flag 1304002/1770499
103.81/102.56	c cleaning 10001 clauses out of 20012 with flag 1314000/1780497
104.31/103.06	c cleaning 10000 clauses out of 20011 with flag 1324000/1790497
104.81/103.58	c cleaning 9994 clauses out of 20011 with flag 1334000/1800497
105.32/104.09	c cleaning 10004 clauses out of 20017 with flag 1344000/1810497
105.83/104.57	c cleaning 10003 clauses out of 20016 with flag 1354003/1820500
106.33/105.07	c cleaning 10001 clauses out of 20010 with flag 1364000/1830497
106.94/105.60	c cleaning 9996 clauses out of 20009 with flag 1374000/1840497
107.43/106.18	c cleaning 10002 clauses out of 20013 with flag 1384000/1850497
108.04/106.71	c cleaning 9997 clauses out of 20011 with flag 1394000/1860497
108.53/107.24	c cleaning 10003 clauses out of 20015 with flag 1404001/1870498
109.04/107.79	c cleaning 9999 clauses out of 20011 with flag 1414000/1880497
109.63/108.35	c cleaning 10001 clauses out of 20013 with flag 1424001/1890498
110.14/108.89	c cleaning 9998 clauses out of 20011 with flag 1434000/1900497
110.74/109.43	c cleaning 10002 clauses out of 20013 with flag 1444000/1910497
111.24/109.97	c cleaning 9998 clauses out of 20012 with flag 1454001/1920498
111.84/110.53	c cleaning 10002 clauses out of 20014 with flag 1464001/1930498
112.34/111.10	c cleaning 9998 clauses out of 20013 with flag 1474002/1940499
112.94/111.67	c cleaning 10000 clauses out of 20013 with flag 1484000/1950497
113.55/112.23	c cleaning 10002 clauses out of 20015 with flag 1494002/1960499
114.14/112.80	c cleaning 9998 clauses out of 20013 with flag 1504002/1970499
114.65/113.38	c cleaning 10001 clauses out of 20015 with flag 1514002/1980499
115.24/113.90	c cleaning 10003 clauses out of 20014 with flag 1524002/1990499
115.75/114.48	c cleaning 9999 clauses out of 20011 with flag 1534002/2000499
116.25/114.98	c cleaning 10000 clauses out of 20010 with flag 1544000/2010497
116.85/115.52	c cleaning 10002 clauses out of 20012 with flag 1554002/2020499
117.35/116.05	c cleaning 10001 clauses out of 20011 with flag 1564003/2030500
117.96/116.61	c cleaning 9998 clauses out of 20007 with flag 1574000/2040497
118.55/117.24	c cleaning 9997 clauses out of 20010 with flag 1584001/2050498
119.06/117.78	c cleaning 9999 clauses out of 20013 with flag 1594001/2060498
119.55/118.28	c cleaning 10004 clauses out of 20013 with flag 1604000/2070497
120.06/118.79	c cleaning 10001 clauses out of 20009 with flag 1614000/2080497
120.65/119.30	c cleaning 9996 clauses out of 20009 with flag 1624001/2090498
121.16/119.85	c cleaning 9997 clauses out of 20012 with flag 1634000/2100497
121.66/120.39	c cleaning 10000 clauses out of 20016 with flag 1644001/2110498
122.26/120.91	c cleaning 9998 clauses out of 20016 with flag 1654001/2120498
122.76/121.47	c cleaning 10003 clauses out of 20018 with flag 1664001/2130498
123.36/122.02	c cleaning 10000 clauses out of 20015 with flag 1674001/2140498
123.86/122.58	c cleaning 10003 clauses out of 20015 with flag 1684001/2150498
124.46/123.14	c cleaning 10002 clauses out of 20011 with flag 1694000/2160497
125.06/123.73	c cleaning 9999 clauses out of 20009 with flag 1704000/2170497
125.57/124.30	c cleaning 10003 clauses out of 20011 with flag 1714001/2180498
126.16/124.85	c cleaning 9999 clauses out of 20008 with flag 1724001/2190498
126.77/125.42	c cleaning 9998 clauses out of 20008 with flag 1734000/2200497
127.26/125.97	c cleaning 10003 clauses out of 20010 with flag 1744000/2210497
127.77/126.49	c cleaning 10000 clauses out of 20009 with flag 1754002/2220499
128.37/127.03	c cleaning 9996 clauses out of 20007 with flag 1764000/2230497
128.87/127.55	c cleaning 10003 clauses out of 20012 with flag 1774001/2240498
129.47/128.13	c cleaning 10000 clauses out of 20009 with flag 1784001/2250498
129.97/128.69	c cleaning 9998 clauses out of 20008 with flag 1794000/2260497
130.57/129.24	c cleaning 10001 clauses out of 20011 with flag 1804001/2270498
131.18/129.81	c cleaning 9996 clauses out of 20009 with flag 1814000/2280497
131.68/130.36	c cleaning 10001 clauses out of 20013 with flag 1824000/2290497
132.29/130.91	c cleaning 10001 clauses out of 20014 with flag 1834002/2300499
132.78/131.50	c cleaning 10002 clauses out of 20013 with flag 1844002/2310499
133.49/132.11	c cleaning 9999 clauses out of 20010 with flag 1854001/2320498
133.99/132.65	c cleaning 9998 clauses out of 20010 with flag 1864000/2330497
134.49/133.19	c cleaning 9998 clauses out of 20013 with flag 1874001/2340498
135.09/133.75	c cleaning 10001 clauses out of 20015 with flag 1884001/2350498
135.69/134.32	c cleaning 10000 clauses out of 20014 with flag 1894001/2360498
136.19/134.85	c cleaning 10002 clauses out of 20016 with flag 1904003/2370500
136.70/135.39	c cleaning 10000 clauses out of 20011 with flag 1914000/2380497
137.29/135.94	c cleaning 9998 clauses out of 20013 with flag 1924002/2390499
137.80/136.49	c cleaning 10000 clauses out of 20013 with flag 1934000/2400497
138.40/137.06	c cleaning 10003 clauses out of 20015 with flag 1944002/2410499
139.00/137.62	c cleaning 9999 clauses out of 20012 with flag 1954002/2420499
139.50/138.19	c cleaning 10004 clauses out of 20015 with flag 1964004/2430501
140.10/138.77	c cleaning 9998 clauses out of 20008 with flag 1974001/2440498
140.70/139.32	c cleaning 9999 clauses out of 20010 with flag 1984001/2450498
141.30/139.93	c cleaning 10002 clauses out of 20013 with flag 1994003/2460500
141.80/140.47	c cleaning 10000 clauses out of 20008 with flag 2004000/2470497
142.40/141.04	c cleaning 9995 clauses out of 20008 with flag 2014000/2480497
143.00/141.60	c cleaning 9999 clauses out of 20013 with flag 2024000/2490497
143.50/142.16	c cleaning 10004 clauses out of 20015 with flag 2034001/2500498
144.00/142.67	c cleaning 9996 clauses out of 20010 with flag 2044000/2510497
144.51/143.18	c cleaning 10003 clauses out of 20015 with flag 2054001/2520498
145.11/143.72	c cleaning 10000 clauses out of 20011 with flag 2064000/2530497
145.61/144.24	c cleaning 10000 clauses out of 20012 with flag 2074001/2540498
146.11/144.77	c cleaning 10001 clauses out of 20012 with flag 2084001/2550498
146.62/145.29	c cleaning 9989 clauses out of 20010 with flag 2094000/2560497
147.21/145.82	c cleaning 10008 clauses out of 20022 with flag 2104001/2570498
147.72/146.33	c cleaning 10003 clauses out of 20013 with flag 2114000/2580497
148.21/146.88	c cleaning 9997 clauses out of 20010 with flag 2124000/2590497
148.82/147.48	c cleaning 9998 clauses out of 20013 with flag 2134000/2600497
149.41/148.05	c cleaning 10002 clauses out of 20016 with flag 2144001/2610498
149.92/148.56	c cleaning 10000 clauses out of 20013 with flag 2154000/2620497
150.52/149.13	c cleaning 9997 clauses out of 20016 with flag 2164003/2630500
151.02/149.67	c cleaning 10004 clauses out of 20017 with flag 2174001/2640498
151.62/150.20	c cleaning 10001 clauses out of 20012 with flag 2184000/2650497
152.02/150.68	c cleaning 10001 clauses out of 20011 with flag 2194000/2660497
152.52/151.18	c cleaning 10000 clauses out of 20010 with flag 2204000/2670497
153.13/151.74	c cleaning 9998 clauses out of 20010 with flag 2214000/2680497
153.72/152.30	c cleaning 10003 clauses out of 20014 with flag 2224002/2690499
154.23/152.87	c cleaning 10000 clauses out of 20009 with flag 2234000/2700497
154.83/153.48	c cleaning 10001 clauses out of 20012 with flag 2244003/2710500
155.44/154.06	c cleaning 9998 clauses out of 20009 with flag 2254001/2720498
156.03/154.65	c cleaning 10001 clauses out of 20010 with flag 2264000/2730497
156.63/155.21	c cleaning 9999 clauses out of 20009 with flag 2274000/2740497
157.13/155.77	c cleaning 9999 clauses out of 20010 with flag 2284000/2750497
157.74/156.31	c cleaning 10002 clauses out of 20012 with flag 2294001/2760498
158.24/156.86	c cleaning 9997 clauses out of 20010 with flag 2304001/2770498
158.84/157.43	c cleaning 10002 clauses out of 20015 with flag 2314003/2780500
159.34/157.99	c cleaning 10001 clauses out of 20011 with flag 2324001/2790498
159.94/158.54	c cleaning 10000 clauses out of 20009 with flag 2334000/2800497
160.54/159.12	c cleaning 10001 clauses out of 20009 with flag 2344000/2810497
161.24/159.82	c cleaning 9998 clauses out of 20009 with flag 2354001/2820498
161.84/160.42	c cleaning 9996 clauses out of 20010 with flag 2364000/2830497
162.44/161.00	c cleaning 10003 clauses out of 20014 with flag 2374000/2840497
162.94/161.56	c cleaning 9993 clauses out of 20011 with flag 2384000/2850497
163.54/162.13	c cleaning 10006 clauses out of 20018 with flag 2394000/2860497
164.04/162.68	c cleaning 10000 clauses out of 20013 with flag 2404001/2870498
164.64/163.20	c cleaning 10001 clauses out of 20014 with flag 2414002/2880499
165.15/163.74	c cleaning 9998 clauses out of 20012 with flag 2424001/2890498
165.75/164.32	c cleaning 10002 clauses out of 20014 with flag 2434001/2900498
166.25/164.87	c cleaning 10002 clauses out of 20013 with flag 2444002/2910499
166.75/165.39	c cleaning 9999 clauses out of 20009 with flag 2454000/2920497
167.35/165.90	c cleaning 10002 clauses out of 20012 with flag 2464002/2930499
167.86/166.45	c cleaning 9995 clauses out of 20008 with flag 2474000/2940497
168.46/167.03	c cleaning 10001 clauses out of 20013 with flag 2484000/2950497
168.96/167.57	c cleaning 10002 clauses out of 20013 with flag 2494001/2960498
169.56/168.11	c cleaning 9993 clauses out of 20010 with flag 2504000/2970497
170.07/168.69	c cleaning 10003 clauses out of 20017 with flag 2514000/2980497
170.57/169.19	c cleaning 10002 clauses out of 20014 with flag 2524000/2990497
171.17/169.72	c cleaning 9998 clauses out of 20012 with flag 2534000/3000497
171.67/170.27	c cleaning 10003 clauses out of 20015 with flag 2544001/3010498
172.17/170.78	c cleaning 10001 clauses out of 20012 with flag 2554001/3020498
172.77/171.30	c cleaning 10004 clauses out of 20013 with flag 2564003/3030500
173.27/171.83	c cleaning 9998 clauses out of 20008 with flag 2574002/3040499
173.77/172.37	c cleaning 9997 clauses out of 20008 with flag 2584000/3050497
174.37/172.96	c cleaning 10002 clauses out of 20014 with flag 2594003/3060500
174.87/173.47	c cleaning 9997 clauses out of 20010 with flag 2604001/3070498
175.48/174.00	c cleaning 9999 clauses out of 20014 with flag 2614002/3080499
175.98/174.55	c cleaning 9990 clauses out of 20013 with flag 2624000/3090497
176.48/175.09	c cleaning 10005 clauses out of 20024 with flag 2634001/3100498
177.08/175.65	c cleaning 10004 clauses out of 20022 with flag 2644004/3110501
177.58/176.17	c cleaning 10002 clauses out of 20014 with flag 2654000/3120497
178.18/176.70	c cleaning 9998 clauses out of 20012 with flag 2664000/3130497
178.68/177.22	c cleaning 10003 clauses out of 20014 with flag 2674000/3140497
179.18/177.74	c cleaning 10000 clauses out of 20011 with flag 2684000/3150497
179.68/178.25	c cleaning 10002 clauses out of 20013 with flag 2694002/3160499
180.28/178.82	c cleaning 9992 clauses out of 20009 with flag 2704000/3170497
180.79/179.38	c cleaning 10000 clauses out of 20017 with flag 2714000/3180497
181.38/179.93	c cleaning 10000 clauses out of 20017 with flag 2724000/3190497
181.98/180.51	c cleaning 10002 clauses out of 20019 with flag 2734002/3200499
182.58/181.11	c cleaning 10002 clauses out of 20015 with flag 2744000/3210497
183.09/181.64	c cleaning 9999 clauses out of 20014 with flag 2754001/3220498
183.59/182.17	c cleaning 10003 clauses out of 20015 with flag 2764001/3230498
184.10/182.70	c cleaning 10000 clauses out of 20014 with flag 2774003/3240500
184.70/183.23	c cleaning 10003 clauses out of 20013 with flag 2784002/3250499
185.20/183.79	c cleaning 10002 clauses out of 20014 with flag 2794006/3260503
185.80/184.32	c cleaning 9992 clauses out of 20006 with flag 2804000/3270497
186.31/184.87	c cleaning 9999 clauses out of 20015 with flag 2814001/3280498
186.80/185.39	c cleaning 10002 clauses out of 20016 with flag 2824001/3290498
187.41/185.98	c cleaning 9999 clauses out of 20014 with flag 2834001/3300498
188.00/186.57	c cleaning 10001 clauses out of 20014 with flag 2844000/3310497
188.60/187.16	c cleaning 10003 clauses out of 20013 with flag 2854000/3320497
189.20/187.74	c cleaning 9999 clauses out of 20011 with flag 2864001/3330498
189.70/188.26	c cleaning 9998 clauses out of 20011 with flag 2874000/3340497
190.31/188.83	c cleaning 10001 clauses out of 20013 with flag 2884000/3350497
190.81/189.37	c cleaning 9999 clauses out of 20012 with flag 2894000/3360497
191.41/189.92	c cleaning 10002 clauses out of 20015 with flag 2904002/3370499
191.91/190.46	c cleaning 10002 clauses out of 20014 with flag 2914003/3380500
192.41/190.98	c cleaning 10001 clauses out of 20009 with flag 2924000/3390497
193.01/191.51	c cleaning 9999 clauses out of 20009 with flag 2934001/3400498
193.51/192.06	c cleaning 9997 clauses out of 20009 with flag 2944000/3410497
194.11/192.64	c cleaning 9994 clauses out of 20012 with flag 2954000/3420497
194.61/193.19	c cleaning 10001 clauses out of 20020 with flag 2964002/3430499
195.21/193.76	c cleaning 10002 clauses out of 20019 with flag 2974002/3440499
195.71/194.28	c cleaning 10001 clauses out of 20016 with flag 2984001/3450498
196.31/194.80	c cleaning 9994 clauses out of 20014 with flag 2994000/3460497
196.81/195.31	c cleaning 10005 clauses out of 20022 with flag 3004002/3470499
197.32/195.87	c cleaning 10004 clauses out of 20015 with flag 3014000/3480497
197.81/196.40	c cleaning 10003 clauses out of 20014 with flag 3024003/3490500
198.42/196.94	c cleaning 10000 clauses out of 20008 with flag 3034000/3500497
198.91/197.49	c cleaning 10000 clauses out of 20009 with flag 3044001/3510498
199.52/198.06	c cleaning 10001 clauses out of 20009 with flag 3054001/3520498
200.12/198.65	c cleaning 9998 clauses out of 20010 with flag 3064003/3530500
200.72/199.21	c cleaning 9997 clauses out of 20010 with flag 3074001/3540498
201.32/199.80	c cleaning 9998 clauses out of 20012 with flag 3084000/3550497
201.83/200.36	c cleaning 9998 clauses out of 20015 with flag 3094001/3560498
202.43/200.94	c cleaning 9998 clauses out of 20016 with flag 3104000/3570497
203.03/201.54	c cleaning 10006 clauses out of 20021 with flag 3114003/3580500
203.63/202.15	c cleaning 10000 clauses out of 20014 with flag 3124002/3590499
204.23/202.75	c cleaning 10000 clauses out of 20012 with flag 3134000/3600497
204.73/203.27	c cleaning 10001 clauses out of 20013 with flag 3144001/3610498
205.23/203.79	c cleaning 10000 clauses out of 20015 with flag 3154004/3620501
205.83/204.32	c cleaning 9998 clauses out of 20012 with flag 3164001/3630498
206.33/204.82	c cleaning 10002 clauses out of 20014 with flag 3174001/3640498
206.83/205.32	c cleaning 10003 clauses out of 20014 with flag 3184003/3650500
207.34/205.85	c cleaning 9995 clauses out of 20008 with flag 3194000/3660497
207.84/206.32	c cleaning 10002 clauses out of 20013 with flag 3204000/3670497
208.34/206.85	c cleaning 9998 clauses out of 20012 with flag 3214001/3680498
208.84/207.35	c cleaning 10005 clauses out of 20015 with flag 3224002/3690499
209.34/207.86	c cleaning 9993 clauses out of 20009 with flag 3234001/3700498
209.84/208.36	c cleaning 10004 clauses out of 20015 with flag 3244000/3710497
210.34/208.86	c cleaning 10002 clauses out of 20011 with flag 3254000/3720497
210.84/209.40	c cleaning 10000 clauses out of 20009 with flag 3264000/3730497
211.44/209.92	c cleaning 9996 clauses out of 20009 with flag 3274000/3740497
211.94/210.43	c cleaning 10002 clauses out of 20014 with flag 3284001/3750498
212.44/210.92	c cleaning 10001 clauses out of 20013 with flag 3294002/3760499
212.95/211.43	c cleaning 10001 clauses out of 20010 with flag 3304000/3770497
213.45/211.92	c cleaning 10001 clauses out of 20012 with flag 3314003/3780500
213.95/212.46	c cleaning 9999 clauses out of 20008 with flag 3324000/3790497
214.45/212.94	c cleaning 10001 clauses out of 20011 with flag 3334002/3800499
214.96/213.43	c cleaning 9995 clauses out of 20008 with flag 3344000/3810497
215.46/213.93	c cleaning 10001 clauses out of 20013 with flag 3354000/3820497
215.96/214.42	c cleaning 10000 clauses out of 20012 with flag 3364000/3830497
216.46/214.91	c cleaning 10001 clauses out of 20012 with flag 3374000/3840497
216.96/215.45	c cleaning 9984 clauses out of 20014 with flag 3384003/3850500
217.46/215.96	c cleaning 10006 clauses out of 20028 with flag 3394001/3860498
217.96/216.45	c cleaning 10003 clauses out of 20022 with flag 3404001/3870498
218.46/216.96	c cleaning 10006 clauses out of 20019 with flag 3414001/3880498
218.96/217.41	c cleaning 10001 clauses out of 20012 with flag 3424000/3890497
219.46/217.93	c cleaning 9996 clauses out of 20012 with flag 3434001/3900498
219.96/218.40	c cleaning 10004 clauses out of 20017 with flag 3444002/3910499
220.47/218.92	c cleaning 10002 clauses out of 20011 with flag 3454000/3920497
220.97/219.41	c cleaning 10002 clauses out of 20011 with flag 3464002/3930499
221.47/219.93	c cleaning 9999 clauses out of 20007 with flag 3474000/3940497
221.97/220.47	c cleaning 9995 clauses out of 20008 with flag 3484000/3950497
222.47/220.98	c cleaning 10005 clauses out of 20018 with flag 3494005/3960502
223.08/221.52	c cleaning 10001 clauses out of 20010 with flag 3504002/3970499
223.58/222.03	c cleaning 9995 clauses out of 20007 with flag 3514000/3980497
224.07/222.57	c cleaning 10004 clauses out of 20015 with flag 3524003/3990500
224.68/223.13	c cleaning 9996 clauses out of 20009 with flag 3534001/4000498
225.18/223.68	c cleaning 9997 clauses out of 20012 with flag 3544000/4010497
225.78/224.25	c cleaning 10002 clauses out of 20015 with flag 3554000/4020497
226.28/224.78	c cleaning 10001 clauses out of 20014 with flag 3564001/4030498
226.78/225.28	c cleaning 10003 clauses out of 20014 with flag 3574002/4040499
227.29/225.79	c cleaning 10001 clauses out of 20009 with flag 3584000/4050497
227.89/226.36	c cleaning 9993 clauses out of 20008 with flag 3594000/4060497
228.49/226.93	c cleaning 9996 clauses out of 20015 with flag 3604000/4070497
228.99/227.48	c cleaning 10003 clauses out of 20019 with flag 3614000/4080497
229.59/228.03	c cleaning 10004 clauses out of 20017 with flag 3624001/4090498
230.09/228.56	c cleaning 9998 clauses out of 20012 with flag 3634000/4100497
230.69/229.14	c cleaning 9999 clauses out of 20015 with flag 3644001/4110498
231.29/229.71	c cleaning 10001 clauses out of 20015 with flag 3654000/4120497
231.80/230.24	c cleaning 10003 clauses out of 20015 with flag 3664001/4130498
232.30/230.76	c cleaning 10001 clauses out of 20012 with flag 3674001/4140498
232.90/231.32	c cleaning 9998 clauses out of 20010 with flag 3684000/4150497
233.40/231.87	c cleaning 9999 clauses out of 20012 with flag 3694000/4160497
234.00/232.45	c cleaning 9997 clauses out of 20013 with flag 3704000/4170497
234.60/233.02	c cleaning 9998 clauses out of 20018 with flag 3714002/4180499
235.20/233.65	c cleaning 10001 clauses out of 20018 with flag 3724000/4190497
235.81/234.28	c cleaning 10003 clauses out of 20018 with flag 3734001/4200498
236.60/235.06	c cleaning 10005 clauses out of 20015 with flag 3744001/4210498
237.20/235.65	c cleaning 9994 clauses out of 20009 with flag 3754000/4220497
237.81/236.26	c cleaning 10004 clauses out of 20019 with flag 3764004/4230501
238.41/236.81	c cleaning 10001 clauses out of 20012 with flag 3774001/4240498
238.91/237.38	c cleaning 10000 clauses out of 20010 with flag 3784000/4250497
239.51/237.94	c cleaning 10000 clauses out of 20012 with flag 3794002/4260499
240.10/238.60	c cleaning 9996 clauses out of 20011 with flag 3804001/4270498
240.71/239.17	c cleaning 9995 clauses out of 20016 with flag 3814002/4280499
241.31/239.76	c cleaning 10002 clauses out of 20019 with flag 3824000/4290497
241.91/240.35	c cleaning 10002 clauses out of 20018 with flag 3834001/4300498
242.51/240.93	c cleaning 10004 clauses out of 20020 with flag 3844005/4310502
243.11/241.51	c cleaning 10003 clauses out of 20014 with flag 3854003/4320500
243.71/242.13	c cleaning 9997 clauses out of 20008 with flag 3864000/4330497
244.31/242.77	c cleaning 10000 clauses out of 20013 with flag 3874002/4340499
244.91/243.32	c cleaning 9998 clauses out of 20011 with flag 3884000/4350497
245.41/243.85	c cleaning 10002 clauses out of 20014 with flag 3894001/4360498
246.01/244.40	c cleaning 9999 clauses out of 20013 with flag 3904002/4370499
246.51/244.93	c cleaning 9999 clauses out of 20012 with flag 3914000/4380497
247.01/245.47	c cleaning 10004 clauses out of 20016 with flag 3924003/4390500
247.62/246.09	c cleaning 9997 clauses out of 20009 with flag 3934000/4400497
248.32/246.70	c cleaning 10001 clauses out of 20015 with flag 3944003/4410500
248.83/247.27	c cleaning 10001 clauses out of 20011 with flag 3954000/4420497
249.43/247.81	c cleaning 10001 clauses out of 20010 with flag 3964000/4430497
249.93/248.37	c cleaning 9998 clauses out of 20010 with flag 3974001/4440498
250.53/248.92	c cleaning 9998 clauses out of 20012 with flag 3984001/4450498
251.13/249.56	c cleaning 10001 clauses out of 20014 with flag 3994001/4460498
251.63/250.10	c cleaning 10000 clauses out of 20014 with flag 4004002/4470499
252.23/250.64	c cleaning 10001 clauses out of 20013 with flag 4014001/4480498
252.83/251.24	c cleaning 9997 clauses out of 20012 with flag 4024001/4490498
253.44/251.88	c cleaning 10003 clauses out of 20015 with flag 4034001/4500498
254.03/252.43	c cleaning 10001 clauses out of 20012 with flag 4044001/4510498
254.64/253.07	c cleaning 9997 clauses out of 20010 with flag 4054000/4520497
255.23/253.64	c cleaning 10002 clauses out of 20014 with flag 4064001/4530498
255.74/254.18	c cleaning 10000 clauses out of 20011 with flag 4074000/4540497
256.33/254.79	c cleaning 9997 clauses out of 20012 with flag 4084001/4550498
256.93/255.33	c cleaning 10003 clauses out of 20015 with flag 4094001/4560498
257.43/255.86	c cleaning 10002 clauses out of 20011 with flag 4104000/4570497
257.94/256.38	c cleaning 10003 clauses out of 20011 with flag 4114002/4580499
258.64/257.01	c cleaning 10000 clauses out of 20009 with flag 4124003/4590500
259.14/257.57	c cleaning 9998 clauses out of 20006 with flag 4134000/4600497
259.74/258.11	c cleaning 10000 clauses out of 20008 with flag 4144000/4610497
260.24/258.62	c cleaning 10000 clauses out of 20009 with flag 4154001/4620498
260.74/259.17	c cleaning 9999 clauses out of 20009 with flag 4164001/4630498
261.34/259.74	c cleaning 10000 clauses out of 20010 with flag 4174001/4640498
261.94/260.32	c cleaning 9996 clauses out of 20010 with flag 4184001/4650498
262.44/260.87	c cleaning 9998 clauses out of 20014 with flag 4194001/4660498
263.04/261.41	c cleaning 10001 clauses out of 20015 with flag 4204000/4670497
263.55/261.96	c cleaning 10003 clauses out of 20016 with flag 4214002/4680499
264.16/262.53	c cleaning 10001 clauses out of 20014 with flag 4224003/4690500
264.66/263.08	c cleaning 9998 clauses out of 20010 with flag 4234000/4700497
265.26/263.66	c cleaning 10001 clauses out of 20014 with flag 4244002/4710499
265.86/264.24	c cleaning 9998 clauses out of 20011 with flag 4254000/4720497
266.46/264.80	c cleaning 9998 clauses out of 20013 with flag 4264000/4730497
266.97/265.36	c cleaning 10005 clauses out of 20016 with flag 4274001/4740498
267.57/265.95	c cleaning 9997 clauses out of 20010 with flag 4284000/4750497
268.17/266.53	c cleaning 10003 clauses out of 20014 with flag 4294001/4760498
268.77/267.12	c cleaning 9999 clauses out of 20012 with flag 4304002/4770499
269.37/267.70	c cleaning 10002 clauses out of 20013 with flag 4314002/4780499
269.87/268.26	c cleaning 9990 clauses out of 20013 with flag 4324004/4790501
270.47/268.80	c cleaning 9995 clauses out of 20022 with flag 4334003/4800500
270.97/269.34	c cleaning 10006 clauses out of 20026 with flag 4344002/4810499
271.47/269.87	c cleaning 9995 clauses out of 20018 with flag 4354000/4820497
272.07/270.41	c cleaning 10001 clauses out of 20024 with flag 4364001/4830498
272.58/270.96	c cleaning 10007 clauses out of 20024 with flag 4374002/4840499
273.07/271.46	c cleaning 10003 clauses out of 20015 with flag 4384000/4850497
273.58/271.97	c cleaning 10001 clauses out of 20012 with flag 4394000/4860497
274.08/272.49	c cleaning 9995 clauses out of 20011 with flag 4404000/4870497
274.58/272.99	c cleaning 10001 clauses out of 20016 with flag 4414000/4880497
275.18/273.50	c cleaning 10000 clauses out of 20015 with flag 4424000/4890497
275.59/273.98	c cleaning 10001 clauses out of 20015 with flag 4434000/4900497
276.08/274.49	c cleaning 10002 clauses out of 20014 with flag 4444000/4910497
276.58/274.98	c cleaning 9998 clauses out of 20014 with flag 4454002/4920499
277.08/275.45	c cleaning 9997 clauses out of 20015 with flag 4464001/4930498
277.58/275.95	c cleaning 10004 clauses out of 20018 with flag 4474001/4940498
278.08/276.47	c cleaning 10002 clauses out of 20013 with flag 4484000/4950497
278.58/276.99	c cleaning 10002 clauses out of 20014 with flag 4494003/4960500
279.09/277.47	c cleaning 9998 clauses out of 20009 with flag 4504000/4970497
279.59/277.99	c cleaning 10003 clauses out of 20013 with flag 4514002/4980499
280.09/278.49	c cleaning 10002 clauses out of 20010 with flag 4524002/4990499
280.69/279.00	c cleaning 9996 clauses out of 20006 with flag 4534000/5000497
281.19/279.52	c cleaning 9994 clauses out of 20010 with flag 4544000/5010497
281.79/280.10	c cleaning 10003 clauses out of 20016 with flag 4554000/5020497
282.30/280.67	c cleaning 9999 clauses out of 20013 with flag 4564000/5030497
282.90/281.21	c cleaning 9998 clauses out of 20015 with flag 4574001/5040498
283.40/281.74	c cleaning 10002 clauses out of 20016 with flag 4584000/5050497
283.90/282.25	c cleaning 10002 clauses out of 20015 with flag 4594001/5060498
284.40/282.75	c cleaning 10001 clauses out of 20012 with flag 4604000/5070497
284.90/283.28	c cleaning 10004 clauses out of 20015 with flag 4614004/5080501
285.40/283.75	c cleaning 9998 clauses out of 20007 with flag 4624000/5090497
285.90/284.29	c cleaning 9998 clauses out of 20009 with flag 4634000/5100497
286.51/284.84	c cleaning 9999 clauses out of 20011 with flag 4644000/5110497
287.11/285.43	c cleaning 9999 clauses out of 20013 with flag 4654001/5120498
287.61/285.98	c cleaning 10001 clauses out of 20013 with flag 4664000/5130497
288.21/286.52	c cleaning 10004 clauses out of 20016 with flag 4674004/5140501
288.72/287.09	c cleaning 9995 clauses out of 20008 with flag 4684000/5150497
289.32/287.63	c cleaning 9999 clauses out of 20014 with flag 4694001/5160498
289.83/288.17	c cleaning 10000 clauses out of 20014 with flag 4704000/5170497
290.32/288.68	c cleaning 10000 clauses out of 20014 with flag 4714000/5180497
290.93/289.21	c cleaning 10003 clauses out of 20015 with flag 4724001/5190498
291.42/289.77	c cleaning 9994 clauses out of 20011 with flag 4734000/5200497
292.03/290.35	c cleaning 10004 clauses out of 20019 with flag 4744002/5210499
292.53/290.90	c cleaning 9999 clauses out of 20013 with flag 4754000/5220497
293.13/291.45	c cleaning 10003 clauses out of 20016 with flag 4764002/5230499
293.64/291.99	c cleaning 10002 clauses out of 20013 with flag 4774002/5240499
294.24/292.55	c cleaning 9998 clauses out of 20009 with flag 4784000/5250497
294.84/293.18	c cleaning 10000 clauses out of 20011 with flag 4794000/5260497
295.54/293.86	c cleaning 10000 clauses out of 20012 with flag 4804001/5270498
296.14/294.44	c cleaning 10003 clauses out of 20013 with flag 4814002/5280499
296.74/295.00	c cleaning 9995 clauses out of 20008 with flag 4824000/5290497
297.25/295.54	c cleaning 10002 clauses out of 20014 with flag 4834001/5300498
297.75/296.10	c cleaning 10001 clauses out of 20011 with flag 4844000/5310497
298.35/296.64	c cleaning 10001 clauses out of 20010 with flag 4854000/5320497
298.85/297.19	c cleaning 9999 clauses out of 20010 with flag 4864001/5330498
299.45/297.74	c cleaning 10001 clauses out of 20010 with flag 4874000/5340497
300.05/298.30	c cleaning 9998 clauses out of 20009 with flag 4884000/5350497
300.55/298.86	c cleaning 10000 clauses out of 20012 with flag 4894001/5360498
301.15/299.41	c cleaning 9998 clauses out of 20011 with flag 4904000/5370497
301.65/299.97	c cleaning 9999 clauses out of 20013 with flag 4914000/5380497
302.25/300.55	c cleaning 10002 clauses out of 20016 with flag 4924002/5390499
302.75/301.08	c cleaning 9992 clauses out of 20012 with flag 4934000/5400497
303.35/301.66	c cleaning 10004 clauses out of 20023 with flag 4944003/5410500
303.95/302.25	c cleaning 9980 clauses out of 20016 with flag 4954000/5420497
304.55/302.80	c cleaning 9973 clauses out of 20037 with flag 4964001/5430498
305.06/303.37	c cleaning 9997 clauses out of 20063 with flag 4974000/5440497
305.66/303.95	c cleaning 9968 clauses out of 20066 with flag 4984000/5450497
306.16/304.46	c cleaning 9985 clauses out of 20098 with flag 4994000/5460497
306.66/304.99	c cleaning 9996 clauses out of 20113 with flag 5004000/5470497
307.16/305.49	c cleaning 9976 clauses out of 20118 with flag 5014001/5480498
307.66/305.99	c cleaning 9987 clauses out of 20141 with flag 5024000/5490497
308.16/306.49	c cleaning 9983 clauses out of 20154 with flag 5034000/5500497
308.76/307.01	c cleaning 9991 clauses out of 20171 with flag 5044000/5510497
309.16/307.49	c cleaning 9994 clauses out of 20182 with flag 5054002/5520499
309.67/307.99	c cleaning 9972 clauses out of 20186 with flag 5064000/5530497
310.27/308.55	c cleaning 10004 clauses out of 20216 with flag 5074002/5540499
310.77/309.10	c cleaning 9988 clauses out of 20210 with flag 5084000/5550497
311.37/309.65	c cleaning 10011 clauses out of 20222 with flag 5094000/5560497
311.88/310.19	c cleaning 10000 clauses out of 20214 with flag 5104003/5570500
312.47/310.75	c cleaning 9989 clauses out of 20212 with flag 5114001/5580498
312.98/311.28	c cleaning 9983 clauses out of 20224 with flag 5124002/5590499
313.48/311.79	c cleaning 9999 clauses out of 20242 with flag 5134003/5600500
314.08/312.35	c cleaning 9987 clauses out of 20242 with flag 5144002/5610499
314.58/312.89	c cleaning 9990 clauses out of 20253 with flag 5154000/5620497
315.19/313.40	c cleaning 9984 clauses out of 20264 with flag 5164001/5630498
315.68/313.90	c cleaning 9984 clauses out of 20280 with flag 5174001/5640498
316.08/314.39	c cleaning 9977 clauses out of 20296 with flag 5184001/5650498
316.58/314.88	c cleaning 9982 clauses out of 20319 with flag 5194001/5660498
317.19/315.42	c cleaning 9991 clauses out of 20336 with flag 5204000/5670497
317.69/315.93	c cleaning 9982 clauses out of 20346 with flag 5214001/5680498
318.19/316.44	c cleaning 9980 clauses out of 20363 with flag 5224000/5690497
318.69/316.94	c cleaning 9979 clauses out of 20383 with flag 5234000/5700497
319.19/317.44	c cleaning 9989 clauses out of 20405 with flag 5244001/5710498
319.70/317.92	c cleaning 9981 clauses out of 20415 with flag 5254000/5720497
320.19/318.42	c cleaning 9991 clauses out of 20435 with flag 5264001/5730498
320.70/318.93	c cleaning 9986 clauses out of 20444 with flag 5274001/5740498
321.19/319.48	c cleaning 9990 clauses out of 20458 with flag 5284001/5750498
321.69/319.95	c cleaning 9982 clauses out of 20467 with flag 5294000/5760497
322.20/320.41	c cleaning 9993 clauses out of 20486 with flag 5304001/5770498
322.60/320.89	c cleaning 9978 clauses out of 20493 with flag 5314001/5780498
323.10/321.35	c cleaning 9983 clauses out of 20517 with flag 5324003/5790500
323.70/321.90	c cleaning 9980 clauses out of 20533 with flag 5334002/5800499
324.20/322.49	c cleaning 9991 clauses out of 20551 with flag 5344000/5810497
324.80/323.02	c cleaning 9982 clauses out of 20561 with flag 5354001/5820498
325.32/323.58	c cleaning 9992 clauses out of 20578 with flag 5364000/5830497
325.92/324.13	c cleaning 9995 clauses out of 20586 with flag 5374000/5840497
326.42/324.63	c cleaning 9982 clauses out of 20593 with flag 5384002/5850499
326.92/325.14	c cleaning 9984 clauses out of 20609 with flag 5394000/5860497
327.42/325.63	c cleaning 9992 clauses out of 20627 with flag 5404002/5870499
327.92/326.18	c cleaning 9988 clauses out of 20633 with flag 5414000/5880497
328.42/326.70	c cleaning 10002 clauses out of 20646 with flag 5424001/5890498
328.92/327.19	c cleaning 9991 clauses out of 20645 with flag 5434002/5900499
329.42/327.69	c cleaning 9976 clauses out of 20652 with flag 5444000/5910497
330.02/328.20	c cleaning 9999 clauses out of 20677 with flag 5454001/5920498
330.52/328.72	c cleaning 9987 clauses out of 20677 with flag 5464000/5930497
331.02/329.22	c cleaning 9997 clauses out of 20691 with flag 5474001/5940498
331.52/329.73	c cleaning 9994 clauses out of 20693 with flag 5484000/5950497
332.02/330.23	c cleaning 9983 clauses out of 20700 with flag 5494001/5960498
332.52/330.71	c cleaning 9978 clauses out of 20716 with flag 5504000/5970497
333.03/331.23	c cleaning 9991 clauses out of 20738 with flag 5514000/5980497
333.53/331.73	c cleaning 10000 clauses out of 20747 with flag 5524000/5990497
334.13/332.31	c cleaning 9997 clauses out of 20749 with flag 5534002/6000499
334.63/332.81	c cleaning 9992 clauses out of 20750 with flag 5544000/6010497
335.14/333.33	c cleaning 9974 clauses out of 20758 with flag 5554000/6020497
335.63/333.83	c cleaning 9981 clauses out of 20786 with flag 5564002/6030499
336.13/334.38	c cleaning 9977 clauses out of 20803 with flag 5574000/6040497
336.73/334.94	c cleaning 9974 clauses out of 20827 with flag 5584001/6050498
337.24/335.45	c cleaning 9978 clauses out of 20854 with flag 5594002/6060499
337.73/335.95	c cleaning 9974 clauses out of 20875 with flag 5604001/6070498
338.23/336.47	c cleaning 9985 clauses out of 20900 with flag 5614000/6080497
338.83/337.02	c cleaning 9984 clauses out of 20915 with flag 5624000/6090497
339.33/337.53	c cleaning 9978 clauses out of 20931 with flag 5634000/6100497
339.83/338.09	c cleaning 9980 clauses out of 20954 with flag 5644001/6110498
340.43/338.60	c cleaning 9984 clauses out of 20974 with flag 5654001/6120498
340.93/339.12	c cleaning 9983 clauses out of 20991 with flag 5664002/6130499
341.44/339.60	c cleaning 9970 clauses out of 21006 with flag 5674000/6140497
341.94/340.11	c cleaning 9996 clauses out of 21040 with flag 5684004/6150501
342.44/340.64	c cleaning 9975 clauses out of 21040 with flag 5694000/6160497
343.04/341.20	c cleaning 9999 clauses out of 21067 with flag 5704002/6170499
343.54/341.73	c cleaning 9989 clauses out of 21069 with flag 5714003/6180500
344.04/342.23	c cleaning 9978 clauses out of 21077 with flag 5724000/6190497
344.55/342.78	c cleaning 9996 clauses out of 21099 with flag 5734000/6200497
345.15/343.31	c cleaning 9976 clauses out of 21104 with flag 5744001/6210498
345.65/343.84	c cleaning 9992 clauses out of 21129 with flag 5754002/6220499
346.16/344.36	c cleaning 9980 clauses out of 21135 with flag 5764000/6230497
346.76/344.92	c cleaning 9988 clauses out of 21155 with flag 5774000/6240497
347.26/345.43	c cleaning 9988 clauses out of 21167 with flag 5784000/6250497
347.76/345.97	c cleaning 9989 clauses out of 21179 with flag 5794000/6260497
348.37/346.55	c cleaning 10002 clauses out of 21191 with flag 5804001/6270498
348.86/347.07	c cleaning 9987 clauses out of 21188 with flag 5814000/6280497
349.46/347.65	c cleaning 9982 clauses out of 21201 with flag 5824000/6290497
350.06/348.25	c cleaning 9997 clauses out of 21223 with flag 5834004/6300501
350.57/348.77	c cleaning 9972 clauses out of 21222 with flag 5844000/6310497
351.16/349.31	c cleaning 9987 clauses out of 21250 with flag 5854000/6320497
351.76/349.91	c cleaning 10004 clauses out of 21264 with flag 5864001/6330498
352.37/350.54	c cleaning 9997 clauses out of 21262 with flag 5874003/6340500
353.07/351.21	c cleaning 9993 clauses out of 21264 with flag 5884002/6350499
353.67/351.88	c cleaning 10003 clauses out of 21271 with flag 5894002/6360499
354.27/352.43	c cleaning 9984 clauses out of 21266 with flag 5904000/6370497
354.77/352.95	c cleaning 9987 clauses out of 21282 with flag 5914000/6380497
355.27/353.50	c cleaning 9995 clauses out of 21295 with flag 5924000/6390497
355.87/354.04	c cleaning 9987 clauses out of 21301 with flag 5934001/6400498
356.47/354.60	c cleaning 9994 clauses out of 21316 with flag 5944003/6410500
357.08/355.21	c cleaning 9998 clauses out of 21320 with flag 5954001/6420498
357.58/355.73	c cleaning 9982 clauses out of 21322 with flag 5964001/6430498
358.08/356.27	c cleaning 9985 clauses out of 21339 with flag 5974000/6440497
358.68/356.84	c cleaning 9999 clauses out of 21356 with flag 5984002/6450499
359.28/357.41	c cleaning 9994 clauses out of 21355 with flag 5994000/6460497
359.88/358.00	c cleaning 9976 clauses out of 21363 with flag 6004002/6470499
360.39/358.53	c cleaning 9981 clauses out of 21386 with flag 6014001/6480498
360.98/359.13	c cleaning 9987 clauses out of 21405 with flag 6024001/6490498
361.49/359.69	c cleaning 9983 clauses out of 21417 with flag 6034000/6500497
362.18/360.30	c cleaning 10002 clauses out of 21435 with flag 6044001/6510498
362.78/360.90	c cleaning 9989 clauses out of 21432 with flag 6054000/6520497
363.38/361.53	c cleaning 10012 clauses out of 21447 with flag 6064004/6530501
363.98/362.15	c cleaning 9983 clauses out of 21433 with flag 6074002/6540499
364.58/362.75	c cleaning 9978 clauses out of 21448 with flag 6084000/6550497
365.28/363.41	c cleaning 9998 clauses out of 21470 with flag 6094000/6560497
365.79/363.98	c cleaning 10000 clauses out of 21473 with flag 6104001/6570498
366.39/364.54	c cleaning 9980 clauses out of 21474 with flag 6114002/6580499
366.99/365.11	c cleaning 9996 clauses out of 21493 with flag 6124001/6590498
367.59/365.75	c cleaning 9990 clauses out of 21496 with flag 6134000/6600497
368.20/366.31	c cleaning 9981 clauses out of 21507 with flag 6144001/6610498
368.69/366.82	c cleaning 9979 clauses out of 21525 with flag 6154000/6620497
369.20/367.35	c cleaning 9994 clauses out of 21548 with flag 6164002/6630499
369.69/367.89	c cleaning 9983 clauses out of 21552 with flag 6174000/6640497
370.31/368.46	c cleaning 9990 clauses out of 21569 with flag 6184000/6650497
370.90/369.03	c cleaning 9994 clauses out of 21580 with flag 6194001/6660498
371.51/369.66	c cleaning 10002 clauses out of 21585 with flag 6204000/6670497
372.20/370.33	c cleaning 9998 clauses out of 21583 with flag 6214000/6680497
372.71/370.89	c cleaning 9978 clauses out of 21587 with flag 6224002/6690499
373.31/371.45	c cleaning 9989 clauses out of 21607 with flag 6234000/6700497
373.91/372.03	c cleaning 9991 clauses out of 21618 with flag 6244000/6710497
374.51/372.61	c cleaning 9994 clauses out of 21627 with flag 6254000/6720497
375.11/373.21	c cleaning 9978 clauses out of 21633 with flag 6264000/6730497
375.71/373.81	c cleaning 9995 clauses out of 21656 with flag 6274001/6740498
376.31/374.43	c cleaning 9997 clauses out of 21660 with flag 6284000/6750497
376.91/375.02	c cleaning 9980 clauses out of 21663 with flag 6294000/6760497
377.41/375.58	c cleaning 9967 clauses out of 21684 with flag 6304001/6770498
378.02/376.18	c cleaning 9984 clauses out of 21716 with flag 6314000/6780497
378.61/376.72	c cleaning 9985 clauses out of 21733 with flag 6324001/6790498
379.12/377.27	c cleaning 9992 clauses out of 21747 with flag 6334000/6800497
379.72/377.80	c cleaning 9994 clauses out of 21757 with flag 6344002/6810499
380.22/378.38	c cleaning 9993 clauses out of 21761 with flag 6354000/6820497
380.72/378.89	c cleaning 9988 clauses out of 21768 with flag 6364000/6830497
381.32/379.44	c cleaning 9982 clauses out of 21781 with flag 6374001/6840498
381.82/379.97	c cleaning 9986 clauses out of 21798 with flag 6384000/6850497
382.42/380.57	c cleaning 9990 clauses out of 21813 with flag 6394001/6860498
383.02/381.19	c cleaning 10003 clauses out of 21823 with flag 6404001/6870498
383.72/381.83	c cleaning 10000 clauses out of 21819 with flag 6414000/6880497
384.32/382.46	c cleaning 10005 clauses out of 21819 with flag 6424000/6890497
384.92/383.02	c cleaning 9991 clauses out of 21816 with flag 6434002/6900499
385.52/383.60	c cleaning 9986 clauses out of 21824 with flag 6444001/6910498
386.02/384.15	c cleaning 9984 clauses out of 21837 with flag 6454000/6920497
386.62/384.73	c cleaning 9993 clauses out of 21856 with flag 6464003/6930500
387.22/385.32	c cleaning 9975 clauses out of 21860 with flag 6474000/6940497
387.82/385.90	c cleaning 9997 clauses out of 21886 with flag 6484001/6950498
388.32/386.48	c cleaning 9989 clauses out of 21889 with flag 6494001/6960498
389.03/387.11	c cleaning 9991 clauses out of 21899 with flag 6504000/6970497
389.62/387.75	c cleaning 9995 clauses out of 21908 with flag 6514000/6980497
390.23/388.36	c cleaning 9996 clauses out of 21913 with flag 6524000/6990497
390.83/388.97	c cleaning 10011 clauses out of 21917 with flag 6534000/7000497
391.53/389.62	c cleaning 9991 clauses out of 21906 with flag 6544000/7010497
392.13/390.24	c cleaning 10001 clauses out of 21915 with flag 6554000/7020497
392.73/390.83	c cleaning 9999 clauses out of 21915 with flag 6564001/7030498
393.33/391.43	c cleaning 9998 clauses out of 21915 with flag 6574000/7040497
393.93/392.04	c cleaning 9996 clauses out of 21917 with flag 6584000/7050497
394.54/392.63	c cleaning 10004 clauses out of 21921 with flag 6594000/7060497
395.13/393.22	c cleaning 9976 clauses out of 21917 with flag 6604000/7070497
395.65/393.77	c cleaning 9989 clauses out of 21942 with flag 6614001/7080498
396.25/394.33	c cleaning 9990 clauses out of 21952 with flag 6624000/7090497
396.75/394.87	c cleaning 9989 clauses out of 21962 with flag 6634000/7100497
397.35/395.45	c cleaning 9985 clauses out of 21973 with flag 6644000/7110497
397.95/396.06	c cleaning 9994 clauses out of 21988 with flag 6654000/7120497
398.55/396.61	c cleaning 9996 clauses out of 21995 with flag 6664001/7130498
399.15/397.21	c cleaning 9965 clauses out of 21999 with flag 6674002/7140499
399.76/397.84	c cleaning 9972 clauses out of 22032 with flag 6684000/7150497
400.36/398.47	c cleaning 9976 clauses out of 22064 with flag 6694004/7160501
401.06/399.13	c cleaning 9970 clauses out of 22086 with flag 6704002/7170499
401.66/399.73	c cleaning 9964 clauses out of 22116 with flag 6714002/7180499
402.26/400.34	c cleaning 9986 clauses out of 22151 with flag 6724001/7190498
402.86/400.96	c cleaning 9981 clauses out of 22164 with flag 6734000/7200497
403.47/401.58	c cleaning 9961 clauses out of 22183 with flag 6744000/7210497
404.17/402.20	c cleaning 9977 clauses out of 22223 with flag 6754001/7220498
404.77/402.88	c cleaning 9978 clauses out of 22247 with flag 6764002/7230499
405.47/403.53	c cleaning 9974 clauses out of 22267 with flag 6774000/7240497
406.17/404.25	c cleaning 9982 clauses out of 22294 with flag 6784001/7250498
406.87/404.96	c cleaning 9993 clauses out of 22312 with flag 6794001/7260498
407.57/405.67	c cleaning 10002 clauses out of 22318 with flag 6804000/7270497
408.37/406.43	c cleaning 9979 clauses out of 22317 with flag 6814002/7280499
408.57/406.68	c starts		: 341
408.57/406.68	c conflicts		: 7283955
408.57/406.68	c decisions		: 10533929
408.57/406.68	c propagations		: 360599427
408.57/406.68	c inspects		: 3774877495
408.57/406.68	c shortcuts		: 0
408.57/406.68	c learnt literals	: 8
408.57/406.68	c learnt binary clauses	: 28
408.57/406.68	c learnt ternary clauses	: 1315
408.57/406.68	c learnt constraints	: 7283946
408.57/406.68	c ignored constraints	: 0
408.57/406.68	c root simplifications	: 0
408.57/406.68	c removed literals (reason simplification)	: 37600252
408.57/406.68	c reason swapping (by a shorter reason)	: 0
408.57/406.68	c Calls to reduceDB	: 734
408.57/406.68	c number of reductions to clauses (during analyze)	: 0
408.57/406.68	c number of learned constraints concerned by reduction	: 0
408.57/406.68	c number of learning phase by resolution	: 0
408.57/406.68	c number of learning phase by cutting planes	: 0
408.57/406.68	c speed (assignments/second)	: 962830.8955462993
408.57/406.68	c non guided choices	5065
408.57/406.68	c learnt constraints type 
408.57/406.68	c constraints type 
408.57/406.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
408.57/406.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
408.57/406.68	s OPTIMUM FOUND
408.57/406.68	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 
408.57/406.68	c objective function=1
408.57/406.68	c Total wall clock time (in seconds): 406.571

Verifier Data 

OK	1

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-3492181-1307911646/watcher-3492181-1307911646 -o /tmp/evaluation-result-3492181-1307911646/solver-3492181-1307911646 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492181-1307911646.wbo 

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: 2.00 2.02 1.94 2/196 14793
/proc/meminfo: memFree=1577416/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/14793/stat : 14793 (java) R 14791 14793 11440 0 -1 4202496 961 0 0 0 0 0 0 0 25 0 1 0 902762847 23580672 703 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246511871464 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14793/statm: 5757 717 530 9 0 124 0

[startup+0.0645971 s]
/proc/loadavg: 2.00 2.02 1.94 2/196 14793
/proc/meminfo: memFree=1577416/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10538320 CPUtime=0.05 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 11694 0 1 0 4 1 0 0 25 0 18 0 902762847 10791239680 11389 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2634580 11389 1733 9 0 2625321 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538320

[startup+0.104587 s]
/proc/loadavg: 2.00 2.02 1.94 2/196 14793
/proc/meminfo: memFree=1577416/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10605032 CPUtime=0.1 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 13120 0 1 0 9 1 0 0 25 0 18 0 902762847 10859552768 12815 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2651258 12815 2092 9 0 2641992 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605032

[startup+0.300562 s]
/proc/loadavg: 2.00 2.02 1.94 2/196 14793
/proc/meminfo: memFree=1577416/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10606724 CPUtime=0.46 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 16678 0 1 0 45 1 0 0 25 0 18 0 902762847 10861285376 15614 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2651681 15614 2204 9 0 2642415 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10606724

[startup+0.700481 s]
/proc/loadavg: 2.00 2.02 1.94 2/196 14793
/proc/meminfo: memFree=1577416/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10613416 CPUtime=1.55 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 24006 0 1 0 153 2 0 0 25 0 19 0 902762847 10868137984 20003 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2653354 20003 2235 9 0 2644088 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10613416

[startup+1.50135 s]
/proc/loadavg: 2.00 2.02 1.94 3/215 14812
/proc/meminfo: memFree=1502512/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10613416 CPUtime=2.35 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 25788 0 1 0 232 3 0 0 25 0 19 0 902762847 10868137984 21784 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2653354 21784 2237 9 0 2644088 0
[pid=14793/tid=14795] ppid=14791 vsize=10613416 CPUtime=1.48 cores=0,2,4,6
/proc/14793/task/14795/stat : 14795 (java) R 14791 14793 11440 0 -1 4202560 16893 0 1 0 146 2 0 0 25 0 19 0 902762847 10868137984 21784 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 46912505672700 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21784 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14802] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14802/stat : 14802 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14803] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14803/stat : 14803 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14804] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14804/stat : 14804 (java) S 14791 14793 11440 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902762850 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 0 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14805] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14805/stat : 14805 (java) S 14791 14793 11440 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902762850 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14806] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14806/stat : 14806 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762850 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14807] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14807/stat : 14807 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528657841 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14808] ppid=14791 vsize=10613416 CPUtime=0.42 cores=0,2,4,6
/proc/14793/task/14808/stat : 14808 (java) S 14791 14793 11440 0 -1 4202560 3390 0 0 0 42 0 0 0 17 0 19 0 902762853 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14809] ppid=14791 vsize=10613416 CPUtime=0.43 cores=0,2,4,6
/proc/14793/task/14809/stat : 14809 (java) S 14791 14793 11440 0 -1 4202560 4344 0 0 0 43 0 0 0 16 0 19 0 902762853 10868137984 21787 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14810] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14810/stat : 14810 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10868137984 21791 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14811] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14811/stat : 14811 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902762853 10868137984 21791 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14812] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14812/stat : 14812 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762884 10868137984 21791 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10613416

[startup+3.10107 s]
/proc/loadavg: 2.00 2.02 1.94 3/215 14812
/proc/meminfo: memFree=1492468/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10613416 CPUtime=3.97 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 29297 0 1 0 394 3 0 0 25 0 19 0 902762847 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2653354 25291 2237 9 0 2644088 0
[pid=14793/tid=14795] ppid=14791 vsize=10613416 CPUtime=3.08 cores=0,2,4,6
/proc/14793/task/14795/stat : 14795 (java) R 14791 14793 11440 0 -1 4202560 20398 0 1 0 306 2 0 0 25 0 19 0 902762847 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 46912505686392 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25291 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14802] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14802/stat : 14802 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14803] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14803/stat : 14803 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762849 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14804] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14804/stat : 14804 (java) S 14791 14793 11440 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902762850 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 0 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14805] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14805/stat : 14805 (java) S 14791 14793 11440 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902762850 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14806] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14806/stat : 14806 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762850 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14807] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14807/stat : 14807 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528657841 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14808] ppid=14791 vsize=10613416 CPUtime=0.43 cores=0,2,4,6
/proc/14793/task/14808/stat : 14808 (java) S 14791 14793 11440 0 -1 4202560 3391 0 0 0 43 0 0 0 16 0 19 0 902762853 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14809] ppid=14791 vsize=10613416 CPUtime=0.44 cores=0,2,4,6
/proc/14793/task/14809/stat : 14809 (java) S 14791 14793 11440 0 -1 4202560 4347 0 0 0 44 0 0 0 16 0 19 0 902762853 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14810] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14810/stat : 14810 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14811] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14811/stat : 14811 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902762853 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14812] ppid=14791 vsize=10613416 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14812/stat : 14812 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762884 10868137984 25292 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10613416

[startup+6.30146 s]
/proc/loadavg: 2.00 2.02 1.94 3/215 14812
/proc/meminfo: memFree=1471376/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10611820 CPUtime=7.39 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 33433 0 1 0 735 4 0 0 25 0 19 0 902762847 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2652955 28530 2263 9 0 2643689 0
[pid=14793/tid=14795] ppid=14791 vsize=10611820 CPUtime=6.2 cores=0,2,4,6
/proc/14793/task/14795/stat : 14795 (java) R 14791 14793 11440 0 -1 4202560 21501 0 1 0 618 2 0 0 25 0 19 0 902762847 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 46912505671392 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 11440 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 11440 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 11440 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 11440 0 -1 4202560 439 0 0 0 0 0 0 0 16 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14802] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14802/stat : 14802 (java) S 14791 14793 11440 0 -1 4202560 335 0 0 0 0 0 0 0 16 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14803] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14803/stat : 14803 (java) S 14791 14793 11440 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 19 0 902762849 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14804] ppid=14791 vsize=10611820 CPUtime=0.06 cores=0,2,4,6
/proc/14793/task/14804/stat : 14804 (java) S 14791 14793 11440 0 -1 4202560 1397 0 0 0 6 0 0 0 15 0 19 0 902762850 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 0 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14805] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14805/stat : 14805 (java) S 14791 14793 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14806] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14806/stat : 14806 (java) S 14791 14793 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14807] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14807/stat : 14807 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528657841 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14808] ppid=14791 vsize=10611820 CPUtime=0.46 cores=0,2,4,6
/proc/14793/task/14808/stat : 14808 (java) S 14791 14793 11440 0 -1 4202560 3398 0 0 0 46 0 0 0 16 0 19 0 902762853 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14809] ppid=14791 vsize=10611820 CPUtime=0.61 cores=0,2,4,6
/proc/14793/task/14809/stat : 14809 (java) S 14791 14793 11440 0 -1 4202560 4481 0 0 0 61 0 0 0 15 0 19 0 902762853 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14810] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14810/stat : 14810 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14811] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14811/stat : 14811 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902762853 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14812] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14812/stat : 14812 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762884 10866503680 28530 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 10611820

[startup+12.7013 s]

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

/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 11440 0 -1 4202560 158 0 0 0 22 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 11440 0 -1 4202560 39 0 0 0 23 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 11440 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=10611820 CPUtime=0.22 cores=0,2,4,6
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 11440 0 -1 4202560 27 0 0 0 22 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 11440 0 -1 4202560 268 0 0 0 24 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 11440 0 -1 4202560 460 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14802] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14802/stat : 14802 (java) S 14791 14793 11440 0 -1 4202560 353 0 0 0 23 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14803] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14803/stat : 14803 (java) S 14791 14793 11440 0 -1 4202560 360 0 0 0 24 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14804] ppid=14791 vsize=10611820 CPUtime=12.78 cores=0,2,4,6
/proc/14793/task/14804/stat : 14804 (java) S 14791 14793 11440 0 -1 4202560 2043 0 0 0 1267 11 0 0 15 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 0 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14805] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14805/stat : 14805 (java) S 14791 14793 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14806] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14806/stat : 14806 (java) S 14791 14793 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14807] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14807/stat : 14807 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528657841 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14808] ppid=14791 vsize=10611820 CPUtime=0.46 cores=0,2,4,6
/proc/14793/task/14808/stat : 14808 (java) S 14791 14793 11440 0 -1 4202560 3398 0 0 0 46 0 0 0 16 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14809] ppid=14791 vsize=10611820 CPUtime=0.64 cores=0,2,4,6
/proc/14793/task/14809/stat : 14809 (java) S 14791 14793 11440 0 -1 4202560 4489 0 0 0 64 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14810] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14810/stat : 14810 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14811] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14811/stat : 14811 (java) S 14791 14793 11440 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14812] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14812/stat : 14812 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762884 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.47
Current children cumulated vsize (KiB) 10611820

[startup+406.301 s]
/proc/loadavg: 2.05 2.01 1.94 3/215 15450
/proc/meminfo: memFree=1478496/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10611820 CPUtime=408.27 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 35026 0 1 0 40807 20 0 0 25 0 19 0 902762847 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2652955 29333 2264 9 0 2643689 0
[pid=14793/tid=14795] ppid=14791 vsize=10611820 CPUtime=392.48 cores=0,2,4,6
/proc/14793/task/14795/stat : 14795 (java) R 14791 14793 11440 0 -1 4202560 22231 0 1 0 39243 5 0 0 25 0 19 0 902762847 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 46912505714896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=10611820 CPUtime=0.22 cores=0,2,4,6
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 11440 0 -1 4202560 158 0 0 0 22 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 11440 0 -1 4202560 39 0 0 0 23 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 11440 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=10611820 CPUtime=0.22 cores=0,2,4,6
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 11440 0 -1 4202560 27 0 0 0 22 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 11440 0 -1 4202560 268 0 0 0 24 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 11440 0 -1 4202560 460 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14802] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14802/stat : 14802 (java) S 14791 14793 11440 0 -1 4202560 353 0 0 0 23 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14803] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14803/stat : 14803 (java) S 14791 14793 11440 0 -1 4202560 360 0 0 0 24 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14804] ppid=14791 vsize=10611820 CPUtime=12.8 cores=0,2,4,6
/proc/14793/task/14804/stat : 14804 (java) S 14791 14793 11440 0 -1 4202560 2043 0 0 0 1269 11 0 0 15 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 0 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14805] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14805/stat : 14805 (java) S 14791 14793 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14806] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14806/stat : 14806 (java) S 14791 14793 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14807] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14807/stat : 14807 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528657841 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14808] ppid=14791 vsize=10611820 CPUtime=0.46 cores=0,2,4,6
/proc/14793/task/14808/stat : 14808 (java) S 14791 14793 11440 0 -1 4202560 3398 0 0 0 46 0 0 0 16 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14809] ppid=14791 vsize=10611820 CPUtime=0.64 cores=0,2,4,6
/proc/14793/task/14809/stat : 14809 (java) S 14791 14793 11440 0 -1 4202560 4489 0 0 0 64 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14810] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14810/stat : 14810 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14811] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14811/stat : 14811 (java) S 14791 14793 11440 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14812] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14812/stat : 14812 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762884 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 10611820

[startup+406.501 s]
/proc/loadavg: 2.05 2.01 1.94 3/215 15450
/proc/meminfo: memFree=1478496/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10611820 CPUtime=408.47 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 35027 0 1 0 40827 20 0 0 25 0 19 0 902762847 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2652955 29333 2264 9 0 2643689 0
[pid=14793/tid=14795] ppid=14791 vsize=10611820 CPUtime=392.66 cores=0,2,4,6
/proc/14793/task/14795/stat : 14795 (java) R 14791 14793 11440 0 -1 4202560 22232 0 1 0 39261 5 0 0 25 0 19 0 902762847 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 46912505707248 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=10611820 CPUtime=0.22 cores=0,2,4,6
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 11440 0 -1 4202560 158 0 0 0 22 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 11440 0 -1 4202560 39 0 0 0 23 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 11440 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=10611820 CPUtime=0.22 cores=0,2,4,6
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 11440 0 -1 4202560 27 0 0 0 22 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 11440 0 -1 4202560 268 0 0 0 24 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 11440 0 -1 4202560 460 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14802] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14802/stat : 14802 (java) S 14791 14793 11440 0 -1 4202560 353 0 0 0 23 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14803] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14803/stat : 14803 (java) S 14791 14793 11440 0 -1 4202560 360 0 0 0 24 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14804] ppid=14791 vsize=10611820 CPUtime=12.82 cores=0,2,4,6
/proc/14793/task/14804/stat : 14804 (java) S 14791 14793 11440 0 -1 4202560 2043 0 0 0 1271 11 0 0 15 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 0 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14805] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14805/stat : 14805 (java) S 14791 14793 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14806] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14806/stat : 14806 (java) S 14791 14793 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14807] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14807/stat : 14807 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528657841 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14808] ppid=14791 vsize=10611820 CPUtime=0.46 cores=0,2,4,6
/proc/14793/task/14808/stat : 14808 (java) S 14791 14793 11440 0 -1 4202560 3398 0 0 0 46 0 0 0 16 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14809] ppid=14791 vsize=10611820 CPUtime=0.64 cores=0,2,4,6
/proc/14793/task/14809/stat : 14809 (java) S 14791 14793 11440 0 -1 4202560 4489 0 0 0 64 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14810] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14810/stat : 14810 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14811] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14811/stat : 14811 (java) S 14791 14793 11440 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14812] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14812/stat : 14812 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762884 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 10611820

[startup+406.602 s]
/proc/loadavg: 2.05 2.01 1.94 3/215 15450
/proc/meminfo: memFree=1478496/32951124 swapFree=67063552/67111528
[pid=14793] ppid=14791 vsize=10611820 CPUtime=408.57 cores=0,2,4,6
/proc/14793/stat : 14793 (java) S 14791 14793 11440 0 -1 4202496 35027 0 1 0 40837 20 0 0 25 0 19 0 902762847 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14793/statm: 2652955 29333 2264 9 0 2643689 0
[pid=14793/tid=14795] ppid=14791 vsize=10611820 CPUtime=392.76 cores=0,2,4,6
/proc/14793/task/14795/stat : 14795 (java) R 14791 14793 11440 0 -1 4202560 22232 0 1 0 39271 5 0 0 25 0 19 0 902762847 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 46912505686964 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14793/tid=14796] ppid=14791 vsize=10611820 CPUtime=0.22 cores=0,2,4,6
/proc/14793/task/14796/stat : 14796 (java) S 14791 14793 11440 0 -1 4202560 158 0 0 0 22 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14797] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14797/stat : 14797 (java) S 14791 14793 11440 0 -1 4202560 39 0 0 0 23 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14798] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14798/stat : 14798 (java) S 14791 14793 11440 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14799] ppid=14791 vsize=10611820 CPUtime=0.22 cores=0,2,4,6
/proc/14793/task/14799/stat : 14799 (java) S 14791 14793 11440 0 -1 4202560 27 0 0 0 22 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14800] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14800/stat : 14800 (java) S 14791 14793 11440 0 -1 4202560 268 0 0 0 24 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14801] ppid=14791 vsize=10611820 CPUtime=0.21 cores=0,2,4,6
/proc/14793/task/14801/stat : 14801 (java) S 14791 14793 11440 0 -1 4202560 460 0 0 0 21 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14802] ppid=14791 vsize=10611820 CPUtime=0.23 cores=0,2,4,6
/proc/14793/task/14802/stat : 14802 (java) S 14791 14793 11440 0 -1 4202560 353 0 0 0 23 0 0 0 16 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14803] ppid=14791 vsize=10611820 CPUtime=0.24 cores=0,2,4,6
/proc/14793/task/14803/stat : 14803 (java) S 14791 14793 11440 0 -1 4202560 360 0 0 0 24 0 0 0 15 0 19 0 902762849 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14804] ppid=14791 vsize=10611820 CPUtime=12.82 cores=0,2,4,6
/proc/14793/task/14804/stat : 14804 (java) S 14791 14793 11440 0 -1 4202560 2043 0 0 0 1271 11 0 0 15 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 0 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14805] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14805/stat : 14805 (java) S 14791 14793 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14806] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14806/stat : 14806 (java) S 14791 14793 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902762850 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14807] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14807/stat : 14807 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528657841 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
[pid=14793/tid=14808] ppid=14791 vsize=10611820 CPUtime=0.46 cores=0,2,4,6
/proc/14793/task/14808/stat : 14808 (java) S 14791 14793 11440 0 -1 4202560 3398 0 0 0 46 0 0 0 16 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14809] ppid=14791 vsize=10611820 CPUtime=0.64 cores=0,2,4,6
/proc/14793/task/14809/stat : 14809 (java) S 14791 14793 11440 0 -1 4202560 4489 0 0 0 64 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 4 0 0 0
[pid=14793/tid=14810] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14810/stat : 14810 (java) S 14791 14793 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650137 0 4 0 16800975 18446604446610756608 0 0 -1 2 0 0 0
[pid=14793/tid=14811] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14811/stat : 14811 (java) S 14791 14793 11440 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902762853 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 0 0 0 0
[pid=14793/tid=14812] ppid=14791 vsize=10611820 CPUtime=0 cores=0,2,4,6
/proc/14793/task/14812/stat : 14812 (java) S 14791 14793 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902762884 10866503680 29333 33554432000 1073741824 1073778376 140734672478656 18446744073709551615 246528650752 0 4 0 16800975 18446604446610756608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 10611820

Child status: 30
Real time (s): 406.689
CPU time (s): 408.676
CPU user time (s): 408.465
CPU system time (s): 0.210967
CPU usage (%): 100.489
Max. virtual memory (cumulated for all children) (KiB): 10615892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 408.465
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35056
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28492
involuntary context switches= 13455

runsolver used 0.791879 second user time and 1.46378 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-12 22:47:27
IDJOB=3492181
IDBENCH=79308
IDSOLVER=1982
FILE ID=node134/3492181-1307911646
RUNJOBID= node134-1307908842-14200
PBS_JOBID= 13559572
Free space on /tmp= 1424 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492181-1307911646/watcher-3492181-1307911646 -o /tmp/evaluation-result-3492181-1307911646/solver-3492181-1307911646 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492181-1307911646.wbo

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

MD5SUM BENCH= 889361cc7af818b09040d50027029365
RANDOM SEED=1725890558

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1577448 kB
Buffers:         74372 kB
Cached:       30238424 kB
SwapCached:      10044 kB
Active:       15509144 kB
Inactive:     14918016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1577448 kB
SwapTotal:    67111528 kB
SwapFree:     67063552 kB
Dirty:             492 kB
Writeback:           0 kB
AnonPages:      112404 kB
Mapped:          18540 kB
Slab:           883736 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10524016 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 1424 MiB
End job on node134 at 2011-06-12 22:54:13