Trace number 3492690

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 402.956 400.76

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
MD5SUM8591b35e74198f55af565a685d4a35ec
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark83.6103
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 constraints1837
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 93832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93831
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@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-3492690-1307910381.wbo
0.10/0.11	c reading problem ... 
0.47/0.31	c ... done. Wall clock time 0.203s.
0.47/0.31	c #vars     2068
0.47/0.31	c #constraints  2707
0.47/0.31	c constraints type 
0.47/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2607
0.47/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 5
0.47/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 77
0.47/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
0.76/0.44	c SATISFIABLE
0.76/0.44	c OPTIMIZING...
0.76/0.44	c Got one! Elapsed wall clock time (in seconds):0.325
0.76/0.44	o 442
0.76/0.48	c Got one! Elapsed wall clock time (in seconds):0.369
0.76/0.48	o 429
1.06/0.51	c Got one! Elapsed wall clock time (in seconds):0.402
1.06/0.51	o 369
1.06/0.54	c Got one! Elapsed wall clock time (in seconds):0.426
1.06/0.54	o 349
1.06/0.58	c Got one! Elapsed wall clock time (in seconds):0.465
1.06/0.58	o 334
1.06/0.60	c Got one! Elapsed wall clock time (in seconds):0.485
1.06/0.60	o 242
1.32/0.62	c Got one! Elapsed wall clock time (in seconds):0.509
1.32/0.62	o 240
1.32/0.64	c Got one! Elapsed wall clock time (in seconds):0.525
1.32/0.64	o 203
1.32/0.66	c Got one! Elapsed wall clock time (in seconds):0.549
1.32/0.66	o 184
1.46/0.70	c Got one! Elapsed wall clock time (in seconds):0.587
1.46/0.70	o 156
1.46/0.72	c Got one! Elapsed wall clock time (in seconds):0.613
1.46/0.72	o 155
1.46/0.75	c Got one! Elapsed wall clock time (in seconds):0.636
1.46/0.75	o 126
1.46/0.77	c Got one! Elapsed wall clock time (in seconds):0.662
1.46/0.77	o 81
1.57/0.85	c Got one! Elapsed wall clock time (in seconds):0.734
1.57/0.85	o 80
1.67/0.94	c Got one! Elapsed wall clock time (in seconds):0.831
1.67/0.94	o 73
1.78/1.08	c Got one! Elapsed wall clock time (in seconds):0.972
1.78/1.08	o 68
2.08/1.34	c Got one! Elapsed wall clock time (in seconds):1.233
2.08/1.34	o 47
2.08/1.38	c Got one! Elapsed wall clock time (in seconds):1.27
2.08/1.38	o 19
2.18/1.46	c Got one! Elapsed wall clock time (in seconds):1.353
2.18/1.46	o 14
2.38/1.64	c Got one! Elapsed wall clock time (in seconds):1.533
2.38/1.64	o 13
2.70/1.95	c cleaning 6058 clauses out of 12118 with flag 3002/12118
2.83/2.08	c Got one! Elapsed wall clock time (in seconds):1.966
2.83/2.08	o 9
3.13/2.33	c Got one! Elapsed wall clock time (in seconds):2.224
3.13/2.33	o 1
3.23/2.45	c cleaning 5987 clauses out of 11980 with flag 1002/18038
3.64/2.87	c cleaning 5993 clauses out of 11991 with flag 7000/24036
4.09/3.29	c cleaning 6497 clauses out of 12999 with flag 14001/31037
4.58/3.75	c cleaning 7247 clauses out of 14501 with flag 22000/39036
5.09/4.28	c cleaning 8125 clauses out of 16256 with flag 31002/48038
5.69/4.86	c cleaning 9062 clauses out of 18129 with flag 41000/58036
6.29/5.44	c cleaning 9532 clauses out of 19069 with flag 51002/68038
6.89/6.05	c cleaning 9760 clauses out of 19535 with flag 61000/78036
7.50/6.62	c cleaning 9883 clauses out of 19775 with flag 71000/88036
7.99/7.17	c cleaning 9937 clauses out of 19892 with flag 81000/98036
8.60/7.75	c cleaning 9974 clauses out of 19957 with flag 91002/108038
9.19/8.35	c cleaning 9986 clauses out of 19984 with flag 101003/118039
9.70/8.89	c cleaning 9995 clauses out of 19995 with flag 111000/128036
10.30/9.47	c cleaning 9997 clauses out of 20002 with flag 121002/138038
10.81/9.99	c cleaning 9991 clauses out of 20004 with flag 131001/148037
11.41/10.51	c cleaning 10006 clauses out of 20015 with flag 141003/158039
11.92/11.02	c cleaning 9999 clauses out of 20006 with flag 151000/168036
12.41/11.57	c cleaning 9999 clauses out of 20009 with flag 161002/178038
13.02/12.14	c cleaning 9997 clauses out of 20008 with flag 171000/188036
13.51/12.63	c cleaning 10002 clauses out of 20014 with flag 181003/198039
14.02/13.13	c cleaning 9993 clauses out of 20009 with flag 191000/208036
14.51/13.69	c cleaning 9998 clauses out of 20016 with flag 201000/218036
15.12/14.21	c cleaning 10000 clauses out of 20018 with flag 211000/228036
15.61/14.71	c cleaning 10004 clauses out of 20020 with flag 221002/238038
16.11/15.22	c cleaning 9998 clauses out of 20014 with flag 231000/248036
16.52/15.70	c cleaning 10000 clauses out of 20016 with flag 241000/258036
17.12/16.22	c cleaning 10005 clauses out of 20017 with flag 251001/268037
17.62/16.79	c cleaning 10003 clauses out of 20011 with flag 261000/278036
18.12/17.28	c cleaning 9999 clauses out of 20009 with flag 271001/288037
18.72/17.81	c cleaning 10000 clauses out of 20012 with flag 281003/298039
19.22/18.33	c cleaning 9996 clauses out of 20009 with flag 291000/308036
19.72/18.85	c cleaning 10003 clauses out of 20016 with flag 301003/318039
20.22/19.33	c cleaning 9998 clauses out of 20012 with flag 311002/328038
20.73/19.83	c cleaning 10000 clauses out of 20012 with flag 321000/338036
21.22/20.30	c cleaning 10001 clauses out of 20015 with flag 331003/348039
21.72/20.86	c cleaning 10000 clauses out of 20012 with flag 341001/358037
22.22/21.37	c cleaning 10001 clauses out of 20011 with flag 351000/368036
22.84/21.91	c cleaning 10000 clauses out of 20012 with flag 361002/378038
23.33/22.45	c cleaning 9998 clauses out of 20010 with flag 371000/388036
23.94/23.00	c cleaning 10001 clauses out of 20013 with flag 381001/398037
24.34/23.49	c cleaning 9994 clauses out of 20011 with flag 391000/408036
24.94/24.01	c cleaning 10002 clauses out of 20017 with flag 401000/418036
25.44/24.51	c cleaning 10000 clauses out of 20016 with flag 411001/428037
25.94/25.01	c cleaning 10003 clauses out of 20015 with flag 421000/438036
26.34/25.47	c cleaning 10000 clauses out of 20012 with flag 431000/448036
26.86/25.95	c cleaning 10004 clauses out of 20013 with flag 441001/458037
27.37/26.47	c cleaning 9999 clauses out of 20008 with flag 451000/468036
27.87/26.98	c cleaning 9997 clauses out of 20009 with flag 461000/478036
28.37/27.50	c cleaning 10001 clauses out of 20015 with flag 471003/488039
28.97/28.02	c cleaning 10003 clauses out of 20014 with flag 481003/498039
29.47/28.51	c cleaning 9998 clauses out of 20010 with flag 491002/508038
29.97/29.05	c cleaning 10001 clauses out of 20012 with flag 501002/518038
30.47/29.55	c cleaning 10000 clauses out of 20010 with flag 511001/528037
30.97/30.08	c cleaning 10001 clauses out of 20009 with flag 521000/538036
31.47/30.56	c cleaning 9995 clauses out of 20009 with flag 531001/548037
31.97/31.06	c cleaning 10002 clauses out of 20013 with flag 541000/558036
32.47/31.57	c cleaning 10003 clauses out of 20014 with flag 551003/568039
33.07/32.13	c cleaning 10000 clauses out of 20010 with flag 561002/578038
33.57/32.64	c cleaning 9999 clauses out of 20011 with flag 571003/588039
34.07/33.14	c cleaning 9997 clauses out of 20010 with flag 581001/598037
34.57/33.62	c cleaning 10000 clauses out of 20012 with flag 591000/608036
34.98/34.07	c cleaning 10005 clauses out of 20013 with flag 601001/618037
35.58/34.60	c cleaning 10003 clauses out of 20011 with flag 611004/628040
35.98/35.09	c cleaning 9997 clauses out of 20008 with flag 621004/638040
36.48/35.56	c cleaning 10000 clauses out of 20007 with flag 631000/648036
36.98/36.07	c cleaning 9998 clauses out of 20008 with flag 641001/658037
37.58/36.61	c cleaning 10001 clauses out of 20010 with flag 651001/668037
38.08/37.13	c cleaning 10001 clauses out of 20008 with flag 661000/678036
38.58/37.65	c cleaning 9995 clauses out of 20007 with flag 671000/688036
39.08/38.18	c cleaning 10002 clauses out of 20013 with flag 681001/698037
39.68/38.75	c cleaning 9994 clauses out of 20011 with flag 691001/708037
40.18/39.29	c cleaning 10003 clauses out of 20018 with flag 701002/718038
40.78/39.81	c cleaning 9998 clauses out of 20014 with flag 711001/728037
41.28/40.35	c cleaning 10005 clauses out of 20015 with flag 721000/738036
41.78/40.89	c cleaning 10001 clauses out of 20010 with flag 731000/748036
42.38/41.42	c cleaning 9998 clauses out of 20009 with flag 741000/758036
42.88/41.90	c cleaning 9999 clauses out of 20013 with flag 751002/768038
43.38/42.41	c cleaning 10000 clauses out of 20012 with flag 761000/778036
43.89/42.91	c cleaning 9999 clauses out of 20014 with flag 771002/788038
44.40/43.49	c cleaning 10003 clauses out of 20013 with flag 781000/798036
45.00/44.03	c cleaning 9999 clauses out of 20010 with flag 791000/808036
45.50/44.54	c cleaning 9996 clauses out of 20011 with flag 801000/818036
46.11/45.12	c cleaning 10003 clauses out of 20017 with flag 811002/828038
46.60/45.67	c cleaning 10005 clauses out of 20017 with flag 821005/838041
47.21/46.24	c cleaning 9998 clauses out of 20008 with flag 831001/848037
47.81/46.83	c cleaning 9996 clauses out of 20011 with flag 841002/858038
48.41/47.49	c cleaning 10003 clauses out of 20013 with flag 851000/868036
49.01/48.04	c cleaning 9998 clauses out of 20012 with flag 861002/878038
49.51/48.59	c cleaning 9998 clauses out of 20013 with flag 871001/888037
50.01/49.06	c cleaning 9996 clauses out of 20014 with flag 881000/898036
50.52/49.54	c cleaning 10002 clauses out of 20018 with flag 891000/908036
51.01/50.04	c cleaning 10000 clauses out of 20018 with flag 901002/918038
51.52/50.54	c cleaning 9998 clauses out of 20017 with flag 911001/928037
52.02/51.08	c cleaning 10001 clauses out of 20018 with flag 921000/938036
52.52/51.56	c cleaning 10002 clauses out of 20017 with flag 931000/948036
53.02/52.08	c cleaning 9998 clauses out of 20016 with flag 941001/958037
53.52/52.57	c cleaning 9998 clauses out of 20018 with flag 951001/968037
54.02/53.08	c cleaning 10005 clauses out of 20021 with flag 961002/978038
54.52/53.58	c cleaning 10003 clauses out of 20014 with flag 971000/988036
55.02/54.08	c cleaning 9998 clauses out of 20011 with flag 981000/998036
55.52/54.55	c cleaning 10002 clauses out of 20015 with flag 991002/1008038
56.02/55.06	c cleaning 10004 clauses out of 20012 with flag 1001001/1018037
56.52/55.57	c cleaning 9997 clauses out of 20007 with flag 1011000/1028036
57.13/56.10	c cleaning 10001 clauses out of 20011 with flag 1021001/1038037
57.63/56.61	c cleaning 10000 clauses out of 20009 with flag 1031000/1048036
58.14/57.11	c cleaning 10000 clauses out of 20010 with flag 1041001/1058037
58.53/57.60	c cleaning 10003 clauses out of 20011 with flag 1051002/1068038
59.14/58.12	c cleaning 9996 clauses out of 20006 with flag 1061000/1078036
59.64/58.64	c cleaning 10001 clauses out of 20013 with flag 1071003/1088039
60.14/59.13	c cleaning 9997 clauses out of 20010 with flag 1081001/1098037
60.54/59.58	c cleaning 9999 clauses out of 20012 with flag 1091000/1108036
61.04/60.07	c cleaning 10003 clauses out of 20014 with flag 1101001/1118037
61.54/60.59	c cleaning 10003 clauses out of 20011 with flag 1111001/1128037
62.14/61.12	c cleaning 9994 clauses out of 20008 with flag 1121001/1138037
62.65/61.63	c cleaning 9998 clauses out of 20013 with flag 1131000/1148036
63.14/62.11	c cleaning 10005 clauses out of 20020 with flag 1141005/1158041
63.64/62.66	c cleaning 9998 clauses out of 20011 with flag 1151001/1168037
64.14/63.17	c cleaning 10000 clauses out of 20012 with flag 1161000/1178036
64.64/63.68	c cleaning 9999 clauses out of 20014 with flag 1171002/1188038
65.14/64.18	c cleaning 9999 clauses out of 20013 with flag 1181000/1198036
65.64/64.67	c cleaning 10001 clauses out of 20015 with flag 1191001/1208037
66.14/65.17	c cleaning 9997 clauses out of 20013 with flag 1201000/1218036
66.64/65.66	c cleaning 10002 clauses out of 20018 with flag 1211002/1228038
67.14/66.14	c cleaning 10003 clauses out of 20015 with flag 1221001/1238037
67.64/66.61	c cleaning 10001 clauses out of 20014 with flag 1231003/1248039
68.05/67.10	c cleaning 9997 clauses out of 20010 with flag 1241000/1258036
68.55/67.59	c cleaning 10003 clauses out of 20014 with flag 1251001/1268037
69.05/68.06	c cleaning 10002 clauses out of 20012 with flag 1261002/1278038
69.65/68.60	c cleaning 9996 clauses out of 20009 with flag 1271001/1288037
70.15/69.13	c cleaning 10002 clauses out of 20013 with flag 1281001/1298037
70.65/69.65	c cleaning 9998 clauses out of 20010 with flag 1291000/1308036
71.15/70.15	c cleaning 9999 clauses out of 20013 with flag 1301001/1318037
71.65/70.65	c cleaning 9997 clauses out of 20013 with flag 1311000/1328036
72.15/71.17	c cleaning 10000 clauses out of 20016 with flag 1321000/1338036
72.75/71.75	c cleaning 10000 clauses out of 20017 with flag 1331001/1348037
73.25/72.25	c cleaning 10003 clauses out of 20020 with flag 1341004/1358040
73.75/72.79	c cleaning 10003 clauses out of 20013 with flag 1351000/1368036
74.25/73.26	c cleaning 10002 clauses out of 20012 with flag 1361002/1378038
74.76/73.73	c cleaning 9998 clauses out of 20009 with flag 1371001/1388037
75.27/74.23	c cleaning 10000 clauses out of 20011 with flag 1381001/1398037
75.67/74.70	c cleaning 10001 clauses out of 20010 with flag 1391000/1408036
76.17/75.15	c cleaning 10001 clauses out of 20010 with flag 1401001/1418037
76.68/75.65	c cleaning 9993 clauses out of 20008 with flag 1411000/1428036
77.18/76.13	c cleaning 9997 clauses out of 20015 with flag 1421000/1438036
77.68/76.62	c cleaning 10005 clauses out of 20019 with flag 1431001/1448037
78.18/77.18	c cleaning 9999 clauses out of 20013 with flag 1441000/1458036
78.68/77.67	c cleaning 10003 clauses out of 20015 with flag 1451001/1468037
79.19/78.12	c cleaning 9994 clauses out of 20012 with flag 1461001/1478037
79.58/78.59	c cleaning 10007 clauses out of 20019 with flag 1471002/1488038
80.08/79.06	c cleaning 9998 clauses out of 20010 with flag 1481000/1498036
80.58/79.56	c cleaning 9999 clauses out of 20012 with flag 1491000/1508036
81.19/80.11	c cleaning 9998 clauses out of 20013 with flag 1501000/1518036
81.59/80.59	c cleaning 10002 clauses out of 20015 with flag 1511000/1528036
82.09/81.09	c cleaning 9998 clauses out of 20013 with flag 1521000/1538036
82.59/81.59	c cleaning 10007 clauses out of 20017 with flag 1531002/1548038
83.19/82.14	c cleaning 9997 clauses out of 20008 with flag 1541000/1558036
83.69/82.65	c cleaning 10000 clauses out of 20011 with flag 1551000/1568036
84.19/83.18	c cleaning 9995 clauses out of 20013 with flag 1561002/1578038
84.79/83.72	c cleaning 10001 clauses out of 20016 with flag 1571000/1588036
85.29/84.27	c cleaning 10006 clauses out of 20015 with flag 1581000/1598036
85.89/84.86	c cleaning 10000 clauses out of 20010 with flag 1591001/1608037
86.39/85.35	c cleaning 9997 clauses out of 20011 with flag 1601002/1618038
86.90/85.83	c cleaning 10004 clauses out of 20013 with flag 1611001/1628037
87.39/86.34	c cleaning 9999 clauses out of 20010 with flag 1621002/1638038
87.90/86.84	c cleaning 10002 clauses out of 20011 with flag 1631002/1648038
88.39/87.32	c cleaning 9998 clauses out of 20008 with flag 1641001/1658037
88.90/87.82	c cleaning 9998 clauses out of 20011 with flag 1651002/1668038
89.40/88.35	c cleaning 9997 clauses out of 20013 with flag 1661002/1678038
89.90/88.89	c cleaning 10001 clauses out of 20016 with flag 1671002/1688038
90.50/89.42	c cleaning 10002 clauses out of 20015 with flag 1681002/1698038
91.00/89.94	c cleaning 10001 clauses out of 20011 with flag 1691000/1708036
91.60/90.51	c cleaning 9997 clauses out of 20010 with flag 1701000/1718036
92.10/91.03	c cleaning 9998 clauses out of 20013 with flag 1711000/1728036
92.60/91.55	c cleaning 9997 clauses out of 20015 with flag 1721000/1738036
93.10/92.05	c cleaning 10005 clauses out of 20020 with flag 1731002/1748038
93.71/92.64	c cleaning 10001 clauses out of 20013 with flag 1741000/1758036
94.22/93.17	c cleaning 10001 clauses out of 20013 with flag 1751001/1768037
94.82/93.78	c cleaning 10002 clauses out of 20013 with flag 1761002/1778038
95.42/94.30	c cleaning 9999 clauses out of 20009 with flag 1771000/1788036
95.82/94.79	c cleaning 10003 clauses out of 20015 with flag 1781005/1798041
96.32/95.26	c cleaning 9996 clauses out of 20007 with flag 1791000/1808036
96.83/95.75	c cleaning 10002 clauses out of 20012 with flag 1801001/1818037
97.32/96.24	c cleaning 10001 clauses out of 20011 with flag 1811002/1828038
97.82/96.77	c cleaning 9999 clauses out of 20008 with flag 1821000/1838036
98.42/97.33	c cleaning 10001 clauses out of 20013 with flag 1831004/1848040
98.93/97.81	c cleaning 9997 clauses out of 20009 with flag 1841001/1858037
99.42/98.33	c cleaning 10003 clauses out of 20015 with flag 1851004/1868040
99.92/98.86	c cleaning 10001 clauses out of 20011 with flag 1861003/1878039
100.42/99.37	c cleaning 9997 clauses out of 20007 with flag 1871000/1888036
100.92/99.87	c cleaning 10000 clauses out of 20011 with flag 1881001/1898037
101.42/100.38	c cleaning 9995 clauses out of 20010 with flag 1891000/1908036
101.92/100.86	c cleaning 10001 clauses out of 20015 with flag 1901000/1918036
102.42/101.38	c cleaning 10002 clauses out of 20015 with flag 1911001/1928037
103.02/101.90	c cleaning 10006 clauses out of 20015 with flag 1921003/1938039
103.53/102.40	c cleaning 9999 clauses out of 20008 with flag 1931002/1948038
104.03/102.92	c cleaning 9999 clauses out of 20009 with flag 1941002/1958038
104.43/103.40	c cleaning 10003 clauses out of 20011 with flag 1951003/1968039
104.93/103.90	c cleaning 9998 clauses out of 20005 with flag 1961000/1978036
105.53/104.42	c cleaning 9998 clauses out of 20007 with flag 1971000/1988036
106.03/104.96	c cleaning 10000 clauses out of 20012 with flag 1981003/1998039
106.53/105.49	c cleaning 9996 clauses out of 20009 with flag 1991000/2008036
107.13/106.01	c cleaning 9997 clauses out of 20013 with flag 2001000/2018036
107.63/106.50	c cleaning 10003 clauses out of 20017 with flag 2011001/2028037
108.03/106.99	c cleaning 10000 clauses out of 20013 with flag 2021000/2038036
108.63/107.53	c cleaning 10003 clauses out of 20013 with flag 2031000/2048036
109.13/108.04	c cleaning 10002 clauses out of 20011 with flag 2041001/2058037
109.63/108.55	c cleaning 9992 clauses out of 20008 with flag 2051000/2068036
110.13/109.03	c cleaning 10003 clauses out of 20016 with flag 2061000/2078036
110.63/109.54	c cleaning 9999 clauses out of 20015 with flag 2071002/2088038
111.14/110.06	c cleaning 9996 clauses out of 20014 with flag 2081000/2098036
111.64/110.55	c cleaning 10001 clauses out of 20018 with flag 2091000/2108036
112.15/111.04	c cleaning 10004 clauses out of 20017 with flag 2101000/2118036
112.54/111.49	c cleaning 10003 clauses out of 20015 with flag 2111002/2128038
113.05/111.98	c cleaning 10000 clauses out of 20011 with flag 2121001/2138037
113.55/112.48	c cleaning 9995 clauses out of 20011 with flag 2131001/2148037
114.15/113.01	c cleaning 10004 clauses out of 20016 with flag 2141001/2158037
114.65/113.50	c cleaning 10000 clauses out of 20011 with flag 2151000/2168036
115.05/113.98	c cleaning 9998 clauses out of 20011 with flag 2161000/2178036
115.55/114.49	c cleaning 10001 clauses out of 20013 with flag 2171000/2188036
116.15/115.01	c cleaning 9993 clauses out of 20012 with flag 2181000/2198036
116.66/115.51	c cleaning 10001 clauses out of 20022 with flag 2191003/2208039
117.15/116.06	c cleaning 10005 clauses out of 20021 with flag 2201003/2218039
117.76/116.63	c cleaning 10000 clauses out of 20013 with flag 2211000/2228036
118.25/117.18	c cleaning 9992 clauses out of 20014 with flag 2221001/2238037
118.86/117.74	c cleaning 10007 clauses out of 20023 with flag 2231002/2248038
119.35/118.27	c cleaning 10001 clauses out of 20014 with flag 2241000/2258036
119.96/118.81	c cleaning 10002 clauses out of 20014 with flag 2251001/2268037
120.45/119.35	c cleaning 9995 clauses out of 20011 with flag 2261000/2278036
121.06/119.93	c cleaning 9995 clauses out of 20016 with flag 2271000/2288036
121.66/120.50	c cleaning 10003 clauses out of 20021 with flag 2281000/2298036
122.16/121.00	c cleaning 9999 clauses out of 20019 with flag 2291001/2308037
122.66/121.57	c cleaning 10004 clauses out of 20020 with flag 2301001/2318037
123.16/122.08	c cleaning 10000 clauses out of 20015 with flag 2311000/2328036
123.66/122.56	c cleaning 9999 clauses out of 20015 with flag 2321000/2338036
124.16/123.03	c cleaning 10004 clauses out of 20016 with flag 2331000/2348036
124.66/123.53	c cleaning 9991 clauses out of 20012 with flag 2341000/2358036
125.07/124.00	c cleaning 10006 clauses out of 20023 with flag 2351002/2368038
125.57/124.49	c cleaning 9999 clauses out of 20016 with flag 2361001/2378037
126.07/124.99	c cleaning 10000 clauses out of 20016 with flag 2371000/2388036
126.67/125.53	c cleaning 10002 clauses out of 20018 with flag 2381002/2398038
127.17/126.02	c cleaning 10003 clauses out of 20014 with flag 2391000/2408036
127.68/126.56	c cleaning 10000 clauses out of 20011 with flag 2401000/2418036
128.17/127.07	c cleaning 9994 clauses out of 20012 with flag 2411001/2428037
128.68/127.57	c cleaning 10003 clauses out of 20017 with flag 2421000/2438036
129.27/128.11	c cleaning 10004 clauses out of 20015 with flag 2431001/2448037
129.78/128.62	c cleaning 9996 clauses out of 20011 with flag 2441001/2458037
130.27/129.13	c cleaning 10003 clauses out of 20015 with flag 2451001/2468037
130.77/129.65	c cleaning 10001 clauses out of 20012 with flag 2461001/2478037
131.28/130.18	c cleaning 9995 clauses out of 20011 with flag 2471001/2488037
131.78/130.68	c cleaning 10001 clauses out of 20017 with flag 2481002/2498038
132.38/131.25	c cleaning 9997 clauses out of 20018 with flag 2491004/2508040
132.88/131.78	c cleaning 10005 clauses out of 20018 with flag 2501001/2518037
133.38/132.27	c cleaning 9993 clauses out of 20012 with flag 2511000/2528036
133.98/132.84	c cleaning 10003 clauses out of 20019 with flag 2521000/2538036
134.48/133.38	c cleaning 10005 clauses out of 20020 with flag 2531004/2548040
134.98/133.89	c cleaning 9992 clauses out of 20012 with flag 2541001/2558037
135.48/134.40	c cleaning 10004 clauses out of 20021 with flag 2551002/2568038
136.09/134.91	c cleaning 9998 clauses out of 20016 with flag 2561001/2578037
136.59/135.46	c cleaning 10003 clauses out of 20018 with flag 2571001/2588037
137.09/135.99	c cleaning 10006 clauses out of 20017 with flag 2581003/2598039
137.69/136.53	c cleaning 9995 clauses out of 20008 with flag 2591000/2608036
138.19/137.01	c cleaning 9999 clauses out of 20014 with flag 2601001/2618037
138.69/137.50	c cleaning 10002 clauses out of 20019 with flag 2611005/2628041
139.19/138.05	c cleaning 9993 clauses out of 20012 with flag 2621000/2638036
139.70/138.60	c cleaning 10004 clauses out of 20020 with flag 2631001/2648037
140.29/139.12	c cleaning 10002 clauses out of 20016 with flag 2641001/2658037
140.80/139.68	c cleaning 10001 clauses out of 20013 with flag 2651000/2668036
141.29/140.19	c cleaning 10002 clauses out of 20014 with flag 2661002/2678038
141.90/140.71	c cleaning 10003 clauses out of 20014 with flag 2671004/2688040
142.39/141.22	c cleaning 10000 clauses out of 20009 with flag 2681002/2698038
142.89/141.74	c cleaning 9999 clauses out of 20009 with flag 2691002/2708038
143.39/142.23	c cleaning 9999 clauses out of 20008 with flag 2701000/2718036
143.89/142.74	c cleaning 9994 clauses out of 20009 with flag 2711000/2728036
144.40/143.23	c cleaning 10001 clauses out of 20019 with flag 2721004/2738040
144.90/143.74	c cleaning 9999 clauses out of 20014 with flag 2731000/2748036
145.40/144.25	c cleaning 9999 clauses out of 20016 with flag 2741001/2758037
146.00/144.85	c cleaning 10001 clauses out of 20016 with flag 2751000/2768036
146.51/145.36	c cleaning 9998 clauses out of 20018 with flag 2761003/2778039
147.11/145.90	c cleaning 10000 clauses out of 20017 with flag 2771000/2788036
147.61/146.47	c cleaning 10002 clauses out of 20020 with flag 2781003/2798039
148.21/147.09	c cleaning 9997 clauses out of 20016 with flag 2791001/2808037
148.91/147.70	c cleaning 9995 clauses out of 20019 with flag 2801001/2818037
149.41/148.25	c cleaning 10009 clauses out of 20023 with flag 2811000/2828036
150.01/148.84	c cleaning 10002 clauses out of 20015 with flag 2821001/2838037
150.51/149.40	c cleaning 9999 clauses out of 20012 with flag 2831000/2848036
151.11/149.91	c cleaning 10003 clauses out of 20014 with flag 2841001/2858037
151.61/150.44	c cleaning 10001 clauses out of 20011 with flag 2851001/2868037
152.12/150.98	c cleaning 9998 clauses out of 20014 with flag 2861005/2878041
152.72/151.59	c cleaning 9985 clauses out of 20012 with flag 2871001/2888037
153.42/152.23	c cleaning 9992 clauses out of 20026 with flag 2881000/2898036
153.92/152.74	c cleaning 10011 clauses out of 20034 with flag 2891000/2908036
154.42/153.28	c cleaning 10003 clauses out of 20023 with flag 2901000/2918036
155.02/153.80	c cleaning 10004 clauses out of 20021 with flag 2911001/2928037
155.52/154.36	c cleaning 10006 clauses out of 20017 with flag 2921001/2938037
156.02/154.87	c cleaning 10001 clauses out of 20010 with flag 2931000/2948036
156.52/155.38	c cleaning 9995 clauses out of 20010 with flag 2941001/2958037
157.12/155.93	c cleaning 10001 clauses out of 20015 with flag 2951001/2968037
157.72/156.53	c cleaning 9999 clauses out of 20016 with flag 2961003/2978039
158.22/157.04	c cleaning 9993 clauses out of 20014 with flag 2971000/2988036
158.72/157.59	c cleaning 10007 clauses out of 20022 with flag 2981001/2998037
159.22/158.06	c cleaning 10006 clauses out of 20017 with flag 2991003/3008039
159.82/158.61	c cleaning 9997 clauses out of 20009 with flag 3001001/3018037
160.32/159.12	c cleaning 10000 clauses out of 20012 with flag 3011001/3028037
160.82/159.65	c cleaning 10002 clauses out of 20012 with flag 3021001/3038037
161.32/160.17	c cleaning 10001 clauses out of 20009 with flag 3031000/3048036
161.83/160.66	c cleaning 9995 clauses out of 20010 with flag 3041002/3058038
162.33/161.16	c cleaning 10004 clauses out of 20013 with flag 3051000/3068036
162.84/161.66	c cleaning 9997 clauses out of 20009 with flag 3061000/3078036
163.33/162.18	c cleaning 10002 clauses out of 20014 with flag 3071002/3088038
163.83/162.66	c cleaning 10002 clauses out of 20012 with flag 3081002/3098038
164.33/163.17	c cleaning 9993 clauses out of 20009 with flag 3091001/3108037
164.83/163.66	c cleaning 9994 clauses out of 20015 with flag 3101000/3118036
165.33/164.14	c cleaning 10005 clauses out of 20023 with flag 3111002/3128038
165.83/164.62	c cleaning 10005 clauses out of 20018 with flag 3121002/3138038
166.34/165.11	c cleaning 9999 clauses out of 20012 with flag 3131001/3148037
166.84/165.61	c cleaning 10003 clauses out of 20013 with flag 3141001/3158037
167.35/166.11	c cleaning 9998 clauses out of 20010 with flag 3151001/3168037
167.84/166.70	c cleaning 9999 clauses out of 20011 with flag 3161000/3178036
168.45/167.25	c cleaning 9997 clauses out of 20012 with flag 3171000/3188036
168.94/167.76	c cleaning 10002 clauses out of 20016 with flag 3181001/3198037
169.45/168.26	c cleaning 10004 clauses out of 20014 with flag 3191001/3208037
170.05/168.80	c cleaning 9998 clauses out of 20009 with flag 3201000/3218036
170.65/169.44	c cleaning 9998 clauses out of 20014 with flag 3211003/3228039
171.25/170.07	c cleaning 9994 clauses out of 20013 with flag 3221000/3238036
171.85/170.65	c cleaning 10007 clauses out of 20019 with flag 3231000/3248036
172.35/171.14	c cleaning 10001 clauses out of 20012 with flag 3241000/3258036
172.95/171.74	c cleaning 9999 clauses out of 20012 with flag 3251001/3268037
173.55/172.31	c cleaning 10004 clauses out of 20016 with flag 3261004/3278040
174.05/172.84	c cleaning 9996 clauses out of 20009 with flag 3271001/3288037
174.55/173.34	c cleaning 10002 clauses out of 20012 with flag 3281000/3298036
175.06/173.82	c cleaning 9993 clauses out of 20012 with flag 3291002/3308038
175.55/174.31	c cleaning 10002 clauses out of 20017 with flag 3301000/3318036
175.95/174.77	c cleaning 9999 clauses out of 20016 with flag 3311001/3328037
176.45/175.24	c cleaning 10002 clauses out of 20018 with flag 3321002/3338038
176.95/175.77	c cleaning 9986 clauses out of 20014 with flag 3331000/3348036
177.45/176.24	c cleaning 10008 clauses out of 20029 with flag 3341001/3358037
177.95/176.74	c cleaning 9999 clauses out of 20021 with flag 3351001/3368037
178.45/177.24	c cleaning 10002 clauses out of 20022 with flag 3361001/3378037
178.96/177.75	c cleaning 10003 clauses out of 20021 with flag 3371002/3388038
179.47/178.24	c cleaning 9997 clauses out of 20016 with flag 3381000/3398036
179.96/178.75	c cleaning 10003 clauses out of 20019 with flag 3391000/3408036
180.47/179.24	c cleaning 10001 clauses out of 20018 with flag 3401002/3418038
180.96/179.75	c cleaning 9998 clauses out of 20016 with flag 3411001/3428037
181.46/180.26	c cleaning 10005 clauses out of 20018 with flag 3421001/3438037
181.96/180.79	c cleaning 9999 clauses out of 20012 with flag 3431000/3448036
182.57/181.31	c cleaning 10005 clauses out of 20016 with flag 3441003/3458039
183.07/181.84	c cleaning 10001 clauses out of 20010 with flag 3451002/3468038
183.57/182.39	c cleaning 9995 clauses out of 20007 with flag 3461000/3478036
184.07/182.89	c cleaning 10003 clauses out of 20013 with flag 3471001/3488037
184.67/183.40	c cleaning 9995 clauses out of 20011 with flag 3481002/3498038
185.17/183.91	c cleaning 10002 clauses out of 20014 with flag 3491000/3508036
185.67/184.48	c cleaning 10000 clauses out of 20012 with flag 3501000/3518036
186.27/185.02	c cleaning 9993 clauses out of 20012 with flag 3511000/3528036
186.77/185.54	c cleaning 10006 clauses out of 20021 with flag 3521002/3538038
187.28/186.06	c cleaning 10004 clauses out of 20014 with flag 3531001/3548037
187.78/186.59	c cleaning 10000 clauses out of 20010 with flag 3541001/3558037
188.38/187.11	c cleaning 9998 clauses out of 20010 with flag 3551001/3568037
188.88/187.66	c cleaning 10001 clauses out of 20012 with flag 3561001/3578037
189.39/188.19	c cleaning 10000 clauses out of 20011 with flag 3571001/3588037
189.98/188.71	c cleaning 9997 clauses out of 20013 with flag 3581003/3598039
190.49/189.27	c cleaning 10001 clauses out of 20013 with flag 3591000/3608036
191.09/189.81	c cleaning 9999 clauses out of 20012 with flag 3601000/3618036
191.59/190.35	c cleaning 9998 clauses out of 20013 with flag 3611000/3628036
192.09/190.86	c cleaning 10000 clauses out of 20016 with flag 3621001/3638037
192.69/191.41	c cleaning 9999 clauses out of 20018 with flag 3631003/3648039
193.19/191.94	c cleaning 10002 clauses out of 20017 with flag 3641001/3658037
193.80/192.51	c cleaning 10003 clauses out of 20014 with flag 3651000/3668036
194.29/193.07	c cleaning 10000 clauses out of 20011 with flag 3661000/3678036
194.90/193.62	c cleaning 9998 clauses out of 20012 with flag 3671001/3688037
195.39/194.17	c cleaning 10004 clauses out of 20013 with flag 3681000/3698036
196.01/194.72	c cleaning 9997 clauses out of 20009 with flag 3691000/3708036
196.50/195.25	c cleaning 10000 clauses out of 20013 with flag 3701001/3718037
197.01/195.75	c cleaning 10002 clauses out of 20014 with flag 3711002/3728038
197.61/196.31	c cleaning 9997 clauses out of 20010 with flag 3721000/3738036
198.11/196.90	c cleaning 10001 clauses out of 20013 with flag 3731000/3748036
198.81/197.54	c cleaning 10000 clauses out of 20012 with flag 3741000/3758036
199.41/198.15	c cleaning 10001 clauses out of 20012 with flag 3751000/3768036
200.01/198.71	c cleaning 9994 clauses out of 20012 with flag 3761001/3778037
200.61/199.38	c cleaning 9997 clauses out of 20018 with flag 3771001/3788037
201.22/199.95	c cleaning 10003 clauses out of 20020 with flag 3781000/3798036
201.71/200.50	c cleaning 10002 clauses out of 20017 with flag 3791000/3808036
202.31/201.03	c cleaning 9996 clauses out of 20015 with flag 3801000/3818036
202.91/201.61	c cleaning 10002 clauses out of 20019 with flag 3811000/3828036
203.52/202.20	c cleaning 10002 clauses out of 20017 with flag 3821000/3838036
204.02/202.70	c cleaning 10001 clauses out of 20015 with flag 3831000/3848036
204.51/203.23	c cleaning 9995 clauses out of 20014 with flag 3841000/3858036
205.02/203.75	c cleaning 10000 clauses out of 20021 with flag 3851002/3868038
205.62/204.32	c cleaning 10001 clauses out of 20020 with flag 3861001/3878037
206.12/204.87	c cleaning 10005 clauses out of 20019 with flag 3871001/3888037
206.73/205.40	c cleaning 10003 clauses out of 20016 with flag 3881003/3898039
207.23/205.96	c cleaning 9993 clauses out of 20010 with flag 3891000/3908036
207.73/206.49	c cleaning 9998 clauses out of 20020 with flag 3901003/3918039
208.33/207.00	c cleaning 10005 clauses out of 20019 with flag 3911000/3928036
208.83/207.53	c cleaning 9998 clauses out of 20014 with flag 3921000/3938036
209.43/208.17	c cleaning 10004 clauses out of 20017 with flag 3931001/3948037
210.44/208.75	c cleaning 10004 clauses out of 20014 with flag 3941002/3958038
210.94/209.27	c cleaning 9995 clauses out of 20009 with flag 3951001/3968037
211.44/209.79	c cleaning 9999 clauses out of 20015 with flag 3961002/3978038
212.04/210.32	c cleaning 10001 clauses out of 20014 with flag 3971000/3988036
212.54/210.87	c cleaning 10001 clauses out of 20015 with flag 3981002/3998038
213.04/211.37	c cleaning 10001 clauses out of 20012 with flag 3991000/4008036
213.64/211.99	c cleaning 9986 clauses out of 20011 with flag 4001000/4018036
214.24/212.54	c cleaning 9996 clauses out of 20025 with flag 4011000/4028036
214.85/213.11	c cleaning 10005 clauses out of 20029 with flag 4021000/4038036
215.45/213.73	c cleaning 10002 clauses out of 20024 with flag 4031000/4048036
216.05/214.33	c cleaning 9997 clauses out of 20022 with flag 4041000/4058036
216.65/214.99	c cleaning 10001 clauses out of 20025 with flag 4051000/4068036
217.26/215.52	c cleaning 10007 clauses out of 20026 with flag 4061002/4078038
217.85/216.11	c cleaning 10002 clauses out of 20018 with flag 4071001/4088037
218.36/216.66	c cleaning 10004 clauses out of 20017 with flag 4081002/4098038
218.85/217.17	c cleaning 9999 clauses out of 20011 with flag 4091000/4108036
219.46/217.77	c cleaning 9997 clauses out of 20012 with flag 4101000/4118036
220.05/218.34	c cleaning 10000 clauses out of 20015 with flag 4111000/4128036
220.56/218.86	c cleaning 10005 clauses out of 20015 with flag 4121000/4138036
221.16/219.45	c cleaning 10000 clauses out of 20014 with flag 4131004/4148040
221.67/219.99	c cleaning 9998 clauses out of 20012 with flag 4141002/4158038
222.26/220.53	c cleaning 9999 clauses out of 20012 with flag 4151000/4168036
222.87/221.16	c cleaning 10002 clauses out of 20018 with flag 4161005/4178041
223.46/221.73	c cleaning 10001 clauses out of 20013 with flag 4171002/4188038
223.97/222.29	c cleaning 9999 clauses out of 20010 with flag 4181000/4198036
224.57/222.86	c cleaning 10002 clauses out of 20012 with flag 4191001/4208037
225.07/223.38	c cleaning 9999 clauses out of 20009 with flag 4201000/4218036
225.67/223.93	c cleaning 9994 clauses out of 20010 with flag 4211000/4228036
226.17/224.48	c cleaning 10005 clauses out of 20017 with flag 4221001/4238037
226.77/225.02	c cleaning 10000 clauses out of 20012 with flag 4231001/4248037
227.28/225.55	c cleaning 9995 clauses out of 20011 with flag 4241000/4258036
227.78/226.03	c cleaning 10005 clauses out of 20018 with flag 4251002/4268038
228.28/226.57	c cleaning 9999 clauses out of 20011 with flag 4261000/4278036
228.78/227.09	c cleaning 9994 clauses out of 20013 with flag 4271001/4288037
229.38/227.65	c cleaning 10002 clauses out of 20019 with flag 4281001/4298037
229.98/228.20	c cleaning 10004 clauses out of 20016 with flag 4291000/4308036
230.48/228.71	c cleaning 10002 clauses out of 20016 with flag 4301004/4318040
230.88/229.19	c cleaning 9993 clauses out of 20010 with flag 4311000/4328036
231.48/229.79	c cleaning 9995 clauses out of 20017 with flag 4321000/4338036
232.08/230.36	c cleaning 9988 clauses out of 20023 with flag 4331001/4348037
232.69/230.92	c cleaning 10009 clauses out of 20034 with flag 4341000/4358036
233.29/231.53	c cleaning 10008 clauses out of 20025 with flag 4351000/4368036
233.79/232.07	c cleaning 10005 clauses out of 20017 with flag 4361000/4378036
234.39/232.62	c cleaning 10000 clauses out of 20014 with flag 4371002/4388038
235.00/233.24	c cleaning 9997 clauses out of 20013 with flag 4381001/4398037
235.49/233.74	c cleaning 10002 clauses out of 20017 with flag 4391002/4408038
236.00/234.26	c cleaning 10001 clauses out of 20013 with flag 4401000/4418036
236.59/234.81	c cleaning 9997 clauses out of 20012 with flag 4411000/4428036
237.10/235.35	c cleaning 10004 clauses out of 20017 with flag 4421002/4438038
237.59/235.88	c cleaning 9998 clauses out of 20011 with flag 4431000/4448036
238.20/236.49	c cleaning 9998 clauses out of 20014 with flag 4441001/4458037
238.90/237.12	c cleaning 9999 clauses out of 20016 with flag 4451001/4468037
239.40/237.66	c cleaning 10002 clauses out of 20016 with flag 4461000/4478036
240.00/238.24	c cleaning 10000 clauses out of 20014 with flag 4471000/4488036
240.50/238.72	c cleaning 10001 clauses out of 20016 with flag 4481002/4498038
241.01/239.29	c cleaning 9994 clauses out of 20013 with flag 4491000/4508036
241.62/239.82	c cleaning 10004 clauses out of 20019 with flag 4501000/4518036
242.11/240.32	c cleaning 10006 clauses out of 20017 with flag 4511002/4528038
242.62/240.80	c cleaning 9996 clauses out of 20009 with flag 4521000/4538036
243.02/241.30	c cleaning 10005 clauses out of 20013 with flag 4531000/4548036
243.62/241.80	c cleaning 10002 clauses out of 20012 with flag 4541004/4558040
244.12/242.33	c cleaning 10000 clauses out of 20007 with flag 4551001/4568037
244.62/242.82	c cleaning 10000 clauses out of 20010 with flag 4561004/4578040
245.12/243.30	c cleaning 9996 clauses out of 20009 with flag 4571003/4588039
245.52/243.78	c cleaning 9998 clauses out of 20010 with flag 4581000/4598036
246.03/244.28	c cleaning 10000 clauses out of 20015 with flag 4591003/4608039
246.52/244.79	c cleaning 10003 clauses out of 20014 with flag 4601002/4618038
247.13/245.39	c cleaning 10001 clauses out of 20010 with flag 4611001/4628037
247.73/245.92	c cleaning 9996 clauses out of 20008 with flag 4621000/4638036
248.23/246.44	c cleaning 10003 clauses out of 20015 with flag 4631003/4648039
248.73/246.96	c cleaning 10000 clauses out of 20011 with flag 4641002/4658038
249.23/247.49	c cleaning 9998 clauses out of 20010 with flag 4651001/4668037
249.83/248.00	c cleaning 9999 clauses out of 20013 with flag 4661002/4678038
250.33/248.56	c cleaning 9993 clauses out of 20013 with flag 4671001/4688037
250.83/249.09	c cleaning 10006 clauses out of 20019 with flag 4681000/4698036
251.43/249.64	c cleaning 10004 clauses out of 20015 with flag 4691002/4708038
251.93/250.18	c cleaning 9994 clauses out of 20009 with flag 4701000/4718036
252.43/250.68	c cleaning 10003 clauses out of 20018 with flag 4711003/4728039
253.03/251.21	c cleaning 9999 clauses out of 20015 with flag 4721003/4738039
253.53/251.74	c cleaning 10005 clauses out of 20013 with flag 4731000/4748036
254.03/252.30	c cleaning 10000 clauses out of 20008 with flag 4741000/4758036
254.63/252.87	c cleaning 9993 clauses out of 20010 with flag 4751002/4768038
255.24/253.42	c cleaning 9999 clauses out of 20016 with flag 4761001/4778037
255.74/253.95	c cleaning 10005 clauses out of 20017 with flag 4771001/4788037
256.34/254.50	c cleaning 9998 clauses out of 20011 with flag 4781000/4798036
256.74/254.99	c cleaning 10003 clauses out of 20015 with flag 4791002/4808038
257.34/255.54	c cleaning 10000 clauses out of 20011 with flag 4801001/4818037
257.84/256.03	c cleaning 9995 clauses out of 20010 with flag 4811000/4828036
258.34/256.58	c cleaning 10002 clauses out of 20016 with flag 4821001/4838037
258.84/257.07	c cleaning 10000 clauses out of 20013 with flag 4831000/4848036
259.34/257.58	c cleaning 9998 clauses out of 20013 with flag 4841000/4858036
259.85/258.08	c cleaning 10004 clauses out of 20016 with flag 4851001/4868037
260.35/258.59	c cleaning 10000 clauses out of 20012 with flag 4861001/4878037
260.85/259.06	c cleaning 9997 clauses out of 20013 with flag 4871002/4888038
261.35/259.55	c cleaning 10004 clauses out of 20015 with flag 4881001/4898037
261.85/260.07	c cleaning 9999 clauses out of 20010 with flag 4891000/4908036
262.35/260.58	c cleaning 9995 clauses out of 20011 with flag 4901000/4918036
262.85/261.05	c cleaning 10007 clauses out of 20017 with flag 4911001/4928037
263.45/261.60	c cleaning 9998 clauses out of 20011 with flag 4921002/4938038
263.95/262.18	c cleaning 10002 clauses out of 20012 with flag 4931001/4948037
264.55/262.73	c cleaning 9998 clauses out of 20011 with flag 4941002/4958038
265.05/263.30	c cleaning 10002 clauses out of 20013 with flag 4951002/4968038
265.65/263.82	c cleaning 10002 clauses out of 20010 with flag 4961001/4978037
266.15/264.34	c cleaning 9999 clauses out of 20008 with flag 4971001/4988037
266.66/264.86	c cleaning 9999 clauses out of 20008 with flag 4981000/4998036
267.16/265.39	c cleaning 10000 clauses out of 20011 with flag 4991002/5008038
267.76/265.92	c cleaning 10001 clauses out of 20010 with flag 5001001/5018037
268.26/266.49	c cleaning 9993 clauses out of 20010 with flag 5011002/5028038
268.86/267.05	c cleaning 10000 clauses out of 20016 with flag 5021001/5038037
269.46/267.62	c cleaning 10002 clauses out of 20018 with flag 5031003/5048039
269.96/268.18	c cleaning 10002 clauses out of 20013 with flag 5041000/5058036
270.56/268.71	c cleaning 10000 clauses out of 20011 with flag 5051000/5068036
271.06/269.27	c cleaning 9996 clauses out of 20011 with flag 5061000/5078036
271.66/269.83	c cleaning 10004 clauses out of 20015 with flag 5071000/5088036
272.26/270.45	c cleaning 9999 clauses out of 20011 with flag 5081000/5098036
272.86/271.09	c cleaning 9999 clauses out of 20013 with flag 5091001/5108037
273.47/271.66	c cleaning 9999 clauses out of 20014 with flag 5101001/5118037
274.07/272.25	c cleaning 10001 clauses out of 20015 with flag 5111001/5128037
274.57/272.76	c cleaning 10000 clauses out of 20014 with flag 5121001/5138037
275.17/273.35	c cleaning 10000 clauses out of 20014 with flag 5131001/5148037
275.67/273.85	c cleaning 9998 clauses out of 20013 with flag 5141000/5158036
276.17/274.37	c cleaning 10001 clauses out of 20015 with flag 5151000/5168036
276.77/274.95	c cleaning 9999 clauses out of 20014 with flag 5161000/5178036
277.38/275.50	c cleaning 10000 clauses out of 20015 with flag 5171000/5188036
277.88/276.09	c cleaning 9997 clauses out of 20015 with flag 5181000/5198036
278.48/276.67	c cleaning 9998 clauses out of 20021 with flag 5191003/5208039
279.09/277.23	c cleaning 10009 clauses out of 20021 with flag 5201001/5218037
279.68/277.81	c cleaning 10001 clauses out of 20011 with flag 5211000/5228036
280.19/278.39	c cleaning 9998 clauses out of 20011 with flag 5221001/5238037
280.89/279.00	c cleaning 10000 clauses out of 20014 with flag 5231002/5248038
281.39/279.55	c cleaning 10000 clauses out of 20012 with flag 5241000/5258036
281.99/280.11	c cleaning 9996 clauses out of 20013 with flag 5251001/5268037
282.49/280.63	c cleaning 10004 clauses out of 20017 with flag 5261001/5278037
283.09/281.22	c cleaning 9997 clauses out of 20014 with flag 5271002/5288038
283.69/281.81	c cleaning 10000 clauses out of 20016 with flag 5281001/5298037
284.19/282.37	c cleaning 10002 clauses out of 20017 with flag 5291002/5308038
284.80/282.93	c cleaning 10002 clauses out of 20014 with flag 5301001/5318037
285.40/283.53	c cleaning 10001 clauses out of 20014 with flag 5311003/5328039
285.90/284.08	c cleaning 10001 clauses out of 20012 with flag 5321002/5338038
286.40/284.59	c cleaning 10002 clauses out of 20009 with flag 5331000/5348036
287.00/285.12	c cleaning 9997 clauses out of 20007 with flag 5341000/5358036
287.60/285.72	c cleaning 10000 clauses out of 20012 with flag 5351002/5368038
288.10/286.26	c cleaning 9992 clauses out of 20010 with flag 5361000/5378036
288.70/286.82	c cleaning 10004 clauses out of 20018 with flag 5371000/5388036
289.20/287.36	c cleaning 9999 clauses out of 20014 with flag 5381000/5398036
289.70/287.88	c cleaning 10003 clauses out of 20016 with flag 5391001/5408037
290.31/288.43	c cleaning 10003 clauses out of 20013 with flag 5401001/5418037
290.81/288.99	c cleaning 10001 clauses out of 20011 with flag 5411002/5428038
291.41/289.51	c cleaning 9999 clauses out of 20008 with flag 5421000/5438036
291.91/290.04	c cleaning 10000 clauses out of 20010 with flag 5431001/5448037
292.51/290.62	c cleaning 10001 clauses out of 20012 with flag 5441003/5458039
293.01/291.15	c cleaning 10000 clauses out of 20010 with flag 5451002/5468038
293.51/291.67	c cleaning 9999 clauses out of 20009 with flag 5461001/5478037
294.01/292.18	c cleaning 10001 clauses out of 20009 with flag 5471000/5488036
294.61/292.70	c cleaning 9998 clauses out of 20010 with flag 5481002/5498038
295.11/293.21	c cleaning 10003 clauses out of 20012 with flag 5491002/5508038
295.62/293.77	c cleaning 9998 clauses out of 20007 with flag 5501000/5518036
296.21/294.33	c cleaning 9998 clauses out of 20009 with flag 5511000/5528036
296.82/294.92	c cleaning 9994 clauses out of 20011 with flag 5521000/5538036
297.42/295.51	c cleaning 10000 clauses out of 20017 with flag 5531000/5548036
297.92/296.06	c cleaning 10004 clauses out of 20019 with flag 5541002/5558038
298.52/296.61	c cleaning 9997 clauses out of 20013 with flag 5551000/5568036
299.12/297.25	c cleaning 9994 clauses out of 20018 with flag 5561002/5578038
299.61/297.78	c cleaning 10007 clauses out of 20024 with flag 5571002/5588038
300.21/298.30	c cleaning 10005 clauses out of 20017 with flag 5581002/5598038
300.71/298.83	c cleaning 10003 clauses out of 20010 with flag 5591000/5608036
301.22/299.36	c cleaning 9998 clauses out of 20007 with flag 5601000/5618036
301.72/299.86	c cleaning 9999 clauses out of 20010 with flag 5611001/5628037
302.22/300.39	c cleaning 9999 clauses out of 20012 with flag 5621002/5638038
302.82/300.90	c cleaning 10002 clauses out of 20011 with flag 5631000/5648036
303.33/301.48	c cleaning 10002 clauses out of 20012 with flag 5641003/5658039
303.82/302.00	c cleaning 9999 clauses out of 20007 with flag 5651000/5668036
304.43/302.55	c cleaning 9997 clauses out of 20008 with flag 5661000/5678036
304.92/303.08	c cleaning 9999 clauses out of 20011 with flag 5671000/5688036
305.53/303.65	c cleaning 9998 clauses out of 20014 with flag 5681002/5698038
306.13/304.29	c cleaning 10001 clauses out of 20015 with flag 5691001/5708037
306.73/304.87	c cleaning 9998 clauses out of 20016 with flag 5701003/5718039
307.23/305.39	c cleaning 10006 clauses out of 20021 with flag 5711006/5728042
307.75/305.89	c cleaning 9999 clauses out of 20012 with flag 5721003/5738039
308.34/306.42	c cleaning 9998 clauses out of 20010 with flag 5731000/5748036
308.85/306.94	c cleaning 10000 clauses out of 20013 with flag 5741001/5758037
309.34/307.47	c cleaning 9995 clauses out of 20012 with flag 5751000/5768036
309.95/308.02	c cleaning 9993 clauses out of 20018 with flag 5761001/5778037
310.44/308.54	c cleaning 10001 clauses out of 20025 with flag 5771001/5788037
310.95/309.07	c cleaning 10004 clauses out of 20023 with flag 5781000/5798036
311.55/309.63	c cleaning 10001 clauses out of 20019 with flag 5791000/5808036
312.05/310.20	c cleaning 10002 clauses out of 20020 with flag 5801002/5818038
312.65/310.71	c cleaning 10003 clauses out of 20017 with flag 5811001/5828037
313.16/311.24	c cleaning 10002 clauses out of 20014 with flag 5821001/5838037
313.65/311.78	c cleaning 10000 clauses out of 20013 with flag 5831002/5848038
314.26/312.31	c cleaning 10003 clauses out of 20015 with flag 5841004/5858040
314.75/312.81	c cleaning 10000 clauses out of 20010 with flag 5851002/5868038
315.36/313.40	c cleaning 9994 clauses out of 20008 with flag 5861000/5878036
315.85/313.91	c cleaning 10003 clauses out of 20017 with flag 5871003/5888039
316.35/314.49	c cleaning 9995 clauses out of 20012 with flag 5881001/5898037
316.95/315.02	c cleaning 10002 clauses out of 20017 with flag 5891001/5908037
317.46/315.60	c cleaning 10002 clauses out of 20015 with flag 5901001/5918037
318.06/316.16	c cleaning 9998 clauses out of 20012 with flag 5911000/5928036
318.67/316.74	c cleaning 9987 clauses out of 20014 with flag 5921000/5938036
319.26/317.30	c cleaning 10005 clauses out of 20029 with flag 5931002/5948038
319.77/317.82	c cleaning 10005 clauses out of 20025 with flag 5941003/5958039
320.26/318.33	c cleaning 10005 clauses out of 20020 with flag 5951003/5968039
320.87/318.91	c cleaning 9998 clauses out of 20014 with flag 5961002/5978038
321.37/319.43	c cleaning 9995 clauses out of 20016 with flag 5971002/5988038
321.87/319.94	c cleaning 10005 clauses out of 20020 with flag 5981001/5998037
322.37/320.47	c cleaning 10003 clauses out of 20014 with flag 5991000/6008036
322.87/320.98	c cleaning 10003 clauses out of 20014 with flag 6001003/6018039
323.47/321.51	c cleaning 10000 clauses out of 20011 with flag 6011003/6028039
323.97/322.03	c cleaning 9997 clauses out of 20008 with flag 6021000/6038036
324.47/322.55	c cleaning 9997 clauses out of 20011 with flag 6031000/6048036
324.97/323.07	c cleaning 10004 clauses out of 20017 with flag 6041003/6058039
325.47/323.60	c cleaning 10000 clauses out of 20010 with flag 6051000/6068036
326.07/324.12	c cleaning 9996 clauses out of 20010 with flag 6061000/6078036
326.57/324.65	c cleaning 9999 clauses out of 20016 with flag 6071002/6088038
327.08/325.18	c cleaning 10002 clauses out of 20016 with flag 6081001/6098037
327.58/325.68	c cleaning 10000 clauses out of 20013 with flag 6091000/6108036
328.18/326.22	c cleaning 10000 clauses out of 20013 with flag 6101000/6118036
328.68/326.74	c cleaning 10004 clauses out of 20013 with flag 6111000/6128036
329.18/327.26	c cleaning 10001 clauses out of 20010 with flag 6121001/6138037
329.69/327.79	c cleaning 9999 clauses out of 20011 with flag 6131003/6148039
330.28/328.30	c cleaning 9997 clauses out of 20009 with flag 6141000/6158036
330.79/328.83	c cleaning 10001 clauses out of 20013 with flag 6151001/6168037
331.29/329.33	c cleaning 9998 clauses out of 20011 with flag 6161000/6178036
331.79/329.89	c cleaning 9997 clauses out of 20013 with flag 6171000/6188036
332.39/330.42	c cleaning 10001 clauses out of 20017 with flag 6181001/6198037
332.89/330.93	c cleaning 10000 clauses out of 20016 with flag 6191001/6208037
333.40/331.46	c cleaning 10004 clauses out of 20016 with flag 6201001/6218037
334.00/332.00	c cleaning 9996 clauses out of 20013 with flag 6211002/6228038
334.50/332.51	c cleaning 9997 clauses out of 20016 with flag 6221001/6238037
335.00/333.04	c cleaning 10007 clauses out of 20022 with flag 6231004/6248040
335.50/333.56	c cleaning 10003 clauses out of 20014 with flag 6241003/6258039
336.00/334.08	c cleaning 9997 clauses out of 20008 with flag 6251000/6268036
336.60/334.65	c cleaning 9996 clauses out of 20011 with flag 6261000/6278036
337.11/335.15	c cleaning 9999 clauses out of 20015 with flag 6271000/6288036
337.61/335.67	c cleaning 9998 clauses out of 20016 with flag 6281000/6298036
338.21/336.20	c cleaning 10003 clauses out of 20019 with flag 6291001/6308037
338.71/336.72	c cleaning 9999 clauses out of 20017 with flag 6301002/6318038
339.21/337.27	c cleaning 9994 clauses out of 20017 with flag 6311001/6328037
339.72/337.79	c cleaning 10007 clauses out of 20023 with flag 6321001/6338037
340.31/338.33	c cleaning 9996 clauses out of 20015 with flag 6331000/6348036
340.91/338.93	c cleaning 10000 clauses out of 20020 with flag 6341001/6358037
341.51/339.54	c cleaning 9999 clauses out of 20020 with flag 6351001/6368037
342.01/340.08	c cleaning 10002 clauses out of 20020 with flag 6361000/6378036
342.61/340.66	c cleaning 10001 clauses out of 20019 with flag 6371001/6388037
343.21/341.20	c cleaning 10002 clauses out of 20018 with flag 6381001/6398037
343.71/341.79	c cleaning 10002 clauses out of 20016 with flag 6391001/6408037
344.31/342.38	c cleaning 9997 clauses out of 20013 with flag 6401000/6418036
345.01/343.07	c cleaning 10001 clauses out of 20017 with flag 6411001/6428037
345.71/343.74	c cleaning 9996 clauses out of 20015 with flag 6421000/6438036
346.42/344.43	c cleaning 10001 clauses out of 20019 with flag 6431000/6448036
346.92/344.94	c cleaning 10007 clauses out of 20019 with flag 6441001/6458037
347.42/345.46	c cleaning 10001 clauses out of 20011 with flag 6451000/6468036
348.02/346.00	c cleaning 9997 clauses out of 20011 with flag 6461001/6478037
348.52/346.53	c cleaning 9998 clauses out of 20013 with flag 6471000/6488036
349.02/347.09	c cleaning 9996 clauses out of 20017 with flag 6481002/6498038
349.72/347.71	c cleaning 10003 clauses out of 20019 with flag 6491000/6508036
350.22/348.29	c cleaning 10004 clauses out of 20019 with flag 6501003/6518039
350.82/348.83	c cleaning 10002 clauses out of 20012 with flag 6511000/6528036
351.32/349.37	c cleaning 9992 clauses out of 20010 with flag 6521000/6538036
351.92/349.97	c cleaning 10004 clauses out of 20019 with flag 6531001/6548037
352.52/350.51	c cleaning 10003 clauses out of 20014 with flag 6541000/6558036
353.13/351.12	c cleaning 9992 clauses out of 20011 with flag 6551000/6568036
353.63/351.66	c cleaning 10003 clauses out of 20019 with flag 6561000/6578036
354.13/352.19	c cleaning 9998 clauses out of 20017 with flag 6571001/6588037
354.73/352.74	c cleaning 10006 clauses out of 20021 with flag 6581003/6598039
355.33/353.34	c cleaning 9999 clauses out of 20012 with flag 6591000/6608036
355.93/353.90	c cleaning 9999 clauses out of 20013 with flag 6601000/6618036
356.43/354.43	c cleaning 10003 clauses out of 20014 with flag 6611000/6628036
356.93/354.96	c cleaning 10001 clauses out of 20012 with flag 6621001/6638037
357.44/355.47	c cleaning 10000 clauses out of 20010 with flag 6631000/6648036
358.04/356.04	c cleaning 9997 clauses out of 20010 with flag 6641000/6658036
358.54/356.55	c cleaning 10003 clauses out of 20015 with flag 6651002/6668038
359.14/357.10	c cleaning 9993 clauses out of 20010 with flag 6661000/6678036
359.74/357.72	c cleaning 10004 clauses out of 20019 with flag 6671002/6688038
360.24/358.29	c cleaning 10003 clauses out of 20016 with flag 6681003/6698039
360.74/358.80	c cleaning 10001 clauses out of 20011 with flag 6691001/6708037
361.35/359.30	c cleaning 10002 clauses out of 20012 with flag 6701003/6718039
361.85/359.86	c cleaning 9998 clauses out of 20008 with flag 6711001/6728037
362.48/360.45	c cleaning 9998 clauses out of 20009 with flag 6721000/6738036
362.99/360.96	c cleaning 10002 clauses out of 20011 with flag 6731000/6748036
363.59/361.51	c cleaning 9996 clauses out of 20009 with flag 6741000/6758036
364.19/362.15	c cleaning 10002 clauses out of 20013 with flag 6751000/6768036
364.79/362.70	c cleaning 9997 clauses out of 20012 with flag 6761001/6778037
365.29/363.25	c cleaning 10000 clauses out of 20015 with flag 6771001/6788037
365.89/363.83	c cleaning 9997 clauses out of 20015 with flag 6781001/6798037
366.40/364.34	c cleaning 9991 clauses out of 20017 with flag 6791000/6808036
366.90/364.87	c cleaning 10005 clauses out of 20026 with flag 6801000/6818036
367.50/365.43	c cleaning 10003 clauses out of 20022 with flag 6811001/6828037
368.00/365.96	c cleaning 10005 clauses out of 20020 with flag 6821002/6838038
368.50/366.48	c cleaning 9998 clauses out of 20014 with flag 6831001/6848037
369.10/367.07	c cleaning 9996 clauses out of 20016 with flag 6841001/6858037
369.61/367.54	c cleaning 10001 clauses out of 20020 with flag 6851001/6868037
370.11/368.06	c cleaning 10004 clauses out of 20018 with flag 6861000/6878036
370.61/368.58	c cleaning 9997 clauses out of 20014 with flag 6871000/6888036
371.21/369.11	c cleaning 10003 clauses out of 20017 with flag 6881000/6898036
371.72/369.67	c cleaning 9998 clauses out of 20014 with flag 6891000/6908036
372.31/370.20	c cleaning 10000 clauses out of 20019 with flag 6901003/6918039
372.82/370.74	c cleaning 10001 clauses out of 20017 with flag 6911001/6928037
373.41/371.33	c cleaning 10002 clauses out of 20015 with flag 6921000/6938036
373.92/371.87	c cleaning 10003 clauses out of 20013 with flag 6931000/6948036
374.52/372.41	c cleaning 9996 clauses out of 20012 with flag 6941002/6958038
375.02/372.94	c cleaning 9999 clauses out of 20014 with flag 6951000/6968036
375.62/373.52	c cleaning 10007 clauses out of 20017 with flag 6961002/6978038
376.22/374.12	c cleaning 9998 clauses out of 20009 with flag 6971001/6988037
376.72/374.67	c cleaning 9996 clauses out of 20010 with flag 6981000/6998036
377.32/375.23	c cleaning 9999 clauses out of 20014 with flag 6991000/7008036
377.92/375.81	c cleaning 10003 clauses out of 20015 with flag 7001000/7018036
378.42/376.35	c cleaning 9997 clauses out of 20012 with flag 7011000/7028036
379.02/376.90	c cleaning 9995 clauses out of 20015 with flag 7021000/7038036
379.62/377.50	c cleaning 9995 clauses out of 20020 with flag 7031000/7048036
380.22/378.10	c cleaning 10004 clauses out of 20026 with flag 7041001/7058037
380.72/378.66	c cleaning 10006 clauses out of 20021 with flag 7051000/7068036
381.22/379.19	c cleaning 10002 clauses out of 20016 with flag 7061001/7078037
381.82/379.74	c cleaning 9998 clauses out of 20013 with flag 7071000/7088036
382.32/380.29	c cleaning 10001 clauses out of 20015 with flag 7081000/7098036
382.93/380.87	c cleaning 10003 clauses out of 20014 with flag 7091000/7108036
383.53/381.41	c cleaning 10001 clauses out of 20012 with flag 7101001/7118037
384.03/381.99	c cleaning 10005 clauses out of 20014 with flag 7111004/7128040
384.63/382.55	c cleaning 9994 clauses out of 20006 with flag 7121001/7138037
385.23/383.13	c cleaning 9999 clauses out of 20011 with flag 7131000/7148036
385.83/383.73	c cleaning 10000 clauses out of 20012 with flag 7141000/7158036
386.43/384.31	c cleaning 9993 clauses out of 20012 with flag 7151000/7168036
387.04/384.91	c cleaning 10003 clauses out of 20019 with flag 7161000/7178036
387.64/385.54	c cleaning 10001 clauses out of 20016 with flag 7171000/7188036
388.14/386.08	c cleaning 10006 clauses out of 20016 with flag 7181001/7198037
388.74/386.63	c cleaning 9997 clauses out of 20009 with flag 7191000/7208036
389.24/387.12	c cleaning 10002 clauses out of 20016 with flag 7201004/7218040
389.74/387.64	c cleaning 9996 clauses out of 20011 with flag 7211001/7228037
390.35/388.22	c cleaning 9999 clauses out of 20014 with flag 7221000/7238036
390.95/388.81	c cleaning 9998 clauses out of 20017 with flag 7231002/7248038
391.55/389.43	c cleaning 9994 clauses out of 20017 with flag 7241000/7258036
392.15/390.02	c cleaning 10005 clauses out of 20025 with flag 7251002/7268038
392.66/390.56	c cleaning 10004 clauses out of 20021 with flag 7261003/7278039
393.16/391.05	c cleaning 10003 clauses out of 20016 with flag 7271002/7288038
393.76/391.63	c cleaning 9993 clauses out of 20013 with flag 7281002/7298038
394.26/392.17	c cleaning 10000 clauses out of 20019 with flag 7291001/7308037
394.87/392.71	c cleaning 10005 clauses out of 20021 with flag 7301003/7318039
395.36/393.27	c cleaning 10002 clauses out of 20014 with flag 7311001/7328037
395.97/393.83	c cleaning 9997 clauses out of 20012 with flag 7321001/7338037
396.47/394.37	c cleaning 9997 clauses out of 20015 with flag 7331001/7348037
397.07/394.96	c cleaning 10004 clauses out of 20018 with flag 7341001/7358037
397.57/395.47	c cleaning 9998 clauses out of 20014 with flag 7351001/7368037
398.17/396.02	c cleaning 10004 clauses out of 20016 with flag 7361001/7378037
398.67/396.54	c cleaning 9998 clauses out of 20011 with flag 7371000/7388036
399.17/397.01	c cleaning 10001 clauses out of 20013 with flag 7381000/7398036
399.67/397.57	c cleaning 9997 clauses out of 20014 with flag 7391002/7408038
400.28/398.13	c cleaning 10000 clauses out of 20015 with flag 7401000/7418036
400.87/398.73	c cleaning 10001 clauses out of 20017 with flag 7411002/7428038
401.48/399.30	c cleaning 10004 clauses out of 20015 with flag 7421001/7438037
402.07/400.00	c cleaning 9994 clauses out of 20010 with flag 7431001/7448037
402.88/400.70	c cleaning 10005 clauses out of 20014 with flag 7441000/7458036
402.88/400.75	c starts		: 319
402.88/400.75	c conflicts		: 7458399
402.88/400.75	c decisions		: 10665094
402.88/400.75	c propagations		: 365783147
402.88/400.75	c inspects		: 4025565688
402.88/400.75	c shortcuts		: 0
402.88/400.75	c learnt literals	: 5
402.88/400.75	c learnt binary clauses	: 25
402.88/400.75	c learnt ternary clauses	: 1285
402.88/400.75	c learnt constraints	: 7458393
402.88/400.75	c ignored constraints	: 0
402.88/400.75	c root simplifications	: 0
402.88/400.75	c removed literals (reason simplification)	: 41839801
402.88/400.75	c reason swapping (by a shorter reason)	: 0
402.88/400.75	c Calls to reduceDB	: 747
402.88/400.75	c number of reductions to clauses (during analyze)	: 0
402.88/400.75	c number of learned constraints concerned by reduction	: 0
402.88/400.75	c number of learning phase by resolution	: 0
402.88/400.75	c number of learning phase by cutting planes	: 0
402.88/400.75	c speed (assignments/second)	: 918102.7353593768
402.88/400.75	c non guided choices	2664
402.88/400.75	c learnt constraints type 
402.88/400.75	c constraints type 
402.88/400.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2607
402.88/400.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 5
402.88/400.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 77
402.88/400.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
402.88/400.75	s OPTIMUM FOUND
402.88/400.75	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 
402.88/400.75	c objective function=1
402.88/400.75	c Total wall clock time (in seconds): 400.638

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-3492690-1307910381/watcher-3492690-1307910381 -o /var/tmp/evaluation-result-3492690-1307910381/solver-3492690-1307910381 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492690-1307910381.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.00 2.00 1.93 2/195 14378
/proc/meminfo: memFree=2985056/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14378/stat : 14378 (java) R 14376 14378 12607 0 -1 4202496 936 0 0 0 0 0 0 0 17 0 1 0 883454010 23580672 677 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233505335061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14378/statm: 5757 686 503 9 0 124 0

[startup+0.066214 s]
/proc/loadavg: 2.00 2.00 1.93 2/195 14378
/proc/meminfo: memFree=2985056/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10538460 CPUtime=0.05 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 11693 0 1 0 4 1 0 0 17 0 18 0 883454010 10791383040 11387 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2634615 11388 1733 9 0 2625356 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538460

[startup+0.104258 s]
/proc/loadavg: 2.00 2.00 1.93 2/195 14378
/proc/meminfo: memFree=2985056/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10539820 CPUtime=0.1 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 13056 0 1 0 9 1 0 0 17 0 18 0 883454010 10792775680 12750 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2634955 12752 2093 9 0 2625689 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539820

[startup+0.301139 s]
/proc/loadavg: 2.00 2.00 1.93 2/195 14378
/proc/meminfo: memFree=2985056/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10540428 CPUtime=0.47 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 16264 0 1 0 45 2 0 0 17 0 18 0 883454010 10793398272 15260 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2635107 15260 2201 9 0 2625841 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540428

[startup+0.701067 s]
/proc/loadavg: 2.00 2.00 1.93 2/195 14378
/proc/meminfo: memFree=2985056/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10544336 CPUtime=1.46 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 20452 0 1 0 144 2 0 0 17 0 19 0 883454010 10797400064 18448 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2636084 18448 2226 9 0 2626818 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10544336

[startup+1.50096 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 14397
/proc/meminfo: memFree=2915424/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10544336 CPUtime=2.28 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 22504 0 1 0 225 3 0 0 17 0 19 0 883454010 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2636084 20499 2228 9 0 2626818 0
[pid=14378/tid=14380] ppid=14376 vsize=10544336 CPUtime=1.47 cores=1,3,5,7
/proc/14378/task/14380/stat : 14380 (java) R 14376 14378 12607 0 -1 4202560 16985 0 1 0 145 2 0 0 18 0 19 0 883454011 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 46912505718560 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14378/tid=14381] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 12607 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14387] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14387/stat : 14387 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14388] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14388/stat : 14388 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883454013 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14389] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14389/stat : 14389 (java) S 14376 14378 12607 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883454014 10797400064 20499 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 0 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14390] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14390/stat : 14390 (java) S 14376 14378 12607 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 883454014 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14391] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14391/stat : 14391 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 883454014 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14392] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14392/stat : 14392 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883454017 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522121137 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14393] ppid=14376 vsize=10544336 CPUtime=0.38 cores=1,3,5,7
/proc/14378/task/14393/stat : 14393 (java) S 14376 14378 12607 0 -1 4202560 1575 0 0 0 38 0 0 0 15 0 19 0 883454017 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14394] ppid=14376 vsize=10544336 CPUtime=0.41 cores=1,3,5,7
/proc/14378/task/14394/stat : 14394 (java) S 14376 14378 12607 0 -1 4202560 2780 0 0 0 41 0 0 0 15 0 19 0 883454017 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14395] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14395/stat : 14395 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883454017 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14396] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14396/stat : 14396 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883454017 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14397] ppid=14376 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14397/stat : 14397 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883454045 10797400064 20500 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10544336

[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 14397
/proc/meminfo: memFree=2903768/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10543788 CPUtime=3.98 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 25174 0 1 0 395 3 0 0 17 0 19 0 883454010 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2635947 22899 2254 9 0 2626681 0
[pid=14378/tid=14380] ppid=14376 vsize=10543788 CPUtime=3.02 cores=1,3,5,7
/proc/14378/task/14380/stat : 14380 (java) R 14376 14378 12607 0 -1 4202560 17463 0 1 0 300 2 0 0 20 0 19 0 883454011 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 46912505703227 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14378/tid=14381] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 12607 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 12607 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 12607 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 12607 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 12607 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14387] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14387/stat : 14387 (java) S 14376 14378 12607 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14388] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14388/stat : 14388 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14389] ppid=14376 vsize=10543788 CPUtime=0.04 cores=1,3,5,7
/proc/14378/task/14389/stat : 14389 (java) S 14376 14378 12607 0 -1 4202560 971 0 0 0 4 0 0 0 15 0 19 0 883454014 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14390] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14390/stat : 14390 (java) S 14376 14378 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883454014 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14391] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14391/stat : 14391 (java) S 14376 14378 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883454014 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14392] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14392/stat : 14392 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883454017 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522121137 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14393] ppid=14376 vsize=10543788 CPUtime=0.45 cores=1,3,5,7
/proc/14378/task/14393/stat : 14393 (java) S 14376 14378 12607 0 -1 4202560 1753 0 0 0 45 0 0 0 15 0 19 0 883454017 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14394] ppid=14376 vsize=10543788 CPUtime=0.43 cores=1,3,5,7
/proc/14378/task/14394/stat : 14394 (java) S 14376 14378 12607 0 -1 4202560 2789 0 0 0 43 0 0 0 15 0 19 0 883454017 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14395] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14395/stat : 14395 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883454017 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14396] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14396/stat : 14396 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883454017 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14397] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14397/stat : 14397 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883454045 10796838912 22899 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10543788

[startup+6.30111 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 14397
/proc/meminfo: memFree=2900792/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10543788 CPUtime=7.19 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 25317 0 1 0 716 3 0 0 17 0 19 0 883454010 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2635947 23035 2254 9 0 2626681 0
[pid=14378/tid=14380] ppid=14376 vsize=10543788 CPUtime=6.11 cores=1,3,5,7
/proc/14378/task/14380/stat : 14380 (java) R 14376 14378 12607 0 -1 4202560 17470 0 1 0 609 2 0 0 25 0 19 0 883454011 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 46912505703246 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14378/tid=14381] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 12607 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 12607 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 12607 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 12607 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 12607 0 -1 4202560 376 0 0 0 0 0 0 0 16 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 12607 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14387] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14387/stat : 14387 (java) S 14376 14378 12607 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14388] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14388/stat : 14388 (java) S 14376 14378 12607 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 19 0 883454013 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14389] ppid=14376 vsize=10543788 CPUtime=0.13 cores=1,3,5,7
/proc/14378/task/14389/stat : 14389 (java) S 14376 14378 12607 0 -1 4202560 1009 0 0 0 13 0 0 0 16 0 19 0 883454014 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 0 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14390] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14390/stat : 14390 (java) S 14376 14378 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883454014 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14391] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14391/stat : 14391 (java) S 14376 14378 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883454014 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14392] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14392/stat : 14392 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883454017 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522121137 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14393] ppid=14376 vsize=10543788 CPUtime=0.45 cores=1,3,5,7
/proc/14378/task/14393/stat : 14393 (java) S 14376 14378 12607 0 -1 4202560 1753 0 0 0 45 0 0 0 15 0 19 0 883454017 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14394] ppid=14376 vsize=10543788 CPUtime=0.43 cores=1,3,5,7
/proc/14378/task/14394/stat : 14394 (java) S 14376 14378 12607 0 -1 4202560 2789 0 0 0 43 0 0 0 15 0 19 0 883454017 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14395] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14395/stat : 14395 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883454017 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14396] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14396/stat : 14396 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883454017 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14397] ppid=14376 vsize=10543788 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14397/stat : 14397 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883454045 10796838912 23035 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 10543788

[startup+12.701 s]

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

/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 12607 0 -1 4202560 202 0 0 0 19 0 0 0 15 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 12607 0 -1 4202560 19 0 0 0 22 0 0 0 16 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=10544504 CPUtime=0.21 cores=1,3,5,7
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 12607 0 -1 4202560 339 0 0 0 21 0 0 0 15 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 23 0 0 0 16 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 12607 0 -1 4202560 389 0 0 0 22 1 0 0 15 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 12607 0 -1 4202560 123 0 0 0 22 0 0 0 15 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14387] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14387/stat : 14387 (java) S 14376 14378 12607 0 -1 4202560 124 0 0 0 20 0 0 0 15 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14388] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14388/stat : 14388 (java) S 14376 14378 12607 0 -1 4202560 61 0 0 0 20 0 0 0 15 0 19 0 883454013 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14389] ppid=14376 vsize=10544504 CPUtime=12.47 cores=1,3,5,7
/proc/14378/task/14389/stat : 14389 (java) S 14376 14378 12607 0 -1 4202560 1762 0 0 0 1235 12 0 0 16 0 19 0 883454014 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14390] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14390/stat : 14390 (java) S 14376 14378 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14391] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14391/stat : 14391 (java) S 14376 14378 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14392] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14392/stat : 14392 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883454017 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522121137 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14393] ppid=14376 vsize=10544504 CPUtime=0.53 cores=1,3,5,7
/proc/14378/task/14393/stat : 14393 (java) S 14376 14378 12607 0 -1 4202560 1853 0 0 0 53 0 0 0 15 0 19 0 883454017 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14394] ppid=14376 vsize=10544504 CPUtime=0.82 cores=1,3,5,7
/proc/14378/task/14394/stat : 14394 (java) S 14376 14378 12607 0 -1 4202560 9958 0 0 0 82 0 0 0 15 0 19 0 883454017 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14395] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14395/stat : 14395 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883454017 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14396] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14396/stat : 14396 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 883454017 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14397] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14397/stat : 14397 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883454045 10797572096 26420 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 400.47
Current children cumulated vsize (KiB) 10544504

[startup+399.901 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 14408
/proc/meminfo: memFree=2879088/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10544504 CPUtime=402.07 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 34233 0 1 0 40184 23 0 0 17 0 19 0 883454010 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2636126 26422 2256 9 0 2626860 0
[pid=14378/tid=14380] ppid=14376 vsize=10544504 CPUtime=386.39 cores=1,3,5,7
/proc/14378/task/14380/stat : 14380 (java) R 14376 14378 12607 0 -1 4202560 18208 0 1 0 38635 4 0 0 19 0 19 0 883454011 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 46912505719732 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14378/tid=14381] ppid=14376 vsize=10544504 CPUtime=0.19 cores=1,3,5,7
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 12607 0 -1 4202560 202 0 0 0 19 0 0 0 15 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 12607 0 -1 4202560 19 0 0 0 22 0 0 0 15 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=10544504 CPUtime=0.21 cores=1,3,5,7
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 12607 0 -1 4202560 339 0 0 0 21 0 0 0 16 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 23 0 0 0 15 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 12607 0 -1 4202560 389 0 0 0 22 1 0 0 15 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 12607 0 -1 4202560 123 0 0 0 22 0 0 0 16 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14387] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14387/stat : 14387 (java) S 14376 14378 12607 0 -1 4202560 124 0 0 0 20 0 0 0 15 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14388] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14388/stat : 14388 (java) S 14376 14378 12607 0 -1 4202560 61 0 0 0 20 0 0 0 16 0 19 0 883454013 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14389] ppid=14376 vsize=10544504 CPUtime=12.5 cores=1,3,5,7
/proc/14378/task/14389/stat : 14389 (java) S 14376 14378 12607 0 -1 4202560 1762 0 0 0 1238 12 0 0 16 0 19 0 883454014 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14390] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14390/stat : 14390 (java) S 14376 14378 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14391] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14391/stat : 14391 (java) S 14376 14378 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14392] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14392/stat : 14392 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883454017 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522121137 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14393] ppid=14376 vsize=10544504 CPUtime=0.53 cores=1,3,5,7
/proc/14378/task/14393/stat : 14393 (java) S 14376 14378 12607 0 -1 4202560 1853 0 0 0 53 0 0 0 15 0 19 0 883454017 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14394] ppid=14376 vsize=10544504 CPUtime=0.82 cores=1,3,5,7
/proc/14378/task/14394/stat : 14394 (java) S 14376 14378 12607 0 -1 4202560 9958 0 0 0 82 0 0 0 15 0 19 0 883454017 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14395] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14395/stat : 14395 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883454017 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14396] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14396/stat : 14396 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 883454017 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14397] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14397/stat : 14397 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883454045 10797572096 26422 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 10544504

[startup+400.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 14408
/proc/meminfo: memFree=2879088/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10544504 CPUtime=402.48 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 34238 0 1 0 40225 23 0 0 17 0 19 0 883454010 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2636126 26426 2256 9 0 2626860 0
[pid=14378/tid=14380] ppid=14376 vsize=10544504 CPUtime=386.78 cores=1,3,5,7
/proc/14378/task/14380/stat : 14380 (java) R 14376 14378 12607 0 -1 4202560 18209 0 1 0 38674 4 0 0 20 0 19 0 883454011 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 46912505703222 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14378/tid=14381] ppid=14376 vsize=10544504 CPUtime=0.19 cores=1,3,5,7
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 12607 0 -1 4202560 202 0 0 0 19 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 12607 0 -1 4202560 19 0 0 0 22 0 0 0 16 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=10544504 CPUtime=0.21 cores=1,3,5,7
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 12607 0 -1 4202560 339 0 0 0 21 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 23 0 0 0 16 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 12607 0 -1 4202560 389 0 0 0 22 1 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 12607 0 -1 4202560 123 0 0 0 22 0 0 0 16 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14387] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14387/stat : 14387 (java) S 14376 14378 12607 0 -1 4202560 124 0 0 0 20 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14388] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14388/stat : 14388 (java) S 14376 14378 12607 0 -1 4202560 61 0 0 0 20 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14389] ppid=14376 vsize=10544504 CPUtime=12.52 cores=1,3,5,7
/proc/14378/task/14389/stat : 14389 (java) S 14376 14378 12607 0 -1 4202560 1766 0 0 0 1240 12 0 0 16 0 19 0 883454014 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14390] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14390/stat : 14390 (java) S 14376 14378 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14391] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14391/stat : 14391 (java) S 14376 14378 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14392] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14392/stat : 14392 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522121137 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14393] ppid=14376 vsize=10544504 CPUtime=0.53 cores=1,3,5,7
/proc/14378/task/14393/stat : 14393 (java) S 14376 14378 12607 0 -1 4202560 1853 0 0 0 53 0 0 0 15 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14394] ppid=14376 vsize=10544504 CPUtime=0.82 cores=1,3,5,7
/proc/14378/task/14394/stat : 14394 (java) S 14376 14378 12607 0 -1 4202560 9958 0 0 0 82 0 0 0 15 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14395] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14395/stat : 14395 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14396] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14396/stat : 14396 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14397] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14397/stat : 14397 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883454045 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 402.48
Current children cumulated vsize (KiB) 10544504

[startup+400.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 14408
/proc/meminfo: memFree=2879088/32951124 swapFree=67054264/67111528
[pid=14378] ppid=14376 vsize=10544504 CPUtime=402.88 cores=1,3,5,7
/proc/14378/stat : 14378 (java) S 14376 14378 12607 0 -1 4202496 34238 0 1 0 40265 23 0 0 17 0 19 0 883454010 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14378/statm: 2636126 26426 2256 9 0 2626860 0
[pid=14378/tid=14380] ppid=14376 vsize=10544504 CPUtime=387.17 cores=1,3,5,7
/proc/14378/task/14380/stat : 14380 (java) R 14376 14378 12607 0 -1 4202560 18209 0 1 0 38713 4 0 0 21 0 19 0 883454011 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 46912505973264 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14378/tid=14381] ppid=14376 vsize=10544504 CPUtime=0.19 cores=1,3,5,7
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 12607 0 -1 4202560 202 0 0 0 19 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 12607 0 -1 4202560 19 0 0 0 22 0 0 0 16 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=10544504 CPUtime=0.21 cores=1,3,5,7
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 12607 0 -1 4202560 339 0 0 0 21 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 23 0 0 0 16 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=10544504 CPUtime=0.23 cores=1,3,5,7
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 12607 0 -1 4202560 389 0 0 0 22 1 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=10544504 CPUtime=0.22 cores=1,3,5,7
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 12607 0 -1 4202560 123 0 0 0 22 0 0 0 16 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14387] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14387/stat : 14387 (java) S 14376 14378 12607 0 -1 4202560 124 0 0 0 20 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14388] ppid=14376 vsize=10544504 CPUtime=0.2 cores=1,3,5,7
/proc/14378/task/14388/stat : 14388 (java) S 14376 14378 12607 0 -1 4202560 61 0 0 0 20 0 0 0 15 0 19 0 883454013 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14389] ppid=14376 vsize=10544504 CPUtime=12.52 cores=1,3,5,7
/proc/14378/task/14389/stat : 14389 (java) S 14376 14378 12607 0 -1 4202560 1766 0 0 0 1240 12 0 0 16 0 19 0 883454014 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=14378/tid=14390] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14390/stat : 14390 (java) S 14376 14378 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14391] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14391/stat : 14391 (java) S 14376 14378 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883454014 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14392] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14392/stat : 14392 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522121137 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14393] ppid=14376 vsize=10544504 CPUtime=0.53 cores=1,3,5,7
/proc/14378/task/14393/stat : 14393 (java) S 14376 14378 12607 0 -1 4202560 1853 0 0 0 53 0 0 0 15 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14394] ppid=14376 vsize=10544504 CPUtime=0.82 cores=1,3,5,7
/proc/14378/task/14394/stat : 14394 (java) S 14376 14378 12607 0 -1 4202560 9958 0 0 0 82 0 0 0 15 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=14378/tid=14395] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14395/stat : 14395 (java) S 14376 14378 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522113433 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14396] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14396/stat : 14396 (java) S 14376 14378 12607 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 883454017 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=14378/tid=14397] ppid=14376 vsize=10544504 CPUtime=0 cores=1,3,5,7
/proc/14378/task/14397/stat : 14397 (java) S 14376 14378 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883454045 10797572096 26426 33554432000 1073741824 1073778376 140735677975344 18446744073709551615 233522114048 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 402.88
Current children cumulated vsize (KiB) 10544504

Child status: 30
Real time (s): 400.76
CPU time (s): 402.956
CPU user time (s): 402.71
CPU system time (s): 0.245962
CPU usage (%): 100.548
Max. virtual memory (cumulated for all children) (KiB): 10546116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 402.71
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34263
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= 28092
involuntary context switches= 12472

runsolver used 0.698893 second user time and 1.53577 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-12 22:26:22
IDJOB=3492690
IDBENCH=78959
IDSOLVER=1982
FILE ID=node145/3492690-1307910381
RUNJOBID= node145-1307907979-13799
PBS_JOBID= 13559605
Free space on /var/tmp= 2912 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--soft-33-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-3492690-1307910381/watcher-3492690-1307910381 -o /var/tmp/evaluation-result-3492690-1307910381/solver-3492690-1307910381 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492690-1307910381.wbo

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

MD5SUM BENCH= 8591b35e74198f55af565a685d4a35ec
RANDOM SEED=1896129887

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2985600 kB
Buffers:         64904 kB
Cached:       28761080 kB
SwapCached:       9324 kB
Active:       14130536 kB
Inactive:     14928436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2985600 kB
SwapTotal:    67111528 kB
SwapFree:     67054264 kB
Dirty:              60 kB
Writeback:           0 kB
AnonPages:      230980 kB
Mapped:          21204 kB
Slab:           842112 kB
PageTables:       4864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10543800 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 node145 at 2011-06-12 22:33:02