Trace number 3492077

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 497.545 495.009

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
MD5SUMec85c0538058c3457da9eddcb3b315b2
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 benchmark64.4622
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/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@38540408
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-3492077-1307911258.wbo
0.10/0.11	c reading problem ... 
0.50/0.32	c ... done. Wall clock time 0.209s.
0.50/0.32	c #vars     2938
0.50/0.32	c #constraints  2707
0.50/0.32	c constraints type 
0.50/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.50/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.08/0.52	c SATISFIABLE
1.08/0.52	c OPTIMIZING...
1.08/0.52	c Got one! Elapsed wall clock time (in seconds):0.41
1.08/0.52	o 251
1.08/0.57	c Got one! Elapsed wall clock time (in seconds):0.458
1.08/0.57	o 244
1.08/0.59	c Got one! Elapsed wall clock time (in seconds):0.486
1.08/0.59	o 174
1.45/0.72	c Got one! Elapsed wall clock time (in seconds):0.61
1.45/0.72	o 170
1.58/0.81	c Got one! Elapsed wall clock time (in seconds):0.707
1.58/0.81	o 149
1.74/0.90	c Got one! Elapsed wall clock time (in seconds):0.789
1.74/0.90	o 147
1.74/0.93	c Got one! Elapsed wall clock time (in seconds):0.818
1.74/0.93	o 141
1.74/0.97	c Got one! Elapsed wall clock time (in seconds):0.858
1.74/0.97	o 136
1.86/1.02	c Got one! Elapsed wall clock time (in seconds):0.915
1.86/1.02	o 122
1.86/1.09	c Got one! Elapsed wall clock time (in seconds):0.98
1.86/1.09	o 119
2.06/1.29	c Got one! Elapsed wall clock time (in seconds):1.184
2.06/1.29	o 113
2.25/1.49	c Got one! Elapsed wall clock time (in seconds):1.382
2.25/1.49	o 101
2.35/1.57	c Got one! Elapsed wall clock time (in seconds):1.46
2.35/1.57	o 91
2.45/1.69	c Got one! Elapsed wall clock time (in seconds):1.586
2.45/1.69	o 87
2.65/1.86	c Got one! Elapsed wall clock time (in seconds):1.751
2.65/1.86	o 84
2.75/1.99	c Got one! Elapsed wall clock time (in seconds):1.882
2.75/1.99	o 56
2.85/2.05	c Got one! Elapsed wall clock time (in seconds):1.943
2.85/2.05	o 45
2.85/2.09	c Got one! Elapsed wall clock time (in seconds):1.978
2.85/2.09	o 41
3.26/2.43	c Got one! Elapsed wall clock time (in seconds):2.32
3.26/2.43	o 28
3.39/2.56	c Got one! Elapsed wall clock time (in seconds):2.448
3.39/2.56	o 24
3.52/2.63	c Got one! Elapsed wall clock time (in seconds):2.519
3.52/2.63	o 21
3.52/2.67	c Got one! Elapsed wall clock time (in seconds):2.561
3.52/2.67	o 12
3.62/2.73	c Got one! Elapsed wall clock time (in seconds):2.62
3.62/2.73	o 11
3.82/2.98	c cleaning 6964 clauses out of 13932 with flag 2000/13932
4.38/3.48	c cleaning 6481 clauses out of 12968 with flag 8000/19932
5.10/3.82	c Got one! Elapsed wall clock time (in seconds):3.711
5.10/3.82	o 10
5.31/3.96	c Got one! Elapsed wall clock time (in seconds):3.856
5.31/3.96	o 8
5.73/4.39	c cleaning 8439 clauses out of 16883 with flag 4002/30328
5.85/4.43	c Got one! Elapsed wall clock time (in seconds):4.327
5.85/4.43	o 5
6.27/4.84	c cleaning 6868 clauses out of 13747 with flag 5000/35631
6.67/5.26	c cleaning 6435 clauses out of 12879 with flag 11000/41631
6.87/5.45	c Got one! Elapsed wall clock time (in seconds):5.342
6.87/5.45	o 2
6.97/5.57	c cleaning 5853 clauses out of 11716 with flag 2000/46903
7.37/5.97	c cleaning 5924 clauses out of 11864 with flag 8001/52904
7.77/6.37	c cleaning 6466 clauses out of 12940 with flag 15001/59904
8.27/6.82	c cleaning 7225 clauses out of 14474 with flag 23001/67904
8.78/7.36	c cleaning 8115 clauses out of 16248 with flag 32000/76903
9.38/7.98	c cleaning 9055 clauses out of 18134 with flag 42001/86904
9.98/8.57	c cleaning 9534 clauses out of 19079 with flag 52001/96904
10.68/9.20	c cleaning 9769 clauses out of 19545 with flag 62001/106904
11.29/9.82	c cleaning 9879 clauses out of 19775 with flag 72000/116903
11.88/10.48	c cleaning 9945 clauses out of 19897 with flag 82001/126904
12.49/11.08	c cleaning 9966 clauses out of 19953 with flag 92002/136905
12.68/11.29	c Got one! Elapsed wall clock time (in seconds):11.18
12.68/11.29	o 1
12.88/11.42	c cleaning 7881 clauses out of 15776 with flag 2001/142694
13.19/11.77	c cleaning 6938 clauses out of 13896 with flag 8002/148695
13.59/12.14	c cleaning 6969 clauses out of 13956 with flag 15000/155693
13.99/12.55	c cleaning 7487 clauses out of 14987 with flag 23000/163693
14.49/13.03	c cleaning 8246 clauses out of 16502 with flag 32002/172695
14.98/13.59	c cleaning 9125 clauses out of 18255 with flag 42001/182694
15.59/14.12	c cleaning 9558 clauses out of 19131 with flag 52002/192695
16.09/14.62	c cleaning 9780 clauses out of 19571 with flag 62000/202693
16.59/15.11	c cleaning 9892 clauses out of 19791 with flag 72000/212693
17.09/15.62	c cleaning 9945 clauses out of 19899 with flag 82000/222693
17.59/16.15	c cleaning 9976 clauses out of 19957 with flag 92003/232696
18.09/16.66	c cleaning 9980 clauses out of 19978 with flag 102000/242693
18.60/17.18	c cleaning 9991 clauses out of 19998 with flag 112000/252693
19.20/17.70	c cleaning 10000 clauses out of 20011 with flag 122004/262697
19.70/18.26	c cleaning 9992 clauses out of 20007 with flag 132000/272693
20.20/18.76	c cleaning 10004 clauses out of 20015 with flag 142000/282693
20.70/19.26	c cleaning 10002 clauses out of 20013 with flag 152002/292695
21.20/19.76	c cleaning 9997 clauses out of 20010 with flag 162001/302694
21.70/20.27	c cleaning 10001 clauses out of 20016 with flag 172004/312697
22.20/20.77	c cleaning 9994 clauses out of 20013 with flag 182002/322695
22.80/21.30	c cleaning 9999 clauses out of 20017 with flag 192000/332693
23.30/21.83	c cleaning 10006 clauses out of 20021 with flag 202003/342696
23.80/22.31	c cleaning 10005 clauses out of 20016 with flag 212004/352697
24.30/22.80	c cleaning 10001 clauses out of 20009 with flag 222002/362695
24.81/23.39	c cleaning 10000 clauses out of 20008 with flag 232002/372695
25.41/23.92	c cleaning 9998 clauses out of 20006 with flag 242000/382693
25.92/24.44	c cleaning 10000 clauses out of 20009 with flag 252001/392694
26.44/24.97	c cleaning 10001 clauses out of 20009 with flag 262001/402694
26.94/25.46	c cleaning 10002 clauses out of 20009 with flag 272002/412695
27.54/26.00	c cleaning 9997 clauses out of 20005 with flag 282000/422693
28.04/26.56	c cleaning 10001 clauses out of 20010 with flag 292002/432695
28.64/27.12	c cleaning 9998 clauses out of 20007 with flag 302000/442693
29.14/27.64	c cleaning 9999 clauses out of 20010 with flag 312001/452694
29.64/28.15	c cleaning 9995 clauses out of 20010 with flag 322000/462693
30.15/28.67	c cleaning 10001 clauses out of 20015 with flag 332000/472693
30.64/29.18	c cleaning 10005 clauses out of 20015 with flag 342001/482694
31.15/29.67	c cleaning 9997 clauses out of 20010 with flag 352001/492694
31.65/30.16	c cleaning 9999 clauses out of 20012 with flag 362000/502693
32.15/30.69	c cleaning 10004 clauses out of 20014 with flag 372001/512694
32.75/31.25	c cleaning 9999 clauses out of 20009 with flag 382000/522693
33.25/31.77	c cleaning 10003 clauses out of 20011 with flag 392001/532694
33.85/32.36	c cleaning 10001 clauses out of 20010 with flag 402003/542696
34.35/32.87	c cleaning 9996 clauses out of 20006 with flag 412000/552693
34.85/33.39	c cleaning 10000 clauses out of 20010 with flag 422000/562693
35.45/33.91	c cleaning 10003 clauses out of 20011 with flag 432001/572694
35.96/34.43	c cleaning 9989 clauses out of 20007 with flag 442000/582693
36.46/34.93	c cleaning 10001 clauses out of 20019 with flag 452001/592694
36.96/35.45	c cleaning 10008 clauses out of 20017 with flag 462000/602693
37.46/35.97	c cleaning 9998 clauses out of 20010 with flag 472001/612694
37.96/36.48	c cleaning 9999 clauses out of 20011 with flag 482000/622693
38.56/37.03	c cleaning 10001 clauses out of 20013 with flag 492001/632694
39.06/37.52	c cleaning 10000 clauses out of 20011 with flag 502000/642693
39.56/38.00	c cleaning 9998 clauses out of 20012 with flag 512001/652694
39.97/38.47	c cleaning 10003 clauses out of 20013 with flag 522000/662693
40.46/38.92	c cleaning 10003 clauses out of 20011 with flag 532001/672694
40.97/39.42	c cleaning 10002 clauses out of 20008 with flag 542001/682694
41.37/39.90	c cleaning 9995 clauses out of 20005 with flag 552000/692693
41.87/40.37	c cleaning 9998 clauses out of 20010 with flag 562000/702693
42.37/40.86	c cleaning 9998 clauses out of 20013 with flag 572001/712694
42.87/41.36	c cleaning 9999 clauses out of 20014 with flag 582000/722693
43.38/41.86	c cleaning 10002 clauses out of 20015 with flag 592000/732693
43.87/42.34	c cleaning 10005 clauses out of 20015 with flag 602002/742695
44.38/42.86	c cleaning 9998 clauses out of 20009 with flag 612001/752694
44.97/43.42	c cleaning 9995 clauses out of 20010 with flag 622000/762693
45.58/44.01	c cleaning 10006 clauses out of 20015 with flag 632000/772693
46.07/44.54	c cleaning 9996 clauses out of 20009 with flag 642000/782693
46.58/45.05	c cleaning 10000 clauses out of 20015 with flag 652002/792695
47.08/45.55	c cleaning 10002 clauses out of 20013 with flag 662000/802693
47.58/46.03	c cleaning 10003 clauses out of 20011 with flag 672000/812693
48.08/46.52	c cleaning 9999 clauses out of 20009 with flag 682001/822694
48.58/47.03	c cleaning 9996 clauses out of 20009 with flag 692000/832693
49.08/47.56	c cleaning 10004 clauses out of 20016 with flag 702003/842696
49.58/48.06	c cleaning 9997 clauses out of 20010 with flag 712001/852694
50.08/48.57	c cleaning 9998 clauses out of 20012 with flag 722000/862693
50.58/49.10	c cleaning 10003 clauses out of 20014 with flag 732000/872693
51.19/49.69	c cleaning 10000 clauses out of 20012 with flag 742001/882694
51.79/50.20	c cleaning 9994 clauses out of 20011 with flag 752000/892693
52.19/50.69	c cleaning 10007 clauses out of 20020 with flag 762003/902696
52.79/51.24	c cleaning 9999 clauses out of 20010 with flag 772000/912693
53.30/51.76	c cleaning 10002 clauses out of 20013 with flag 782002/922695
53.79/52.26	c cleaning 10000 clauses out of 20009 with flag 792000/932693
54.30/52.79	c cleaning 9997 clauses out of 20010 with flag 802001/942694
54.89/53.31	c cleaning 10001 clauses out of 20013 with flag 812001/952694
55.41/53.81	c cleaning 10003 clauses out of 20014 with flag 822003/962696
55.90/54.31	c cleaning 9996 clauses out of 20010 with flag 832002/972695
56.30/54.79	c cleaning 10006 clauses out of 20014 with flag 842002/982695
56.91/55.34	c cleaning 10000 clauses out of 20006 with flag 852000/992693
57.41/55.88	c cleaning 9996 clauses out of 20007 with flag 862001/1002694
58.01/56.43	c cleaning 9997 clauses out of 20010 with flag 872000/1012693
58.51/56.95	c cleaning 10002 clauses out of 20014 with flag 882001/1022694
59.01/57.47	c cleaning 9999 clauses out of 20011 with flag 892000/1032693
59.51/57.99	c cleaning 10002 clauses out of 20014 with flag 902002/1042695
60.11/58.51	c cleaning 10000 clauses out of 20010 with flag 912000/1052693
60.61/59.07	c cleaning 10002 clauses out of 20012 with flag 922002/1062695
61.21/59.65	c cleaning 9996 clauses out of 20008 with flag 932000/1072693
61.71/60.19	c cleaning 10002 clauses out of 20013 with flag 942001/1082694
62.31/60.74	c cleaning 10000 clauses out of 20012 with flag 952002/1092695
62.81/61.29	c cleaning 9998 clauses out of 20012 with flag 962002/1102695
63.41/61.82	c cleaning 9998 clauses out of 20014 with flag 972002/1112695
63.82/62.27	c cleaning 10001 clauses out of 20014 with flag 982000/1122693
64.32/62.77	c cleaning 9999 clauses out of 20015 with flag 992002/1132695
64.92/63.33	c cleaning 10004 clauses out of 20017 with flag 1002003/1142696
65.43/63.84	c cleaning 9994 clauses out of 20010 with flag 1012000/1152693
65.92/64.35	c cleaning 10003 clauses out of 20016 with flag 1022000/1162693
66.52/64.91	c cleaning 10001 clauses out of 20013 with flag 1032000/1172693
66.92/65.40	c cleaning 10002 clauses out of 20012 with flag 1042000/1182693
67.53/65.95	c cleaning 10001 clauses out of 20010 with flag 1052000/1192693
68.02/66.44	c cleaning 9996 clauses out of 20011 with flag 1062002/1202695
68.52/66.95	c cleaning 10000 clauses out of 20013 with flag 1072000/1212693
69.02/67.45	c cleaning 9995 clauses out of 20013 with flag 1082000/1222693
69.53/67.97	c cleaning 10003 clauses out of 20019 with flag 1092001/1232694
70.13/68.52	c cleaning 9996 clauses out of 20015 with flag 1102000/1242693
70.63/69.05	c cleaning 10007 clauses out of 20019 with flag 1112000/1252693
71.13/69.58	c cleaning 10001 clauses out of 20012 with flag 1122000/1262693
71.73/70.12	c cleaning 9996 clauses out of 20013 with flag 1132002/1272695
72.23/70.67	c cleaning 10004 clauses out of 20015 with flag 1142000/1282693
72.73/71.19	c cleaning 10002 clauses out of 20011 with flag 1152000/1292693
73.33/71.73	c cleaning 9998 clauses out of 20009 with flag 1162000/1302693
73.84/72.25	c cleaning 9996 clauses out of 20012 with flag 1172001/1312694
74.34/72.74	c cleaning 10002 clauses out of 20015 with flag 1182000/1322693
74.84/73.26	c cleaning 10003 clauses out of 20013 with flag 1192000/1332693
75.34/73.77	c cleaning 10001 clauses out of 20012 with flag 1202002/1342695
75.84/74.28	c cleaning 10000 clauses out of 20009 with flag 1212000/1352693
76.34/74.79	c cleaning 9998 clauses out of 20009 with flag 1222000/1362693
76.84/75.28	c cleaning 10000 clauses out of 20012 with flag 1232001/1372694
77.34/75.78	c cleaning 10002 clauses out of 20016 with flag 1242005/1382698
77.84/76.29	c cleaning 9999 clauses out of 20009 with flag 1252000/1392693
78.34/76.78	c cleaning 10002 clauses out of 20011 with flag 1262001/1402694
78.84/77.29	c cleaning 9998 clauses out of 20008 with flag 1272000/1412693
79.34/77.79	c cleaning 9999 clauses out of 20012 with flag 1282002/1422695
79.84/78.30	c cleaning 10000 clauses out of 20012 with flag 1292001/1432694
80.44/78.82	c cleaning 9997 clauses out of 20014 with flag 1302003/1442696
80.94/79.38	c cleaning 10004 clauses out of 20016 with flag 1312002/1452695
81.45/79.89	c cleaning 9996 clauses out of 20010 with flag 1322000/1462693
81.95/80.39	c cleaning 10001 clauses out of 20015 with flag 1332001/1472694
82.55/80.93	c cleaning 10003 clauses out of 20014 with flag 1342001/1482694
83.05/81.43	c cleaning 10002 clauses out of 20011 with flag 1352001/1492694
83.55/81.95	c cleaning 9993 clauses out of 20008 with flag 1362000/1502693
84.05/82.48	c cleaning 10001 clauses out of 20016 with flag 1372001/1512694
84.65/83.00	c cleaning 10001 clauses out of 20016 with flag 1382002/1522695
85.16/83.58	c cleaning 9995 clauses out of 20013 with flag 1392000/1532693
85.75/84.10	c cleaning 10005 clauses out of 20019 with flag 1402001/1542694
86.26/84.62	c cleaning 10002 clauses out of 20013 with flag 1412000/1552693
86.75/85.15	c cleaning 10000 clauses out of 20013 with flag 1422002/1562695
87.36/85.77	c cleaning 10000 clauses out of 20012 with flag 1432001/1572694
87.85/86.29	c cleaning 10000 clauses out of 20012 with flag 1442001/1582694
88.46/86.80	c cleaning 10001 clauses out of 20011 with flag 1452000/1592693
88.96/87.33	c cleaning 10001 clauses out of 20012 with flag 1462002/1602695
89.46/87.85	c cleaning 9995 clauses out of 20010 with flag 1472001/1612694
90.06/88.40	c cleaning 9996 clauses out of 20014 with flag 1482000/1622693
90.56/88.93	c cleaning 9998 clauses out of 20019 with flag 1492001/1632694
91.06/89.47	c cleaning 10003 clauses out of 20022 with flag 1502002/1642695
91.66/90.01	c cleaning 9997 clauses out of 20017 with flag 1512000/1652693
92.16/90.52	c cleaning 10003 clauses out of 20020 with flag 1522000/1662693
92.66/91.05	c cleaning 10002 clauses out of 20018 with flag 1532001/1672694
93.17/91.58	c cleaning 10001 clauses out of 20015 with flag 1542000/1682693
93.77/92.11	c cleaning 10001 clauses out of 20014 with flag 1552000/1692693
94.27/92.62	c cleaning 10000 clauses out of 20013 with flag 1562000/1702693
94.77/93.13	c cleaning 9999 clauses out of 20014 with flag 1572001/1712694
95.27/93.69	c cleaning 10002 clauses out of 20017 with flag 1582003/1722696
95.87/94.23	c cleaning 10003 clauses out of 20015 with flag 1592003/1732696
96.38/94.71	c cleaning 10002 clauses out of 20011 with flag 1602002/1742695
96.88/95.28	c cleaning 10000 clauses out of 20010 with flag 1612003/1752696
97.48/95.85	c cleaning 9988 clauses out of 20008 with flag 1622001/1762694
98.08/96.47	c cleaning 9997 clauses out of 20021 with flag 1632002/1772695
98.68/97.05	c cleaning 10004 clauses out of 20023 with flag 1642001/1782694
99.18/97.58	c cleaning 10001 clauses out of 20018 with flag 1652000/1792693
99.78/98.11	c cleaning 10004 clauses out of 20019 with flag 1662002/1802695
100.28/98.65	c cleaning 10001 clauses out of 20013 with flag 1672000/1812693
100.88/99.23	c cleaning 9994 clauses out of 20013 with flag 1682001/1822694
101.48/99.80	c cleaning 10001 clauses out of 20020 with flag 1692002/1832695
101.98/100.31	c cleaning 9996 clauses out of 20017 with flag 1702000/1842693
102.49/100.83	c cleaning 10000 clauses out of 20022 with flag 1712001/1852694
102.99/101.35	c cleaning 10001 clauses out of 20022 with flag 1722001/1862694
103.49/101.86	c cleaning 10003 clauses out of 20020 with flag 1732000/1872693
104.09/102.40	c cleaning 9995 clauses out of 20018 with flag 1742001/1882694
104.59/102.91	c cleaning 10008 clauses out of 20024 with flag 1752002/1892695
105.00/103.39	c cleaning 10002 clauses out of 20014 with flag 1762000/1902693
105.59/103.94	c cleaning 10000 clauses out of 20012 with flag 1772000/1912693
106.10/104.47	c cleaning 9997 clauses out of 20012 with flag 1782000/1922693
106.59/104.98	c cleaning 10001 clauses out of 20015 with flag 1792000/1932693
107.10/105.50	c cleaning 10000 clauses out of 20014 with flag 1802000/1942693
107.71/106.01	c cleaning 9999 clauses out of 20014 with flag 1812000/1952693
108.21/106.51	c cleaning 9998 clauses out of 20015 with flag 1822000/1962693
108.71/107.06	c cleaning 10003 clauses out of 20018 with flag 1832001/1972694
109.31/107.66	c cleaning 10004 clauses out of 20016 with flag 1842002/1982695
109.91/108.27	c cleaning 9999 clauses out of 20012 with flag 1852002/1992695
110.41/108.79	c cleaning 10003 clauses out of 20013 with flag 1862002/2002695
111.01/109.31	c cleaning 9994 clauses out of 20008 with flag 1872000/2012693
111.52/109.85	c cleaning 9993 clauses out of 20014 with flag 1882000/2022693
112.01/110.31	c cleaning 10004 clauses out of 20021 with flag 1892000/2032693
112.52/110.81	c cleaning 10002 clauses out of 20019 with flag 1902002/2042695
113.02/111.35	c cleaning 10002 clauses out of 20016 with flag 1912001/2052694
113.52/111.88	c cleaning 10001 clauses out of 20014 with flag 1922001/2062694
114.02/112.36	c cleaning 10002 clauses out of 20012 with flag 1932000/2072693
114.52/112.87	c cleaning 10002 clauses out of 20012 with flag 1942002/2082695
115.03/113.36	c cleaning 9996 clauses out of 20008 with flag 1952000/2092693
115.52/113.87	c cleaning 10002 clauses out of 20013 with flag 1962001/2102694
116.02/114.39	c cleaning 9998 clauses out of 20010 with flag 1972000/2112693
116.62/114.92	c cleaning 10001 clauses out of 20012 with flag 1982000/2122693
117.13/115.41	c cleaning 10003 clauses out of 20011 with flag 1992000/2132693
117.62/115.94	c cleaning 10000 clauses out of 20009 with flag 2002001/2142694
118.12/116.45	c cleaning 9999 clauses out of 20008 with flag 2012000/2152693
118.62/116.93	c cleaning 9998 clauses out of 20009 with flag 2022000/2162693
119.14/117.42	c cleaning 10001 clauses out of 20013 with flag 2032002/2172695
119.64/117.93	c cleaning 10000 clauses out of 20014 with flag 2042004/2182697
120.14/118.44	c cleaning 9999 clauses out of 20011 with flag 2052001/2192694
120.64/118.96	c cleaning 9995 clauses out of 20011 with flag 2062000/2202693
121.14/119.47	c cleaning 9997 clauses out of 20016 with flag 2072000/2212693
121.65/119.98	c cleaning 10003 clauses out of 20019 with flag 2082000/2222693
122.14/120.47	c cleaning 9998 clauses out of 20016 with flag 2092000/2232693
122.65/120.98	c cleaning 10005 clauses out of 20019 with flag 2102001/2242694
123.25/121.52	c cleaning 10000 clauses out of 20015 with flag 2112002/2252695
123.75/122.06	c cleaning 9993 clauses out of 20015 with flag 2122002/2262695
124.35/122.62	c cleaning 10000 clauses out of 20020 with flag 2132000/2272693
124.95/123.22	c cleaning 10004 clauses out of 20021 with flag 2142001/2282694
125.55/123.84	c cleaning 10001 clauses out of 20016 with flag 2152000/2292693
126.15/124.41	c cleaning 10004 clauses out of 20016 with flag 2162001/2302694
126.65/124.95	c cleaning 9998 clauses out of 20012 with flag 2172001/2312694
127.25/125.51	c cleaning 10003 clauses out of 20015 with flag 2182002/2322695
127.75/126.01	c cleaning 10001 clauses out of 20012 with flag 2192002/2332695
128.26/126.55	c cleaning 10004 clauses out of 20014 with flag 2202005/2342698
128.75/127.09	c cleaning 9993 clauses out of 20005 with flag 2212000/2352693
129.36/127.63	c cleaning 10003 clauses out of 20014 with flag 2222002/2362695
129.96/128.22	c cleaning 10003 clauses out of 20011 with flag 2232002/2372695
130.55/128.86	c cleaning 9993 clauses out of 20006 with flag 2242000/2382693
131.16/129.46	c cleaning 9999 clauses out of 20014 with flag 2252001/2392694
131.66/129.98	c cleaning 10000 clauses out of 20014 with flag 2262000/2402693
132.26/130.51	c cleaning 10001 clauses out of 20014 with flag 2272000/2412693
132.86/131.14	c cleaning 9995 clauses out of 20013 with flag 2282000/2422693
133.46/131.72	c cleaning 10006 clauses out of 20019 with flag 2292001/2432694
133.96/132.27	c cleaning 9990 clauses out of 20013 with flag 2302001/2442694
134.56/132.84	c cleaning 10004 clauses out of 20024 with flag 2312002/2452695
135.06/133.39	c cleaning 10005 clauses out of 20018 with flag 2322000/2462693
135.56/133.89	c cleaning 10003 clauses out of 20018 with flag 2332005/2472698
136.16/134.43	c cleaning 10003 clauses out of 20010 with flag 2342000/2482693
136.67/134.96	c cleaning 9999 clauses out of 20008 with flag 2352001/2492694
137.17/135.45	c cleaning 9997 clauses out of 20008 with flag 2362000/2502693
137.67/135.97	c cleaning 10001 clauses out of 20011 with flag 2372000/2512693
138.27/136.50	c cleaning 9995 clauses out of 20010 with flag 2382000/2522693
138.77/137.05	c cleaning 10000 clauses out of 20017 with flag 2392002/2532695
139.28/137.59	c cleaning 10001 clauses out of 20015 with flag 2402000/2542693
139.87/138.13	c cleaning 10004 clauses out of 20016 with flag 2412002/2552695
140.38/138.69	c cleaning 9999 clauses out of 20010 with flag 2422000/2562693
140.97/139.23	c cleaning 10000 clauses out of 20011 with flag 2432000/2572693
141.48/139.73	c cleaning 10003 clauses out of 20014 with flag 2442003/2582696
141.97/140.27	c cleaning 10001 clauses out of 20009 with flag 2452001/2592694
142.48/140.77	c cleaning 10000 clauses out of 20010 with flag 2462003/2602696
142.98/141.30	c cleaning 10000 clauses out of 20011 with flag 2472004/2612697
143.58/141.81	c cleaning 10001 clauses out of 20007 with flag 2482000/2622693
144.08/142.34	c cleaning 9996 clauses out of 20006 with flag 2492000/2632693
144.58/142.86	c cleaning 9999 clauses out of 20012 with flag 2502002/2642695
145.08/143.39	c cleaning 10001 clauses out of 20013 with flag 2512002/2652695
145.68/143.91	c cleaning 9992 clauses out of 20010 with flag 2522000/2662693
146.18/144.43	c cleaning 10005 clauses out of 20019 with flag 2532001/2672694
146.68/144.95	c cleaning 10001 clauses out of 20013 with flag 2542000/2682693
147.18/145.48	c cleaning 10001 clauses out of 20013 with flag 2552001/2692694
147.78/146.00	c cleaning 10003 clauses out of 20012 with flag 2562001/2702694
148.29/146.50	c cleaning 10001 clauses out of 20012 with flag 2572004/2712697
148.79/147.00	c cleaning 9996 clauses out of 20007 with flag 2582000/2722693
149.29/147.56	c cleaning 9997 clauses out of 20012 with flag 2592001/2732694
149.89/148.11	c cleaning 10002 clauses out of 20015 with flag 2602001/2742694
150.39/148.66	c cleaning 10003 clauses out of 20013 with flag 2612001/2752694
150.99/149.21	c cleaning 9997 clauses out of 20009 with flag 2622000/2762693
151.49/149.72	c cleaning 10003 clauses out of 20013 with flag 2632001/2772694
151.99/150.26	c cleaning 9996 clauses out of 20010 with flag 2642001/2782694
152.59/150.81	c cleaning 10002 clauses out of 20013 with flag 2652000/2792693
153.10/151.33	c cleaning 9997 clauses out of 20013 with flag 2662002/2802695
153.60/151.87	c cleaning 9999 clauses out of 20016 with flag 2672002/2812695
154.20/152.41	c cleaning 10004 clauses out of 20015 with flag 2682000/2822693
154.71/152.93	c cleaning 10001 clauses out of 20011 with flag 2692000/2832693
155.30/153.51	c cleaning 9999 clauses out of 20011 with flag 2702001/2842694
155.81/154.06	c cleaning 9997 clauses out of 20011 with flag 2712000/2852693
156.40/154.60	c cleaning 10004 clauses out of 20018 with flag 2722004/2862697
156.91/155.14	c cleaning 10000 clauses out of 20010 with flag 2732000/2872693
157.50/155.74	c cleaning 9999 clauses out of 20014 with flag 2742004/2882697
158.10/156.34	c cleaning 9999 clauses out of 20012 with flag 2752001/2892694
158.70/156.94	c cleaning 9999 clauses out of 20013 with flag 2762001/2902694
159.30/157.55	c cleaning 10001 clauses out of 20015 with flag 2772002/2912695
159.90/158.10	c cleaning 10000 clauses out of 20013 with flag 2782001/2922694
160.40/158.68	c cleaning 9999 clauses out of 20013 with flag 2792001/2932694
161.01/159.24	c cleaning 10001 clauses out of 20013 with flag 2802000/2942693
161.50/159.79	c cleaning 10001 clauses out of 20012 with flag 2812000/2952693
162.21/160.43	c cleaning 10002 clauses out of 20013 with flag 2822002/2962695
162.71/160.94	c cleaning 9998 clauses out of 20009 with flag 2832000/2972693
163.31/161.51	c cleaning 10001 clauses out of 20013 with flag 2842002/2982695
163.91/162.10	c cleaning 9999 clauses out of 20014 with flag 2852004/2992697
164.41/162.63	c cleaning 9999 clauses out of 20013 with flag 2862002/3002695
164.92/163.13	c cleaning 10002 clauses out of 20014 with flag 2872002/3012695
165.42/163.65	c cleaning 9996 clauses out of 20010 with flag 2882000/3022693
165.92/164.14	c cleaning 10002 clauses out of 20015 with flag 2892001/3032694
166.42/164.66	c cleaning 9999 clauses out of 20013 with flag 2902001/3042694
167.02/165.28	c cleaning 10001 clauses out of 20013 with flag 2912000/3052693
167.62/165.82	c cleaning 10004 clauses out of 20015 with flag 2922003/3062696
168.12/166.35	c cleaning 9998 clauses out of 20011 with flag 2932003/3072696
168.62/166.89	c cleaning 9998 clauses out of 20010 with flag 2942000/3082693
169.23/167.42	c cleaning 10000 clauses out of 20013 with flag 2952001/3092694
169.73/167.93	c cleaning 10002 clauses out of 20013 with flag 2962001/3102694
170.23/168.47	c cleaning 10002 clauses out of 20013 with flag 2972003/3112696
170.83/169.01	c cleaning 9999 clauses out of 20008 with flag 2982000/3122693
171.33/169.58	c cleaning 10000 clauses out of 20013 with flag 2992004/3132697
171.93/170.10	c cleaning 10002 clauses out of 20012 with flag 3002003/3142696
172.43/170.61	c cleaning 9996 clauses out of 20008 with flag 3012001/3152694
172.93/171.10	c cleaning 9998 clauses out of 20011 with flag 3022000/3162693
173.44/171.64	c cleaning 10000 clauses out of 20013 with flag 3032000/3172693
173.93/172.16	c cleaning 10001 clauses out of 20013 with flag 3042000/3182693
174.44/172.65	c cleaning 10001 clauses out of 20014 with flag 3052002/3192695
174.93/173.18	c cleaning 9999 clauses out of 20011 with flag 3062000/3202693
175.54/173.74	c cleaning 10000 clauses out of 20015 with flag 3072003/3212696
176.04/174.27	c cleaning 10002 clauses out of 20012 with flag 3082000/3222693
176.64/174.80	c cleaning 9995 clauses out of 20010 with flag 3092000/3232693
177.23/175.41	c cleaning 9999 clauses out of 20016 with flag 3102001/3242694
177.84/176.00	c cleaning 10004 clauses out of 20016 with flag 3112000/3252693
178.43/176.60	c cleaning 9993 clauses out of 20012 with flag 3122000/3262693
179.05/177.20	c cleaning 10005 clauses out of 20019 with flag 3132000/3272693
179.65/177.81	c cleaning 9997 clauses out of 20014 with flag 3142000/3282693
180.15/178.39	c cleaning 9998 clauses out of 20017 with flag 3152000/3292693
180.75/178.95	c cleaning 10004 clauses out of 20019 with flag 3162000/3302693
181.35/179.51	c cleaning 10006 clauses out of 20019 with flag 3172004/3312697
181.85/180.03	c cleaning 9997 clauses out of 20012 with flag 3182003/3322696
182.35/180.58	c cleaning 10001 clauses out of 20012 with flag 3192000/3332693
182.95/181.13	c cleaning 10004 clauses out of 20016 with flag 3202005/3342698
183.45/181.68	c cleaning 10000 clauses out of 20007 with flag 3212000/3352693
184.05/182.23	c cleaning 10002 clauses out of 20012 with flag 3222005/3362698
184.55/182.76	c cleaning 9999 clauses out of 20007 with flag 3232002/3372695
185.05/183.29	c cleaning 9997 clauses out of 20007 with flag 3242001/3382694
185.65/183.83	c cleaning 9996 clauses out of 20010 with flag 3252001/3392694
186.25/184.40	c cleaning 10002 clauses out of 20015 with flag 3262002/3402695
186.75/184.92	c cleaning 10002 clauses out of 20012 with flag 3272001/3412694
187.26/185.44	c cleaning 10000 clauses out of 20011 with flag 3282002/3422695
187.86/186.00	c cleaning 9998 clauses out of 20009 with flag 3292000/3432693
188.36/186.59	c cleaning 9997 clauses out of 20012 with flag 3302001/3442694
188.96/187.11	c cleaning 10003 clauses out of 20015 with flag 3312001/3452694
189.46/187.66	c cleaning 10000 clauses out of 20011 with flag 3322000/3462693
189.97/188.19	c cleaning 10002 clauses out of 20011 with flag 3332000/3472693
190.57/188.71	c cleaning 9993 clauses out of 20009 with flag 3342000/3482693
191.07/189.24	c cleaning 10005 clauses out of 20017 with flag 3352001/3492694
191.67/189.81	c cleaning 9995 clauses out of 20011 with flag 3362000/3502693
192.27/190.40	c cleaning 10000 clauses out of 20016 with flag 3372000/3512693
192.77/190.98	c cleaning 10005 clauses out of 20018 with flag 3382002/3522695
193.37/191.53	c cleaning 9998 clauses out of 20011 with flag 3392000/3532693
193.87/192.06	c cleaning 10001 clauses out of 20014 with flag 3402001/3542694
194.39/192.59	c cleaning 10005 clauses out of 20015 with flag 3412003/3552696
194.98/193.18	c cleaning 9998 clauses out of 20008 with flag 3422001/3562694
195.59/193.71	c cleaning 9997 clauses out of 20009 with flag 3432000/3572693
196.08/194.29	c cleaning 10000 clauses out of 20012 with flag 3442000/3582693
196.68/194.84	c cleaning 10001 clauses out of 20012 with flag 3452000/3592693
197.19/195.34	c cleaning 9999 clauses out of 20011 with flag 3462000/3602693
197.69/195.87	c cleaning 10002 clauses out of 20013 with flag 3472001/3612694
198.39/196.50	c cleaning 9998 clauses out of 20012 with flag 3482002/3622695
198.89/197.07	c cleaning 9995 clauses out of 20012 with flag 3492000/3632693
199.49/197.65	c cleaning 10005 clauses out of 20017 with flag 3502000/3642693
199.99/198.20	c cleaning 10001 clauses out of 20012 with flag 3512000/3652693
200.59/198.74	c cleaning 9999 clauses out of 20012 with flag 3522001/3662694
201.09/199.27	c cleaning 10001 clauses out of 20013 with flag 3532001/3672694
201.69/199.83	c cleaning 10002 clauses out of 20013 with flag 3542002/3682695
202.19/200.38	c cleaning 9998 clauses out of 20009 with flag 3552000/3692693
202.79/200.94	c cleaning 9997 clauses out of 20013 with flag 3562002/3702695
203.39/201.51	c cleaning 10003 clauses out of 20014 with flag 3572000/3712693
203.89/202.10	c cleaning 10003 clauses out of 20014 with flag 3582003/3722696
204.49/202.68	c cleaning 9999 clauses out of 20008 with flag 3592000/3732693
205.09/203.20	c cleaning 10000 clauses out of 20010 with flag 3602001/3742694
205.59/203.78	c cleaning 10001 clauses out of 20009 with flag 3612000/3752693
206.10/204.29	c cleaning 9999 clauses out of 20008 with flag 3622000/3762693
206.70/204.85	c cleaning 10003 clauses out of 20011 with flag 3632002/3772695
207.30/205.42	c cleaning 9995 clauses out of 20008 with flag 3642002/3782695
207.80/205.94	c cleaning 10004 clauses out of 20013 with flag 3652002/3792695
208.40/206.52	c cleaning 9982 clauses out of 20007 with flag 3662000/3802693
208.90/207.06	c cleaning 10005 clauses out of 20025 with flag 3672000/3812693
209.50/207.67	c cleaning 10000 clauses out of 20020 with flag 3682000/3822693
210.10/208.24	c cleaning 10005 clauses out of 20022 with flag 3692002/3832695
210.61/208.76	c cleaning 10001 clauses out of 20015 with flag 3702000/3842693
211.20/209.30	c cleaning 10002 clauses out of 20014 with flag 3712000/3852693
211.71/209.84	c cleaning 10000 clauses out of 20012 with flag 3722000/3862693
212.20/210.38	c cleaning 10000 clauses out of 20012 with flag 3732000/3872693
212.81/210.98	c cleaning 10000 clauses out of 20013 with flag 3742001/3882694
213.51/211.62	c cleaning 9999 clauses out of 20014 with flag 3752002/3892695
214.01/212.18	c cleaning 10005 clauses out of 20015 with flag 3762002/3902695
214.51/212.67	c cleaning 9993 clauses out of 20008 with flag 3772000/3912693
215.12/213.26	c cleaning 10003 clauses out of 20017 with flag 3782002/3922695
215.72/213.88	c cleaning 10000 clauses out of 20013 with flag 3792001/3932694
216.32/214.46	c cleaning 9996 clauses out of 20012 with flag 3802000/3942693
216.92/215.03	c cleaning 10003 clauses out of 20017 with flag 3812001/3952694
217.43/215.56	c cleaning 10001 clauses out of 20016 with flag 3822003/3962696
218.02/216.14	c cleaning 9992 clauses out of 20012 with flag 3832000/3972693
218.53/216.70	c cleaning 10005 clauses out of 20023 with flag 3842003/3982696
219.12/217.25	c cleaning 10000 clauses out of 20015 with flag 3852000/3992693
219.63/217.80	c cleaning 10004 clauses out of 20015 with flag 3862000/4002693
220.22/218.35	c cleaning 10001 clauses out of 20011 with flag 3872000/4012693
220.73/218.86	c cleaning 9999 clauses out of 20012 with flag 3882002/4022695
221.33/219.45	c cleaning 9999 clauses out of 20013 with flag 3892002/4032695
221.83/219.96	c cleaning 10001 clauses out of 20013 with flag 3902001/4042694
222.33/220.49	c cleaning 9997 clauses out of 20011 with flag 3912000/4052693
222.94/221.08	c cleaning 9998 clauses out of 20015 with flag 3922001/4062694
223.53/221.66	c cleaning 10002 clauses out of 20018 with flag 3932002/4072695
224.14/222.23	c cleaning 10002 clauses out of 20014 with flag 3942000/4082693
224.64/222.75	c cleaning 9999 clauses out of 20012 with flag 3952000/4092693
225.14/223.25	c cleaning 10000 clauses out of 20015 with flag 3962002/4102695
225.74/223.82	c cleaning 9999 clauses out of 20014 with flag 3972001/4112694
226.34/224.44	c cleaning 9993 clauses out of 20015 with flag 3982001/4122694
226.84/224.99	c cleaning 9997 clauses out of 20021 with flag 3992000/4132693
227.45/225.53	c cleaning 10005 clauses out of 20025 with flag 4002001/4142694
228.04/226.11	c cleaning 10002 clauses out of 20021 with flag 4012002/4152695
228.55/226.69	c cleaning 10002 clauses out of 20018 with flag 4022001/4162694
229.14/227.26	c cleaning 9999 clauses out of 20017 with flag 4032002/4172695
229.74/227.87	c cleaning 9999 clauses out of 20017 with flag 4042001/4182694
230.35/228.44	c cleaning 10003 clauses out of 20018 with flag 4052001/4192694
230.95/229.02	c cleaning 9994 clauses out of 20014 with flag 4062000/4202693
231.45/229.59	c cleaning 10001 clauses out of 20022 with flag 4072002/4212695
232.05/230.18	c cleaning 9996 clauses out of 20020 with flag 4082001/4222694
232.65/230.72	c cleaning 10004 clauses out of 20023 with flag 4092000/4232693
233.25/231.32	c cleaning 10002 clauses out of 20020 with flag 4102001/4242694
233.85/231.91	c cleaning 10003 clauses out of 20018 with flag 4112001/4252694
234.35/232.43	c cleaning 9991 clauses out of 20014 with flag 4122000/4262693
234.95/233.03	c cleaning 10005 clauses out of 20023 with flag 4132000/4272693
235.45/233.59	c cleaning 9996 clauses out of 20019 with flag 4142001/4282694
236.06/234.15	c cleaning 10006 clauses out of 20025 with flag 4152003/4292696
236.66/234.71	c cleaning 9999 clauses out of 20017 with flag 4162001/4302694
237.16/235.30	c cleaning 10004 clauses out of 20017 with flag 4172000/4312693
237.76/235.80	c cleaning 9995 clauses out of 20013 with flag 4182000/4322693
238.26/236.37	c cleaning 10005 clauses out of 20021 with flag 4192003/4332696
238.86/236.96	c cleaning 9997 clauses out of 20014 with flag 4202001/4342694
239.36/237.49	c cleaning 10003 clauses out of 20018 with flag 4212002/4352695
239.96/238.05	c cleaning 10005 clauses out of 20022 with flag 4222009/4362702
240.57/238.63	c cleaning 10000 clauses out of 20009 with flag 4232001/4372694
241.16/239.27	c cleaning 9994 clauses out of 20008 with flag 4242000/4382693
241.86/239.90	c cleaning 10001 clauses out of 20015 with flag 4252001/4392694
242.46/240.57	c cleaning 10004 clauses out of 20013 with flag 4262000/4402693
243.07/241.14	c cleaning 9997 clauses out of 20009 with flag 4272000/4412693
243.67/241.72	c cleaning 9993 clauses out of 20015 with flag 4282003/4422696
244.28/242.35	c cleaning 10005 clauses out of 20021 with flag 4292002/4432695
244.88/242.90	c cleaning 10002 clauses out of 20015 with flag 4302001/4442694
245.38/243.41	c cleaning 10000 clauses out of 20014 with flag 4312002/4452695
245.88/243.94	c cleaning 9998 clauses out of 20012 with flag 4322000/4462693
246.48/244.55	c cleaning 9995 clauses out of 20016 with flag 4332002/4472695
247.08/245.10	c cleaning 10006 clauses out of 20020 with flag 4342001/4482694
247.58/245.64	c cleaning 10001 clauses out of 20014 with flag 4352001/4492694
248.08/246.18	c cleaning 10001 clauses out of 20015 with flag 4362003/4502696
248.58/246.70	c cleaning 9998 clauses out of 20011 with flag 4372000/4512693
249.18/247.22	c cleaning 10004 clauses out of 20016 with flag 4382003/4522696
249.68/247.76	c cleaning 10002 clauses out of 20009 with flag 4392000/4532693
250.18/248.27	c cleaning 9997 clauses out of 20007 with flag 4402000/4542693
250.68/248.77	c cleaning 9996 clauses out of 20011 with flag 4412001/4552694
251.19/249.29	c cleaning 9996 clauses out of 20014 with flag 4422000/4562693
251.79/249.80	c cleaning 10000 clauses out of 20018 with flag 4432000/4572693
252.29/250.35	c cleaning 10007 clauses out of 20019 with flag 4442001/4582694
252.79/250.86	c cleaning 9998 clauses out of 20012 with flag 4452001/4592694
253.29/251.34	c cleaning 10002 clauses out of 20014 with flag 4462001/4602694
253.79/251.87	c cleaning 10000 clauses out of 20012 with flag 4472001/4612694
254.29/252.36	c cleaning 9998 clauses out of 20011 with flag 4482000/4622693
254.79/252.87	c cleaning 10000 clauses out of 20013 with flag 4492000/4632693
255.29/253.38	c cleaning 9999 clauses out of 20014 with flag 4502001/4642694
255.90/253.94	c cleaning 10003 clauses out of 20015 with flag 4512001/4652694
256.50/254.54	c cleaning 10004 clauses out of 20015 with flag 4522004/4662697
257.00/255.09	c cleaning 9995 clauses out of 20009 with flag 4532002/4672695
257.61/255.66	c cleaning 9998 clauses out of 20013 with flag 4542001/4682694
258.22/256.21	c cleaning 10003 clauses out of 20015 with flag 4552001/4692694
258.71/256.73	c cleaning 10000 clauses out of 20012 with flag 4562001/4702694
259.21/257.23	c cleaning 9999 clauses out of 20011 with flag 4572000/4712693
259.71/257.72	c cleaning 10001 clauses out of 20012 with flag 4582000/4722693
260.22/258.23	c cleaning 10002 clauses out of 20014 with flag 4592003/4732696
260.71/258.74	c cleaning 10000 clauses out of 20009 with flag 4602000/4742693
261.21/259.28	c cleaning 10000 clauses out of 20013 with flag 4612004/4752697
261.72/259.79	c cleaning 9998 clauses out of 20009 with flag 4622000/4762693
262.32/260.34	c cleaning 9999 clauses out of 20012 with flag 4632001/4772694
262.82/260.86	c cleaning 9997 clauses out of 20012 with flag 4642000/4782693
263.32/261.34	c cleaning 10000 clauses out of 20015 with flag 4652000/4792693
263.83/261.86	c cleaning 10006 clauses out of 20017 with flag 4662002/4802695
264.32/262.38	c cleaning 9998 clauses out of 20009 with flag 4672000/4812693
264.83/262.89	c cleaning 9998 clauses out of 20011 with flag 4682000/4822693
265.42/263.42	c cleaning 10000 clauses out of 20014 with flag 4692001/4832694
265.93/263.94	c cleaning 9997 clauses out of 20013 with flag 4702000/4842693
266.42/264.49	c cleaning 10001 clauses out of 20016 with flag 4712000/4852693
267.03/265.04	c cleaning 10004 clauses out of 20017 with flag 4722002/4862695
267.53/265.58	c cleaning 10000 clauses out of 20011 with flag 4732000/4872693
268.14/266.14	c cleaning 10001 clauses out of 20011 with flag 4742000/4882693
268.64/266.64	c cleaning 10000 clauses out of 20011 with flag 4752001/4892694
269.14/267.16	c cleaning 9996 clauses out of 20011 with flag 4762001/4902694
269.74/267.71	c cleaning 10000 clauses out of 20018 with flag 4772004/4912697
270.24/268.23	c cleaning 9999 clauses out of 20015 with flag 4782001/4922694
270.74/268.75	c cleaning 10004 clauses out of 20015 with flag 4792000/4932693
271.24/269.26	c cleaning 10003 clauses out of 20012 with flag 4802001/4942694
271.84/269.80	c cleaning 9994 clauses out of 20008 with flag 4812000/4952693
272.35/270.35	c cleaning 10004 clauses out of 20014 with flag 4822000/4962693
272.85/270.86	c cleaning 9995 clauses out of 20010 with flag 4832000/4972693
273.35/271.37	c cleaning 10003 clauses out of 20016 with flag 4842001/4982694
273.85/271.87	c cleaning 10001 clauses out of 20014 with flag 4852002/4992695
274.35/272.36	c cleaning 10002 clauses out of 20014 with flag 4862003/5002696
274.95/272.93	c cleaning 10001 clauses out of 20009 with flag 4872000/5012693
275.45/273.46	c cleaning 10000 clauses out of 20009 with flag 4882001/5022694
276.05/274.00	c cleaning 9997 clauses out of 20009 with flag 4892001/5032694
276.55/274.55	c cleaning 9997 clauses out of 20011 with flag 4902000/5042693
277.15/275.13	c cleaning 10002 clauses out of 20014 with flag 4912000/5052693
277.65/275.69	c cleaning 10002 clauses out of 20013 with flag 4922001/5062694
278.26/276.24	c cleaning 9995 clauses out of 20010 with flag 4932000/5072693
278.86/276.81	c cleaning 9999 clauses out of 20015 with flag 4942000/5082693
279.36/277.36	c cleaning 10002 clauses out of 20017 with flag 4952001/5092694
279.97/277.96	c cleaning 9999 clauses out of 20014 with flag 4962000/5102693
280.47/278.45	c cleaning 10003 clauses out of 20015 with flag 4972000/5112693
281.07/279.02	c cleaning 10005 clauses out of 20016 with flag 4982004/5122697
281.57/279.56	c cleaning 9998 clauses out of 20007 with flag 4992000/5132693
282.07/280.10	c cleaning 9996 clauses out of 20010 with flag 5002001/5142694
282.67/280.62	c cleaning 10000 clauses out of 20017 with flag 5012004/5152697
283.17/281.14	c cleaning 10001 clauses out of 20013 with flag 5022000/5162693
283.77/281.75	c cleaning 10000 clauses out of 20012 with flag 5032000/5172693
284.38/282.36	c cleaning 10000 clauses out of 20013 with flag 5042001/5182694
284.98/282.94	c cleaning 10001 clauses out of 20014 with flag 5052002/5192695
285.58/283.52	c cleaning 10002 clauses out of 20013 with flag 5062002/5202695
286.18/284.14	c cleaning 9998 clauses out of 20009 with flag 5072000/5212693
286.78/284.71	c cleaning 9992 clauses out of 20012 with flag 5082001/5222694
287.28/285.25	c cleaning 10006 clauses out of 20021 with flag 5092002/5232695
287.88/285.80	c cleaning 9996 clauses out of 20013 with flag 5102000/5242693
288.38/286.34	c cleaning 10003 clauses out of 20020 with flag 5112003/5252696
288.98/286.97	c cleaning 10001 clauses out of 20014 with flag 5122000/5262693
289.68/287.60	c cleaning 10000 clauses out of 20013 with flag 5132000/5272693
290.18/288.19	c cleaning 10003 clauses out of 20013 with flag 5142000/5282693
290.78/288.77	c cleaning 10001 clauses out of 20011 with flag 5152001/5292694
291.39/289.31	c cleaning 10001 clauses out of 20011 with flag 5162002/5302695
291.88/289.87	c cleaning 9998 clauses out of 20009 with flag 5172001/5312694
292.49/290.43	c cleaning 9994 clauses out of 20010 with flag 5182000/5322693
292.98/290.98	c cleaning 9998 clauses out of 20019 with flag 5192003/5332696
293.59/291.54	c cleaning 10006 clauses out of 20019 with flag 5202001/5342694
294.09/292.09	c cleaning 10002 clauses out of 20012 with flag 5212000/5352693
294.70/292.62	c cleaning 9998 clauses out of 20011 with flag 5222001/5362694
295.29/293.21	c cleaning 9996 clauses out of 20012 with flag 5232000/5372693
295.89/293.85	c cleaning 9993 clauses out of 20017 with flag 5242001/5382694
296.49/294.43	c cleaning 10003 clauses out of 20023 with flag 5252000/5392693
296.99/294.98	c cleaning 10006 clauses out of 20020 with flag 5262000/5402693
297.59/295.55	c cleaning 10001 clauses out of 20015 with flag 5272001/5412694
298.10/296.08	c cleaning 10000 clauses out of 20014 with flag 5282001/5422694
298.71/296.61	c cleaning 10002 clauses out of 20014 with flag 5292001/5432694
299.21/297.19	c cleaning 10000 clauses out of 20011 with flag 5302000/5442693
299.91/297.87	c cleaning 10002 clauses out of 20012 with flag 5312001/5452694
300.51/298.46	c cleaning 10002 clauses out of 20009 with flag 5322000/5462693
301.01/298.99	c cleaning 9991 clauses out of 20007 with flag 5332000/5472693
301.61/299.52	c cleaning 9995 clauses out of 20016 with flag 5342000/5482693
302.11/300.09	c cleaning 10004 clauses out of 20022 with flag 5352001/5492694
302.71/300.61	c cleaning 10004 clauses out of 20017 with flag 5362000/5502693
303.21/301.16	c cleaning 10003 clauses out of 20015 with flag 5372002/5512695
303.71/301.66	c cleaning 10000 clauses out of 20011 with flag 5382001/5522694
304.21/302.19	c cleaning 9997 clauses out of 20010 with flag 5392000/5532693
304.81/302.72	c cleaning 9998 clauses out of 20013 with flag 5402000/5542693
305.32/303.23	c cleaning 9996 clauses out of 20015 with flag 5412000/5552693
305.82/303.74	c cleaning 10003 clauses out of 20020 with flag 5422001/5562694
306.32/304.27	c cleaning 10003 clauses out of 20017 with flag 5432001/5572694
306.92/304.81	c cleaning 9999 clauses out of 20014 with flag 5442001/5582694
307.42/305.31	c cleaning 9999 clauses out of 20014 with flag 5452000/5592693
307.92/305.87	c cleaning 10004 clauses out of 20020 with flag 5462005/5602698
308.52/306.41	c cleaning 10001 clauses out of 20011 with flag 5472000/5612693
309.03/306.94	c cleaning 10003 clauses out of 20011 with flag 5482001/5622694
309.62/307.50	c cleaning 9994 clauses out of 20007 with flag 5492000/5632693
310.13/308.08	c cleaning 10003 clauses out of 20013 with flag 5502000/5642693
310.72/308.61	c cleaning 10000 clauses out of 20011 with flag 5512001/5652694
311.23/309.17	c cleaning 9996 clauses out of 20011 with flag 5522001/5662694
311.82/309.74	c cleaning 10000 clauses out of 20014 with flag 5532000/5672693
312.33/310.25	c cleaning 10000 clauses out of 20015 with flag 5542001/5682694
312.93/310.85	c cleaning 9999 clauses out of 20015 with flag 5552001/5692694
313.54/311.42	c cleaning 9994 clauses out of 20015 with flag 5562000/5702693
314.04/311.99	c cleaning 10005 clauses out of 20022 with flag 5572001/5712694
314.55/312.49	c cleaning 9999 clauses out of 20016 with flag 5582000/5722693
315.14/313.07	c cleaning 10005 clauses out of 20017 with flag 5592000/5732693
315.74/313.66	c cleaning 9994 clauses out of 20014 with flag 5602002/5742695
316.34/314.22	c cleaning 10002 clauses out of 20018 with flag 5612000/5752693
316.84/314.75	c cleaning 9998 clauses out of 20017 with flag 5622001/5762694
317.44/315.34	c cleaning 9997 clauses out of 20018 with flag 5632000/5772693
317.95/315.89	c cleaning 9998 clauses out of 20021 with flag 5642000/5782693
318.55/316.45	c cleaning 10006 clauses out of 20023 with flag 5652000/5792693
319.15/317.02	c cleaning 10004 clauses out of 20017 with flag 5662000/5802693
319.65/317.54	c cleaning 10002 clauses out of 20013 with flag 5672000/5812693
320.25/318.10	c cleaning 10001 clauses out of 20011 with flag 5682000/5822693
320.65/318.59	c cleaning 9997 clauses out of 20011 with flag 5692001/5832694
321.25/319.17	c cleaning 9999 clauses out of 20017 with flag 5702004/5842697
321.85/319.71	c cleaning 9980 clauses out of 20014 with flag 5712000/5852693
322.46/320.31	c cleaning 10002 clauses out of 20035 with flag 5722001/5862694
323.06/320.94	c cleaning 10002 clauses out of 20035 with flag 5732003/5872696
323.66/321.55	c cleaning 10000 clauses out of 20030 with flag 5742000/5882693
324.25/322.15	c cleaning 10007 clauses out of 20031 with flag 5752001/5892694
324.76/322.67	c cleaning 10004 clauses out of 20025 with flag 5762002/5902695
325.26/323.16	c cleaning 10005 clauses out of 20021 with flag 5772002/5912695
325.86/323.70	c cleaning 10003 clauses out of 20014 with flag 5782000/5922693
326.36/324.25	c cleaning 9997 clauses out of 20012 with flag 5792001/5932694
326.86/324.75	c cleaning 10002 clauses out of 20014 with flag 5802000/5942693
327.36/325.25	c cleaning 10004 clauses out of 20014 with flag 5812002/5952695
327.86/325.76	c cleaning 10001 clauses out of 20011 with flag 5822003/5962696
328.46/326.30	c cleaning 9998 clauses out of 20007 with flag 5832000/5972693
328.97/326.88	c cleaning 9996 clauses out of 20009 with flag 5842000/5982693
329.57/327.46	c cleaning 9999 clauses out of 20014 with flag 5852001/5992694
330.17/328.08	c cleaning 9994 clauses out of 20014 with flag 5862000/6002693
330.77/328.61	c cleaning 10004 clauses out of 20020 with flag 5872000/6012693
331.27/329.14	c cleaning 10003 clauses out of 20018 with flag 5882002/6022695
331.77/329.67	c cleaning 9996 clauses out of 20013 with flag 5892000/6032693
332.37/330.20	c cleaning 10001 clauses out of 20018 with flag 5902001/6042694
332.87/330.74	c cleaning 9996 clauses out of 20016 with flag 5912000/6052693
333.47/331.33	c cleaning 10001 clauses out of 20021 with flag 5922001/6062694
333.97/331.88	c cleaning 10001 clauses out of 20022 with flag 5932003/6072696
334.58/332.44	c cleaning 10004 clauses out of 20019 with flag 5942001/6082694
335.08/332.98	c cleaning 10001 clauses out of 20016 with flag 5952002/6092695
335.67/333.55	c cleaning 10000 clauses out of 20014 with flag 5962001/6102694
336.18/334.08	c cleaning 10002 clauses out of 20014 with flag 5972001/6112694
336.68/334.58	c cleaning 9995 clauses out of 20011 with flag 5982000/6122693
337.28/335.17	c cleaning 9999 clauses out of 20016 with flag 5992000/6132693
337.88/335.78	c cleaning 9992 clauses out of 20017 with flag 6002000/6142693
338.48/336.39	c cleaning 9997 clauses out of 20027 with flag 6012002/6152695
339.18/337.04	c cleaning 10003 clauses out of 20028 with flag 6022000/6162693
339.79/337.67	c cleaning 10000 clauses out of 20025 with flag 6032000/6172693
340.38/338.25	c cleaning 10007 clauses out of 20027 with flag 6042002/6182695
340.99/338.82	c cleaning 10000 clauses out of 20018 with flag 6052000/6192693
341.49/339.38	c cleaning 9997 clauses out of 20018 with flag 6062000/6202693
342.19/340.00	c cleaning 10005 clauses out of 20022 with flag 6072001/6212694
342.79/340.60	c cleaning 9994 clauses out of 20016 with flag 6082000/6222693
343.29/341.17	c cleaning 10003 clauses out of 20022 with flag 6092000/6232693
343.89/341.72	c cleaning 10001 clauses out of 20019 with flag 6102000/6242693
344.49/342.33	c cleaning 9998 clauses out of 20018 with flag 6112000/6252693
345.09/342.97	c cleaning 10000 clauses out of 20020 with flag 6122000/6262693
345.79/343.61	c cleaning 9994 clauses out of 20021 with flag 6132001/6272694
346.29/344.19	c cleaning 10005 clauses out of 20026 with flag 6142000/6282693
346.90/344.73	c cleaning 10001 clauses out of 20021 with flag 6152000/6292693
347.50/345.32	c cleaning 9997 clauses out of 20021 with flag 6162001/6302694
348.00/345.89	c cleaning 10001 clauses out of 20023 with flag 6172000/6312693
348.61/346.43	c cleaning 10006 clauses out of 20023 with flag 6182001/6322694
349.20/347.06	c cleaning 10003 clauses out of 20018 with flag 6192002/6332695
349.72/347.56	c cleaning 10001 clauses out of 20013 with flag 6202000/6342693
350.21/348.09	c cleaning 10000 clauses out of 20014 with flag 6212002/6352695
350.82/348.62	c cleaning 9995 clauses out of 20013 with flag 6222001/6362694
351.31/349.16	c cleaning 10004 clauses out of 20017 with flag 6232000/6372693
351.81/349.69	c cleaning 9999 clauses out of 20016 with flag 6242003/6382696
352.31/350.20	c cleaning 10000 clauses out of 20015 with flag 6252001/6392694
352.92/350.73	c cleaning 10003 clauses out of 20018 with flag 6262004/6402697
353.52/351.33	c cleaning 9994 clauses out of 20013 with flag 6272002/6412695
354.01/351.88	c cleaning 10001 clauses out of 20019 with flag 6282002/6422695
354.62/352.40	c cleaning 10002 clauses out of 20020 with flag 6292004/6432697
355.12/352.96	c cleaning 9999 clauses out of 20016 with flag 6302002/6442695
355.71/353.57	c cleaning 9998 clauses out of 20017 with flag 6312002/6452695
356.32/354.10	c cleaning 10004 clauses out of 20018 with flag 6322001/6462694
356.82/354.69	c cleaning 10002 clauses out of 20013 with flag 6332000/6472693
357.42/355.27	c cleaning 10000 clauses out of 20011 with flag 6342000/6482693
358.02/355.81	c cleaning 10001 clauses out of 20011 with flag 6352000/6492693
358.52/356.36	c cleaning 9997 clauses out of 20011 with flag 6362001/6502694
359.12/356.90	c cleaning 9998 clauses out of 20013 with flag 6372000/6512693
359.62/357.45	c cleaning 9999 clauses out of 20015 with flag 6382000/6522693
360.12/357.97	c cleaning 10002 clauses out of 20018 with flag 6392002/6532695
360.62/358.47	c cleaning 10003 clauses out of 20015 with flag 6402001/6542694
361.12/358.99	c cleaning 10003 clauses out of 20013 with flag 6412002/6552695
361.62/359.49	c cleaning 9999 clauses out of 20011 with flag 6422003/6562696
362.22/360.04	c cleaning 9997 clauses out of 20010 with flag 6432001/6572694
362.82/360.68	c cleaning 9992 clauses out of 20012 with flag 6442000/6582693
363.42/361.25	c cleaning 9999 clauses out of 20022 with flag 6452002/6592695
363.92/361.77	c cleaning 10006 clauses out of 20023 with flag 6462002/6602695
364.42/362.28	c cleaning 9998 clauses out of 20015 with flag 6472000/6612693
365.02/362.83	c cleaning 9999 clauses out of 20017 with flag 6482000/6622693
365.63/363.42	c cleaning 10000 clauses out of 20018 with flag 6492000/6632693
366.13/363.94	c cleaning 9995 clauses out of 20019 with flag 6502001/6642694
366.73/364.50	c cleaning 10004 clauses out of 20023 with flag 6512000/6652693
367.24/365.02	c cleaning 10005 clauses out of 20020 with flag 6522001/6662694
367.74/365.52	c cleaning 9996 clauses out of 20014 with flag 6532000/6672693
368.24/366.06	c cleaning 9999 clauses out of 20018 with flag 6542000/6682693
368.84/366.63	c cleaning 10002 clauses out of 20020 with flag 6552001/6692694
369.44/367.20	c cleaning 9998 clauses out of 20017 with flag 6562000/6702693
369.94/367.74	c cleaning 9995 clauses out of 20019 with flag 6572000/6712693
370.54/368.37	c cleaning 10008 clauses out of 20025 with flag 6582001/6722694
371.14/368.93	c cleaning 9998 clauses out of 20016 with flag 6592000/6732693
371.75/369.55	c cleaning 9999 clauses out of 20018 with flag 6602000/6742693
372.24/370.08	c cleaning 10006 clauses out of 20019 with flag 6612000/6752693
372.74/370.60	c cleaning 10005 clauses out of 20014 with flag 6622001/6762694
373.24/371.10	c cleaning 9997 clauses out of 20010 with flag 6632002/6772695
373.74/371.59	c cleaning 10000 clauses out of 20011 with flag 6642000/6782693
374.35/372.11	c cleaning 9996 clauses out of 20011 with flag 6652000/6792693
374.85/372.60	c cleaning 10004 clauses out of 20018 with flag 6662003/6802696
375.35/373.10	c cleaning 9997 clauses out of 20011 with flag 6672000/6812693
375.85/373.62	c cleaning 10003 clauses out of 20016 with flag 6682002/6822695
376.35/374.15	c cleaning 10002 clauses out of 20011 with flag 6692000/6832693
376.85/374.64	c cleaning 9998 clauses out of 20009 with flag 6702000/6842693
377.36/375.18	c cleaning 10000 clauses out of 20012 with flag 6712001/6852694
377.85/375.68	c cleaning 9999 clauses out of 20012 with flag 6722001/6862694
378.37/376.19	c cleaning 9999 clauses out of 20012 with flag 6732000/6872693
378.96/376.75	c cleaning 9998 clauses out of 20016 with flag 6742003/6882696
379.57/377.31	c cleaning 9994 clauses out of 20015 with flag 6752000/6892693
380.07/377.85	c cleaning 10006 clauses out of 20021 with flag 6762000/6902693
380.67/378.41	c cleaning 10005 clauses out of 20016 with flag 6772001/6912694
381.27/379.02	c cleaning 9998 clauses out of 20011 with flag 6782001/6922694
381.87/379.61	c cleaning 10000 clauses out of 20012 with flag 6792000/6932693
382.37/380.16	c cleaning 9996 clauses out of 20012 with flag 6802000/6942693
382.88/380.68	c cleaning 10006 clauses out of 20019 with flag 6812003/6952696
383.47/381.27	c cleaning 9993 clauses out of 20010 with flag 6822000/6962693
384.07/381.82	c cleaning 9998 clauses out of 20017 with flag 6832000/6972693
384.58/382.34	c cleaning 10003 clauses out of 20019 with flag 6842000/6982693
385.18/382.90	c cleaning 9994 clauses out of 20018 with flag 6852002/6992695
385.68/383.47	c cleaning 10005 clauses out of 20022 with flag 6862000/7002693
386.28/384.02	c cleaning 10009 clauses out of 20023 with flag 6872006/7012699
386.88/384.62	c cleaning 9998 clauses out of 20008 with flag 6882000/7022693
387.38/385.16	c cleaning 10003 clauses out of 20012 with flag 6892002/7032695
387.98/385.70	c cleaning 10000 clauses out of 20008 with flag 6902001/7042694
388.48/386.21	c cleaning 9999 clauses out of 20008 with flag 6912001/7052694
388.98/386.72	c cleaning 10002 clauses out of 20009 with flag 6922001/7062694
389.49/387.22	c cleaning 9998 clauses out of 20006 with flag 6932000/7072693
389.98/387.74	c cleaning 9995 clauses out of 20008 with flag 6942000/7082693
390.49/388.26	c cleaning 9994 clauses out of 20014 with flag 6952001/7092694
391.09/388.80	c cleaning 9993 clauses out of 20019 with flag 6962000/7102693
391.69/389.41	c cleaning 9997 clauses out of 20027 with flag 6972001/7112694
392.19/389.95	c cleaning 9980 clauses out of 20029 with flag 6982000/7122693
392.70/390.50	c cleaning 9971 clauses out of 20049 with flag 6992000/7132693
393.39/391.13	c cleaning 10010 clauses out of 20078 with flag 7002000/7142693
393.90/391.66	c cleaning 9965 clauses out of 20068 with flag 7012000/7152693
394.50/392.21	c cleaning 9989 clauses out of 20103 with flag 7022000/7162693
395.00/392.75	c cleaning 9974 clauses out of 20115 with flag 7032001/7172694
395.60/393.33	c cleaning 9993 clauses out of 20142 with flag 7042002/7182695
396.11/393.87	c cleaning 9964 clauses out of 20147 with flag 7052000/7192693
396.70/394.40	c cleaning 9960 clauses out of 20183 with flag 7062000/7202693
397.21/394.97	c cleaning 9969 clauses out of 20223 with flag 7072000/7212693
397.70/395.49	c cleaning 9992 clauses out of 20255 with flag 7082001/7222694
398.31/396.04	c cleaning 9984 clauses out of 20265 with flag 7092003/7232696
398.81/396.56	c cleaning 9980 clauses out of 20278 with flag 7102000/7242693
399.31/397.08	c cleaning 9981 clauses out of 20298 with flag 7112000/7252693
399.91/397.61	c cleaning 9984 clauses out of 20318 with flag 7122001/7262694
400.41/398.18	c cleaning 9996 clauses out of 20334 with flag 7132001/7272694
401.01/398.73	c cleaning 9989 clauses out of 20339 with flag 7142002/7282695
401.51/399.29	c cleaning 9991 clauses out of 20349 with flag 7152001/7292694
402.11/399.84	c cleaning 9984 clauses out of 20359 with flag 7162002/7302695
402.72/400.43	c cleaning 10003 clauses out of 20376 with flag 7172003/7312696
403.22/400.96	c cleaning 9987 clauses out of 20370 with flag 7182000/7322693
403.73/401.48	c cleaning 9984 clauses out of 20384 with flag 7192001/7332694
404.33/402.06	c cleaning 9983 clauses out of 20400 with flag 7202001/7342694
404.93/402.67	c cleaning 9994 clauses out of 20416 with flag 7212000/7352693
405.63/403.34	c cleaning 10000 clauses out of 20425 with flag 7222003/7362696
406.23/403.91	c cleaning 9985 clauses out of 20422 with flag 7232000/7372693
406.73/404.41	c cleaning 9992 clauses out of 20440 with flag 7242003/7382696
407.23/404.96	c cleaning 9993 clauses out of 20449 with flag 7252004/7392697
407.83/405.55	c cleaning 9986 clauses out of 20453 with flag 7262001/7402694
408.43/406.14	c cleaning 9973 clauses out of 20470 with flag 7272004/7412697
408.93/406.65	c cleaning 9972 clauses out of 20494 with flag 7282001/7422694
409.53/407.21	c cleaning 9988 clauses out of 20521 with flag 7292000/7432693
410.03/407.74	c cleaning 9989 clauses out of 20533 with flag 7302000/7442693
410.73/408.40	c cleaning 9989 clauses out of 20544 with flag 7312000/7452693
411.23/408.95	c cleaning 9998 clauses out of 20555 with flag 7322000/7462693
411.74/409.49	c cleaning 9978 clauses out of 20557 with flag 7332000/7472693
412.34/410.08	c cleaning 9993 clauses out of 20579 with flag 7342000/7482693
412.94/410.65	c cleaning 9997 clauses out of 20586 with flag 7352000/7492693
413.54/411.24	c cleaning 9978 clauses out of 20589 with flag 7362000/7502693
414.14/411.80	c cleaning 9984 clauses out of 20611 with flag 7372000/7512693
414.64/412.35	c cleaning 9997 clauses out of 20627 with flag 7382000/7522693
415.24/412.91	c cleaning 9993 clauses out of 20630 with flag 7392000/7532693
415.74/413.49	c cleaning 9992 clauses out of 20638 with flag 7402001/7542694
416.45/414.10	c cleaning 10000 clauses out of 20645 with flag 7412000/7552693
416.95/414.67	c cleaning 9992 clauses out of 20645 with flag 7422000/7562693
417.55/415.21	c cleaning 9985 clauses out of 20656 with flag 7432003/7572696
418.05/415.76	c cleaning 9989 clauses out of 20668 with flag 7442000/7582693
418.65/416.34	c cleaning 9982 clauses out of 20683 with flag 7452004/7592697
419.15/416.83	c cleaning 9989 clauses out of 20697 with flag 7462000/7602693
419.65/417.34	c cleaning 9987 clauses out of 20708 with flag 7472000/7612693
420.26/417.93	c cleaning 9999 clauses out of 20721 with flag 7482000/7622693
420.76/418.46	c cleaning 9993 clauses out of 20723 with flag 7492001/7632694
421.36/419.01	c cleaning 9985 clauses out of 20731 with flag 7502002/7642695
421.96/419.60	c cleaning 10005 clauses out of 20744 with flag 7512000/7652693
422.46/420.13	c cleaning 9994 clauses out of 20740 with flag 7522001/7662694
423.06/420.70	c cleaning 9991 clauses out of 20746 with flag 7532001/7672694
423.57/421.28	c cleaning 9991 clauses out of 20754 with flag 7542000/7682693
424.16/421.82	c cleaning 9985 clauses out of 20763 with flag 7552000/7692693
424.67/422.38	c cleaning 9990 clauses out of 20778 with flag 7562000/7702693
425.27/422.92	c cleaning 9993 clauses out of 20788 with flag 7572000/7712693
425.78/423.48	c cleaning 9993 clauses out of 20795 with flag 7582000/7722693
426.37/424.01	c cleaning 9992 clauses out of 20802 with flag 7592000/7732693
426.88/424.55	c cleaning 9984 clauses out of 20810 with flag 7602000/7742693
427.38/425.09	c cleaning 9990 clauses out of 20830 with flag 7612004/7752697
427.98/425.62	c cleaning 9977 clauses out of 20836 with flag 7622000/7762693
428.48/426.14	c cleaning 9970 clauses out of 20859 with flag 7632000/7772693
429.08/426.79	c cleaning 10002 clauses out of 20891 with flag 7642002/7782695
429.78/427.40	c cleaning 9990 clauses out of 20889 with flag 7652002/7792695
430.28/427.93	c cleaning 9993 clauses out of 20897 with flag 7662000/7802693
430.78/428.49	c cleaning 9991 clauses out of 20906 with flag 7672002/7812695
431.28/428.99	c cleaning 9987 clauses out of 20914 with flag 7682001/7822694
431.88/429.54	c cleaning 9984 clauses out of 20929 with flag 7692003/7832696
432.38/430.10	c cleaning 9988 clauses out of 20942 with flag 7702000/7842693
432.98/430.69	c cleaning 9992 clauses out of 20954 with flag 7712000/7852693
433.58/431.28	c cleaning 10005 clauses out of 20962 with flag 7722000/7862693
434.18/431.88	c cleaning 9992 clauses out of 20958 with flag 7732001/7872694
434.88/432.55	c cleaning 9998 clauses out of 20966 with flag 7742001/7882694
435.48/433.13	c cleaning 9999 clauses out of 20968 with flag 7752001/7892694
436.08/433.74	c cleaning 9989 clauses out of 20970 with flag 7762002/7902695
436.68/434.31	c cleaning 9989 clauses out of 20979 with flag 7772000/7912693
437.18/434.87	c cleaning 9992 clauses out of 20991 with flag 7782001/7922694
437.68/435.39	c cleaning 9991 clauses out of 20998 with flag 7792000/7932693
438.28/435.93	c cleaning 10004 clauses out of 21010 with flag 7802003/7942696
438.88/436.53	c cleaning 9982 clauses out of 21003 with flag 7812000/7952693
439.38/437.05	c cleaning 9991 clauses out of 21022 with flag 7822001/7962694
439.89/437.58	c cleaning 9994 clauses out of 21031 with flag 7832001/7972694
440.49/438.14	c cleaning 9991 clauses out of 21041 with flag 7842005/7982698
440.99/438.69	c cleaning 9990 clauses out of 21045 with flag 7852000/7992693
441.59/439.25	c cleaning 9995 clauses out of 21056 with flag 7862001/8002694
442.19/439.85	c cleaning 9982 clauses out of 21062 with flag 7872002/8012695
442.69/440.36	c cleaning 10004 clauses out of 21079 with flag 7882001/8022694
443.29/440.90	c cleaning 9992 clauses out of 21077 with flag 7892003/8032696
443.80/441.47	c cleaning 9982 clauses out of 21084 with flag 7902002/8042695
444.40/442.04	c cleaning 10005 clauses out of 21102 with flag 7912002/8052695
444.91/442.59	c cleaning 9997 clauses out of 21096 with flag 7922001/8062694
445.51/443.16	c cleaning 9997 clauses out of 21099 with flag 7932001/8072694
446.11/443.74	c cleaning 10000 clauses out of 21102 with flag 7942001/8082694
446.72/444.40	c cleaning 9989 clauses out of 21103 with flag 7952002/8092695
447.41/445.08	c cleaning 10007 clauses out of 21112 with flag 7962000/8102693
448.01/445.68	c cleaning 10004 clauses out of 21106 with flag 7972001/8112694
448.62/446.28	c cleaning 9990 clauses out of 21101 with flag 7982000/8122693
449.32/446.96	c cleaning 10005 clauses out of 21115 with flag 7992004/8132697
450.02/447.63	c cleaning 9986 clauses out of 21106 with flag 8002000/8142693
450.72/448.31	c cleaning 9998 clauses out of 21121 with flag 8012001/8152694
451.32/448.92	c cleaning 9998 clauses out of 21124 with flag 8022002/8162695
451.82/449.45	c cleaning 9990 clauses out of 21124 with flag 8032000/8172693
452.33/449.98	c cleaning 9988 clauses out of 21134 with flag 8042000/8182693
452.92/450.50	c cleaning 9999 clauses out of 21148 with flag 8052002/8192695
453.43/451.04	c cleaning 9987 clauses out of 21148 with flag 8062001/8202694
453.93/451.59	c cleaning 10001 clauses out of 21160 with flag 8072000/8212693
454.53/452.12	c cleaning 9988 clauses out of 21159 with flag 8082000/8222693
455.03/452.68	c cleaning 9990 clauses out of 21171 with flag 8092000/8232693
455.64/453.26	c cleaning 9994 clauses out of 21181 with flag 8102000/8242693
456.23/453.89	c cleaning 9992 clauses out of 21187 with flag 8112000/8252693
456.83/454.45	c cleaning 9994 clauses out of 21195 with flag 8122000/8262693
457.43/455.07	c cleaning 9989 clauses out of 21201 with flag 8132000/8272693
458.03/455.65	c cleaning 10009 clauses out of 21212 with flag 8142000/8282693
458.63/456.22	c cleaning 9997 clauses out of 21203 with flag 8152000/8292693
459.14/456.74	c cleaning 9995 clauses out of 21207 with flag 8162001/8302694
459.64/457.29	c cleaning 9977 clauses out of 21212 with flag 8172001/8312694
460.24/457.89	c cleaning 10003 clauses out of 21235 with flag 8182001/8322694
460.84/458.42	c cleaning 9990 clauses out of 21233 with flag 8192002/8332695
461.34/458.98	c cleaning 9985 clauses out of 21242 with flag 8202001/8342694
462.04/459.62	c cleaning 9991 clauses out of 21256 with flag 8212000/8352693
462.64/460.23	c cleaning 10004 clauses out of 21265 with flag 8222000/8362693
463.25/460.88	c cleaning 9995 clauses out of 21263 with flag 8232002/8372695
463.94/461.56	c cleaning 9979 clauses out of 21267 with flag 8242001/8382694
464.45/462.08	c cleaning 9994 clauses out of 21289 with flag 8252002/8392695
465.05/462.61	c cleaning 9987 clauses out of 21294 with flag 8262001/8402694
465.65/463.22	c cleaning 9997 clauses out of 21307 with flag 8272001/8412694
466.25/463.85	c cleaning 10000 clauses out of 21311 with flag 8282002/8422695
466.95/464.52	c cleaning 9999 clauses out of 21312 with flag 8292003/8432696
467.55/465.11	c cleaning 9986 clauses out of 21311 with flag 8302001/8442694
468.05/465.62	c cleaning 9992 clauses out of 21325 with flag 8312001/8452694
468.55/466.17	c cleaning 9978 clauses out of 21332 with flag 8322000/8462693
469.05/466.67	c cleaning 9988 clauses out of 21354 with flag 8332000/8472693
469.65/467.27	c cleaning 10005 clauses out of 21369 with flag 8342003/8482696
470.26/467.86	c cleaning 9997 clauses out of 21364 with flag 8352003/8492696
470.86/468.48	c cleaning 9993 clauses out of 21364 with flag 8362000/8502693
471.46/469.02	c cleaning 9970 clauses out of 21371 with flag 8372000/8512693
471.96/469.58	c cleaning 9998 clauses out of 21403 with flag 8382002/8522695
472.56/470.18	c cleaning 9999 clauses out of 21405 with flag 8392002/8532695
473.17/470.76	c cleaning 9982 clauses out of 21404 with flag 8402000/8542693
473.76/471.30	c cleaning 9981 clauses out of 21423 with flag 8412001/8552694
474.27/471.84	c cleaning 9993 clauses out of 21443 with flag 8422002/8562695
474.76/472.38	c cleaning 9987 clauses out of 21449 with flag 8432001/8572694
475.37/472.92	c cleaning 9982 clauses out of 21461 with flag 8442000/8582693
475.87/473.48	c cleaning 9985 clauses out of 21480 with flag 8452001/8592694
476.47/474.04	c cleaning 9984 clauses out of 21494 with flag 8462000/8602693
476.97/474.58	c cleaning 9987 clauses out of 21510 with flag 8472000/8612693
477.57/475.11	c cleaning 9990 clauses out of 21523 with flag 8482000/8622693
478.17/475.71	c cleaning 10000 clauses out of 21535 with flag 8492002/8632695
478.68/476.23	c cleaning 9983 clauses out of 21533 with flag 8502000/8642693
479.17/476.77	c cleaning 9994 clauses out of 21550 with flag 8512000/8652693
479.88/477.42	c cleaning 10003 clauses out of 21558 with flag 8522002/8662695
480.47/478.00	c cleaning 9995 clauses out of 21554 with flag 8532001/8672694
481.07/478.64	c cleaning 10001 clauses out of 21560 with flag 8542002/8682695
481.68/479.21	c cleaning 9989 clauses out of 21559 with flag 8552002/8692695
482.18/479.76	c cleaning 9993 clauses out of 21568 with flag 8562000/8702693
482.78/480.31	c cleaning 9982 clauses out of 21575 with flag 8572000/8712693
483.28/480.88	c cleaning 10006 clauses out of 21594 with flag 8582001/8722694
483.88/481.45	c cleaning 10001 clauses out of 21587 with flag 8592000/8732693
484.48/482.03	c cleaning 9993 clauses out of 21588 with flag 8602002/8742695
485.08/482.61	c cleaning 9997 clauses out of 21594 with flag 8612001/8752694
485.69/483.25	c cleaning 9993 clauses out of 21596 with flag 8622000/8762693
486.29/483.80	c cleaning 9983 clauses out of 21604 with flag 8632001/8772694
486.79/484.33	c cleaning 9997 clauses out of 21621 with flag 8642001/8782694
487.29/484.87	c cleaning 9990 clauses out of 21627 with flag 8652004/8792697
487.89/485.41	c cleaning 9988 clauses out of 21633 with flag 8662000/8802693
488.40/485.97	c cleaning 9999 clauses out of 21647 with flag 8672002/8812695
489.00/486.58	c cleaning 9994 clauses out of 21646 with flag 8682000/8822693
489.70/487.21	c cleaning 10007 clauses out of 21655 with flag 8692003/8832696
490.30/487.84	c cleaning 9946 clauses out of 21644 with flag 8702000/8842693
490.91/488.44	c cleaning 9948 clauses out of 21698 with flag 8712000/8852693
491.51/489.07	c cleaning 9973 clauses out of 21752 with flag 8722002/8862695
492.11/489.69	c cleaning 9995 clauses out of 21779 with flag 8732002/8872695
492.81/490.31	c cleaning 9974 clauses out of 21785 with flag 8742003/8882696
493.41/490.90	c cleaning 9980 clauses out of 21809 with flag 8752001/8892694
494.01/491.56	c cleaning 9986 clauses out of 21829 with flag 8762001/8902694
494.71/492.22	c cleaning 9978 clauses out of 21841 with flag 8772000/8912693
495.41/492.99	c cleaning 9987 clauses out of 21863 with flag 8782000/8922693
496.21/493.72	c cleaning 9991 clauses out of 21876 with flag 8792000/8932693
496.91/494.41	c cleaning 9979 clauses out of 21888 with flag 8802004/8942697
497.43/495.00	c starts		: 327
497.43/495.00	c conflicts		: 8949859
497.43/495.00	c decisions		: 13398562
497.43/495.00	c propagations		: 449600978
497.43/495.00	c inspects		: 4807172185
497.43/495.00	c shortcuts		: 0
497.43/495.00	c learnt literals	: 10
497.43/495.00	c learnt binary clauses	: 60
497.43/495.00	c learnt ternary clauses	: 2171
497.43/495.00	c learnt constraints	: 8949848
497.43/495.00	c ignored constraints	: 0
497.43/495.00	c root simplifications	: 0
497.43/495.00	c removed literals (reason simplification)	: 49083474
497.43/495.00	c reason swapping (by a shorter reason)	: 0
497.43/495.00	c Calls to reduceDB	: 898
497.43/495.00	c number of reductions to clauses (during analyze)	: 0
497.43/495.00	c number of learned constraints concerned by reduction	: 0
497.43/495.00	c number of learning phase by resolution	: 0
497.43/495.00	c number of learning phase by cutting planes	: 0
497.43/495.00	c speed (assignments/second)	: 929488.4062285511
497.43/495.00	c non guided choices	3807
497.43/495.00	c learnt constraints type 
497.43/495.00	c constraints type 
497.43/495.00	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
497.43/495.00	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
497.43/495.00	s OPTIMUM FOUND
497.43/495.00	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 
497.43/495.00	c objective function=1
497.43/495.00	c Total wall clock time (in seconds): 494.891

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

running on 4 cores: 1,3,5,7

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.11 2.05 2.01 2/195 13814
/proc/meminfo: memFree=1313440/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13814/stat : 13814 (java) R 13812 13814 8455 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 883541467 23580672 692 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270333421032 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13814/statm: 5757 693 510 9 0 124 0

[startup+0.042425 s]
/proc/loadavg: 2.11 2.05 2.01 2/195 13814
/proc/meminfo: memFree=1313440/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 11188 0 1 0 2 1 0 0 25 0 13 0 883541467 10718699520 10883 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2616870 10885 1659 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.100415 s]
/proc/loadavg: 2.11 2.05 2.01 2/195 13814
/proc/meminfo: memFree=1313440/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10541072 CPUtime=0.1 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 13106 0 1 0 9 1 0 0 25 0 18 0 883541467 10794057728 12765 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2635268 12765 2093 9 0 2626002 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10541072

[startup+0.30034 s]
/proc/loadavg: 2.11 2.05 2.01 2/195 13814
/proc/meminfo: memFree=1313440/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10546192 CPUtime=0.5 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 16332 0 1 0 48 2 0 0 25 0 18 0 883541467 10799300608 15901 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2636548 15902 2205 9 0 2627282 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10546192

[startup+0.700297 s]
/proc/loadavg: 2.11 2.05 2.01 2/195 13814
/proc/meminfo: memFree=1313440/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10548244 CPUtime=1.45 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 21492 0 1 0 142 3 0 0 25 0 19 0 883541467 10801401856 18802 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2637061 18802 2236 9 0 2627795 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10548244

[startup+1.50114 s]
/proc/loadavg: 2.10 2.05 2.01 3/214 13833
/proc/meminfo: memFree=1241764/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10548244 CPUtime=2.35 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 23751 0 1 0 232 3 0 0 25 0 19 0 883541467 10801401856 21060 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2637061 21060 2238 9 0 2627795 0
[pid=13814/tid=13816] ppid=13812 vsize=10548244 CPUtime=1.48 cores=1,3,5,7
/proc/13814/task/13816/stat : 13816 (java) R 13812 13814 8455 0 -1 4202560 16551 0 1 0 146 2 0 0 25 0 19 0 883541468 10801401856 21060 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 46912505709130 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13814/tid=13817] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13817/stat : 13817 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13818] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13818/stat : 13818 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13819] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13819/stat : 13819 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13820] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13820/stat : 13820 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13821] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13821/stat : 13821 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13822] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13822/stat : 13822 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13823] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13823/stat : 13823 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13824] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13824/stat : 13824 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541469 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13825] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13825/stat : 13825 (java) S 13812 13814 8455 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883541470 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 0 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13826] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13826/stat : 13826 (java) S 13812 13814 8455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883541471 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13827] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13827/stat : 13827 (java) S 13812 13814 8455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 883541471 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13828] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13828/stat : 13828 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350207409 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13829] ppid=13812 vsize=10548244 CPUtime=0.43 cores=1,3,5,7
/proc/13814/task/13829/stat : 13829 (java) S 13812 13814 8455 0 -1 4202560 1659 0 0 0 43 0 0 0 15 0 19 0 883541473 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13830] ppid=13812 vsize=10548244 CPUtime=0.42 cores=1,3,5,7
/proc/13814/task/13830/stat : 13830 (java) S 13812 13814 8455 0 -1 4202560 4374 0 0 0 42 0 0 0 23 0 19 0 883541473 10801401856 21061 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13831] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13831/stat : 13831 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 21062 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13832] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13832/stat : 13832 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883541473 10801401856 21062 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13833] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13833/stat : 13833 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 883541503 10801401856 21062 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10548244

[startup+3.10082 s]
/proc/loadavg: 2.10 2.05 2.01 3/214 13833
/proc/meminfo: memFree=1231100/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10548244 CPUtime=4.08 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 28816 0 1 0 404 4 0 0 25 0 19 0 883541467 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2637061 26116 2264 9 0 2627795 0
[pid=13814/tid=13816] ppid=13812 vsize=10548244 CPUtime=3.06 cores=1,3,5,7
/proc/13814/task/13816/stat : 13816 (java) R 13812 13814 8455 0 -1 4202560 19730 0 1 0 304 2 0 0 25 0 19 0 883541468 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 46912505708277 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13814/tid=13817] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13817/stat : 13817 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13818] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13818/stat : 13818 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13819] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13819/stat : 13819 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13820] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13820/stat : 13820 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13821] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13821/stat : 13821 (java) S 13812 13814 8455 0 -1 4202560 119 0 0 0 0 0 0 0 18 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13822] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13822/stat : 13822 (java) S 13812 13814 8455 0 -1 4202560 308 0 0 0 0 0 0 0 18 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13823] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13823/stat : 13823 (java) S 13812 13814 8455 0 -1 4202560 233 0 0 0 0 0 0 0 18 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13824] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13824/stat : 13824 (java) S 13812 13814 8455 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 19 0 883541469 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13825] ppid=13812 vsize=10548244 CPUtime=0.01 cores=1,3,5,7
/proc/13814/task/13825/stat : 13825 (java) S 13812 13814 8455 0 -1 4202560 921 0 0 0 1 0 0 0 17 0 19 0 883541470 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 0 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13826] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13826/stat : 13826 (java) S 13812 13814 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13827] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13827/stat : 13827 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13828] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13828/stat : 13828 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350207409 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13829] ppid=13812 vsize=10548244 CPUtime=0.47 cores=1,3,5,7
/proc/13814/task/13829/stat : 13829 (java) S 13812 13814 8455 0 -1 4202560 1672 0 0 0 47 0 0 0 15 0 19 0 883541473 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13830] ppid=13812 vsize=10548244 CPUtime=0.49 cores=1,3,5,7
/proc/13814/task/13830/stat : 13830 (java) S 13812 13814 8455 0 -1 4202560 4403 0 0 0 49 0 0 0 16 0 19 0 883541473 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13831] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13831/stat : 13831 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13832] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13832/stat : 13832 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883541473 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13833] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13833/stat : 13833 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 883541503 10801401856 26116 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 10548244

[startup+6.30118 s]
/proc/loadavg: 2.10 2.05 2.01 3/214 13833
/proc/meminfo: memFree=1200736/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10548244 CPUtime=7.77 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 36267 0 1 0 772 5 0 0 25 0 19 0 883541467 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2637061 29880 2264 9 0 2627795 0
[pid=13814/tid=13816] ppid=13812 vsize=10548244 CPUtime=6.15 cores=1,3,5,7
/proc/13814/task/13816/stat : 13816 (java) R 13812 13814 8455 0 -1 4202560 19736 0 1 0 613 2 0 0 19 0 19 0 883541468 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 46912505791232 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13814/tid=13817] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13817/stat : 13817 (java) S 13812 13814 8455 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13818] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13818/stat : 13818 (java) S 13812 13814 8455 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13819] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13819/stat : 13819 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13820] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13820/stat : 13820 (java) S 13812 13814 8455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13821] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13821/stat : 13821 (java) S 13812 13814 8455 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13822] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13822/stat : 13822 (java) S 13812 13814 8455 0 -1 4202560 413 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13823] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13823/stat : 13823 (java) S 13812 13814 8455 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13824] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13824/stat : 13824 (java) S 13812 13814 8455 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 883541469 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13825] ppid=13812 vsize=10548244 CPUtime=0.11 cores=1,3,5,7
/proc/13814/task/13825/stat : 13825 (java) S 13812 13814 8455 0 -1 4202560 1207 0 0 0 11 0 0 0 16 0 19 0 883541470 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 0 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13826] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13826/stat : 13826 (java) S 13812 13814 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13827] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13827/stat : 13827 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13828] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13828/stat : 13828 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350207409 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13829] ppid=13812 vsize=10548244 CPUtime=0.49 cores=1,3,5,7
/proc/13814/task/13829/stat : 13829 (java) S 13812 13814 8455 0 -1 4202560 1678 0 0 0 49 0 0 0 15 0 19 0 883541473 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13830] ppid=13812 vsize=10548244 CPUtime=0.97 cores=1,3,5,7
/proc/13814/task/13830/stat : 13830 (java) S 13812 13814 8455 0 -1 4202560 11282 0 0 0 96 1 0 0 15 0 19 0 883541473 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13831] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13831/stat : 13831 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13832] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13832/stat : 13832 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883541473 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13833] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13833/stat : 13833 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 883541503 10801401856 29880 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 10548244

[startup+12.7009 s]

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

[pid=13814/tid=13823] ppid=13812 vsize=10548244 CPUtime=0.26 cores=1,3,5,7
/proc/13814/task/13823/stat : 13823 (java) S 13812 13814 8455 0 -1 4202560 290 0 0 0 25 1 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13824] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13824/stat : 13824 (java) S 13812 13814 8455 0 -1 4202560 303 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13825] ppid=13812 vsize=10548244 CPUtime=15.58 cores=1,3,5,7
/proc/13814/task/13825/stat : 13825 (java) S 13812 13814 8455 0 -1 4202560 1944 0 0 0 1545 13 0 0 15 0 19 0 883541470 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 0 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13826] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13826/stat : 13826 (java) S 13812 13814 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13827] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13827/stat : 13827 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13828] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13828/stat : 13828 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350207409 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13829] ppid=13812 vsize=10548244 CPUtime=0.49 cores=1,3,5,7
/proc/13814/task/13829/stat : 13829 (java) S 13812 13814 8455 0 -1 4202560 1678 0 0 0 49 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13830] ppid=13812 vsize=10548244 CPUtime=1.02 cores=1,3,5,7
/proc/13814/task/13830/stat : 13830 (java) S 13812 13814 8455 0 -1 4202560 11295 0 0 0 101 1 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13831] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13831/stat : 13831 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13832] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13832/stat : 13832 (java) S 13812 13814 8455 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13833] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13833/stat : 13833 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 883541503 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 495.22
Current children cumulated vsize (KiB) 10548244

[startup+494.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 13960
/proc/meminfo: memFree=1209708/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10548244 CPUtime=496.81 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 38191 0 1 0 49655 26 0 0 25 0 19 0 883541467 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2637061 30481 2266 9 0 2627795 0
[pid=13814/tid=13816] ppid=13812 vsize=10548244 CPUtime=477.47 cores=1,3,5,7
/proc/13814/task/13816/stat : 13816 (java) R 13812 13814 8455 0 -1 4202560 20624 0 1 0 47743 4 0 0 25 0 19 0 883541468 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 46912505682687 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13814/tid=13817] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13817/stat : 13817 (java) S 13812 13814 8455 0 -1 4202560 170 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13818] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13818/stat : 13818 (java) S 13812 13814 8455 0 -1 4202560 40 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13819] ppid=13812 vsize=10548244 CPUtime=0.26 cores=1,3,5,7
/proc/13814/task/13819/stat : 13819 (java) S 13812 13814 8455 0 -1 4202560 28 0 0 0 26 0 0 0 16 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13820] ppid=13812 vsize=10548244 CPUtime=0.24 cores=1,3,5,7
/proc/13814/task/13820/stat : 13820 (java) S 13812 13814 8455 0 -1 4202560 42 0 0 0 24 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13821] ppid=13812 vsize=10548244 CPUtime=0.28 cores=1,3,5,7
/proc/13814/task/13821/stat : 13821 (java) S 13812 13814 8455 0 -1 4202560 142 0 0 0 28 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13822] ppid=13812 vsize=10548244 CPUtime=0.3 cores=1,3,5,7
/proc/13814/task/13822/stat : 13822 (java) S 13812 13814 8455 0 -1 4202560 448 0 0 0 30 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13823] ppid=13812 vsize=10548244 CPUtime=0.26 cores=1,3,5,7
/proc/13814/task/13823/stat : 13823 (java) S 13812 13814 8455 0 -1 4202560 290 0 0 0 25 1 0 0 16 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13824] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13824/stat : 13824 (java) S 13812 13814 8455 0 -1 4202560 303 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13825] ppid=13812 vsize=10548244 CPUtime=15.61 cores=1,3,5,7
/proc/13814/task/13825/stat : 13825 (java) S 13812 13814 8455 0 -1 4202560 1944 0 0 0 1548 13 0 0 15 0 19 0 883541470 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 0 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13826] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13826/stat : 13826 (java) S 13812 13814 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13827] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13827/stat : 13827 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13828] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13828/stat : 13828 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350207409 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13829] ppid=13812 vsize=10548244 CPUtime=0.49 cores=1,3,5,7
/proc/13814/task/13829/stat : 13829 (java) S 13812 13814 8455 0 -1 4202560 1678 0 0 0 49 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13830] ppid=13812 vsize=10548244 CPUtime=1.02 cores=1,3,5,7
/proc/13814/task/13830/stat : 13830 (java) S 13812 13814 8455 0 -1 4202560 11295 0 0 0 101 1 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13831] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13831/stat : 13831 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13832] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13832/stat : 13832 (java) S 13812 13814 8455 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13833] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13833/stat : 13833 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 883541503 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 496.81
Current children cumulated vsize (KiB) 10548244

[startup+494.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 13960
/proc/meminfo: memFree=1209708/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10548244 CPUtime=497.22 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 38192 0 1 0 49696 26 0 0 25 0 19 0 883541467 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2637061 30481 2266 9 0 2627795 0
[pid=13814/tid=13816] ppid=13812 vsize=10548244 CPUtime=477.85 cores=1,3,5,7
/proc/13814/task/13816/stat : 13816 (java) R 13812 13814 8455 0 -1 4202560 20625 0 1 0 47781 4 0 0 25 0 19 0 883541468 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 46912505829831 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13814/tid=13817] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13817/stat : 13817 (java) S 13812 13814 8455 0 -1 4202560 170 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13818] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13818/stat : 13818 (java) S 13812 13814 8455 0 -1 4202560 40 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13819] ppid=13812 vsize=10548244 CPUtime=0.26 cores=1,3,5,7
/proc/13814/task/13819/stat : 13819 (java) S 13812 13814 8455 0 -1 4202560 28 0 0 0 26 0 0 0 16 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13820] ppid=13812 vsize=10548244 CPUtime=0.24 cores=1,3,5,7
/proc/13814/task/13820/stat : 13820 (java) S 13812 13814 8455 0 -1 4202560 42 0 0 0 24 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13821] ppid=13812 vsize=10548244 CPUtime=0.28 cores=1,3,5,7
/proc/13814/task/13821/stat : 13821 (java) S 13812 13814 8455 0 -1 4202560 142 0 0 0 28 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13822] ppid=13812 vsize=10548244 CPUtime=0.3 cores=1,3,5,7
/proc/13814/task/13822/stat : 13822 (java) S 13812 13814 8455 0 -1 4202560 448 0 0 0 30 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13823] ppid=13812 vsize=10548244 CPUtime=0.26 cores=1,3,5,7
/proc/13814/task/13823/stat : 13823 (java) S 13812 13814 8455 0 -1 4202560 290 0 0 0 25 1 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13824] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13824/stat : 13824 (java) S 13812 13814 8455 0 -1 4202560 303 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13825] ppid=13812 vsize=10548244 CPUtime=15.63 cores=1,3,5,7
/proc/13814/task/13825/stat : 13825 (java) S 13812 13814 8455 0 -1 4202560 1944 0 0 0 1550 13 0 0 15 0 19 0 883541470 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 0 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13826] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13826/stat : 13826 (java) S 13812 13814 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13827] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13827/stat : 13827 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13828] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13828/stat : 13828 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350207409 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13829] ppid=13812 vsize=10548244 CPUtime=0.49 cores=1,3,5,7
/proc/13814/task/13829/stat : 13829 (java) S 13812 13814 8455 0 -1 4202560 1678 0 0 0 49 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13830] ppid=13812 vsize=10548244 CPUtime=1.03 cores=1,3,5,7
/proc/13814/task/13830/stat : 13830 (java) S 13812 13814 8455 0 -1 4202560 11295 0 0 0 102 1 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13831] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13831/stat : 13831 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13832] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13832/stat : 13832 (java) S 13812 13814 8455 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13833] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13833/stat : 13833 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 883541503 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 497.22
Current children cumulated vsize (KiB) 10548244

[startup+494.901 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 13960
/proc/meminfo: memFree=1209708/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=10548244 CPUtime=497.43 cores=1,3,5,7
/proc/13814/stat : 13814 (java) S 13812 13814 8455 0 -1 4202496 38192 0 1 0 49717 26 0 0 25 0 19 0 883541467 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 2637061 30481 2266 9 0 2627795 0
[pid=13814/tid=13816] ppid=13812 vsize=10548244 CPUtime=478.06 cores=1,3,5,7
/proc/13814/task/13816/stat : 13816 (java) R 13812 13814 8455 0 -1 4202560 20625 0 1 0 47802 4 0 0 25 0 19 0 883541468 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 46912505708127 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13814/tid=13817] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13817/stat : 13817 (java) S 13812 13814 8455 0 -1 4202560 170 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13818] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13818/stat : 13818 (java) S 13812 13814 8455 0 -1 4202560 40 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13819] ppid=13812 vsize=10548244 CPUtime=0.26 cores=1,3,5,7
/proc/13814/task/13819/stat : 13819 (java) S 13812 13814 8455 0 -1 4202560 28 0 0 0 26 0 0 0 16 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13820] ppid=13812 vsize=10548244 CPUtime=0.24 cores=1,3,5,7
/proc/13814/task/13820/stat : 13820 (java) S 13812 13814 8455 0 -1 4202560 42 0 0 0 24 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13821] ppid=13812 vsize=10548244 CPUtime=0.28 cores=1,3,5,7
/proc/13814/task/13821/stat : 13821 (java) S 13812 13814 8455 0 -1 4202560 142 0 0 0 28 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13822] ppid=13812 vsize=10548244 CPUtime=0.3 cores=1,3,5,7
/proc/13814/task/13822/stat : 13822 (java) S 13812 13814 8455 0 -1 4202560 448 0 0 0 30 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13823] ppid=13812 vsize=10548244 CPUtime=0.26 cores=1,3,5,7
/proc/13814/task/13823/stat : 13823 (java) S 13812 13814 8455 0 -1 4202560 290 0 0 0 25 1 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13824] ppid=13812 vsize=10548244 CPUtime=0.25 cores=1,3,5,7
/proc/13814/task/13824/stat : 13824 (java) S 13812 13814 8455 0 -1 4202560 303 0 0 0 25 0 0 0 15 0 19 0 883541469 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13825] ppid=13812 vsize=10548244 CPUtime=15.63 cores=1,3,5,7
/proc/13814/task/13825/stat : 13825 (java) S 13812 13814 8455 0 -1 4202560 1944 0 0 0 1550 13 0 0 15 0 19 0 883541470 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 0 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13826] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13826/stat : 13826 (java) S 13812 13814 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13827] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13827/stat : 13827 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883541471 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 7 0 0 0
[pid=13814/tid=13828] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13828/stat : 13828 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350207409 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13829] ppid=13812 vsize=10548244 CPUtime=0.49 cores=1,3,5,7
/proc/13814/task/13829/stat : 13829 (java) S 13812 13814 8455 0 -1 4202560 1678 0 0 0 49 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13830] ppid=13812 vsize=10548244 CPUtime=1.03 cores=1,3,5,7
/proc/13814/task/13830/stat : 13830 (java) S 13812 13814 8455 0 -1 4202560 11295 0 0 0 102 1 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 3 0 0 0
[pid=13814/tid=13831] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13831/stat : 13831 (java) S 13812 13814 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350199705 0 4 0 16800975 18446604471134474560 0 0 -1 1 0 0 0
[pid=13814/tid=13832] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13832/stat : 13832 (java) S 13812 13814 8455 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 883541473 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
[pid=13814/tid=13833] ppid=13812 vsize=10548244 CPUtime=0 cores=1,3,5,7
/proc/13814/task/13833/stat : 13833 (java) S 13812 13814 8455 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 883541503 10801401856 30481 33554432000 1073741824 1073778376 140734469462592 18446744073709551615 270350200320 0 4 0 16800975 18446604471134474560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 497.43
Current children cumulated vsize (KiB) 10548244

[startup+495.007 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 13960
/proc/meminfo: memFree=1209708/32951124 swapFree=67054448/67111528
[pid=13814] ppid=13812 vsize=0 CPUtime=497.54 cores=1,3,5,7
/proc/13814/stat : 13814 (java) Z 13812 13814 8455 0 -1 4203548 38219 0 1 0 49727 27 0 0 18 0 2 0 883541467 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13814/statm: 0 0 0 0 0 0 0
[pid=13814/tid=13816] ppid=13812 vsize=0 CPUtime=478.15 cores=1,3,5,7
/proc/13814/task/13816/stat : 13816 (java) R 13812 13814 8455 0 -1 4203588 20629 0 1 0 47811 4 0 0 25 0 2 0 883541468 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 497.54
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 495.009
CPU time (s): 497.545
CPU user time (s): 497.273
CPU system time (s): 0.271958
CPU usage (%): 100.512
Max. virtual memory (cumulated for all children) (KiB): 10548244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 497.273
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38219
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= 34387
involuntary context switches= 19982

runsolver used 0.811876 second user time and 1.9447 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-12 22:40:59
IDJOB=3492077
IDBENCH=79274
IDSOLVER=1982
FILE ID=node143/3492077-1307911258
RUNJOBID= node143-1307908050-12755
PBS_JOBID= 13559565
Free space on /var/tmp= 2916 MiB

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

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

MD5SUM BENCH= ec85c0538058c3457da9eddcb3b315b2
RANDOM SEED=1266971315

node143.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.846
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.69
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.846
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	: 5226.15
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.846
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.74
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.846
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	: 5332.83
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.846
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.75
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.846
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.846
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.74
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1314356 kB
Buffers:         65140 kB
Cached:       30490036 kB
SwapCached:       9484 kB
Active:       15939132 kB
Inactive:     14751068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1314356 kB
SwapTotal:    67111528 kB
SwapFree:     67054448 kB
Dirty:             484 kB
Writeback:           0 kB
AnonPages:      131876 kB
Mapped:          21248 kB
Slab:           882688 kB
PageTables:       5120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10575040 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node143 at 2011-06-12 22:49:14