Trace number 3459447

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0OPT62 383.682 381.824

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
MD5SUM7070b0ccf5287a23c61644383564c46b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.052991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of variables672
Total number of constraints2028
Number of constraints which are clauses2004
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 672
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 672
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3459447-1307146646.opb
0.10/0.12	c reading problem ... 
0.28/0.28	c ... done. Wall clock time 0.165s.
0.28/0.28	c #vars     672
0.28/0.28	c #constraints  2028
0.28/0.28	c constraints type 
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1618
0.28/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 386
0.95/0.58	c SATISFIABLE
0.95/0.58	c OPTIMIZING...
0.95/0.58	c Got one! Elapsed wall clock time (in seconds):0.462
0.95/0.58	o 70
1.09/0.65	c cleaning 2813 clauses out of 5635 with flag 1000/5635
1.36/0.89	c cleaning 4397 clauses out of 8822 with flag 7001/11636
1.93/1.14	c cleaning 5710 clauses out of 11424 with flag 14001/18636
2.32/1.32	c Got one! Elapsed wall clock time (in seconds):1.2
2.32/1.32	o 68
2.32/1.37	c cleaning 5782 clauses out of 11574 with flag 1001/24498
2.93/1.64	c cleaning 5891 clauses out of 11791 with flag 7000/30497
3.08/1.70	c Got one! Elapsed wall clock time (in seconds):1.581
3.08/1.70	o 66
3.19/1.87	c Got one! Elapsed wall clock time (in seconds):1.756
3.19/1.87	o 64
3.29/1.94	c cleaning 5938 clauses out of 11883 with flag 2000/36480
3.61/2.23	c cleaning 5965 clauses out of 11945 with flag 8000/42480
3.89/2.55	c cleaning 6485 clauses out of 12980 with flag 15000/49480
4.19/2.89	c cleaning 7246 clauses out of 14497 with flag 23002/57482
4.60/3.31	c cleaning 8119 clauses out of 16250 with flag 32001/66481
5.29/3.91	c cleaning 9061 clauses out of 18130 with flag 42000/76480
5.81/4.48	c cleaning 9530 clauses out of 19070 with flag 52001/86481
6.49/5.12	c cleaning 9745 clauses out of 19538 with flag 62000/96480
7.10/5.77	c cleaning 9883 clauses out of 19794 with flag 72001/106481
7.40/6.02	c Got one! Elapsed wall clock time (in seconds):5.906
7.40/6.02	o 62
7.51/6.13	c cleaning 7884 clauses out of 15789 with flag 2000/112359
7.92/6.53	c cleaning 6943 clauses out of 13905 with flag 8000/118359
8.31/6.90	c cleaning 6965 clauses out of 13962 with flag 15000/125359
8.71/7.38	c cleaning 7479 clauses out of 14997 with flag 23000/133359
9.31/7.98	c cleaning 8253 clauses out of 16518 with flag 32000/142359
9.91/8.52	c cleaning 9124 clauses out of 18267 with flag 42002/152361
10.61/9.22	c cleaning 9569 clauses out of 19141 with flag 52000/162359
11.23/9.91	c cleaning 9756 clauses out of 19572 with flag 62000/172359
12.01/10.66	c cleaning 9905 clauses out of 19816 with flag 72000/182359
12.61/11.27	c cleaning 9930 clauses out of 19910 with flag 82000/192359
13.31/11.92	c cleaning 9967 clauses out of 19980 with flag 92000/202359
14.02/12.61	c cleaning 9986 clauses out of 20014 with flag 102001/212360
14.72/13.32	c cleaning 9991 clauses out of 20028 with flag 112001/222360
15.42/14.08	c cleaning 9999 clauses out of 20036 with flag 122000/232359
16.22/14.83	c cleaning 10005 clauses out of 20037 with flag 132000/242359
17.02/15.62	c cleaning 9988 clauses out of 20032 with flag 142000/252359
17.83/16.45	c cleaning 9997 clauses out of 20044 with flag 152000/262359
18.52/17.11	c cleaning 10021 clauses out of 20048 with flag 162001/272360
19.12/17.74	c cleaning 10009 clauses out of 20025 with flag 172001/282360
19.62/18.22	c cleaning 9983 clauses out of 20014 with flag 182000/292359
20.32/18.93	c cleaning 9987 clauses out of 20031 with flag 192000/302359
20.92/19.56	c cleaning 10004 clauses out of 20044 with flag 202000/312359
21.63/20.28	c cleaning 10000 clauses out of 20040 with flag 212000/322359
22.43/21.02	c cleaning 9999 clauses out of 20041 with flag 222001/332360
23.23/21.81	c cleaning 10003 clauses out of 20041 with flag 232000/342359
23.93/22.58	c cleaning 9994 clauses out of 20039 with flag 242001/352360
24.73/23.31	c cleaning 10014 clauses out of 20044 with flag 252000/362359
25.43/24.01	c cleaning 9995 clauses out of 20031 with flag 262001/372360
26.24/24.82	c cleaning 10000 clauses out of 20035 with flag 272000/382359
26.94/25.55	c cleaning 9997 clauses out of 20035 with flag 282000/392359
27.75/26.32	c cleaning 9994 clauses out of 20039 with flag 292001/402360
28.34/26.92	c cleaning 9998 clauses out of 20045 with flag 302001/412360
28.96/27.58	c cleaning 9999 clauses out of 20046 with flag 312000/422359
29.74/28.33	c cleaning 10001 clauses out of 20047 with flag 322000/432359
30.44/29.06	c cleaning 10002 clauses out of 20047 with flag 332001/442360
31.15/29.75	c cleaning 10002 clauses out of 20044 with flag 342000/452359
31.84/30.47	c cleaning 10020 clauses out of 20043 with flag 352001/462360
32.53/31.17	c cleaning 9986 clauses out of 20022 with flag 362000/472359
33.25/31.87	c cleaning 10014 clauses out of 20038 with flag 372002/482361
33.93/32.52	c cleaning 9999 clauses out of 20024 with flag 382002/492361
34.64/33.25	c cleaning 9988 clauses out of 20023 with flag 392000/502359
35.34/34.00	c cleaning 9998 clauses out of 20035 with flag 402000/512359
36.15/34.79	c cleaning 9993 clauses out of 20037 with flag 412000/522359
36.95/35.55	c cleaning 9999 clauses out of 20045 with flag 422001/532360
37.77/36.32	c cleaning 10001 clauses out of 20046 with flag 432001/542360
38.45/37.09	c cleaning 10009 clauses out of 20045 with flag 442001/552360
39.35/37.93	c cleaning 9997 clauses out of 20035 with flag 452000/562359
40.15/38.72	c cleaning 10007 clauses out of 20038 with flag 462000/572359
40.85/39.51	c cleaning 9993 clauses out of 20031 with flag 472000/582359
41.75/40.30	c cleaning 9998 clauses out of 20038 with flag 482000/592359
42.47/41.05	c cleaning 10014 clauses out of 20040 with flag 492000/602359
43.18/41.75	c cleaning 10005 clauses out of 20026 with flag 502000/612359
43.97/42.50	c cleaning 9986 clauses out of 20022 with flag 512001/622360
44.67/43.25	c cleaning 9993 clauses out of 20035 with flag 522000/632359
45.39/43.95	c cleaning 9996 clauses out of 20042 with flag 532000/642359
46.17/44.71	c cleaning 10003 clauses out of 20047 with flag 542001/652360
46.88/45.43	c cleaning 10002 clauses out of 20043 with flag 552000/662359
47.69/46.22	c cleaning 9998 clauses out of 20042 with flag 562001/672360
48.47/47.00	c cleaning 9995 clauses out of 20043 with flag 572000/682359
49.17/47.70	c cleaning 10021 clauses out of 20048 with flag 582000/692359
49.90/48.48	c cleaning 9990 clauses out of 20028 with flag 592001/702360
50.78/49.30	c cleaning 10002 clauses out of 20037 with flag 602000/712359
51.48/50.09	c cleaning 9994 clauses out of 20035 with flag 612000/722359
52.28/50.86	c cleaning 10018 clauses out of 20042 with flag 622001/732360
52.98/51.52	c cleaning 10009 clauses out of 20024 with flag 632001/742360
53.68/52.21	c cleaning 9985 clauses out of 20015 with flag 642001/752360
54.39/52.97	c cleaning 9991 clauses out of 20029 with flag 652000/762359
55.09/53.69	c cleaning 9997 clauses out of 20039 with flag 662001/772360
55.89/54.47	c cleaning 10000 clauses out of 20042 with flag 672001/782360
56.69/55.27	c cleaning 10001 clauses out of 20041 with flag 682000/792359
57.39/55.99	c cleaning 10004 clauses out of 20040 with flag 692000/802359
58.19/56.75	c cleaning 10003 clauses out of 20036 with flag 702000/812359
58.99/57.52	c cleaning 10001 clauses out of 20034 with flag 712001/822360
59.70/58.30	c cleaning 9995 clauses out of 20032 with flag 722000/832359
60.49/59.04	c cleaning 9997 clauses out of 20038 with flag 732001/842360
61.19/59.78	c cleaning 10013 clauses out of 20044 with flag 742004/852363
62.01/60.55	c cleaning 10003 clauses out of 20028 with flag 752001/862360
62.79/61.35	c cleaning 9990 clauses out of 20024 with flag 762000/872359
63.59/62.13	c cleaning 10004 clauses out of 20035 with flag 772001/882360
64.29/62.89	c cleaning 9994 clauses out of 20030 with flag 782000/892359
64.99/63.58	c cleaning 10001 clauses out of 20036 with flag 792000/902359
65.79/64.33	c cleaning 10000 clauses out of 20035 with flag 802000/912359
66.49/65.09	c cleaning 10010 clauses out of 20035 with flag 812000/922359
67.30/65.86	c cleaning 9995 clauses out of 20025 with flag 822000/932359
68.10/66.62	c cleaning 10003 clauses out of 20030 with flag 832000/942359
68.80/67.39	c cleaning 9999 clauses out of 20027 with flag 842000/952359
69.61/68.14	c cleaning 9997 clauses out of 20030 with flag 852002/962361
70.40/68.91	c cleaning 9986 clauses out of 20032 with flag 862001/972360
71.10/69.68	c cleaning 9993 clauses out of 20045 with flag 872000/982359
71.92/70.45	c cleaning 10009 clauses out of 20052 with flag 882000/992359
72.60/71.19	c cleaning 10002 clauses out of 20044 with flag 892001/1002360
73.40/71.90	c cleaning 9997 clauses out of 20042 with flag 902001/1012360
74.12/72.64	c cleaning 10003 clauses out of 20044 with flag 912000/1022359
74.90/73.40	c cleaning 10016 clauses out of 20041 with flag 922000/1032359
75.60/74.15	c cleaning 9989 clauses out of 20025 with flag 932000/1042359
76.40/74.93	c cleaning 9993 clauses out of 20036 with flag 942000/1052359
77.10/75.69	c cleaning 10000 clauses out of 20043 with flag 952000/1062359
77.90/76.45	c cleaning 10000 clauses out of 20044 with flag 962001/1072360
78.70/77.23	c cleaning 9997 clauses out of 20043 with flag 972000/1082359
79.40/77.99	c cleaning 9999 clauses out of 20047 with flag 982001/1092360
80.20/78.71	c cleaning 10009 clauses out of 20047 with flag 992000/1102359
80.90/79.48	c cleaning 10000 clauses out of 20038 with flag 1002000/1112359
81.72/80.22	c cleaning 9996 clauses out of 20039 with flag 1012001/1122360
82.40/80.96	c cleaning 10004 clauses out of 20043 with flag 1022001/1132360
83.20/81.73	c cleaning 10011 clauses out of 20038 with flag 1032000/1142359
83.92/82.50	c cleaning 9986 clauses out of 20027 with flag 1042000/1152359
84.71/83.29	c cleaning 9997 clauses out of 20042 with flag 1052001/1162360
85.51/84.06	c cleaning 10003 clauses out of 20045 with flag 1062001/1172360
86.31/84.81	c cleaning 10001 clauses out of 20041 with flag 1072000/1182359
87.01/85.52	c cleaning 10019 clauses out of 20041 with flag 1082001/1192360
87.71/86.24	c cleaning 9988 clauses out of 20020 with flag 1092000/1202359
88.51/87.00	c cleaning 9990 clauses out of 20033 with flag 1102001/1212360
89.21/87.76	c cleaning 10003 clauses out of 20043 with flag 1112001/1222360
90.01/88.53	c cleaning 10000 clauses out of 20039 with flag 1122000/1232359
90.81/89.34	c cleaning 10000 clauses out of 20040 with flag 1132001/1242360
91.62/90.14	c cleaning 9997 clauses out of 20039 with flag 1142000/1252359
92.41/90.92	c cleaning 9996 clauses out of 20042 with flag 1152000/1262359
93.11/91.66	c cleaning 10020 clauses out of 20046 with flag 1162000/1272359
93.93/92.46	c cleaning 9993 clauses out of 20027 with flag 1172001/1282360
94.71/93.26	c cleaning 10003 clauses out of 20033 with flag 1182000/1292359
95.51/94.08	c cleaning 10001 clauses out of 20031 with flag 1192001/1302360
96.41/94.91	c cleaning 10001 clauses out of 20029 with flag 1202000/1312359
97.12/95.66	c cleaning 9999 clauses out of 20028 with flag 1212000/1322359
97.91/96.43	c cleaning 9991 clauses out of 20030 with flag 1222001/1332360
98.71/97.21	c cleaning 9997 clauses out of 20038 with flag 1232000/1342359
99.44/97.96	c cleaning 9997 clauses out of 20042 with flag 1242001/1352360
100.22/98.70	c cleaning 10002 clauses out of 20044 with flag 1252000/1362359
100.92/99.49	c cleaning 9995 clauses out of 20043 with flag 1262001/1372360
101.72/100.22	c cleaning 10002 clauses out of 20047 with flag 1272000/1382359
102.52/101.01	c cleaning 10005 clauses out of 20045 with flag 1282000/1392359
103.33/101.82	c cleaning 9997 clauses out of 20040 with flag 1292000/1402359
104.03/102.59	c cleaning 10015 clauses out of 20044 with flag 1302001/1412360
104.84/103.35	c cleaning 9985 clauses out of 20028 with flag 1312000/1422359
105.63/104.15	c cleaning 10002 clauses out of 20044 with flag 1322001/1432360
106.33/104.87	c cleaning 10000 clauses out of 20041 with flag 1332000/1442359
107.04/105.60	c cleaning 9999 clauses out of 20042 with flag 1342001/1452360
107.83/106.30	c cleaning 9997 clauses out of 20043 with flag 1352001/1462360
108.53/107.06	c cleaning 10006 clauses out of 20046 with flag 1362001/1472360
109.24/107.79	c cleaning 9993 clauses out of 20039 with flag 1372000/1482359
110.03/108.55	c cleaning 10005 clauses out of 20046 with flag 1382000/1492359
110.83/109.30	c cleaning 9995 clauses out of 20042 with flag 1392001/1502360
111.55/110.06	c cleaning 9989 clauses out of 20046 with flag 1402000/1512359
112.33/110.80	c cleaning 10023 clauses out of 20057 with flag 1412000/1522359
113.03/111.55	c cleaning 9991 clauses out of 20034 with flag 1422000/1532359
113.83/112.32	c cleaning 10000 clauses out of 20044 with flag 1432001/1542360
114.63/113.11	c cleaning 10007 clauses out of 20043 with flag 1442000/1552359
115.33/113.87	c cleaning 10009 clauses out of 20036 with flag 1452000/1562359
116.13/114.65	c cleaning 9998 clauses out of 20028 with flag 1462001/1572360
116.95/115.47	c cleaning 9991 clauses out of 20029 with flag 1472000/1582359
117.74/116.24	c cleaning 9987 clauses out of 20038 with flag 1482000/1592359
118.53/117.05	c cleaning 10006 clauses out of 20051 with flag 1492000/1602359
119.34/117.86	c cleaning 10000 clauses out of 20046 with flag 1502001/1612360
120.14/118.65	c cleaning 10004 clauses out of 20046 with flag 1512001/1622360
120.94/119.40	c cleaning 10006 clauses out of 20042 with flag 1522001/1632360
121.64/120.15	c cleaning 9994 clauses out of 20035 with flag 1532000/1642359
122.34/120.81	c cleaning 10001 clauses out of 20041 with flag 1542000/1652359
123.04/121.56	c cleaning 9993 clauses out of 20040 with flag 1552000/1662359
123.84/122.32	c cleaning 10004 clauses out of 20047 with flag 1562000/1672359
124.54/123.08	c cleaning 9997 clauses out of 20043 with flag 1572000/1682359
125.34/123.86	c cleaning 9998 clauses out of 20047 with flag 1582001/1692360
126.14/124.61	c cleaning 10013 clauses out of 20049 with flag 1592001/1702360
126.85/125.38	c cleaning 9992 clauses out of 20036 with flag 1602001/1712360
127.64/126.13	c cleaning 9996 clauses out of 20044 with flag 1612001/1722360
128.34/126.88	c cleaning 10008 clauses out of 20047 with flag 1622000/1732359
129.16/127.66	c cleaning 10001 clauses out of 20039 with flag 1632000/1742359
129.85/128.39	c cleaning 9998 clauses out of 20040 with flag 1642002/1752361
130.65/129.13	c cleaning 9993 clauses out of 20041 with flag 1652001/1762360
131.37/129.86	c cleaning 10001 clauses out of 20047 with flag 1662000/1772359
132.05/130.58	c cleaning 10011 clauses out of 20047 with flag 1672001/1782360
132.85/131.30	c cleaning 9999 clauses out of 20035 with flag 1682000/1792359
133.57/132.04	c cleaning 10007 clauses out of 20036 with flag 1692000/1802359
134.25/132.79	c cleaning 9988 clauses out of 20029 with flag 1702000/1812359
135.05/133.55	c cleaning 10001 clauses out of 20041 with flag 1712000/1822359
135.85/134.30	c cleaning 9993 clauses out of 20040 with flag 1722000/1832359
136.55/135.05	c cleaning 10006 clauses out of 20048 with flag 1732001/1842360
137.35/135.84	c cleaning 10004 clauses out of 20041 with flag 1742000/1852359
138.15/136.65	c cleaning 10002 clauses out of 20039 with flag 1752002/1862361
138.96/137.43	c cleaning 9994 clauses out of 20035 with flag 1762000/1872359
139.75/138.25	c cleaning 10007 clauses out of 20042 with flag 1772001/1882360
140.55/139.04	c cleaning 10000 clauses out of 20035 with flag 1782001/1892360
141.35/139.81	c cleaning 10001 clauses out of 20034 with flag 1792000/1902359
142.15/140.67	c cleaning 9992 clauses out of 20034 with flag 1802001/1912360
142.95/141.47	c cleaning 10014 clauses out of 20041 with flag 1812000/1922359
143.75/142.26	c cleaning 10006 clauses out of 20027 with flag 1822000/1932359
144.57/143.02	c cleaning 9991 clauses out of 20022 with flag 1832001/1942360
145.25/143.79	c cleaning 9998 clauses out of 20030 with flag 1842000/1952359
146.05/144.57	c cleaning 9990 clauses out of 20032 with flag 1852000/1962359
146.85/145.32	c cleaning 10005 clauses out of 20042 with flag 1862000/1972359
147.55/146.08	c cleaning 10005 clauses out of 20038 with flag 1872001/1982360
148.35/146.82	c cleaning 9992 clauses out of 20032 with flag 1882000/1992359
149.05/147.59	c cleaning 9994 clauses out of 20040 with flag 1892000/2002359
149.85/148.36	c cleaning 10021 clauses out of 20047 with flag 1902001/2012360
150.55/149.07	c cleaning 9987 clauses out of 20026 with flag 1912001/2022360
151.35/149.83	c cleaning 10002 clauses out of 20040 with flag 1922002/2032361
152.05/150.58	c cleaning 10002 clauses out of 20037 with flag 1932001/2042360
152.85/151.33	c cleaning 10006 clauses out of 20035 with flag 1942001/2052360
153.55/152.03	c cleaning 10004 clauses out of 20029 with flag 1952001/2062360
154.37/152.83	c cleaning 10002 clauses out of 20024 with flag 1962000/2072359
155.16/153.60	c cleaning 9990 clauses out of 20022 with flag 1972000/2082359
155.86/154.38	c cleaning 9997 clauses out of 20032 with flag 1982000/2092359
156.58/155.11	c cleaning 9998 clauses out of 20035 with flag 1992000/2102359
157.37/155.86	c cleaning 9996 clauses out of 20038 with flag 2002001/2112360
158.17/156.65	c cleaning 10004 clauses out of 20041 with flag 2012000/2122359
158.97/157.42	c cleaning 9995 clauses out of 20037 with flag 2022000/2132359
159.67/158.17	c cleaning 10008 clauses out of 20042 with flag 2032000/2142359
160.47/158.93	c cleaning 9996 clauses out of 20035 with flag 2042001/2152360
161.17/159.66	c cleaning 10001 clauses out of 20038 with flag 2052000/2162359
161.97/160.43	c cleaning 10004 clauses out of 20038 with flag 2062001/2172360
162.77/161.20	c cleaning 10001 clauses out of 20033 with flag 2072000/2182359
163.47/161.94	c cleaning 9995 clauses out of 20033 with flag 2082001/2192360
164.17/162.65	c cleaning 10015 clauses out of 20037 with flag 2092000/2202359
164.87/163.39	c cleaning 9992 clauses out of 20022 with flag 2102000/2212359
165.67/164.18	c cleaning 10000 clauses out of 20030 with flag 2112000/2222359
166.48/164.94	c cleaning 9999 clauses out of 20030 with flag 2122000/2232359
167.27/165.74	c cleaning 9996 clauses out of 20031 with flag 2132000/2242359
168.07/166.53	c cleaning 10001 clauses out of 20036 with flag 2142001/2252360
168.87/167.32	c cleaning 9997 clauses out of 20035 with flag 2152001/2262360
169.67/168.11	c cleaning 10006 clauses out of 20037 with flag 2162000/2272359
170.47/168.91	c cleaning 9994 clauses out of 20031 with flag 2172000/2282359
171.27/169.71	c cleaning 10000 clauses out of 20037 with flag 2182000/2292359
171.98/170.48	c cleaning 10002 clauses out of 20037 with flag 2192000/2302359
172.77/171.23	c cleaning 9997 clauses out of 20035 with flag 2202000/2312359
173.57/172.01	c cleaning 10003 clauses out of 20038 with flag 2212000/2322359
174.38/172.81	c cleaning 10007 clauses out of 20036 with flag 2222001/2332360
175.08/173.57	c cleaning 9995 clauses out of 20028 with flag 2232000/2342359
175.88/174.32	c cleaning 10001 clauses out of 20033 with flag 2242000/2352359
176.58/175.07	c cleaning 9999 clauses out of 20033 with flag 2252001/2362360
177.38/175.84	c cleaning 9999 clauses out of 20034 with flag 2262001/2372360
178.09/176.58	c cleaning 9990 clauses out of 20034 with flag 2272000/2382359
178.89/177.34	c cleaning 9995 clauses out of 20045 with flag 2282001/2392360
179.70/178.12	c cleaning 10001 clauses out of 20050 with flag 2292001/2402360
180.49/178.90	c cleaning 10005 clauses out of 20048 with flag 2302000/2412359
181.19/179.68	c cleaning 9995 clauses out of 20043 with flag 2312000/2422359
182.01/180.45	c cleaning 10020 clauses out of 20048 with flag 2322000/2432359
182.79/181.21	c cleaning 9993 clauses out of 20028 with flag 2332000/2442359
183.49/181.96	c cleaning 10000 clauses out of 20035 with flag 2342000/2452359
184.21/182.67	c cleaning 9995 clauses out of 20036 with flag 2352001/2462360
184.89/183.39	c cleaning 9993 clauses out of 20040 with flag 2362000/2472359
185.69/184.13	c cleaning 10009 clauses out of 20047 with flag 2372000/2482359
186.41/184.86	c cleaning 10001 clauses out of 20038 with flag 2382000/2492359
187.09/185.57	c cleaning 9996 clauses out of 20038 with flag 2392001/2502360
187.79/186.28	c cleaning 9999 clauses out of 20041 with flag 2402000/2512359
188.61/187.04	c cleaning 10003 clauses out of 20043 with flag 2412001/2522360
189.29/187.79	c cleaning 10003 clauses out of 20039 with flag 2422000/2532359
190.10/188.51	c cleaning 10003 clauses out of 20036 with flag 2432000/2542359
190.81/189.25	c cleaning 9993 clauses out of 20034 with flag 2442001/2552360
191.60/190.00	c cleaning 10001 clauses out of 20040 with flag 2452000/2562359
192.30/190.76	c cleaning 10003 clauses out of 20041 with flag 2462002/2572361
193.10/191.50	c cleaning 9995 clauses out of 20036 with flag 2472000/2582359
193.80/192.22	c cleaning 9995 clauses out of 20041 with flag 2482000/2592359
194.50/192.95	c cleaning 10004 clauses out of 20047 with flag 2492001/2602360
195.22/193.69	c cleaning 10000 clauses out of 20042 with flag 2502000/2612359
196.00/194.42	c cleaning 9987 clauses out of 20042 with flag 2512000/2622359
196.80/195.21	c cleaning 10002 clauses out of 20055 with flag 2522000/2632359
197.60/196.00	c cleaning 10002 clauses out of 20053 with flag 2532000/2642359
198.41/196.82	c cleaning 10002 clauses out of 20051 with flag 2542000/2652359
199.20/197.60	c cleaning 10006 clauses out of 20050 with flag 2552001/2662360
199.90/198.34	c cleaning 9994 clauses out of 20044 with flag 2562001/2672360
200.61/199.07	c cleaning 10012 clauses out of 20049 with flag 2572000/2682359
201.40/199.81	c cleaning 10003 clauses out of 20037 with flag 2582000/2692359
202.10/200.57	c cleaning 9992 clauses out of 20034 with flag 2592000/2702359
202.81/201.29	c cleaning 10004 clauses out of 20043 with flag 2602001/2712360
203.60/202.02	c cleaning 9998 clauses out of 20038 with flag 2612000/2722359
204.30/202.75	c cleaning 10004 clauses out of 20041 with flag 2622001/2732360
205.01/203.48	c cleaning 10004 clauses out of 20036 with flag 2632000/2742359
205.80/204.25	c cleaning 9994 clauses out of 20033 with flag 2642001/2752360
206.60/205.01	c cleaning 9999 clauses out of 20038 with flag 2652000/2762359
207.32/205.77	c cleaning 10000 clauses out of 20039 with flag 2662000/2772359
208.10/206.54	c cleaning 10007 clauses out of 20039 with flag 2672000/2782359
208.80/207.29	c cleaning 9994 clauses out of 20033 with flag 2682001/2792360
209.70/208.10	c cleaning 10009 clauses out of 20038 with flag 2692000/2802359
210.41/208.87	c cleaning 9987 clauses out of 20030 with flag 2702001/2812360
211.21/209.64	c cleaning 9993 clauses out of 20042 with flag 2712000/2822359
211.92/210.38	c cleaning 10001 clauses out of 20049 with flag 2722000/2832359
212.73/211.16	c cleaning 10005 clauses out of 20049 with flag 2732001/2842360
213.42/211.90	c cleaning 10000 clauses out of 20043 with flag 2742000/2852359
214.22/212.64	c cleaning 10006 clauses out of 20043 with flag 2752000/2862359
214.93/213.33	c cleaning 10001 clauses out of 20037 with flag 2762000/2872359
215.72/214.10	c cleaning 10000 clauses out of 20037 with flag 2772001/2882360
216.42/214.85	c cleaning 9993 clauses out of 20036 with flag 2782000/2892359
217.14/215.60	c cleaning 9994 clauses out of 20043 with flag 2792000/2902359
217.93/216.32	c cleaning 10008 clauses out of 20050 with flag 2802001/2912360
218.63/217.03	c cleaning 9996 clauses out of 20041 with flag 2812000/2922359
219.34/217.76	c cleaning 10001 clauses out of 20046 with flag 2822001/2932360
220.03/218.48	c cleaning 10001 clauses out of 20044 with flag 2832000/2942359
220.83/219.22	c cleaning 10002 clauses out of 20044 with flag 2842001/2952360
221.54/219.97	c cleaning 9994 clauses out of 20041 with flag 2852000/2962359
222.33/220.71	c cleaning 10005 clauses out of 20047 with flag 2862000/2972359
223.03/221.47	c cleaning 10002 clauses out of 20043 with flag 2872001/2982360
223.85/222.22	c cleaning 9993 clauses out of 20040 with flag 2882000/2992359
224.53/222.97	c cleaning 10003 clauses out of 20047 with flag 2892000/3002359
225.24/223.68	c cleaning 10019 clauses out of 20045 with flag 2902001/3012360
225.95/224.38	c cleaning 9993 clauses out of 20026 with flag 2912001/3022360
226.64/225.10	c cleaning 10002 clauses out of 20033 with flag 2922001/3032360
227.44/225.85	c cleaning 10001 clauses out of 20031 with flag 2932001/3042360
228.26/226.62	c cleaning 9998 clauses out of 20029 with flag 2942000/3052359
229.04/227.40	c cleaning 9999 clauses out of 20031 with flag 2952000/3062359
229.74/228.15	c cleaning 10000 clauses out of 20033 with flag 2962001/3072360
230.46/228.86	c cleaning 9995 clauses out of 20033 with flag 2972001/3082360
231.14/229.60	c cleaning 9994 clauses out of 20038 with flag 2982001/3092360
231.94/230.38	c cleaning 10014 clauses out of 20044 with flag 2992001/3102360
232.75/231.17	c cleaning 9999 clauses out of 20030 with flag 3002001/3112360
233.55/231.92	c cleaning 9995 clauses out of 20030 with flag 3012000/3122359
234.25/232.69	c cleaning 9998 clauses out of 20036 with flag 3022001/3132360
235.05/233.45	c cleaning 10008 clauses out of 20037 with flag 3032000/3142359
235.86/234.23	c cleaning 9993 clauses out of 20029 with flag 3042000/3152359
236.65/235.02	c cleaning 9997 clauses out of 20037 with flag 3052001/3162360
237.35/235.80	c cleaning 10004 clauses out of 20039 with flag 3062000/3172359
238.17/236.55	c cleaning 9988 clauses out of 20035 with flag 3072000/3182359
238.96/237.32	c cleaning 10012 clauses out of 20047 with flag 3082000/3192359
239.76/238.13	c cleaning 9997 clauses out of 20035 with flag 3092000/3202359
240.56/238.91	c cleaning 9999 clauses out of 20038 with flag 3102000/3212359
241.26/239.69	c cleaning 10002 clauses out of 20039 with flag 3112000/3222359
242.06/240.43	c cleaning 10004 clauses out of 20038 with flag 3122001/3232360
242.86/241.22	c cleaning 10003 clauses out of 20033 with flag 3132000/3242359
243.57/242.00	c cleaning 10000 clauses out of 20030 with flag 3142000/3252359
244.36/242.75	c cleaning 10000 clauses out of 20030 with flag 3152000/3262359
245.16/243.53	c cleaning 9989 clauses out of 20031 with flag 3162001/3272360
245.96/244.30	c cleaning 10005 clauses out of 20041 with flag 3172000/3282359
246.66/245.10	c cleaning 9977 clauses out of 20036 with flag 3182000/3292359
247.46/245.85	c cleaning 10018 clauses out of 20059 with flag 3192000/3302359
248.16/246.58	c cleaning 10017 clauses out of 20042 with flag 3202001/3312360
248.97/247.35	c cleaning 10010 clauses out of 20025 with flag 3212001/3322360
249.77/248.10	c cleaning 9987 clauses out of 20015 with flag 3222001/3332360
250.47/248.87	c cleaning 10001 clauses out of 20028 with flag 3232001/3342360
251.28/249.65	c cleaning 9995 clauses out of 20027 with flag 3242001/3352360
251.97/250.38	c cleaning 10003 clauses out of 20032 with flag 3252001/3362360
252.77/251.14	c cleaning 9994 clauses out of 20029 with flag 3262001/3372360
253.48/251.91	c cleaning 9999 clauses out of 20034 with flag 3272000/3382359
254.27/252.68	c cleaning 9995 clauses out of 20035 with flag 3282000/3392359
255.08/253.46	c cleaning 10004 clauses out of 20040 with flag 3292000/3402359
255.88/254.20	c cleaning 10006 clauses out of 20036 with flag 3302000/3412359
256.58/254.93	c cleaning 9997 clauses out of 20031 with flag 3312001/3422360
257.27/255.67	c cleaning 9993 clauses out of 20034 with flag 3322001/3432360
258.08/256.44	c cleaning 10012 clauses out of 20040 with flag 3332000/3442359
258.78/257.18	c cleaning 9992 clauses out of 20028 with flag 3342000/3452359
259.58/257.92	c cleaning 10003 clauses out of 20036 with flag 3352000/3462359
260.29/258.65	c cleaning 10002 clauses out of 20034 with flag 3362001/3472360
261.09/259.41	c cleaning 10007 clauses out of 20032 with flag 3372001/3482360
261.79/260.17	c cleaning 9998 clauses out of 20024 with flag 3382000/3492359
262.59/260.93	c cleaning 9990 clauses out of 20026 with flag 3392000/3502359
263.29/261.66	c cleaning 10012 clauses out of 20036 with flag 3402000/3512359
263.99/262.39	c cleaning 10008 clauses out of 20024 with flag 3412000/3522359
264.79/263.12	c cleaning 9999 clauses out of 20016 with flag 3422000/3532359
265.49/263.86	c cleaning 9981 clauses out of 20017 with flag 3432000/3542359
266.29/264.63	c cleaning 9993 clauses out of 20038 with flag 3442002/3552361
266.99/265.39	c cleaning 10005 clauses out of 20044 with flag 3452001/3562360
267.80/266.16	c cleaning 9997 clauses out of 20039 with flag 3462001/3572360
268.60/266.90	c cleaning 10000 clauses out of 20042 with flag 3472001/3582360
269.29/267.63	c cleaning 10005 clauses out of 20041 with flag 3482000/3592359
270.01/268.36	c cleaning 10008 clauses out of 20037 with flag 3492001/3602360
270.80/269.10	c cleaning 9994 clauses out of 20027 with flag 3502000/3612359
271.50/269.83	c cleaning 10002 clauses out of 20034 with flag 3512001/3622360
272.21/270.59	c cleaning 10004 clauses out of 20031 with flag 3522000/3632359
273.00/271.36	c cleaning 9997 clauses out of 20027 with flag 3532000/3642359
273.80/272.14	c cleaning 9998 clauses out of 20031 with flag 3542001/3652360
274.61/272.90	c cleaning 9994 clauses out of 20032 with flag 3552000/3662359
275.31/273.65	c cleaning 10001 clauses out of 20038 with flag 3562000/3672359
276.01/274.39	c cleaning 9994 clauses out of 20038 with flag 3572001/3682360
276.81/275.14	c cleaning 10000 clauses out of 20043 with flag 3582000/3692359
277.51/275.87	c cleaning 10004 clauses out of 20043 with flag 3592000/3702359
278.31/276.62	c cleaning 10007 clauses out of 20039 with flag 3602000/3712359
279.02/277.35	c cleaning 10001 clauses out of 20032 with flag 3612000/3722359
279.72/278.08	c cleaning 10004 clauses out of 20032 with flag 3622001/3732360
280.53/278.85	c cleaning 10003 clauses out of 20027 with flag 3632000/3742359
281.33/279.65	c cleaning 10001 clauses out of 20024 with flag 3642000/3752359
282.14/280.45	c cleaning 9994 clauses out of 20023 with flag 3652000/3762359
282.93/281.22	c cleaning 10001 clauses out of 20030 with flag 3662001/3772360
283.73/282.00	c cleaning 9996 clauses out of 20029 with flag 3672001/3782360
284.44/282.78	c cleaning 9994 clauses out of 20032 with flag 3682000/3792359
285.23/283.53	c cleaning 9999 clauses out of 20039 with flag 3692001/3802360
286.03/284.32	c cleaning 10003 clauses out of 20040 with flag 3702001/3812360
286.73/285.06	c cleaning 10002 clauses out of 20037 with flag 3712001/3822360
287.43/285.79	c cleaning 10012 clauses out of 20035 with flag 3722001/3832360
288.23/286.53	c cleaning 9991 clauses out of 20023 with flag 3732001/3842360
288.93/287.26	c cleaning 10005 clauses out of 20031 with flag 3742000/3852359
289.73/288.01	c cleaning 10005 clauses out of 20026 with flag 3752000/3862359
290.43/288.74	c cleaning 9995 clauses out of 20021 with flag 3762000/3872359
291.14/289.48	c cleaning 9991 clauses out of 20026 with flag 3772000/3882359
291.84/290.16	c cleaning 10006 clauses out of 20035 with flag 3782000/3892359
292.54/290.86	c cleaning 10001 clauses out of 20029 with flag 3792000/3902359
293.26/291.58	c cleaning 9997 clauses out of 20028 with flag 3802000/3912359
294.04/292.34	c cleaning 9994 clauses out of 20031 with flag 3812000/3922359
294.74/293.08	c cleaning 10004 clauses out of 20037 with flag 3822000/3932359
295.54/293.85	c cleaning 10002 clauses out of 20033 with flag 3832000/3942359
296.34/294.61	c cleaning 9989 clauses out of 20031 with flag 3842000/3952359
297.05/295.36	c cleaning 10003 clauses out of 20042 with flag 3852000/3962359
297.84/296.11	c cleaning 10007 clauses out of 20040 with flag 3862001/3972360
298.54/296.86	c cleaning 9995 clauses out of 20033 with flag 3872001/3982360
299.35/297.62	c cleaning 10001 clauses out of 20037 with flag 3882000/3992359
300.14/298.40	c cleaning 9997 clauses out of 20036 with flag 3892000/4002359
300.86/299.16	c cleaning 10004 clauses out of 20040 with flag 3902001/4012360
301.64/299.91	c cleaning 10001 clauses out of 20036 with flag 3912001/4022360
302.34/300.67	c cleaning 9998 clauses out of 20034 with flag 3922000/4032359
303.16/301.43	c cleaning 10000 clauses out of 20036 with flag 3932000/4042359
303.84/302.15	c cleaning 9996 clauses out of 20037 with flag 3942001/4052360
304.65/302.91	c cleaning 9999 clauses out of 20040 with flag 3952000/4062359
305.37/303.65	c cleaning 10003 clauses out of 20041 with flag 3962000/4072359
306.05/304.38	c cleaning 10009 clauses out of 20038 with flag 3972000/4082359
306.85/305.13	c cleaning 9997 clauses out of 20029 with flag 3982000/4092359
307.57/305.87	c cleaning 10001 clauses out of 20033 with flag 3992001/4102360
308.36/306.63	c cleaning 9995 clauses out of 20031 with flag 4002000/4112359
309.06/307.38	c cleaning 10001 clauses out of 20036 with flag 4012000/4122359
309.86/308.10	c cleaning 9996 clauses out of 20035 with flag 4022000/4132359
310.56/308.84	c cleaning 10004 clauses out of 20039 with flag 4032000/4142359
311.36/309.61	c cleaning 10007 clauses out of 20035 with flag 4042000/4152359
312.16/310.43	c cleaning 10009 clauses out of 20030 with flag 4052002/4162361
312.86/311.12	c cleaning 10002 clauses out of 20019 with flag 4062000/4172359
313.56/311.85	c cleaning 9987 clauses out of 20018 with flag 4072001/4182360
314.26/312.59	c cleaning 9993 clauses out of 20030 with flag 4082000/4192359
315.06/313.32	c cleaning 10003 clauses out of 20037 with flag 4092000/4202359
315.76/314.04	c cleaning 10008 clauses out of 20034 with flag 4102000/4212359
316.46/314.76	c cleaning 9995 clauses out of 20027 with flag 4112001/4222360
317.16/315.46	c cleaning 9997 clauses out of 20031 with flag 4122000/4232359
317.86/316.19	c cleaning 9994 clauses out of 20035 with flag 4132001/4242360
318.66/316.93	c cleaning 10001 clauses out of 20040 with flag 4142000/4252359
319.46/317.70	c cleaning 10006 clauses out of 20040 with flag 4152001/4262360
320.16/318.45	c cleaning 10008 clauses out of 20034 with flag 4162001/4272360
320.86/319.19	c cleaning 10006 clauses out of 20026 with flag 4172001/4282360
321.66/319.92	c cleaning 9985 clauses out of 20019 with flag 4182000/4292359
322.36/320.63	c cleaning 10001 clauses out of 20034 with flag 4192000/4302359
323.07/321.39	c cleaning 10000 clauses out of 20033 with flag 4202000/4312359
323.87/322.13	c cleaning 10002 clauses out of 20033 with flag 4212000/4322359
324.56/322.89	c cleaning 9996 clauses out of 20032 with flag 4222001/4332360
325.36/323.61	c cleaning 10000 clauses out of 20035 with flag 4232000/4342359
326.07/324.35	c cleaning 9994 clauses out of 20035 with flag 4242000/4352359
326.88/325.10	c cleaning 10012 clauses out of 20042 with flag 4252001/4362360
327.58/325.83	c cleaning 9993 clauses out of 20030 with flag 4262001/4372360
328.28/326.58	c cleaning 10008 clauses out of 20036 with flag 4272000/4382359
329.08/327.34	c cleaning 9996 clauses out of 20028 with flag 4282000/4392359
329.78/328.07	c cleaning 9999 clauses out of 20032 with flag 4292000/4402359
330.59/328.82	c cleaning 10000 clauses out of 20033 with flag 4302000/4412359
331.28/329.57	c cleaning 9999 clauses out of 20033 with flag 4312000/4422359
332.08/330.31	c cleaning 10000 clauses out of 20035 with flag 4322001/4432360
332.79/331.03	c cleaning 9997 clauses out of 20034 with flag 4332000/4442359
333.48/331.77	c cleaning 10003 clauses out of 20037 with flag 4342000/4452359
334.28/332.50	c cleaning 10004 clauses out of 20034 with flag 4352000/4462359
335.00/333.22	c cleaning 10007 clauses out of 20030 with flag 4362000/4472359
335.68/333.95	c cleaning 9984 clauses out of 20023 with flag 4372000/4482359
336.39/334.68	c cleaning 10002 clauses out of 20040 with flag 4382001/4492360
337.20/335.44	c cleaning 10005 clauses out of 20038 with flag 4392001/4502360
337.89/336.19	c cleaning 9996 clauses out of 20034 with flag 4402002/4512361
338.69/336.94	c cleaning 10006 clauses out of 20036 with flag 4412000/4522359
339.40/337.68	c cleaning 9992 clauses out of 20030 with flag 4422000/4532359
340.19/338.40	c cleaning 10004 clauses out of 20039 with flag 4432001/4542360
340.89/339.14	c cleaning 10006 clauses out of 20034 with flag 4442000/4552359
341.60/339.87	c cleaning 9998 clauses out of 20028 with flag 4452000/4562359
342.29/340.59	c cleaning 10015 clauses out of 20030 with flag 4462000/4572359
343.09/341.36	c cleaning 10000 clauses out of 20015 with flag 4472000/4582359
343.80/342.09	c cleaning 9997 clauses out of 20015 with flag 4482000/4592359
344.49/342.79	c cleaning 9989 clauses out of 20018 with flag 4492000/4602359
345.29/343.53	c cleaning 9999 clauses out of 20030 with flag 4502001/4612360
346.01/344.27	c cleaning 9998 clauses out of 20029 with flag 4512000/4622359
346.80/345.06	c cleaning 9997 clauses out of 20031 with flag 4522000/4632359
347.50/345.78	c cleaning 10002 clauses out of 20034 with flag 4532000/4642359
348.21/346.51	c cleaning 9993 clauses out of 20033 with flag 4542001/4652360
349.00/347.23	c cleaning 10002 clauses out of 20039 with flag 4552000/4662359
349.70/347.99	c cleaning 10004 clauses out of 20037 with flag 4562000/4672359
350.41/348.70	c cleaning 10004 clauses out of 20033 with flag 4572000/4682359
351.20/349.45	c cleaning 10002 clauses out of 20029 with flag 4582000/4692359
351.90/350.17	c cleaning 10000 clauses out of 20027 with flag 4592000/4702359
352.61/350.89	c cleaning 10001 clauses out of 20027 with flag 4602000/4712359
353.40/351.63	c cleaning 10001 clauses out of 20026 with flag 4612000/4722359
354.10/352.38	c cleaning 10001 clauses out of 20026 with flag 4622001/4732360
354.92/353.16	c cleaning 9999 clauses out of 20024 with flag 4632000/4742359
355.60/353.89	c cleaning 9999 clauses out of 20025 with flag 4642000/4752359
356.40/354.62	c cleaning 10006 clauses out of 20027 with flag 4652001/4762360
357.12/355.34	c cleaning 9997 clauses out of 20020 with flag 4662000/4772359
357.80/356.04	c cleaning 10004 clauses out of 20023 with flag 4672000/4782359
358.51/356.76	c cleaning 9997 clauses out of 20019 with flag 4682000/4792359
359.23/357.48	c cleaning 9995 clauses out of 20023 with flag 4692001/4802360
359.92/358.18	c cleaning 10002 clauses out of 20028 with flag 4702001/4812360
360.72/358.92	c cleaning 10004 clauses out of 20026 with flag 4712001/4822360
361.43/359.67	c cleaning 9998 clauses out of 20021 with flag 4722000/4832359
362.22/360.40	c cleaning 10005 clauses out of 20023 with flag 4732000/4842359
362.82/361.10	c cleaning 10002 clauses out of 20018 with flag 4742001/4852360
363.52/361.79	c cleaning 9990 clauses out of 20016 with flag 4752001/4862360
364.32/362.54	c cleaning 9994 clauses out of 20025 with flag 4762000/4872359
365.02/363.27	c cleaning 10002 clauses out of 20031 with flag 4772000/4882359
365.72/363.97	c cleaning 10001 clauses out of 20029 with flag 4782000/4892359
366.42/364.68	c cleaning 10001 clauses out of 20029 with flag 4792001/4902360
367.22/365.42	c cleaning 10000 clauses out of 20028 with flag 4802001/4912360
367.92/366.13	c cleaning 10010 clauses out of 20027 with flag 4812000/4922359
368.62/366.85	c cleaning 9995 clauses out of 20017 with flag 4822001/4932360
369.32/367.59	c cleaning 10002 clauses out of 20022 with flag 4832001/4942360
370.12/368.33	c cleaning 10001 clauses out of 20020 with flag 4842001/4952360
370.82/369.07	c cleaning 9999 clauses out of 20017 with flag 4852000/4962359
371.62/369.80	c cleaning 9992 clauses out of 20019 with flag 4862001/4972360
372.33/370.51	c cleaning 10000 clauses out of 20026 with flag 4872000/4982359
373.02/371.23	c cleaning 10002 clauses out of 20027 with flag 4882001/4992360
373.73/371.94	c cleaning 10003 clauses out of 20024 with flag 4892000/5002359
374.43/372.63	c cleaning 9996 clauses out of 20020 with flag 4902000/5012359
375.13/373.31	c cleaning 9996 clauses out of 20025 with flag 4912001/5022360
375.74/374.01	c cleaning 10003 clauses out of 20029 with flag 4922001/5032360
376.43/374.68	c cleaning 9997 clauses out of 20025 with flag 4932000/5042359
377.14/375.35	c cleaning 10001 clauses out of 20028 with flag 4942000/5052359
377.84/376.05	c cleaning 9996 clauses out of 20028 with flag 4952001/5062360
378.54/376.75	c cleaning 10006 clauses out of 20031 with flag 4962000/5072359
379.24/377.42	c cleaning 10001 clauses out of 20025 with flag 4972000/5082359
379.94/378.11	c cleaning 9997 clauses out of 20023 with flag 4982000/5092359
380.64/378.81	c cleaning 9997 clauses out of 20026 with flag 4992000/5102359
381.25/379.51	c cleaning 10006 clauses out of 20030 with flag 5002001/5112360
381.94/380.16	c cleaning 10002 clauses out of 20023 with flag 5012001/5122360
382.64/380.80	c cleaning 10006 clauses out of 20021 with flag 5022001/5132360
383.24/381.45	c cleaning 10001 clauses out of 20014 with flag 5032000/5142359
383.64/381.81	c starts		: 258
383.64/381.81	c conflicts		: 5147964
383.64/381.81	c decisions		: 5482390
383.64/381.81	c propagations		: 315294254
383.64/381.81	c inspects		: 2274434433
383.64/381.81	c shortcuts		: 0
383.64/381.81	c learnt literals	: 30
383.64/381.81	c learnt binary clauses	: 335
383.64/381.81	c learnt ternary clauses	: 1339
383.64/381.81	c learnt constraints	: 5147933
383.64/381.81	c ignored constraints	: 0
383.64/381.81	c root simplifications	: 0
383.64/381.81	c removed literals (reason simplification)	: 97324946
383.64/381.81	c reason swapping (by a shorter reason)	: 0
383.64/381.81	c Calls to reduceDB	: 519
383.64/381.81	c number of reductions to clauses (during analyze)	: 0
383.64/381.81	c number of learned constraints concerned by reduction	: 0
383.64/381.81	c number of learning phase by resolution	: 0
383.64/381.81	c number of learning phase by cutting planes	: 0
383.64/381.81	c speed (assignments/second)	: 839026.078672436
383.64/381.81	c non guided choices	209
383.64/381.81	c learnt constraints type 
383.64/381.81	c constraints type 
383.64/381.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1618
383.64/381.81	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
383.64/381.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 386
383.64/381.81	s OPTIMUM FOUND
383.64/381.81	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 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 
383.64/381.81	c objective function=62
383.64/381.81	c Total wall clock time (in seconds): 381.695

Verifier Data 

OK	62

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459447-1307146646/watcher-3459447-1307146646 -o /tmp/evaluation-result-3459447-1307146646/solver-3459447-1307146646 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459447-1307146646.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.00 2/535 12663
/proc/meminfo: memFree=20015772/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 1560 0 1 0 0 0 0 0 25 0 2 0 826261256 13833195520 1261 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3377245 1275 906 9 0 3368401 0
[pid=12663/tid=12664] ppid=12661 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 5006 0 1 0 0 0 0 0 25 0 2 0 826261256 13850947584 5822 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0460999 s]
/proc/loadavg: 2.00 2.04 2.00 2/535 12663
/proc/meminfo: memFree=20015772/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 13666 0 1 0 2 1 0 0 25 0 13 0 826261256 13874667520 13362 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3387370 13363 1655 9 0 3378118 0
[pid=12663/tid=12664] ppid=12661 vsize=13549480 CPUtime=0.02 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 12519 0 1 0 1 1 0 0 25 0 13 0 826261256 13874667520 13363 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 47209116624408 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.105108 s]
/proc/loadavg: 2.00 2.04 2.00 2/535 12663
/proc/meminfo: memFree=20015772/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13621824 CPUtime=0.1 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 15509 0 1 0 8 2 0 0 25 0 18 0 826261256 13948747776 15168 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3405456 15168 2092 9 0 3396190 0
[pid=12663/tid=12664] ppid=12661 vsize=13621824 CPUtime=0.08 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 13546 0 1 0 6 2 0 0 22 0 18 0 826261256 13948747776 15168 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621824

[startup+0.38206 s]
/proc/loadavg: 2.00 2.04 2.00 2/535 12663
/proc/meminfo: memFree=20015772/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13625008 CPUtime=0.7 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 19637 0 1 0 67 3 0 0 25 0 19 0 826261256 13952008192 18202 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3406252 18202 2218 9 0 3396986 0
[pid=12663/tid=12664] ppid=12661 vsize=13625008 CPUtime=0.35 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 15220 0 1 0 33 2 0 0 23 0 19 0 826261256 13952008192 18202 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505663902 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13625008

[startup+0.700957 s]
/proc/loadavg: 2.00 2.04 2.00 2/535 12663
/proc/meminfo: memFree=20015772/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13625008 CPUtime=1.25 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 21118 0 1 0 122 3 0 0 25 0 19 0 826261256 13952008192 19268 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3406252 19268 2253 9 0 3396986 0
[pid=12663/tid=12664] ppid=12661 vsize=13625008 CPUtime=0.65 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 15505 0 1 0 63 2 0 0 25 0 19 0 826261256 13952008192 19268 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505746912 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 13625008

[startup+1.5008 s]
/proc/loadavg: 2.00 2.04 2.00 4/554 12682
/proc/meminfo: memFree=19932236/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13640248 CPUtime=2.73 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 32314 0 1 0 268 5 0 0 25 0 19 0 826261256 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3410062 26641 2253 9 0 3400796 0
[pid=12663/tid=12664] ppid=12661 vsize=13640248 CPUtime=1.4 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 15509 0 1 0 138 2 0 0 25 0 19 0 826261256 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505329182 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12663/tid=12666] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 7151 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12667] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 7151 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12668] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 7151 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12670] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12672] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12663 7151 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12673] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12663 7151 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12674] ppid=12661 vsize=13640248 CPUtime=0.05 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12663 7151 0 -1 4202560 443 0 0 0 5 0 0 0 16 0 19 0 826261260 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=12663/tid=12675] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12663 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 826261260 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12676] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12663 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 826261260 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12677] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826261262 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12678] ppid=12661 vsize=13640248 CPUtime=0.47 cores=1,3,5,7
/proc/12663/task/12678/stat : 12678 (java) R 12661 12663 7151 0 -1 4202560 5775 0 0 0 47 0 0 0 16 0 19 0 826261262 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 47209113200728 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12663/tid=12679] ppid=12661 vsize=13640248 CPUtime=0.76 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12661 12663 7151 0 -1 4202560 8971 0 0 0 75 1 0 0 16 0 19 0 826261262 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12680] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12680/stat : 12680 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826261262 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12681] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826261262 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12682] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12661 12663 7151 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826261285 13967613952 26641 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 13640248

[startup+3.10148 s]
/proc/loadavg: 2.00 2.04 2.00 3/554 12682
/proc/meminfo: memFree=19921820/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13640248 CPUtime=4.49 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 32506 0 1 0 444 5 0 0 25 0 19 0 826261256 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3410062 25152 2253 9 0 3400796 0
[pid=12663/tid=12664] ppid=12661 vsize=13640248 CPUtime=2.93 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 15514 0 1 0 291 2 0 0 25 0 19 0 826261256 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505632169 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12663/tid=12666] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 7151 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12667] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 7151 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12668] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 7151 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12670] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 7151 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 7151 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12672] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12663 7151 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12673] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12663 7151 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 826261258 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12674] ppid=12661 vsize=13640248 CPUtime=0.11 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12663 7151 0 -1 4202560 506 0 0 0 11 0 0 0 16 0 19 0 826261260 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=12663/tid=12675] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12663 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 826261260 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12676] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12663 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 826261260 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12677] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826261262 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12678] ppid=12661 vsize=13640248 CPUtime=0.62 cores=1,3,5,7
/proc/12663/task/12678/stat : 12678 (java) S 12661 12663 7151 0 -1 4202560 5809 0 0 0 62 0 0 0 15 0 19 0 826261262 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12679] ppid=12661 vsize=13640248 CPUtime=0.76 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12661 12663 7151 0 -1 4202560 8971 0 0 0 75 1 0 0 15 0 19 0 826261262 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12680] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12680/stat : 12680 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826261262 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12681] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826261262 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12682] ppid=12661 vsize=13640248 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12661 12663 7151 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826261285 13967613952 25152 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 13640248

[startup+6.30086 s]
/proc/loadavg: 2.08 2.05 2.01 3/554 12683
/proc/meminfo: memFree=19926048/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13634424 CPUtime=7.71 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 32686 0 1 0 766 5 0 0 25 0 19 0 826261256 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3408606 23892 2253 9 0 3399340 0
[pid=12663/tid=12664] ppid=12661 vsize=13634424 CPUtime=6.04 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 15522 0 1 0 602 2 0 0 25 0 19 0 826261256 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505845300 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12663/tid=12666] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 7151 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12667] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 7151 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12668] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 7151 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 7151 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12670] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12672] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12663 7151 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12673] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12663 7151 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 826261258 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12674] ppid=12661 vsize=13634424 CPUtime=0.2 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12663 7151 0 -1 4202560 666 0 0 0 20 0 0 0 16 0 19 0 826261260 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=12663/tid=12675] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12663 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 826261260 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12676] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12663 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 826261260 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12677] ppid=12661 vsize=13634424 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826261262 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12678] ppid=12661 vsize=13634424 CPUtime=0.63 cores=1,3,5,7
/proc/12663/task/12678/stat : 12678 (java) S 12661 12663 7151 0 -1 4202560 5809 0 0 0 63 0 0 0 15 0 19 0 826261262 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12679] ppid=12661 vsize=13634424 CPUtime=0.78 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12661 12663 7151 0 -1 4202560 8971 0 0 0 77 1 0 0 15 0 19 0 826261262 13961650176 23892 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0

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

/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 7151 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12667] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 7151 0 -1 4202560 142 0 0 0 15 0 0 0 15 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12668] ppid=12661 vsize=13629908 CPUtime=0.12 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 7151 0 -1 4202560 21 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 7151 0 -1 4202560 86 0 0 0 13 0 0 0 15 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12670] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 7151 0 -1 4202560 88 0 0 0 15 0 0 0 15 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=13629908 CPUtime=0.14 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 7151 0 -1 4202560 105 0 0 0 14 0 0 0 15 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12672] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12663 7151 0 -1 4202560 148 0 0 0 13 0 0 0 16 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12673] ppid=12661 vsize=13629908 CPUtime=0.17 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12663 7151 0 -1 4202560 112 0 0 0 17 0 0 0 15 0 19 0 826261258 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12674] ppid=12661 vsize=13629908 CPUtime=8.23 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12663 7151 0 -1 4202560 1198 0 0 0 815 8 0 0 15 0 19 0 826261260 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=12663/tid=12675] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12663 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12676] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12663 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12677] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826261262 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12678] ppid=12661 vsize=13629908 CPUtime=0.63 cores=1,3,5,7
/proc/12663/task/12678/stat : 12678 (java) S 12661 12663 7151 0 -1 4202560 5809 0 0 0 63 0 0 0 15 0 19 0 826261262 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12679] ppid=12661 vsize=13629908 CPUtime=0.8 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12661 12663 7151 0 -1 4202560 8974 0 0 0 79 1 0 0 15 0 19 0 826261262 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12680] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12680/stat : 12680 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826261262 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12681] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12661 12663 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 826261262 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12682] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12661 12663 7151 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826261285 13957025792 23567 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 382.54
Current children cumulated vsize (KiB) 13629908

[startup+381.501 s]
/proc/loadavg: 2.00 2.04 2.00 3/554 12741
/proc/meminfo: memFree=21137348/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13629908 CPUtime=383.34 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 34043 0 1 0 38313 21 0 0 25 0 19 0 826261256 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3407477 23570 2254 9 0 3398211 0
[pid=12663/tid=12664] ppid=12661 vsize=13629908 CPUtime=372.41 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 16026 0 1 0 37236 5 0 0 25 0 19 0 826261256 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505646293 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12663/tid=12666] ppid=12661 vsize=13629908 CPUtime=0.12 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 7151 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12667] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 7151 0 -1 4202560 143 0 0 0 15 0 0 0 16 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12668] ppid=12661 vsize=13629908 CPUtime=0.12 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 7151 0 -1 4202560 21 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 7151 0 -1 4202560 86 0 0 0 13 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12670] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 7151 0 -1 4202560 88 0 0 0 15 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=13629908 CPUtime=0.14 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 7151 0 -1 4202560 105 0 0 0 14 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12672] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12663 7151 0 -1 4202560 148 0 0 0 13 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12673] ppid=12661 vsize=13629908 CPUtime=0.17 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12663 7151 0 -1 4202560 112 0 0 0 17 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12674] ppid=12661 vsize=13629908 CPUtime=8.26 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12663 7151 0 -1 4202560 1200 0 0 0 818 8 0 0 15 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=12663/tid=12675] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12663 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12676] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12663 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12677] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12678] ppid=12661 vsize=13629908 CPUtime=0.63 cores=1,3,5,7
/proc/12663/task/12678/stat : 12678 (java) S 12661 12663 7151 0 -1 4202560 5809 0 0 0 63 0 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12679] ppid=12661 vsize=13629908 CPUtime=0.8 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12661 12663 7151 0 -1 4202560 8974 0 0 0 79 1 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12680] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12680/stat : 12680 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12681] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12661 12663 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12682] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12661 12663 7151 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826261285 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 383.34
Current children cumulated vsize (KiB) 13629908

[startup+381.72 s]
/proc/loadavg: 2.00 2.04 2.00 3/554 12741
/proc/meminfo: memFree=21137348/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13629908 CPUtime=383.56 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 34043 0 1 0 38335 21 0 0 25 0 19 0 826261256 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3407477 23570 2254 9 0 3398211 0
[pid=12663/tid=12664] ppid=12661 vsize=13629908 CPUtime=372.63 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 16026 0 1 0 37258 5 0 0 25 0 19 0 826261256 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505602016 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12663/tid=12666] ppid=12661 vsize=13629908 CPUtime=0.12 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 7151 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12667] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 7151 0 -1 4202560 143 0 0 0 15 0 0 0 16 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12668] ppid=12661 vsize=13629908 CPUtime=0.12 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 7151 0 -1 4202560 21 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 7151 0 -1 4202560 86 0 0 0 13 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12670] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 7151 0 -1 4202560 88 0 0 0 15 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=13629908 CPUtime=0.14 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 7151 0 -1 4202560 105 0 0 0 14 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12672] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12663 7151 0 -1 4202560 148 0 0 0 13 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12673] ppid=12661 vsize=13629908 CPUtime=0.17 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12663 7151 0 -1 4202560 112 0 0 0 17 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12674] ppid=12661 vsize=13629908 CPUtime=8.26 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12663 7151 0 -1 4202560 1200 0 0 0 818 8 0 0 15 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=12663/tid=12675] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12663 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12676] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12663 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12677] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12678] ppid=12661 vsize=13629908 CPUtime=0.63 cores=1,3,5,7
/proc/12663/task/12678/stat : 12678 (java) S 12661 12663 7151 0 -1 4202560 5809 0 0 0 63 0 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12679] ppid=12661 vsize=13629908 CPUtime=0.8 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12661 12663 7151 0 -1 4202560 8974 0 0 0 79 1 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12680] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12680/stat : 12680 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12681] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12661 12663 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12682] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12661 12663 7151 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826261285 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 383.56
Current children cumulated vsize (KiB) 13629908

[startup+381.801 s]
/proc/loadavg: 2.00 2.04 2.00 3/554 12741
/proc/meminfo: memFree=21137348/32950928 swapFree=34259960/67111528
[pid=12663] ppid=12661 vsize=13629908 CPUtime=383.64 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12661 12663 7151 0 -1 4202496 34043 0 1 0 38343 21 0 0 25 0 19 0 826261256 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12663/statm: 3407477 23570 2254 9 0 3398211 0
[pid=12663/tid=12664] ppid=12661 vsize=13629908 CPUtime=372.71 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) R 12661 12663 7151 0 -1 4202560 16026 0 1 0 37266 5 0 0 25 0 19 0 826261256 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 46912505645740 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12663/tid=12666] ppid=12661 vsize=13629908 CPUtime=0.12 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 7151 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12667] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 7151 0 -1 4202560 143 0 0 0 15 0 0 0 16 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12668] ppid=12661 vsize=13629908 CPUtime=0.12 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 7151 0 -1 4202560 21 0 0 0 12 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 7151 0 -1 4202560 86 0 0 0 13 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12670] ppid=12661 vsize=13629908 CPUtime=0.15 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 7151 0 -1 4202560 88 0 0 0 15 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=13629908 CPUtime=0.14 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 7151 0 -1 4202560 105 0 0 0 14 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12672] ppid=12661 vsize=13629908 CPUtime=0.13 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12661 12663 7151 0 -1 4202560 148 0 0 0 13 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12673] ppid=12661 vsize=13629908 CPUtime=0.17 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12661 12663 7151 0 -1 4202560 112 0 0 0 17 0 0 0 15 0 19 0 826261258 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12674] ppid=12661 vsize=13629908 CPUtime=8.26 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12661 12663 7151 0 -1 4202560 1200 0 0 0 818 8 0 0 15 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=12663/tid=12675] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12661 12663 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12676] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12661 12663 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 826261260 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12677] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12678] ppid=12661 vsize=13629908 CPUtime=0.63 cores=1,3,5,7
/proc/12663/task/12678/stat : 12678 (java) S 12661 12663 7151 0 -1 4202560 5809 0 0 0 63 0 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12679] ppid=12661 vsize=13629908 CPUtime=0.8 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12661 12663 7151 0 -1 4202560 8974 0 0 0 79 1 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=12663/tid=12680] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12680/stat : 12680 (java) S 12661 12663 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12681] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12661 12663 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 826261262 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=12663/tid=12682] ppid=12661 vsize=13629908 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12661 12663 7151 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826261285 13957025792 23570 33554432000 1073741824 1073778376 140733994380176 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 383.64
Current children cumulated vsize (KiB) 13629908

Child status: 30
Real time (s): 381.824
CPU time (s): 383.682
CPU user time (s): 383.457
CPU system time (s): 0.224965
CPU usage (%): 100.487
Max. virtual memory (cumulated for all children) (KiB): 13644648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.457
system time used= 0.224965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34075
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= 20694
involuntary context switches= 11561

runsolver used 1.9827 second user time and 4.64629 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 02:17:26
IDJOB=3459447
IDBENCH=2029
IDSOLVER=1952
FILE ID=node149/3459447-1307146646
RUNJOBID= node149-1307134204-10440
PBS_JOBID= 13508767
Free space on /tmp= 73512 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459447-1307146646/watcher-3459447-1307146646 -o /tmp/evaluation-result-3459447-1307146646/solver-3459447-1307146646 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459447-1307146646.opb

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

MD5SUM BENCH= 7070b0ccf5287a23c61644383564c46b
RANDOM SEED=1996168106

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.75
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.806
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.82
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.806
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:     32950928 kB
MemFree:      20015928 kB
Buffers:        331672 kB
Cached:        3508452 kB
SwapCached:     123196 kB
Active:        1619580 kB
Inactive:     10973064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20015928 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:             512 kB
Writeback:           0 kB
AnonPages:     8653956 kB
Mapped:          26196 kB
Slab:           150364 kB
PageTables:     120432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186546212 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 /tmp at the end= 73528 MiB
End job on node149 at 2011-06-04 02:23:48