Trace number 3492020

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 391.006 388.623

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo
MD5SUM3bf2aae29a44384f88ac4f8c4d2b9bc3
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 benchmark90.3653
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 constraints1804
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 90822
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90821
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@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-3492020-1307910674.wbo
0.10/0.11	c reading problem ... 
0.47/0.31	c ... done. Wall clock time 0.202s.
0.47/0.31	c #vars     2035
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 => 2599
0.47/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 6
0.47/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85
0.47/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17
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.33
0.76/0.44	o 323
0.76/0.48	c Got one! Elapsed wall clock time (in seconds):0.373
0.76/0.48	o 320
1.03/0.53	c Got one! Elapsed wall clock time (in seconds):0.422
1.03/0.53	o 291
1.03/0.55	c Got one! Elapsed wall clock time (in seconds):0.44
1.03/0.55	o 281
1.03/0.58	c Got one! Elapsed wall clock time (in seconds):0.465
1.03/0.58	o 262
1.03/0.59	c Got one! Elapsed wall clock time (in seconds):0.481
1.03/0.59	o 148
1.32/0.61	c Got one! Elapsed wall clock time (in seconds):0.503
1.32/0.61	o 131
1.32/0.67	c Got one! Elapsed wall clock time (in seconds):0.559
1.32/0.67	o 129
1.57/0.82	c Got one! Elapsed wall clock time (in seconds):0.711
1.57/0.82	o 125
1.57/0.85	c Got one! Elapsed wall clock time (in seconds):0.734
1.57/0.85	o 107
1.88/1.17	c Got one! Elapsed wall clock time (in seconds):1.062
1.88/1.17	o 85
1.97/1.23	c Got one! Elapsed wall clock time (in seconds):1.119
1.97/1.23	o 68
2.07/1.31	c Got one! Elapsed wall clock time (in seconds):1.194
2.07/1.31	o 53
2.48/1.77	c Got one! Elapsed wall clock time (in seconds):1.663
2.48/1.77	o 50
2.70/1.90	c cleaning 4914 clauses out of 9835 with flag 1000/9835
2.92/2.12	c Got one! Elapsed wall clock time (in seconds):2.01
2.92/2.12	o 46
3.02/2.29	c Got one! Elapsed wall clock time (in seconds):2.18
3.02/2.29	o 42
3.32/2.50	c Got one! Elapsed wall clock time (in seconds):2.393
3.32/2.50	o 38
3.42/2.60	c cleaning 5737 clauses out of 11480 with flag 1001/16394
3.52/2.72	c Got one! Elapsed wall clock time (in seconds):2.612
3.52/2.72	o 34
3.62/2.89	c Got one! Elapsed wall clock time (in seconds):2.783
3.62/2.89	o 21
3.92/3.15	c cleaning 5702 clauses out of 11409 with flag 3003/22060
4.07/3.24	c Got one! Elapsed wall clock time (in seconds):3.125
4.07/3.24	o 20
4.36/3.55	c cleaning 5373 clauses out of 10750 with flag 4002/27103
4.36/3.58	c Got one! Elapsed wall clock time (in seconds):3.464
4.36/3.58	o 17
4.77/3.90	c Got one! Elapsed wall clock time (in seconds):3.786
4.77/3.90	o 11
4.87/4.00	c cleaning 5517 clauses out of 11040 with flag 1000/32766
5.27/4.42	c cleaning 5755 clauses out of 11524 with flag 7001/38767
5.67/4.87	c cleaning 6382 clauses out of 12769 with flag 14001/45767
5.77/4.96	c Got one! Elapsed wall clock time (in seconds):4.851
5.77/4.96	o 5
6.07/5.26	c cleaning 5967 clauses out of 11942 with flag 4002/51322
6.48/5.64	c cleaning 5982 clauses out of 11973 with flag 10000/57320
6.58/5.77	c Got one! Elapsed wall clock time (in seconds):5.66
6.58/5.77	o 3
6.78/5.97	c cleaning 5732 clauses out of 11472 with flag 3003/62801
6.88/6.08	c Got one! Elapsed wall clock time (in seconds):5.971
6.88/6.08	o 1
7.08/6.28	c cleaning 5381 clauses out of 10771 with flag 3002/67832
7.48/6.60	c cleaning 5690 clauses out of 11388 with flag 9000/73830
7.78/6.97	c cleaning 6343 clauses out of 12699 with flag 16001/80831
8.17/7.38	c cleaning 7167 clauses out of 14355 with flag 24000/88830
8.77/7.92	c cleaning 8088 clauses out of 16190 with flag 33002/97832
9.27/8.49	c cleaning 9046 clauses out of 18101 with flag 43001/107831
9.88/9.07	c cleaning 9522 clauses out of 19055 with flag 53001/117831
10.49/9.68	c cleaning 9757 clauses out of 19533 with flag 63001/127831
11.19/10.31	c cleaning 9885 clauses out of 19776 with flag 73001/137831
11.80/10.93	c cleaning 9940 clauses out of 19890 with flag 83000/147830
12.30/11.48	c cleaning 9970 clauses out of 19951 with flag 93001/157831
12.91/12.03	c cleaning 9988 clauses out of 19981 with flag 103001/167831
13.40/12.56	c cleaning 9992 clauses out of 19993 with flag 113001/177831
13.90/13.05	c cleaning 9997 clauses out of 20002 with flag 123002/187832
14.40/13.54	c cleaning 9992 clauses out of 20003 with flag 133000/197830
14.90/14.05	c cleaning 10001 clauses out of 20012 with flag 143001/207831
15.50/14.61	c cleaning 10001 clauses out of 20011 with flag 153001/217831
16.00/15.14	c cleaning 10002 clauses out of 20009 with flag 163000/227830
16.50/15.62	c cleaning 10001 clauses out of 20008 with flag 173001/237831
17.01/16.10	c cleaning 10000 clauses out of 20007 with flag 183001/247831
17.51/16.64	c cleaning 9999 clauses out of 20008 with flag 193002/257832
18.01/17.18	c cleaning 9997 clauses out of 20007 with flag 203000/267830
18.61/17.71	c cleaning 9997 clauses out of 20010 with flag 213000/277830
19.11/18.21	c cleaning 10004 clauses out of 20014 with flag 223001/287831
19.62/18.74	c cleaning 9995 clauses out of 20010 with flag 233001/297831
20.11/19.22	c cleaning 9998 clauses out of 20014 with flag 243000/307830
20.62/19.75	c cleaning 10000 clauses out of 20016 with flag 253000/317830
21.21/20.30	c cleaning 10001 clauses out of 20016 with flag 263000/327830
21.72/20.86	c cleaning 10000 clauses out of 20016 with flag 273001/337831
22.21/21.35	c cleaning 10001 clauses out of 20016 with flag 283001/347831
22.71/21.85	c cleaning 10005 clauses out of 20019 with flag 293005/357835
23.21/22.38	c cleaning 9999 clauses out of 20011 with flag 303002/367832
23.82/22.92	c cleaning 10002 clauses out of 20012 with flag 313002/377832
24.34/23.46	c cleaning 10000 clauses out of 20010 with flag 323002/387832
24.94/24.02	c cleaning 10001 clauses out of 20011 with flag 333003/397833
25.44/24.58	c cleaning 9998 clauses out of 20007 with flag 343000/407830
26.04/25.10	c cleaning 10002 clauses out of 20011 with flag 353002/417832
26.54/25.65	c cleaning 9997 clauses out of 20008 with flag 363001/427831
27.04/26.18	c cleaning 9999 clauses out of 20010 with flag 373000/437830
27.54/26.68	c cleaning 9998 clauses out of 20011 with flag 383000/447830
28.14/27.21	c cleaning 10001 clauses out of 20013 with flag 393000/457830
28.74/27.82	c cleaning 10003 clauses out of 20013 with flag 403001/467831
29.24/28.33	c cleaning 9997 clauses out of 20009 with flag 413000/477830
29.74/28.84	c cleaning 9996 clauses out of 20012 with flag 423000/487830
30.25/29.36	c cleaning 9997 clauses out of 20016 with flag 433000/497830
30.75/29.88	c cleaning 10000 clauses out of 20019 with flag 443000/507830
31.25/30.38	c cleaning 10005 clauses out of 20022 with flag 453003/517833
31.76/30.86	c cleaning 9999 clauses out of 20016 with flag 463002/527832
32.25/31.36	c cleaning 10004 clauses out of 20015 with flag 473000/537830
32.86/31.93	c cleaning 10002 clauses out of 20012 with flag 483001/547831
33.35/32.44	c cleaning 10001 clauses out of 20009 with flag 493000/557830
33.86/32.96	c cleaning 10004 clauses out of 20013 with flag 503005/567835
34.35/33.48	c cleaning 9991 clauses out of 20005 with flag 513001/577831
34.96/34.08	c cleaning 10001 clauses out of 20013 with flag 523000/587830
35.56/34.63	c cleaning 10004 clauses out of 20013 with flag 533001/597831
36.06/35.13	c cleaning 9999 clauses out of 20009 with flag 543001/607831
36.56/35.63	c cleaning 10000 clauses out of 20009 with flag 553000/617830
36.96/36.09	c cleaning 10002 clauses out of 20010 with flag 563001/627831
37.46/36.56	c cleaning 10001 clauses out of 20007 with flag 573000/637830
38.06/37.11	c cleaning 9999 clauses out of 20007 with flag 583001/647831
38.56/37.63	c cleaning 9995 clauses out of 20009 with flag 593002/657832
39.06/38.18	c cleaning 9997 clauses out of 20014 with flag 603002/667832
39.66/38.72	c cleaning 10003 clauses out of 20015 with flag 613000/677830
40.16/39.26	c cleaning 10003 clauses out of 20014 with flag 623002/687832
40.66/39.79	c cleaning 9996 clauses out of 20009 with flag 633000/697830
41.26/40.31	c cleaning 10005 clauses out of 20013 with flag 643000/707830
41.76/40.82	c cleaning 9996 clauses out of 20008 with flag 653000/717830
42.26/41.34	c cleaning 10003 clauses out of 20014 with flag 663002/727832
42.77/41.88	c cleaning 10000 clauses out of 20009 with flag 673000/737830
43.37/42.42	c cleaning 9998 clauses out of 20009 with flag 683000/747830
43.87/42.92	c cleaning 9996 clauses out of 20011 with flag 693000/757830
44.37/43.43	c cleaning 10000 clauses out of 20015 with flag 703000/767830
44.98/44.01	c cleaning 10000 clauses out of 20018 with flag 713003/777833
45.47/44.56	c cleaning 10001 clauses out of 20016 with flag 723001/787831
45.98/45.06	c cleaning 10005 clauses out of 20015 with flag 733001/797831
46.47/45.53	c cleaning 9994 clauses out of 20010 with flag 743001/807831
46.98/46.01	c cleaning 10002 clauses out of 20016 with flag 753001/817831
47.38/46.48	c cleaning 9990 clauses out of 20014 with flag 763001/827831
47.88/46.99	c cleaning 10009 clauses out of 20026 with flag 773003/837833
48.48/47.52	c cleaning 10004 clauses out of 20015 with flag 783001/847831
48.98/48.02	c cleaning 10000 clauses out of 20012 with flag 793002/857832
49.48/48.52	c cleaning 9992 clauses out of 20010 with flag 803000/867830
49.88/48.99	c cleaning 10004 clauses out of 20018 with flag 813000/877830
50.38/49.49	c cleaning 10004 clauses out of 20016 with flag 823002/887832
50.98/50.00	c cleaning 10001 clauses out of 20014 with flag 833004/897834
51.49/50.51	c cleaning 9996 clauses out of 20009 with flag 843000/907830
51.98/51.09	c cleaning 10003 clauses out of 20013 with flag 853000/917830
52.59/51.62	c cleaning 10001 clauses out of 20011 with flag 863001/927831
52.99/52.09	c cleaning 10000 clauses out of 20009 with flag 873000/937830
53.59/52.61	c cleaning 10000 clauses out of 20010 with flag 883001/947831
54.09/53.13	c cleaning 10002 clauses out of 20009 with flag 893000/957830
54.49/53.59	c cleaning 9999 clauses out of 20007 with flag 903000/967830
54.99/54.08	c cleaning 9993 clauses out of 20008 with flag 913000/977830
55.50/54.56	c cleaning 10002 clauses out of 20015 with flag 923000/987830
56.01/55.04	c cleaning 10005 clauses out of 20015 with flag 933002/997832
56.51/55.53	c cleaning 9995 clauses out of 20009 with flag 943001/1007831
57.01/56.01	c cleaning 9994 clauses out of 20013 with flag 953000/1017830
57.41/56.49	c cleaning 10003 clauses out of 20020 with flag 963001/1027831
58.01/57.01	c cleaning 10000 clauses out of 20016 with flag 973000/1037830
58.41/57.49	c cleaning 9999 clauses out of 20018 with flag 983002/1047832
59.01/58.01	c cleaning 10005 clauses out of 20018 with flag 993001/1057831
59.51/58.53	c cleaning 10002 clauses out of 20012 with flag 1003000/1067830
60.01/59.08	c cleaning 10000 clauses out of 20011 with flag 1013001/1077831
60.51/59.59	c cleaning 10000 clauses out of 20010 with flag 1023000/1087830
61.01/60.05	c cleaning 9996 clauses out of 20010 with flag 1033000/1097830
61.52/60.53	c cleaning 9998 clauses out of 20014 with flag 1043000/1107830
61.91/60.98	c cleaning 10001 clauses out of 20017 with flag 1053001/1117831
62.41/61.47	c cleaning 10003 clauses out of 20017 with flag 1063002/1127832
62.92/61.96	c cleaning 9997 clauses out of 20012 with flag 1073000/1137830
63.42/62.45	c cleaning 9995 clauses out of 20016 with flag 1083001/1147831
63.92/62.94	c cleaning 10005 clauses out of 20021 with flag 1093001/1157831
64.42/63.45	c cleaning 10001 clauses out of 20015 with flag 1103000/1167830
64.92/63.97	c cleaning 10002 clauses out of 20016 with flag 1113002/1177832
65.42/64.49	c cleaning 9997 clauses out of 20014 with flag 1123002/1187832
66.02/65.00	c cleaning 10000 clauses out of 20015 with flag 1133000/1197830
66.52/65.51	c cleaning 10002 clauses out of 20015 with flag 1143000/1207830
67.03/66.03	c cleaning 10001 clauses out of 20014 with flag 1153001/1217831
67.52/66.51	c cleaning 9998 clauses out of 20012 with flag 1163000/1227830
68.03/67.05	c cleaning 10000 clauses out of 20014 with flag 1173000/1237830
68.53/67.56	c cleaning 10000 clauses out of 20014 with flag 1183000/1247830
69.03/68.06	c cleaning 10004 clauses out of 20016 with flag 1193002/1257832
69.53/68.54	c cleaning 10002 clauses out of 20011 with flag 1203001/1267831
70.03/69.04	c cleaning 10003 clauses out of 20011 with flag 1213003/1277833
70.53/69.55	c cleaning 9989 clauses out of 20005 with flag 1223000/1287830
71.03/70.08	c cleaning 10000 clauses out of 20016 with flag 1233000/1297830
71.53/70.55	c cleaning 10002 clauses out of 20016 with flag 1243000/1307830
72.03/71.08	c cleaning 9999 clauses out of 20015 with flag 1253001/1317831
72.54/71.58	c cleaning 9999 clauses out of 20016 with flag 1263001/1327831
73.13/72.10	c cleaning 10004 clauses out of 20017 with flag 1273001/1337831
73.64/72.65	c cleaning 10000 clauses out of 20013 with flag 1283001/1347831
74.23/73.21	c cleaning 9998 clauses out of 20014 with flag 1293002/1357832
74.74/73.72	c cleaning 9999 clauses out of 20015 with flag 1303001/1367831
75.23/74.22	c cleaning 10000 clauses out of 20015 with flag 1313000/1377830
75.74/74.72	c cleaning 10005 clauses out of 20016 with flag 1323001/1387831
76.24/75.21	c cleaning 9999 clauses out of 20011 with flag 1333001/1397831
76.74/75.73	c cleaning 10001 clauses out of 20014 with flag 1343003/1407833
77.24/76.22	c cleaning 9995 clauses out of 20010 with flag 1353000/1417830
77.74/76.73	c cleaning 9999 clauses out of 20015 with flag 1363000/1427830
78.24/77.28	c cleaning 10004 clauses out of 20017 with flag 1373001/1437831
78.74/77.78	c cleaning 10000 clauses out of 20012 with flag 1383000/1447830
79.24/78.29	c cleaning 9999 clauses out of 20012 with flag 1393000/1457830
79.74/78.76	c cleaning 10003 clauses out of 20013 with flag 1403000/1467830
80.25/79.29	c cleaning 9996 clauses out of 20012 with flag 1413002/1477832
80.74/79.77	c cleaning 10001 clauses out of 20017 with flag 1423003/1487833
81.25/80.27	c cleaning 10003 clauses out of 20014 with flag 1433001/1497831
81.85/80.82	c cleaning 10003 clauses out of 20012 with flag 1443002/1507832
82.35/81.31	c cleaning 9999 clauses out of 20010 with flag 1453003/1517833
82.85/81.83	c cleaning 9997 clauses out of 20008 with flag 1463000/1527830
83.35/82.31	c cleaning 10004 clauses out of 20012 with flag 1473001/1537831
83.85/82.81	c cleaning 10001 clauses out of 20008 with flag 1483001/1547831
84.35/83.31	c cleaning 9989 clauses out of 20006 with flag 1493000/1557830
84.85/83.85	c cleaning 10004 clauses out of 20020 with flag 1503003/1567833
85.35/84.35	c cleaning 10000 clauses out of 20013 with flag 1513000/1577830
85.85/84.82	c cleaning 10000 clauses out of 20013 with flag 1523000/1587830
86.35/85.33	c cleaning 10000 clauses out of 20014 with flag 1533001/1597831
86.87/85.83	c cleaning 9995 clauses out of 20013 with flag 1543000/1607830
87.36/86.35	c cleaning 10003 clauses out of 20018 with flag 1553000/1617830
87.87/86.83	c cleaning 9995 clauses out of 20015 with flag 1563000/1627830
88.36/87.35	c cleaning 10001 clauses out of 20020 with flag 1573000/1637830
88.86/87.88	c cleaning 10004 clauses out of 20020 with flag 1583001/1647831
89.47/88.40	c cleaning 10002 clauses out of 20015 with flag 1593000/1657830
89.97/88.94	c cleaning 10000 clauses out of 20016 with flag 1603003/1667833
90.57/89.52	c cleaning 9999 clauses out of 20013 with flag 1613000/1677830
91.07/90.05	c cleaning 10001 clauses out of 20016 with flag 1623002/1687832
91.57/90.54	c cleaning 10000 clauses out of 20016 with flag 1633003/1697833
92.07/91.02	c cleaning 10001 clauses out of 20013 with flag 1643000/1707830
92.57/91.56	c cleaning 9995 clauses out of 20014 with flag 1653002/1717832
93.17/92.13	c cleaning 10002 clauses out of 20020 with flag 1663003/1727833
93.67/92.61	c cleaning 10004 clauses out of 20015 with flag 1673000/1737830
94.17/93.12	c cleaning 9996 clauses out of 20012 with flag 1683001/1747831
94.67/93.65	c cleaning 10005 clauses out of 20015 with flag 1693000/1757830
95.17/94.19	c cleaning 10003 clauses out of 20011 with flag 1703001/1767831
95.77/94.75	c cleaning 9997 clauses out of 20007 with flag 1713000/1777830
96.27/95.25	c cleaning 9999 clauses out of 20011 with flag 1723001/1787831
96.77/95.78	c cleaning 9993 clauses out of 20011 with flag 1733000/1797830
97.27/96.29	c cleaning 10006 clauses out of 20019 with flag 1743001/1807831
97.87/96.86	c cleaning 9998 clauses out of 20016 with flag 1753004/1817834
98.37/97.35	c cleaning 9999 clauses out of 20014 with flag 1763000/1827830
98.87/97.87	c cleaning 10001 clauses out of 20016 with flag 1773001/1837831
99.37/98.38	c cleaning 10002 clauses out of 20015 with flag 1783001/1847831
99.87/98.89	c cleaning 9996 clauses out of 20012 with flag 1793000/1857830
100.47/99.40	c cleaning 10001 clauses out of 20016 with flag 1803000/1867830
100.97/99.94	c cleaning 9998 clauses out of 20015 with flag 1813000/1877830
101.47/100.49	c cleaning 10002 clauses out of 20017 with flag 1823000/1887830
101.97/100.98	c cleaning 10004 clauses out of 20015 with flag 1833000/1897830
102.48/101.48	c cleaning 9999 clauses out of 20013 with flag 1843002/1907832
103.08/102.06	c cleaning 10002 clauses out of 20015 with flag 1853003/1917833
103.58/102.58	c cleaning 9996 clauses out of 20010 with flag 1863000/1927830
104.08/103.07	c cleaning 10005 clauses out of 20017 with flag 1873003/1937833
104.68/103.60	c cleaning 10002 clauses out of 20014 with flag 1883005/1947835
105.09/104.09	c cleaning 9994 clauses out of 20007 with flag 1893000/1957830
105.59/104.56	c cleaning 10001 clauses out of 20014 with flag 1903001/1967831
106.09/105.10	c cleaning 9997 clauses out of 20012 with flag 1913000/1977830
106.60/105.57	c cleaning 10001 clauses out of 20016 with flag 1923001/1987831
107.09/106.05	c cleaning 9994 clauses out of 20014 with flag 1933000/1997830
107.60/106.57	c cleaning 10004 clauses out of 20020 with flag 1943000/2007830
108.10/107.01	c cleaning 10003 clauses out of 20017 with flag 1953001/2017831
108.50/107.48	c cleaning 10002 clauses out of 20013 with flag 1963000/2027830
109.00/107.98	c cleaning 10001 clauses out of 20011 with flag 1973000/2037830
109.60/108.52	c cleaning 9995 clauses out of 20010 with flag 1983000/2047830
110.10/109.03	c cleaning 10003 clauses out of 20018 with flag 1993003/2057833
110.60/109.58	c cleaning 10004 clauses out of 20021 with flag 2003009/2067839
111.20/110.10	c cleaning 9996 clauses out of 20008 with flag 2013000/2077830
111.70/110.61	c cleaning 10001 clauses out of 20012 with flag 2023000/2087830
112.21/111.14	c cleaning 9993 clauses out of 20011 with flag 2033000/2097830
112.70/111.67	c cleaning 10000 clauses out of 20019 with flag 2043001/2107831
113.31/112.22	c cleaning 10001 clauses out of 20019 with flag 2053001/2117831
113.80/112.72	c cleaning 10006 clauses out of 20018 with flag 2063001/2127831
114.31/113.24	c cleaning 9997 clauses out of 20011 with flag 2073000/2137830
114.81/113.76	c cleaning 10000 clauses out of 20014 with flag 2083000/2147830
115.31/114.25	c cleaning 10001 clauses out of 20015 with flag 2093001/2157831
115.81/114.73	c cleaning 10000 clauses out of 20013 with flag 2103000/2167830
116.31/115.25	c cleaning 9997 clauses out of 20014 with flag 2113001/2177831
116.81/115.73	c cleaning 10004 clauses out of 20017 with flag 2123001/2187831
117.21/116.19	c cleaning 9993 clauses out of 20013 with flag 2133001/2197831
117.72/116.69	c cleaning 10006 clauses out of 20020 with flag 2143001/2207831
118.21/117.17	c cleaning 10002 clauses out of 20013 with flag 2153000/2217830
118.72/117.69	c cleaning 9994 clauses out of 20012 with flag 2163001/2227831
119.22/118.18	c cleaning 10004 clauses out of 20017 with flag 2173000/2237830
119.72/118.67	c cleaning 10001 clauses out of 20014 with flag 2183001/2247831
120.22/119.19	c cleaning 10003 clauses out of 20013 with flag 2193001/2257831
120.82/119.71	c cleaning 10000 clauses out of 20009 with flag 2203000/2267830
121.32/120.28	c cleaning 9996 clauses out of 20009 with flag 2213000/2277830
121.92/120.85	c cleaning 10000 clauses out of 20015 with flag 2223002/2287832
122.43/121.35	c cleaning 9997 clauses out of 20014 with flag 2233001/2297831
122.93/121.89	c cleaning 10003 clauses out of 20016 with flag 2243000/2307830
123.43/122.38	c cleaning 10003 clauses out of 20016 with flag 2253003/2317833
123.93/122.88	c cleaning 10001 clauses out of 20010 with flag 2263000/2327830
124.43/123.39	c cleaning 10001 clauses out of 20011 with flag 2273002/2337832
125.03/123.91	c cleaning 9994 clauses out of 20009 with flag 2283001/2347831
125.53/124.44	c cleaning 9999 clauses out of 20014 with flag 2293000/2357830
126.03/124.99	c cleaning 10003 clauses out of 20017 with flag 2303002/2367832
126.54/125.46	c cleaning 9998 clauses out of 20012 with flag 2313000/2377830
127.04/125.94	c cleaning 9997 clauses out of 20015 with flag 2323001/2387831
127.55/126.45	c cleaning 9998 clauses out of 20017 with flag 2333000/2397830
128.14/127.02	c cleaning 10007 clauses out of 20019 with flag 2343000/2407830
128.65/127.56	c cleaning 9999 clauses out of 20013 with flag 2353001/2417831
129.24/128.12	c cleaning 10000 clauses out of 20013 with flag 2363000/2427830
129.85/128.71	c cleaning 10002 clauses out of 20013 with flag 2373000/2437830
130.34/129.21	c cleaning 10000 clauses out of 20012 with flag 2383001/2447831
130.74/129.69	c cleaning 10003 clauses out of 20011 with flag 2393000/2457830
131.34/130.21	c cleaning 9997 clauses out of 20011 with flag 2403003/2467833
131.84/130.73	c cleaning 10001 clauses out of 20013 with flag 2413002/2477832
132.34/131.25	c cleaning 9999 clauses out of 20011 with flag 2423001/2487831
132.85/131.78	c cleaning 9998 clauses out of 20011 with flag 2433000/2497830
133.35/132.28	c cleaning 10004 clauses out of 20015 with flag 2443002/2507832
133.85/132.80	c cleaning 10004 clauses out of 20011 with flag 2453002/2517832
134.45/133.31	c cleaning 9998 clauses out of 20008 with flag 2463003/2527833
134.95/133.83	c cleaning 9999 clauses out of 20007 with flag 2473000/2537830
135.45/134.31	c cleaning 9999 clauses out of 20008 with flag 2483000/2547830
135.95/134.84	c cleaning 10001 clauses out of 20009 with flag 2493000/2557830
136.46/135.39	c cleaning 9998 clauses out of 20008 with flag 2503000/2567830
136.96/135.87	c cleaning 9999 clauses out of 20010 with flag 2513000/2577830
137.47/136.35	c cleaning 9999 clauses out of 20012 with flag 2523001/2587831
138.06/136.93	c cleaning 9999 clauses out of 20012 with flag 2533000/2597830
138.57/137.50	c cleaning 9999 clauses out of 20014 with flag 2543001/2607831
139.16/138.01	c cleaning 10002 clauses out of 20014 with flag 2553000/2617830
139.67/138.52	c cleaning 10002 clauses out of 20013 with flag 2563001/2627831
140.17/139.05	c cleaning 9993 clauses out of 20010 with flag 2573000/2637830
140.67/139.56	c cleaning 10003 clauses out of 20018 with flag 2583001/2647831
141.17/140.08	c cleaning 10002 clauses out of 20014 with flag 2593000/2657830
141.77/140.60	c cleaning 9993 clauses out of 20012 with flag 2603000/2667830
142.17/141.08	c cleaning 10006 clauses out of 20020 with flag 2613001/2677831
142.67/141.59	c cleaning 10003 clauses out of 20013 with flag 2623000/2687830
143.27/142.11	c cleaning 10001 clauses out of 20010 with flag 2633000/2697830
143.77/142.61	c cleaning 9999 clauses out of 20009 with flag 2643000/2707830
144.27/143.15	c cleaning 10002 clauses out of 20012 with flag 2653002/2717832
144.88/143.77	c cleaning 9992 clauses out of 20010 with flag 2663002/2727832
145.51/144.33	c cleaning 9995 clauses out of 20016 with flag 2673000/2737830
146.27/144.89	c cleaning 10008 clauses out of 20023 with flag 2683002/2747832
147.13/145.39	c cleaning 10004 clauses out of 20013 with flag 2693000/2757830
147.73/145.90	c cleaning 10001 clauses out of 20011 with flag 2703002/2767832
148.23/146.41	c cleaning 10000 clauses out of 20009 with flag 2713001/2777831
148.73/147.00	c cleaning 9999 clauses out of 20009 with flag 2723001/2787831
149.33/147.53	c cleaning 9999 clauses out of 20011 with flag 2733002/2797832
149.83/148.04	c cleaning 9995 clauses out of 20011 with flag 2743001/2807831
150.44/148.60	c cleaning 10001 clauses out of 20016 with flag 2753001/2817831
150.95/149.15	c cleaning 10003 clauses out of 20016 with flag 2763002/2827832
151.45/149.69	c cleaning 9999 clauses out of 20011 with flag 2773000/2837830
152.05/150.25	c cleaning 9997 clauses out of 20012 with flag 2783000/2847830
152.65/150.85	c cleaning 9998 clauses out of 20015 with flag 2793000/2857830
153.25/151.40	c cleaning 9998 clauses out of 20017 with flag 2803000/2867830
153.85/152.09	c cleaning 9988 clauses out of 20020 with flag 2813001/2877831
154.55/152.78	c cleaning 10004 clauses out of 20033 with flag 2823002/2887832
155.25/153.44	c cleaning 10011 clauses out of 20028 with flag 2833001/2897831
155.76/153.95	c cleaning 10002 clauses out of 20018 with flag 2843002/2907832
156.26/154.48	c cleaning 10001 clauses out of 20015 with flag 2853001/2917831
156.87/155.03	c cleaning 10000 clauses out of 20013 with flag 2863000/2927830
157.36/155.58	c cleaning 9996 clauses out of 20013 with flag 2873000/2937830
157.97/156.16	c cleaning 9993 clauses out of 20019 with flag 2883002/2947832
158.56/156.74	c cleaning 10007 clauses out of 20024 with flag 2893000/2957830
159.17/157.34	c cleaning 10003 clauses out of 20018 with flag 2903001/2967831
159.67/157.89	c cleaning 10001 clauses out of 20014 with flag 2913000/2977830
160.17/158.39	c cleaning 10002 clauses out of 20013 with flag 2923000/2987830
160.77/158.99	c cleaning 10000 clauses out of 20011 with flag 2933000/2997830
161.27/159.48	c cleaning 10005 clauses out of 20015 with flag 2943004/3007834
161.77/159.98	c cleaning 9998 clauses out of 20006 with flag 2953000/3017830
162.27/160.46	c cleaning 9999 clauses out of 20008 with flag 2963000/3027830
162.77/160.98	c cleaning 10002 clauses out of 20013 with flag 2973004/3037834
163.27/161.50	c cleaning 10001 clauses out of 20007 with flag 2983000/3047830
163.77/161.99	c cleaning 9998 clauses out of 20008 with flag 2993002/3057832
164.37/162.52	c cleaning 10002 clauses out of 20010 with flag 3003002/3067832
164.87/163.05	c cleaning 9996 clauses out of 20008 with flag 3013002/3077832
165.38/163.53	c cleaning 10001 clauses out of 20010 with flag 3023000/3087830
165.88/164.01	c cleaning 9998 clauses out of 20009 with flag 3033000/3097830
166.28/164.47	c cleaning 10000 clauses out of 20014 with flag 3043003/3107833
166.78/164.96	c cleaning 9999 clauses out of 20012 with flag 3053001/3117831
167.28/165.46	c cleaning 10003 clauses out of 20013 with flag 3063001/3127831
167.78/165.97	c cleaning 10001 clauses out of 20012 with flag 3073003/3137833
168.28/166.47	c cleaning 10000 clauses out of 20008 with flag 3083000/3147830
168.88/167.04	c cleaning 10001 clauses out of 20008 with flag 3093000/3157830
169.38/167.59	c cleaning 9999 clauses out of 20007 with flag 3103000/3167830
169.98/168.18	c cleaning 9995 clauses out of 20009 with flag 3113001/3177831
170.58/168.76	c cleaning 10005 clauses out of 20018 with flag 3123005/3187835
171.19/169.31	c cleaning 9996 clauses out of 20008 with flag 3133000/3197830
171.69/169.80	c cleaning 9999 clauses out of 20013 with flag 3143001/3207831
172.09/170.29	c cleaning 9995 clauses out of 20014 with flag 3153001/3217831
172.59/170.80	c cleaning 10004 clauses out of 20018 with flag 3163000/3227830
173.19/171.33	c cleaning 10007 clauses out of 20019 with flag 3173005/3237835
173.69/171.85	c cleaning 9989 clauses out of 20007 with flag 3183000/3247830
174.29/172.40	c cleaning 9999 clauses out of 20018 with flag 3193000/3257830
174.80/172.96	c cleaning 10007 clauses out of 20019 with flag 3203000/3267830
175.40/173.55	c cleaning 10003 clauses out of 20013 with flag 3213001/3277831
176.00/174.10	c cleaning 10001 clauses out of 20010 with flag 3223001/3287831
176.40/174.58	c cleaning 10000 clauses out of 20009 with flag 3233001/3297831
177.00/175.10	c cleaning 10001 clauses out of 20008 with flag 3243000/3307830
177.50/175.61	c cleaning 9996 clauses out of 20007 with flag 3253000/3317830
178.00/176.14	c cleaning 9996 clauses out of 20011 with flag 3263000/3327830
178.50/176.68	c cleaning 10001 clauses out of 20015 with flag 3273000/3337830
179.10/177.21	c cleaning 10002 clauses out of 20016 with flag 3283002/3347832
179.60/177.72	c cleaning 9998 clauses out of 20012 with flag 3293000/3357830
180.11/178.25	c cleaning 10001 clauses out of 20017 with flag 3303003/3367833
180.61/178.78	c cleaning 9992 clauses out of 20013 with flag 3313000/3377830
181.11/179.29	c cleaning 10002 clauses out of 20022 with flag 3323001/3387831
181.71/179.86	c cleaning 10005 clauses out of 20020 with flag 3333001/3397831
182.31/180.43	c cleaning 10004 clauses out of 20015 with flag 3343001/3407831
182.81/180.97	c cleaning 9998 clauses out of 20010 with flag 3353000/3417830
183.31/181.49	c cleaning 10000 clauses out of 20012 with flag 3363000/3427830
183.91/182.02	c cleaning 10002 clauses out of 20013 with flag 3373001/3437831
184.41/182.52	c cleaning 10002 clauses out of 20011 with flag 3383001/3447831
184.91/183.02	c cleaning 10001 clauses out of 20008 with flag 3393000/3457830
185.42/183.56	c cleaning 9997 clauses out of 20007 with flag 3403000/3467830
185.92/184.08	c cleaning 9995 clauses out of 20010 with flag 3413000/3477830
186.52/184.60	c cleaning 10003 clauses out of 20016 with flag 3423001/3487831
187.02/185.11	c cleaning 10002 clauses out of 20013 with flag 3433001/3497831
187.52/185.63	c cleaning 9998 clauses out of 20011 with flag 3443001/3507831
188.02/186.15	c cleaning 10001 clauses out of 20013 with flag 3453001/3517831
188.52/186.69	c cleaning 10000 clauses out of 20011 with flag 3463000/3527830
189.12/187.22	c cleaning 10003 clauses out of 20013 with flag 3473002/3537832
189.62/187.76	c cleaning 9999 clauses out of 20008 with flag 3483000/3547830
190.12/188.26	c cleaning 10000 clauses out of 20010 with flag 3493001/3557831
190.63/188.78	c cleaning 10002 clauses out of 20010 with flag 3503001/3567831
191.23/189.31	c cleaning 10000 clauses out of 20012 with flag 3513005/3577835
191.73/189.84	c cleaning 10000 clauses out of 20008 with flag 3523001/3587831
192.24/190.35	c cleaning 9998 clauses out of 20008 with flag 3533001/3597831
192.73/190.87	c cleaning 10000 clauses out of 20009 with flag 3543000/3607830
193.24/191.34	c cleaning 9999 clauses out of 20009 with flag 3553000/3617830
193.74/191.86	c cleaning 10002 clauses out of 20012 with flag 3563002/3627832
194.24/192.37	c cleaning 9996 clauses out of 20010 with flag 3573002/3637832
194.84/192.91	c cleaning 10002 clauses out of 20013 with flag 3583001/3647831
195.34/193.41	c cleaning 10001 clauses out of 20012 with flag 3593002/3657832
195.84/193.95	c cleaning 9994 clauses out of 20010 with flag 3603001/3667831
196.34/194.50	c cleaning 9998 clauses out of 20015 with flag 3613000/3677830
196.84/194.99	c cleaning 10004 clauses out of 20017 with flag 3623000/3687830
197.44/195.51	c cleaning 10003 clauses out of 20014 with flag 3633001/3697831
198.05/196.18	c cleaning 10001 clauses out of 20011 with flag 3643001/3707831
198.65/196.78	c cleaning 10000 clauses out of 20010 with flag 3653001/3717831
199.26/197.30	c cleaning 9999 clauses out of 20011 with flag 3663002/3727832
199.76/197.81	c cleaning 9993 clauses out of 20010 with flag 3673000/3737830
200.26/198.32	c cleaning 10006 clauses out of 20022 with flag 3683005/3747835
200.76/198.83	c cleaning 10002 clauses out of 20011 with flag 3693000/3757830
201.27/199.36	c cleaning 9999 clauses out of 20009 with flag 3703000/3767830
201.86/199.91	c cleaning 10005 clauses out of 20013 with flag 3713003/3777833
202.36/200.49	c cleaning 9990 clauses out of 20005 with flag 3723000/3787830
203.06/201.14	c cleaning 10002 clauses out of 20015 with flag 3733000/3797830
203.66/201.74	c cleaning 10004 clauses out of 20016 with flag 3743003/3807833
204.27/202.38	c cleaning 9999 clauses out of 20010 with flag 3753001/3817831
204.87/202.95	c cleaning 9998 clauses out of 20010 with flag 3763000/3827830
205.37/203.46	c cleaning 10001 clauses out of 20014 with flag 3773002/3837832
205.87/203.96	c cleaning 9995 clauses out of 20012 with flag 3783001/3847831
206.37/204.49	c cleaning 9999 clauses out of 20016 with flag 3793000/3857830
206.97/205.03	c cleaning 9996 clauses out of 20018 with flag 3803001/3867831
207.58/205.60	c cleaning 10006 clauses out of 20022 with flag 3813001/3877831
208.07/206.14	c cleaning 9997 clauses out of 20015 with flag 3823000/3887830
208.57/206.69	c cleaning 10002 clauses out of 20020 with flag 3833002/3897832
209.17/207.24	c cleaning 10001 clauses out of 20016 with flag 3843000/3907830
209.67/207.76	c cleaning 10004 clauses out of 20015 with flag 3853000/3917830
210.27/208.31	c cleaning 10003 clauses out of 20011 with flag 3863000/3927830
210.77/208.90	c cleaning 9997 clauses out of 20008 with flag 3873000/3937830
211.38/209.45	c cleaning 10003 clauses out of 20014 with flag 3883003/3947833
211.99/210.04	c cleaning 9994 clauses out of 20009 with flag 3893001/3957831
212.59/210.60	c cleaning 9999 clauses out of 20015 with flag 3903001/3967831
213.19/211.21	c cleaning 10000 clauses out of 20015 with flag 3913000/3977830
213.69/211.78	c cleaning 9998 clauses out of 20016 with flag 3923001/3987831
214.19/212.30	c cleaning 10001 clauses out of 20017 with flag 3933000/3997830
214.78/212.86	c cleaning 9994 clauses out of 20016 with flag 3943000/4007830
215.29/213.37	c cleaning 10009 clauses out of 20023 with flag 3953001/4017831
215.79/213.88	c cleaning 9999 clauses out of 20016 with flag 3963003/4027833
216.29/214.38	c cleaning 9997 clauses out of 20015 with flag 3973001/4037831
216.79/214.89	c cleaning 10002 clauses out of 20020 with flag 3983003/4047833
217.39/215.42	c cleaning 10000 clauses out of 20015 with flag 3993000/4057830
217.89/215.94	c cleaning 9999 clauses out of 20015 with flag 4003000/4067830
218.39/216.45	c cleaning 10002 clauses out of 20017 with flag 4013001/4077831
218.89/216.94	c cleaning 10004 clauses out of 20014 with flag 4023000/4087830
219.39/217.46	c cleaning 9998 clauses out of 20010 with flag 4033000/4097830
219.90/217.98	c cleaning 10003 clauses out of 20012 with flag 4043000/4107830
220.50/218.53	c cleaning 9996 clauses out of 20009 with flag 4053000/4117830
221.00/219.07	c cleaning 9991 clauses out of 20013 with flag 4063000/4127830
221.60/219.67	c cleaning 10001 clauses out of 20023 with flag 4073001/4137831
222.20/220.24	c cleaning 10003 clauses out of 20021 with flag 4083000/4147830
222.80/220.82	c cleaning 10004 clauses out of 20020 with flag 4093002/4157832
223.30/221.38	c cleaning 9993 clauses out of 20016 with flag 4103002/4167832
223.80/221.89	c cleaning 10007 clauses out of 20022 with flag 4113001/4177831
224.30/222.39	c cleaning 10004 clauses out of 20015 with flag 4123001/4187831
224.81/222.89	c cleaning 10004 clauses out of 20014 with flag 4133004/4197834
225.31/223.38	c cleaning 10000 clauses out of 20008 with flag 4143002/4207832
225.81/223.89	c cleaning 9999 clauses out of 20006 with flag 4153000/4217830
226.42/224.42	c cleaning 9997 clauses out of 20007 with flag 4163000/4227830
226.92/224.96	c cleaning 10000 clauses out of 20012 with flag 4173002/4237832
227.52/225.51	c cleaning 9998 clauses out of 20010 with flag 4183000/4247830
228.02/226.05	c cleaning 10001 clauses out of 20013 with flag 4193001/4257831
228.52/226.59	c cleaning 10000 clauses out of 20012 with flag 4203001/4267831
229.12/227.10	c cleaning 9998 clauses out of 20011 with flag 4213000/4277830
229.63/227.64	c cleaning 9990 clauses out of 20013 with flag 4223000/4287830
230.12/228.14	c cleaning 10009 clauses out of 20026 with flag 4233003/4297833
230.62/228.67	c cleaning 10001 clauses out of 20014 with flag 4243000/4307830
231.22/229.23	c cleaning 10001 clauses out of 20014 with flag 4253001/4317831
231.72/229.77	c cleaning 10004 clauses out of 20013 with flag 4263001/4327831
232.22/230.27	c cleaning 9993 clauses out of 20008 with flag 4273000/4337830
232.72/230.75	c cleaning 10002 clauses out of 20016 with flag 4283001/4347831
233.22/231.25	c cleaning 9996 clauses out of 20014 with flag 4293001/4357831
233.82/231.80	c cleaning 10005 clauses out of 20017 with flag 4303000/4367830
234.32/232.36	c cleaning 9999 clauses out of 20013 with flag 4313001/4377831
234.82/232.89	c cleaning 10004 clauses out of 20015 with flag 4323002/4387832
235.32/233.39	c cleaning 9994 clauses out of 20010 with flag 4333001/4397831
235.93/233.99	c cleaning 9992 clauses out of 20015 with flag 4343000/4407830
236.53/234.55	c cleaning 10006 clauses out of 20025 with flag 4353002/4417832
237.13/235.11	c cleaning 10006 clauses out of 20021 with flag 4363004/4427834
237.63/235.65	c cleaning 10002 clauses out of 20013 with flag 4373002/4437832
238.13/236.19	c cleaning 9997 clauses out of 20009 with flag 4383000/4447830
238.73/236.71	c cleaning 10000 clauses out of 20014 with flag 4393002/4457832
239.23/237.25	c cleaning 10001 clauses out of 20014 with flag 4403002/4467832
239.73/237.77	c cleaning 9999 clauses out of 20011 with flag 4413000/4477830
240.33/238.31	c cleaning 10001 clauses out of 20012 with flag 4423000/4487830
240.83/238.83	c cleaning 9994 clauses out of 20011 with flag 4433000/4497830
241.33/239.33	c cleaning 10004 clauses out of 20018 with flag 4443001/4507831
241.84/239.87	c cleaning 9999 clauses out of 20013 with flag 4453000/4517830
242.43/240.41	c cleaning 9996 clauses out of 20015 with flag 4463001/4527831
242.94/240.93	c cleaning 9998 clauses out of 20019 with flag 4473001/4537831
243.43/241.43	c cleaning 10007 clauses out of 20022 with flag 4483002/4547832
243.94/241.94	c cleaning 9998 clauses out of 20015 with flag 4493002/4557832
244.43/242.47	c cleaning 9995 clauses out of 20015 with flag 4503000/4567830
244.93/242.99	c cleaning 10006 clauses out of 20022 with flag 4513002/4577832
245.53/243.50	c cleaning 10003 clauses out of 20015 with flag 4523001/4587831
246.03/244.04	c cleaning 10000 clauses out of 20011 with flag 4533000/4597830
246.53/244.54	c cleaning 10001 clauses out of 20011 with flag 4543000/4607830
247.04/245.07	c cleaning 9997 clauses out of 20010 with flag 4553000/4617830
247.54/245.56	c cleaning 10004 clauses out of 20014 with flag 4563001/4627831
248.05/246.05	c cleaning 10001 clauses out of 20012 with flag 4573003/4637833
248.54/246.56	c cleaning 10001 clauses out of 20012 with flag 4583004/4647834
249.04/247.04	c cleaning 9995 clauses out of 20007 with flag 4593000/4657830
249.55/247.52	c cleaning 10001 clauses out of 20013 with flag 4603001/4667831
250.05/248.05	c cleaning 10003 clauses out of 20015 with flag 4613004/4677834
250.55/248.58	c cleaning 9993 clauses out of 20009 with flag 4623001/4687831
251.05/249.07	c cleaning 9996 clauses out of 20015 with flag 4633000/4697830
251.55/249.55	c cleaning 10005 clauses out of 20021 with flag 4643002/4707832
252.05/250.06	c cleaning 9996 clauses out of 20014 with flag 4653000/4717830
252.55/250.57	c cleaning 10001 clauses out of 20018 with flag 4663000/4727830
253.05/251.10	c cleaning 9997 clauses out of 20017 with flag 4673000/4737830
253.65/251.65	c cleaning 10003 clauses out of 20020 with flag 4683000/4747830
254.16/252.17	c cleaning 10003 clauses out of 20017 with flag 4693000/4757830
254.66/252.69	c cleaning 10003 clauses out of 20015 with flag 4703001/4767831
255.16/253.18	c cleaning 10004 clauses out of 20015 with flag 4713004/4777834
255.66/253.67	c cleaning 9997 clauses out of 20009 with flag 4723002/4787832
256.17/254.18	c cleaning 10000 clauses out of 20010 with flag 4733000/4797830
256.76/254.71	c cleaning 9998 clauses out of 20011 with flag 4743001/4807831
257.26/255.23	c cleaning 9999 clauses out of 20012 with flag 4753000/4817830
257.86/255.80	c cleaning 10003 clauses out of 20016 with flag 4763003/4827833
258.46/256.41	c cleaning 9999 clauses out of 20011 with flag 4773001/4837831
258.96/256.95	c cleaning 10000 clauses out of 20011 with flag 4783000/4847830
259.47/257.46	c cleaning 10001 clauses out of 20013 with flag 4793002/4857832
259.96/258.00	c cleaning 10002 clauses out of 20012 with flag 4803002/4867832
260.57/258.53	c cleaning 9998 clauses out of 20010 with flag 4813002/4877832
261.07/259.09	c cleaning 9997 clauses out of 20013 with flag 4823003/4887833
261.67/259.61	c cleaning 9999 clauses out of 20013 with flag 4833000/4897830
262.17/260.12	c cleaning 10001 clauses out of 20014 with flag 4843000/4907830
262.77/260.70	c cleaning 10003 clauses out of 20017 with flag 4853004/4917834
263.27/261.21	c cleaning 9999 clauses out of 20010 with flag 4863000/4927830
263.77/261.75	c cleaning 9989 clauses out of 20011 with flag 4873000/4937830
264.37/262.32	c cleaning 10004 clauses out of 20022 with flag 4883000/4947830
264.87/262.85	c cleaning 10004 clauses out of 20021 with flag 4893003/4957833
265.37/263.37	c cleaning 9993 clauses out of 20014 with flag 4903000/4967830
265.87/263.90	c cleaning 10005 clauses out of 20021 with flag 4913000/4977830
266.47/264.40	c cleaning 9999 clauses out of 20017 with flag 4923001/4987831
266.97/264.91	c cleaning 10002 clauses out of 20017 with flag 4933000/4997830
267.37/265.40	c cleaning 10004 clauses out of 20017 with flag 4943002/5007832
267.97/265.92	c cleaning 9996 clauses out of 20011 with flag 4953000/5017830
268.47/266.44	c cleaning 10003 clauses out of 20019 with flag 4963004/5027834
268.97/266.96	c cleaning 9998 clauses out of 20012 with flag 4973000/5037830
269.58/267.57	c cleaning 9999 clauses out of 20014 with flag 4983000/5047830
270.08/268.07	c cleaning 10001 clauses out of 20016 with flag 4993001/5057831
270.68/268.62	c cleaning 10003 clauses out of 20015 with flag 5003001/5067831
271.18/269.17	c cleaning 9998 clauses out of 20011 with flag 5013000/5077830
271.68/269.69	c cleaning 10001 clauses out of 20013 with flag 5023000/5087830
272.18/270.19	c cleaning 10001 clauses out of 20014 with flag 5033002/5097832
272.78/270.72	c cleaning 9997 clauses out of 20014 with flag 5043003/5107833
273.29/271.25	c cleaning 9999 clauses out of 20016 with flag 5053002/5117832
273.80/271.73	c cleaning 9999 clauses out of 20017 with flag 5063002/5127832
274.29/272.24	c cleaning 10004 clauses out of 20017 with flag 5073001/5137831
274.80/272.79	c cleaning 10001 clauses out of 20014 with flag 5083002/5147832
275.39/273.30	c cleaning 10003 clauses out of 20011 with flag 5093000/5157830
275.79/273.80	c cleaning 9999 clauses out of 20008 with flag 5103000/5167830
276.39/274.32	c cleaning 9996 clauses out of 20009 with flag 5113000/5177830
276.89/274.85	c cleaning 10002 clauses out of 20013 with flag 5123000/5187830
277.40/275.38	c cleaning 10002 clauses out of 20012 with flag 5133001/5197831
277.90/275.88	c cleaning 9996 clauses out of 20009 with flag 5143000/5207830
278.40/276.35	c cleaning 9997 clauses out of 20014 with flag 5153001/5217831
278.90/276.85	c cleaning 10001 clauses out of 20017 with flag 5163001/5227831
279.40/277.34	c cleaning 10001 clauses out of 20015 with flag 5173000/5237830
279.90/277.86	c cleaning 10002 clauses out of 20015 with flag 5183001/5247831
280.41/278.34	c cleaning 10002 clauses out of 20013 with flag 5193001/5257831
280.90/278.82	c cleaning 9995 clauses out of 20012 with flag 5203002/5267832
281.41/279.33	c cleaning 9994 clauses out of 20015 with flag 5213000/5277830
281.90/279.83	c cleaning 10002 clauses out of 20022 with flag 5223001/5287831
282.40/280.36	c cleaning 10004 clauses out of 20020 with flag 5233001/5297831
282.90/280.88	c cleaning 10004 clauses out of 20015 with flag 5243000/5307830
283.50/281.41	c cleaning 10000 clauses out of 20014 with flag 5253003/5317833
284.00/281.91	c cleaning 9999 clauses out of 20012 with flag 5263001/5327831
284.50/282.41	c cleaning 10000 clauses out of 20012 with flag 5273000/5337830
285.00/282.94	c cleaning 10000 clauses out of 20013 with flag 5283001/5347831
285.51/283.47	c cleaning 9999 clauses out of 20013 with flag 5293001/5357831
286.01/283.96	c cleaning 10001 clauses out of 20014 with flag 5303001/5367831
286.61/284.50	c cleaning 10000 clauses out of 20012 with flag 5313000/5377830
287.11/285.03	c cleaning 9997 clauses out of 20012 with flag 5323000/5387830
287.61/285.51	c cleaning 10002 clauses out of 20018 with flag 5333003/5397833
288.11/286.01	c cleaning 9998 clauses out of 20014 with flag 5343001/5407831
288.61/286.52	c cleaning 9999 clauses out of 20015 with flag 5353000/5417830
289.12/287.08	c cleaning 10003 clauses out of 20020 with flag 5363004/5427834
289.71/287.63	c cleaning 10003 clauses out of 20013 with flag 5373000/5437830
290.22/288.18	c cleaning 9996 clauses out of 20012 with flag 5383002/5447832
290.81/288.75	c cleaning 10000 clauses out of 20014 with flag 5393000/5457830
291.32/289.25	c cleaning 10001 clauses out of 20014 with flag 5403000/5467830
291.82/289.78	c cleaning 10001 clauses out of 20014 with flag 5413001/5477831
292.42/290.31	c cleaning 10001 clauses out of 20014 with flag 5423002/5487832
292.92/290.81	c cleaning 10000 clauses out of 20011 with flag 5433000/5497830
293.42/291.32	c cleaning 10000 clauses out of 20012 with flag 5443001/5507831
293.92/291.81	c cleaning 10002 clauses out of 20013 with flag 5453002/5517832
294.43/292.33	c cleaning 9994 clauses out of 20009 with flag 5463000/5527830
294.93/292.82	c cleaning 9995 clauses out of 20016 with flag 5473001/5537831
295.43/293.33	c cleaning 10005 clauses out of 20022 with flag 5483002/5547832
295.93/293.89	c cleaning 10003 clauses out of 20015 with flag 5493000/5557830
296.43/294.37	c cleaning 10002 clauses out of 20012 with flag 5503000/5567830
296.94/294.86	c cleaning 9993 clauses out of 20011 with flag 5513001/5577831
297.43/295.35	c cleaning 10003 clauses out of 20018 with flag 5523001/5587831
297.94/295.86	c cleaning 9998 clauses out of 20016 with flag 5533002/5597832
298.43/296.37	c cleaning 10006 clauses out of 20019 with flag 5543003/5607833
298.93/296.88	c cleaning 9997 clauses out of 20010 with flag 5553000/5617830
299.54/297.45	c cleaning 9999 clauses out of 20014 with flag 5563001/5627831
300.04/297.95	c cleaning 9998 clauses out of 20015 with flag 5573001/5637831
300.54/298.43	c cleaning 10003 clauses out of 20017 with flag 5583001/5647831
301.04/298.93	c cleaning 9999 clauses out of 20015 with flag 5593002/5657832
301.54/299.42	c cleaning 10001 clauses out of 20014 with flag 5603000/5667830
302.04/299.94	c cleaning 10004 clauses out of 20014 with flag 5613001/5677831
302.55/300.43	c cleaning 9999 clauses out of 20009 with flag 5623000/5687830
303.05/300.94	c cleaning 9998 clauses out of 20010 with flag 5633000/5697830
303.56/301.48	c cleaning 9985 clauses out of 20012 with flag 5643000/5707830
304.15/302.02	c cleaning 10006 clauses out of 20027 with flag 5653000/5717830
304.66/302.51	c cleaning 10003 clauses out of 20021 with flag 5663000/5727830
305.15/303.01	c cleaning 10005 clauses out of 20020 with flag 5673002/5737832
305.66/303.55	c cleaning 10001 clauses out of 20014 with flag 5683001/5747831
306.15/304.04	c cleaning 10001 clauses out of 20013 with flag 5693001/5757831
306.65/304.51	c cleaning 9997 clauses out of 20011 with flag 5703000/5767830
307.16/305.04	c cleaning 10002 clauses out of 20015 with flag 5713001/5777831
307.76/305.61	c cleaning 9997 clauses out of 20014 with flag 5723002/5787832
308.26/306.10	c cleaning 10002 clauses out of 20015 with flag 5733000/5797830
308.66/306.59	c cleaning 9998 clauses out of 20014 with flag 5743001/5807831
309.26/307.14	c cleaning 9997 clauses out of 20015 with flag 5753000/5817830
309.76/307.64	c cleaning 9999 clauses out of 20018 with flag 5763000/5827830
310.26/308.19	c cleaning 10003 clauses out of 20020 with flag 5773001/5837831
310.86/308.76	c cleaning 10004 clauses out of 20018 with flag 5783002/5847832
311.36/309.24	c cleaning 10002 clauses out of 20015 with flag 5793003/5857833
311.86/309.77	c cleaning 9998 clauses out of 20010 with flag 5803000/5867830
312.46/310.32	c cleaning 9999 clauses out of 20012 with flag 5813000/5877830
312.96/310.83	c cleaning 10003 clauses out of 20013 with flag 5823000/5887830
313.47/311.32	c cleaning 9997 clauses out of 20010 with flag 5833000/5897830
313.97/311.84	c cleaning 10002 clauses out of 20014 with flag 5843001/5907831
314.47/312.38	c cleaning 10000 clauses out of 20011 with flag 5853000/5917830
314.97/312.88	c cleaning 9996 clauses out of 20013 with flag 5863002/5927832
315.57/313.49	c cleaning 10003 clauses out of 20016 with flag 5873001/5937831
316.17/314.07	c cleaning 9996 clauses out of 20014 with flag 5883002/5947832
316.67/314.57	c cleaning 10006 clauses out of 20017 with flag 5893001/5957831
317.17/315.06	c cleaning 10001 clauses out of 20011 with flag 5903001/5967831
317.67/315.57	c cleaning 10000 clauses out of 20009 with flag 5913000/5977830
318.27/316.10	c cleaning 10002 clauses out of 20009 with flag 5923000/5987830
318.77/316.60	c cleaning 9991 clauses out of 20009 with flag 5933002/5997832
319.27/317.12	c cleaning 9984 clauses out of 20017 with flag 5943001/6007831
319.77/317.64	c cleaning 9994 clauses out of 20033 with flag 5953001/6017831
320.27/318.17	c cleaning 9991 clauses out of 20038 with flag 5963000/6027830
320.78/318.68	c cleaning 9987 clauses out of 20047 with flag 5973000/6037830
321.28/319.17	c cleaning 9991 clauses out of 20061 with flag 5983001/6047831
321.78/319.68	c cleaning 9969 clauses out of 20069 with flag 5993000/6057830
322.28/320.19	c cleaning 9981 clauses out of 20101 with flag 6003001/6067831
322.78/320.69	c cleaning 10000 clauses out of 20120 with flag 6013001/6077831
323.40/321.22	c cleaning 9986 clauses out of 20122 with flag 6023003/6087833
323.89/321.71	c cleaning 9994 clauses out of 20137 with flag 6033004/6097834
324.29/322.17	c cleaning 9986 clauses out of 20140 with flag 6043001/6107831
324.79/322.67	c cleaning 9991 clauses out of 20153 with flag 6053000/6117830
325.29/323.19	c cleaning 9988 clauses out of 20163 with flag 6063001/6127831
325.89/323.71	c cleaning 9984 clauses out of 20175 with flag 6073001/6137831
326.39/324.25	c cleaning 9993 clauses out of 20190 with flag 6083000/6147830
326.89/324.76	c cleaning 9989 clauses out of 20197 with flag 6093000/6157830
327.50/325.34	c cleaning 10008 clauses out of 20211 with flag 6103003/6167833
328.10/325.95	c cleaning 9991 clauses out of 20200 with flag 6113000/6177830
328.70/326.53	c cleaning 9999 clauses out of 20210 with flag 6123001/6187831
329.20/327.09	c cleaning 9995 clauses out of 20210 with flag 6133000/6197830
329.70/327.59	c cleaning 9999 clauses out of 20216 with flag 6143001/6207831
330.30/328.11	c cleaning 9989 clauses out of 20216 with flag 6153000/6217830
330.80/328.64	c cleaning 10005 clauses out of 20231 with flag 6163004/6227834
331.30/329.18	c cleaning 9981 clauses out of 20222 with flag 6173000/6237830
331.90/329.70	c cleaning 9992 clauses out of 20244 with flag 6183003/6247833
332.40/330.20	c cleaning 9986 clauses out of 20249 with flag 6193000/6257830
332.80/330.67	c cleaning 9989 clauses out of 20263 with flag 6203000/6267830
333.40/331.20	c cleaning 9992 clauses out of 20274 with flag 6213000/6277830
333.91/331.71	c cleaning 9979 clauses out of 20286 with flag 6223004/6287834
334.31/332.19	c cleaning 9987 clauses out of 20304 with flag 6233001/6297831
334.91/332.72	c cleaning 9988 clauses out of 20317 with flag 6243001/6307831
335.41/333.24	c cleaning 9987 clauses out of 20328 with flag 6253000/6317830
335.91/333.76	c cleaning 9983 clauses out of 20341 with flag 6263000/6327830
336.41/334.25	c cleaning 9995 clauses out of 20359 with flag 6273001/6337831
337.01/334.81	c cleaning 9998 clauses out of 20365 with flag 6283002/6347832
337.51/335.35	c cleaning 9976 clauses out of 20366 with flag 6293001/6357831
338.01/335.88	c cleaning 9992 clauses out of 20390 with flag 6303001/6367831
338.61/336.41	c cleaning 9982 clauses out of 20398 with flag 6313001/6377831
339.11/336.92	c cleaning 9988 clauses out of 20415 with flag 6323000/6387830
339.61/337.42	c cleaning 9995 clauses out of 20430 with flag 6333003/6397833
340.11/337.94	c cleaning 9984 clauses out of 20433 with flag 6343001/6407831
340.62/338.44	c cleaning 9985 clauses out of 20449 with flag 6353001/6417831
341.12/338.97	c cleaning 9988 clauses out of 20464 with flag 6363001/6427831
341.62/339.48	c cleaning 9988 clauses out of 20477 with flag 6373002/6437832
342.13/339.97	c cleaning 9986 clauses out of 20489 with flag 6383002/6447832
342.62/340.47	c cleaning 9990 clauses out of 20503 with flag 6393002/6457832
343.13/340.97	c cleaning 9985 clauses out of 20511 with flag 6403000/6467830
343.62/341.49	c cleaning 9981 clauses out of 20529 with flag 6413003/6477833
344.13/342.00	c cleaning 9991 clauses out of 20546 with flag 6423001/6487831
344.73/342.55	c cleaning 9990 clauses out of 20554 with flag 6433000/6497830
345.33/343.12	c cleaning 9991 clauses out of 20564 with flag 6443000/6507830
345.93/343.72	c cleaning 10006 clauses out of 20574 with flag 6453001/6517831
346.43/344.26	c cleaning 9992 clauses out of 20568 with flag 6463001/6527831
346.93/344.73	c cleaning 9983 clauses out of 20575 with flag 6473000/6537830
347.43/345.22	c cleaning 9988 clauses out of 20592 with flag 6483000/6547830
347.93/345.74	c cleaning 9992 clauses out of 20606 with flag 6493002/6557832
348.43/346.23	c cleaning 9991 clauses out of 20614 with flag 6503002/6567832
349.03/346.81	c cleaning 9995 clauses out of 20622 with flag 6513001/6577831
349.63/347.41	c cleaning 9997 clauses out of 20626 with flag 6523000/6587830
350.24/348.00	c cleaning 9999 clauses out of 20630 with flag 6533001/6597831
350.75/348.58	c cleaning 9996 clauses out of 20631 with flag 6543001/6607831
351.25/349.09	c cleaning 9972 clauses out of 20635 with flag 6553001/6617831
351.75/349.57	c cleaning 9995 clauses out of 20664 with flag 6563002/6627832
352.35/350.12	c cleaning 9999 clauses out of 20668 with flag 6573001/6637831
352.85/350.65	c cleaning 9989 clauses out of 20668 with flag 6583000/6647830
353.35/351.19	c cleaning 9995 clauses out of 20681 with flag 6593002/6657832
353.85/351.67	c cleaning 9991 clauses out of 20684 with flag 6603000/6667830
354.35/352.15	c cleaning 9985 clauses out of 20695 with flag 6613002/6677832
354.85/352.65	c cleaning 9981 clauses out of 20708 with flag 6623000/6687830
355.45/353.21	c cleaning 9997 clauses out of 20727 with flag 6633000/6697830
356.09/353.82	c cleaning 9999 clauses out of 20731 with flag 6643001/6707831
356.59/354.38	c cleaning 10000 clauses out of 20731 with flag 6653000/6717830
357.19/354.92	c cleaning 10004 clauses out of 20735 with flag 6663004/6727834
357.69/355.46	c cleaning 9989 clauses out of 20727 with flag 6673000/6737830
358.19/355.97	c cleaning 9989 clauses out of 20740 with flag 6683002/6747832
358.70/356.50	c cleaning 9993 clauses out of 20749 with flag 6693000/6757830
359.29/357.01	c cleaning 9988 clauses out of 20756 with flag 6703000/6767830
359.80/357.52	c cleaning 9980 clauses out of 20768 with flag 6713000/6777830
360.29/358.04	c cleaning 9991 clauses out of 20788 with flag 6723000/6787830
360.80/358.54	c cleaning 9996 clauses out of 20799 with flag 6733002/6797832
361.40/359.15	c cleaning 9997 clauses out of 20803 with flag 6743002/6807832
362.00/359.72	c cleaning 9993 clauses out of 20805 with flag 6753001/6817831
362.50/360.27	c cleaning 10002 clauses out of 20812 with flag 6763001/6827831
363.00/360.78	c cleaning 9992 clauses out of 20813 with flag 6773004/6837834
363.50/361.27	c cleaning 9968 clauses out of 20817 with flag 6783000/6847830
364.00/361.77	c cleaning 9986 clauses out of 20849 with flag 6793000/6857830
364.50/362.26	c cleaning 9985 clauses out of 20863 with flag 6803000/6867830
365.00/362.79	c cleaning 9996 clauses out of 20880 with flag 6813002/6877832
365.60/363.37	c cleaning 9996 clauses out of 20882 with flag 6823000/6887830
366.30/364.01	c cleaning 9999 clauses out of 20887 with flag 6833001/6897831
366.80/364.57	c cleaning 9996 clauses out of 20887 with flag 6843000/6907830
367.31/365.08	c cleaning 9996 clauses out of 20891 with flag 6853000/6917830
367.91/365.62	c cleaning 9994 clauses out of 20895 with flag 6863000/6927830
368.41/366.15	c cleaning 10000 clauses out of 20901 with flag 6873000/6937830
368.91/366.67	c cleaning 9974 clauses out of 20903 with flag 6883002/6947832
369.41/367.18	c cleaning 9987 clauses out of 20927 with flag 6893000/6957830
370.02/367.73	c cleaning 9999 clauses out of 20941 with flag 6903001/6967831
370.52/368.24	c cleaning 9980 clauses out of 20944 with flag 6913003/6977833
371.02/368.77	c cleaning 9997 clauses out of 20962 with flag 6923001/6987831
371.62/369.38	c cleaning 9997 clauses out of 20965 with flag 6933001/6997831
372.22/369.96	c cleaning 10004 clauses out of 20969 with flag 6943002/7007832
372.82/370.55	c cleaning 9991 clauses out of 20963 with flag 6953000/7017830
373.43/371.13	c cleaning 10002 clauses out of 20974 with flag 6963002/7027832
373.93/371.65	c cleaning 10003 clauses out of 20971 with flag 6973001/7037831
374.53/372.24	c cleaning 9970 clauses out of 20968 with flag 6983002/7047832
375.04/372.79	c cleaning 9972 clauses out of 20997 with flag 6993001/7057831
375.74/373.40	c cleaning 9995 clauses out of 21028 with flag 7003004/7067834
376.24/373.99	c cleaning 9974 clauses out of 21029 with flag 7013000/7077830
376.84/374.55	c cleaning 9964 clauses out of 21055 with flag 7023000/7087830
377.35/375.10	c cleaning 9971 clauses out of 21092 with flag 7033001/7097831
377.94/375.66	c cleaning 9984 clauses out of 21121 with flag 7043001/7107831
378.55/376.25	c cleaning 9979 clauses out of 21136 with flag 7053000/7117830
379.14/376.86	c cleaning 9992 clauses out of 21157 with flag 7063000/7127830
379.94/377.65	c cleaning 10000 clauses out of 21168 with flag 7073003/7137833
380.55/378.28	c cleaning 9978 clauses out of 21165 with flag 7083000/7147830
381.15/378.88	c cleaning 9973 clauses out of 21188 with flag 7093001/7157831
381.75/379.48	c cleaning 9987 clauses out of 21218 with flag 7103004/7167834
382.35/380.09	c cleaning 9977 clauses out of 21227 with flag 7113000/7177830
382.97/380.64	c cleaning 9965 clauses out of 21250 with flag 7123000/7187830
383.56/381.25	c cleaning 9989 clauses out of 21286 with flag 7133001/7197831
384.16/381.85	c cleaning 9984 clauses out of 21297 with flag 7143001/7207831
384.76/382.46	c cleaning 9969 clauses out of 21314 with flag 7153002/7217832
385.36/383.04	c cleaning 9984 clauses out of 21344 with flag 7163001/7227831
385.86/383.59	c cleaning 9984 clauses out of 21359 with flag 7173000/7237830
386.46/384.14	c cleaning 9977 clauses out of 21377 with flag 7183002/7247832
387.06/384.75	c cleaning 9985 clauses out of 21398 with flag 7193000/7257830
387.67/385.36	c cleaning 9992 clauses out of 21413 with flag 7203000/7267830
388.27/385.99	c cleaning 9985 clauses out of 21425 with flag 7213004/7277834
388.87/386.57	c cleaning 9971 clauses out of 21437 with flag 7223001/7287831
389.47/387.18	c cleaning 9972 clauses out of 21465 with flag 7233000/7297830
390.07/387.75	c cleaning 9962 clauses out of 21492 with flag 7243000/7307830
390.68/388.39	c cleaning 9931 clauses out of 21531 with flag 7253001/7317831
390.97/388.61	c starts		: 321
390.97/388.61	c conflicts		: 7321497
390.97/388.61	c decisions		: 10929412
390.97/388.61	c propagations		: 370900697
390.97/388.61	c inspects		: 3822169623
390.97/388.61	c shortcuts		: 0
390.97/388.61	c learnt literals	: 8
390.97/388.61	c learnt binary clauses	: 51
390.97/388.61	c learnt ternary clauses	: 1751
390.97/388.61	c learnt constraints	: 7321488
390.97/388.61	c ignored constraints	: 0
390.97/388.61	c root simplifications	: 0
390.97/388.61	c removed literals (reason simplification)	: 38578424
390.97/388.61	c reason swapping (by a shorter reason)	: 0
390.97/388.61	c Calls to reduceDB	: 737
390.97/388.61	c number of reductions to clauses (during analyze)	: 0
390.97/388.61	c number of learned constraints concerned by reduction	: 0
390.97/388.61	c number of learning phase by resolution	: 0
390.97/388.61	c number of learning phase by cutting planes	: 0
390.97/388.61	c speed (assignments/second)	: 969601.5125650604
390.97/388.61	c non guided choices	3700
390.97/388.61	c learnt constraints type 
390.97/388.61	c constraints type 
390.97/388.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2599
390.97/388.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 6
390.97/388.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85
390.97/388.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17
390.97/388.61	s OPTIMUM FOUND
390.97/388.61	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 
390.97/388.61	c objective function=1
390.97/388.61	c Total wall clock time (in seconds): 388.501

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-3492020-1307910674/watcher-3492020-1307910674 -o /var/tmp/evaluation-result-3492020-1307910674/solver-3492020-1307910674 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492020-1307910674.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.10 2.03 1.96 2/195 16791
/proc/meminfo: memFree=1663244/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/16791/stat : 16791 (java) R 16789 16791 14185 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 883482755 23580672 691 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254256694704 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16791/statm: 5757 691 508 9 0 124 0

[startup+0.0605619 s]
/proc/loadavg: 2.10 2.03 1.96 2/195 16791
/proc/meminfo: memFree=1663244/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10533152 CPUtime=0.05 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 11547 0 1 0 4 1 0 0 25 0 13 0 883482755 10785947648 11242 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2633288 11242 1691 9 0 2624036 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10533152

[startup+0.104592 s]
/proc/loadavg: 2.10 2.03 1.96 2/195 16791
/proc/meminfo: memFree=1663244/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10539936 CPUtime=0.1 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 13007 0 1 0 9 1 0 0 25 0 18 0 883482755 10792894464 12702 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2634984 12703 2092 9 0 2625718 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539936

[startup+0.300465 s]
/proc/loadavg: 2.10 2.03 1.96 2/195 16791
/proc/meminfo: memFree=1663244/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10541984 CPUtime=0.47 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 16047 0 1 0 45 2 0 0 25 0 18 0 883482755 10794991616 15220 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2635496 15220 2200 9 0 2626230 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541984

[startup+0.700394 s]
/proc/loadavg: 2.10 2.03 1.96 2/195 16791
/proc/meminfo: memFree=1663244/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10546080 CPUtime=1.47 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 21078 0 1 0 144 3 0 0 25 0 19 0 883482755 10799185920 18405 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2636520 18405 2225 9 0 2627254 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10546080

[startup+1.50129 s]
/proc/loadavg: 2.10 2.03 1.96 3/214 16810
/proc/meminfo: memFree=1596204/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10546080 CPUtime=2.27 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 22298 0 1 0 224 3 0 0 25 0 19 0 883482755 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2636520 19624 2227 9 0 2627254 0
[pid=16791/tid=16793] ppid=16789 vsize=10546080 CPUtime=1.47 cores=1,3,5,7
/proc/16791/task/16793/stat : 16793 (java) R 16789 16791 14185 0 -1 4202560 15966 0 1 0 146 1 0 0 25 0 19 0 883482756 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 46912505226881 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16791/tid=16794] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16794/stat : 16794 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16795] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16795/stat : 16795 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16796] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16796/stat : 16796 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16797] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16797/stat : 16797 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16798] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16798/stat : 16798 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16799] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16799/stat : 16799 (java) S 16789 16791 14185 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16800] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16800/stat : 16800 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16801] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16801/stat : 16801 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883482758 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16802] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16802/stat : 16802 (java) S 16789 16791 14185 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 0 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16803] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16803/stat : 16803 (java) S 16789 16791 14185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 883482759 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16804] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16804/stat : 16804 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 883482759 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16805] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16805/stat : 16805 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883482761 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273440177 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16806] ppid=16789 vsize=10546080 CPUtime=0.36 cores=1,3,5,7
/proc/16791/task/16806/stat : 16806 (java) S 16789 16791 14185 0 -1 4202560 2487 0 0 0 36 0 0 0 23 0 19 0 883482761 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16807] ppid=16789 vsize=10546080 CPUtime=0.41 cores=1,3,5,7
/proc/16791/task/16807/stat : 16807 (java) S 16789 16791 14185 0 -1 4202560 2682 0 0 0 41 0 0 0 15 0 19 0 883482761 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16808] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16808/stat : 16808 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 883482761 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16809] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16809/stat : 16809 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883482761 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16810] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16810/stat : 16810 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883482789 10799185920 19624 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10546080

[startup+3.10102 s]
/proc/loadavg: 2.10 2.03 1.96 3/214 16810
/proc/meminfo: memFree=1586408/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10546080 CPUtime=3.92 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 24467 0 1 0 389 3 0 0 25 0 19 0 883482755 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2636520 21791 2253 9 0 2627254 0
[pid=16791/tid=16793] ppid=16789 vsize=10546080 CPUtime=3.03 cores=1,3,5,7
/proc/16791/task/16793/stat : 16793 (java) R 16789 16791 14185 0 -1 4202560 16343 0 1 0 302 1 0 0 25 0 19 0 883482756 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 46912505710229 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16791/tid=16794] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16794/stat : 16794 (java) S 16789 16791 14185 0 -1 4202560 337 0 0 0 0 0 0 0 16 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16795] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16795/stat : 16795 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16796] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16796/stat : 16796 (java) S 16789 16791 14185 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16797] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16797/stat : 16797 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16798] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16798/stat : 16798 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16799] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16799/stat : 16799 (java) S 16789 16791 14185 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16800] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16800/stat : 16800 (java) S 16789 16791 14185 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16801] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16801/stat : 16801 (java) S 16789 16791 14185 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16802] ppid=16789 vsize=10546080 CPUtime=0.02 cores=1,3,5,7
/proc/16791/task/16802/stat : 16802 (java) S 16789 16791 14185 0 -1 4202560 768 0 0 0 2 0 0 0 15 0 19 0 883482759 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 0 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16803] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16803/stat : 16803 (java) S 16789 16791 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16804] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16804/stat : 16804 (java) S 16789 16791 14185 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16805] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16805/stat : 16805 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883482761 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273440177 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16806] ppid=16789 vsize=10546080 CPUtime=0.39 cores=1,3,5,7
/proc/16791/task/16806/stat : 16806 (java) S 16789 16791 14185 0 -1 4202560 2499 0 0 0 39 0 0 0 15 0 19 0 883482761 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16807] ppid=16789 vsize=10546080 CPUtime=0.44 cores=1,3,5,7
/proc/16791/task/16807/stat : 16807 (java) S 16789 16791 14185 0 -1 4202560 2686 0 0 0 44 0 0 0 15 0 19 0 883482761 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16808] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16808/stat : 16808 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 883482761 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16809] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16809/stat : 16809 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883482761 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16810] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16810/stat : 16810 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883482789 10799185920 21791 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 10546080

[startup+6.30144 s]
/proc/loadavg: 2.10 2.03 1.96 3/214 16810
/proc/meminfo: memFree=1583168/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10546080 CPUtime=7.18 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 25088 0 1 0 715 3 0 0 25 0 19 0 883482755 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2636520 21945 2253 9 0 2627254 0
[pid=16791/tid=16793] ppid=16789 vsize=10546080 CPUtime=6.08 cores=1,3,5,7
/proc/16791/task/16793/stat : 16793 (java) R 16789 16791 14185 0 -1 4202560 16352 0 1 0 607 1 0 0 25 0 19 0 883482756 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 46912505719635 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16791/tid=16794] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16794/stat : 16794 (java) S 16789 16791 14185 0 -1 4202560 337 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16795] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16795/stat : 16795 (java) S 16789 16791 14185 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16796] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16796/stat : 16796 (java) S 16789 16791 14185 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16797] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16797/stat : 16797 (java) S 16789 16791 14185 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16798] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16798/stat : 16798 (java) S 16789 16791 14185 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16799] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16799/stat : 16799 (java) S 16789 16791 14185 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16800] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16800/stat : 16800 (java) S 16789 16791 14185 0 -1 4202560 229 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16801] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16801/stat : 16801 (java) S 16789 16791 14185 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 883482758 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16802] ppid=16789 vsize=10546080 CPUtime=0.15 cores=1,3,5,7
/proc/16791/task/16802/stat : 16802 (java) S 16789 16791 14185 0 -1 4202560 871 0 0 0 15 0 0 0 16 0 19 0 883482759 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 0 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16803] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16803/stat : 16803 (java) S 16789 16791 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16804] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16804/stat : 16804 (java) S 16789 16791 14185 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16805] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16805/stat : 16805 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883482761 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273440177 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16806] ppid=16789 vsize=10546080 CPUtime=0.43 cores=1,3,5,7
/proc/16791/task/16806/stat : 16806 (java) S 16789 16791 14185 0 -1 4202560 2983 0 0 0 43 0 0 0 15 0 19 0 883482761 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16807] ppid=16789 vsize=10546080 CPUtime=0.44 cores=1,3,5,7
/proc/16791/task/16807/stat : 16807 (java) S 16789 16791 14185 0 -1 4202560 2686 0 0 0 44 0 0 0 15 0 19 0 883482761 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16808] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16808/stat : 16808 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 883482761 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16809] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16809/stat : 16809 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883482761 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16810] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16810/stat : 16810 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883482789 10799185920 21945 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10546080

[startup+12.7013 s]

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

/proc/16791/task/16794/stat : 16794 (java) S 16789 16791 14185 0 -1 4202560 352 0 0 0 20 1 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16795] ppid=16789 vsize=10546080 CPUtime=0.22 cores=1,3,5,7
/proc/16791/task/16795/stat : 16795 (java) S 16789 16791 14185 0 -1 4202560 24 0 0 0 22 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16796] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16796/stat : 16796 (java) S 16789 16791 14185 0 -1 4202560 218 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16797] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16797/stat : 16797 (java) S 16789 16791 14185 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16798] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16798/stat : 16798 (java) S 16789 16791 14185 0 -1 4202560 16 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16799] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16799/stat : 16799 (java) S 16789 16791 14185 0 -1 4202560 56 0 0 0 21 0 0 0 16 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16800] ppid=16789 vsize=10546080 CPUtime=0.23 cores=1,3,5,7
/proc/16791/task/16800/stat : 16800 (java) S 16789 16791 14185 0 -1 4202560 246 0 0 0 22 1 0 0 16 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16801] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16801/stat : 16801 (java) S 16789 16791 14185 0 -1 4202560 237 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16802] ppid=16789 vsize=10546080 CPUtime=12.37 cores=1,3,5,7
/proc/16791/task/16802/stat : 16802 (java) S 16789 16791 14185 0 -1 4202560 1791 0 0 0 1227 10 0 0 15 0 19 0 883482759 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 0 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16803] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16803/stat : 16803 (java) S 16789 16791 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16804] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16804/stat : 16804 (java) S 16789 16791 14185 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16805] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16805/stat : 16805 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273440177 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16806] ppid=16789 vsize=10546080 CPUtime=1.11 cores=1,3,5,7
/proc/16791/task/16806/stat : 16806 (java) S 16789 16791 14185 0 -1 4202560 12329 0 0 0 110 1 0 0 15 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16807] ppid=16789 vsize=10546080 CPUtime=0.5 cores=1,3,5,7
/proc/16791/task/16807/stat : 16807 (java) S 16789 16791 14185 0 -1 4202560 2689 0 0 0 50 0 0 0 15 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16808] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16808/stat : 16808 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16809] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16809/stat : 16809 (java) S 16789 16791 14185 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16810] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16810/stat : 16810 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883482789 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.27
Current children cumulated vsize (KiB) 10546080

[startup+388.307 s]
/proc/loadavg: 2.00 2.03 2.00 4/214 16877
/proc/meminfo: memFree=579948/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10546080 CPUtime=390.68 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 36238 0 1 0 39044 24 0 0 25 0 19 0 883482755 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2636520 24435 2255 9 0 2627254 0
[pid=16791/tid=16793] ppid=16789 vsize=10546080 CPUtime=374.93 cores=1,3,5,7
/proc/16791/task/16793/stat : 16793 (java) R 16789 16791 14185 0 -1 4202560 17077 0 1 0 37489 4 0 0 18 0 19 0 883482756 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 46912505711186 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16791/tid=16794] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16794/stat : 16794 (java) S 16789 16791 14185 0 -1 4202560 352 0 0 0 20 1 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16795] ppid=16789 vsize=10546080 CPUtime=0.22 cores=1,3,5,7
/proc/16791/task/16795/stat : 16795 (java) S 16789 16791 14185 0 -1 4202560 24 0 0 0 22 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16796] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16796/stat : 16796 (java) S 16789 16791 14185 0 -1 4202560 218 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16797] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16797/stat : 16797 (java) S 16789 16791 14185 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16798] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16798/stat : 16798 (java) S 16789 16791 14185 0 -1 4202560 16 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16799] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16799/stat : 16799 (java) S 16789 16791 14185 0 -1 4202560 56 0 0 0 21 0 0 0 16 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16800] ppid=16789 vsize=10546080 CPUtime=0.23 cores=1,3,5,7
/proc/16791/task/16800/stat : 16800 (java) S 16789 16791 14185 0 -1 4202560 246 0 0 0 22 1 0 0 16 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16801] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16801/stat : 16801 (java) S 16789 16791 14185 0 -1 4202560 237 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16802] ppid=16789 vsize=10546080 CPUtime=12.37 cores=1,3,5,7
/proc/16791/task/16802/stat : 16802 (java) S 16789 16791 14185 0 -1 4202560 1791 0 0 0 1227 10 0 0 15 0 19 0 883482759 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 0 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16803] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16803/stat : 16803 (java) S 16789 16791 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16804] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16804/stat : 16804 (java) S 16789 16791 14185 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16805] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16805/stat : 16805 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273440177 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16806] ppid=16789 vsize=10546080 CPUtime=1.11 cores=1,3,5,7
/proc/16791/task/16806/stat : 16806 (java) S 16789 16791 14185 0 -1 4202560 12329 0 0 0 110 1 0 0 15 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16807] ppid=16789 vsize=10546080 CPUtime=0.5 cores=1,3,5,7
/proc/16791/task/16807/stat : 16807 (java) S 16789 16791 14185 0 -1 4202560 2689 0 0 0 50 0 0 0 15 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16808] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16808/stat : 16808 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16809] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16809/stat : 16809 (java) S 16789 16791 14185 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 883482761 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16810] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16810/stat : 16810 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883482789 10799185920 24435 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.68
Current children cumulated vsize (KiB) 10546080

[startup+388.501 s]
/proc/loadavg: 2.00 2.03 2.00 4/214 16877
/proc/meminfo: memFree=579948/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10546080 CPUtime=390.87 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 36244 0 1 0 39063 24 0 0 25 0 19 0 883482755 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2636520 24440 2255 9 0 2627254 0
[pid=16791/tid=16793] ppid=16789 vsize=10546080 CPUtime=375.1 cores=1,3,5,7
/proc/16791/task/16793/stat : 16793 (java) R 16789 16791 14185 0 -1 4202560 17078 0 1 0 37506 4 0 0 17 0 19 0 883482756 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16791/tid=16794] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16794/stat : 16794 (java) S 16789 16791 14185 0 -1 4202560 352 0 0 0 20 1 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16795] ppid=16789 vsize=10546080 CPUtime=0.22 cores=1,3,5,7
/proc/16791/task/16795/stat : 16795 (java) S 16789 16791 14185 0 -1 4202560 24 0 0 0 22 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16796] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16796/stat : 16796 (java) S 16789 16791 14185 0 -1 4202560 218 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16797] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16797/stat : 16797 (java) S 16789 16791 14185 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16798] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16798/stat : 16798 (java) S 16789 16791 14185 0 -1 4202560 16 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16799] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16799/stat : 16799 (java) S 16789 16791 14185 0 -1 4202560 56 0 0 0 21 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16800] ppid=16789 vsize=10546080 CPUtime=0.23 cores=1,3,5,7
/proc/16791/task/16800/stat : 16800 (java) S 16789 16791 14185 0 -1 4202560 246 0 0 0 22 1 0 0 16 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16801] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16801/stat : 16801 (java) S 16789 16791 14185 0 -1 4202560 237 0 0 0 19 0 0 0 16 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16802] ppid=16789 vsize=10546080 CPUtime=12.38 cores=1,3,5,7
/proc/16791/task/16802/stat : 16802 (java) S 16789 16791 14185 0 -1 4202560 1796 0 0 0 1228 10 0 0 15 0 19 0 883482759 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 0 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16803] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16803/stat : 16803 (java) S 16789 16791 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16804] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16804/stat : 16804 (java) S 16789 16791 14185 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16805] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16805/stat : 16805 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273440177 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16806] ppid=16789 vsize=10546080 CPUtime=1.11 cores=1,3,5,7
/proc/16791/task/16806/stat : 16806 (java) S 16789 16791 14185 0 -1 4202560 12329 0 0 0 110 1 0 0 15 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16807] ppid=16789 vsize=10546080 CPUtime=0.5 cores=1,3,5,7
/proc/16791/task/16807/stat : 16807 (java) S 16789 16791 14185 0 -1 4202560 2689 0 0 0 50 0 0 0 15 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16808] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16808/stat : 16808 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16809] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16809/stat : 16809 (java) S 16789 16791 14185 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16810] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16810/stat : 16810 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883482789 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.87
Current children cumulated vsize (KiB) 10546080

[startup+388.601 s]
/proc/loadavg: 2.00 2.03 2.00 4/214 16877
/proc/meminfo: memFree=579948/32951124 swapFree=67057920/67111528
[pid=16791] ppid=16789 vsize=10546080 CPUtime=390.97 cores=1,3,5,7
/proc/16791/stat : 16791 (java) S 16789 16791 14185 0 -1 4202496 36244 0 1 0 39073 24 0 0 25 0 19 0 883482755 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16791/statm: 2636520 24440 2255 9 0 2627254 0
[pid=16791/tid=16793] ppid=16789 vsize=10546080 CPUtime=375.2 cores=1,3,5,7
/proc/16791/task/16793/stat : 16793 (java) R 16789 16791 14185 0 -1 4202560 17078 0 1 0 37516 4 0 0 17 0 19 0 883482756 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 46912505711117 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16791/tid=16794] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16794/stat : 16794 (java) S 16789 16791 14185 0 -1 4202560 352 0 0 0 20 1 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16795] ppid=16789 vsize=10546080 CPUtime=0.22 cores=1,3,5,7
/proc/16791/task/16795/stat : 16795 (java) S 16789 16791 14185 0 -1 4202560 24 0 0 0 22 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 7 0 0 0
[pid=16791/tid=16796] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16796/stat : 16796 (java) S 16789 16791 14185 0 -1 4202560 218 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16797] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16797/stat : 16797 (java) S 16789 16791 14185 0 -1 4202560 26 0 0 0 21 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16798] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16798/stat : 16798 (java) S 16789 16791 14185 0 -1 4202560 16 0 0 0 19 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16799] ppid=16789 vsize=10546080 CPUtime=0.21 cores=1,3,5,7
/proc/16791/task/16799/stat : 16799 (java) S 16789 16791 14185 0 -1 4202560 56 0 0 0 21 0 0 0 15 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16800] ppid=16789 vsize=10546080 CPUtime=0.23 cores=1,3,5,7
/proc/16791/task/16800/stat : 16800 (java) S 16789 16791 14185 0 -1 4202560 246 0 0 0 22 1 0 0 16 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16801] ppid=16789 vsize=10546080 CPUtime=0.19 cores=1,3,5,7
/proc/16791/task/16801/stat : 16801 (java) S 16789 16791 14185 0 -1 4202560 237 0 0 0 19 0 0 0 16 0 19 0 883482758 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16802] ppid=16789 vsize=10546080 CPUtime=12.38 cores=1,3,5,7
/proc/16791/task/16802/stat : 16802 (java) S 16789 16791 14185 0 -1 4202560 1796 0 0 0 1228 10 0 0 15 0 19 0 883482759 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 0 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
[pid=16791/tid=16803] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16803/stat : 16803 (java) S 16789 16791 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16804] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16804/stat : 16804 (java) S 16789 16791 14185 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883482759 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16805] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16805/stat : 16805 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273440177 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16806] ppid=16789 vsize=10546080 CPUtime=1.11 cores=1,3,5,7
/proc/16791/task/16806/stat : 16806 (java) S 16789 16791 14185 0 -1 4202560 12329 0 0 0 110 1 0 0 15 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 5 0 0 0
[pid=16791/tid=16807] ppid=16789 vsize=10546080 CPUtime=0.5 cores=1,3,5,7
/proc/16791/task/16807/stat : 16807 (java) S 16789 16791 14185 0 -1 4202560 2689 0 0 0 50 0 0 0 15 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16808] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16808/stat : 16808 (java) S 16789 16791 14185 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273432473 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16809] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16809/stat : 16809 (java) S 16789 16791 14185 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 883482761 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 1 0 0 0
[pid=16791/tid=16810] ppid=16789 vsize=10546080 CPUtime=0 cores=1,3,5,7
/proc/16791/task/16810/stat : 16810 (java) S 16789 16791 14185 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883482789 10799185920 24440 33554432000 1073741824 1073778376 140733447551376 18446744073709551615 254273433088 0 4 0 16800975 18446604467402105088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.97
Current children cumulated vsize (KiB) 10546080

Child status: 30
Real time (s): 388.623
CPU time (s): 391.006
CPU user time (s): 390.755
CPU system time (s): 0.250961
CPU usage (%): 100.613
Max. virtual memory (cumulated for all children) (KiB): 10546080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.755
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36271
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= 27431
involuntary context switches= 13317

runsolver used 0.601908 second user time and 1.54976 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-12 22:31:14
IDJOB=3492020
IDBENCH=78992
IDSOLVER=1982
FILE ID=node140/3492020-1307910674
RUNJOBID= node140-1307908248-16323
PBS_JOBID= 13559568
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.1900552288--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-3492020-1307910674/watcher-3492020-1307910674 -o /var/tmp/evaluation-result-3492020-1307910674/solver-3492020-1307910674 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492020-1307910674.wbo

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

MD5SUM BENCH= 3bf2aae29a44384f88ac4f8c4d2b9bc3
RANDOM SEED=929004092

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1663672 kB
Buffers:         64172 kB
Cached:       30174520 kB
SwapCached:       7412 kB
Active:       15941084 kB
Inactive:     14396640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1663672 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:             188 kB
Writeback:           0 kB
AnonPages:       96324 kB
Mapped:          21500 kB
Slab:           885472 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10547304 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= 2900 MiB
End job on node140 at 2011-06-12 22:37:43