Trace number 3492055

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 425.13 422.698

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MD5SUM200f179ceb6a172fc8d81952e96f0c84
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark130.847
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		9996466904
0.07/0.09	c Max memory 		10048897024
0.07/0.09	c Total memory 		10048897024
0.07/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492055-1307911248.wbo
0.11/0.11	c reading problem ... 
0.50/0.32	c ... done. Wall clock time 0.209s.
0.50/0.32	c #vars     2938
0.50/0.32	c #constraints  2707
0.50/0.32	c constraints type 
0.50/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.50/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.10/0.52	c SATISFIABLE
1.10/0.52	c OPTIMIZING...
1.10/0.52	c Got one! Elapsed wall clock time (in seconds):0.411
1.10/0.52	o 542
1.10/0.56	c Got one! Elapsed wall clock time (in seconds):0.453
1.10/0.56	o 327
1.10/0.59	c Got one! Elapsed wall clock time (in seconds):0.487
1.10/0.59	o 280
1.37/0.62	c Got one! Elapsed wall clock time (in seconds):0.508
1.37/0.62	o 162
1.37/0.66	c Got one! Elapsed wall clock time (in seconds):0.555
1.37/0.66	o 160
1.58/0.70	c Got one! Elapsed wall clock time (in seconds):0.595
1.58/0.70	o 153
1.58/0.73	c Got one! Elapsed wall clock time (in seconds):0.619
1.58/0.73	o 151
1.58/0.75	c Got one! Elapsed wall clock time (in seconds):0.646
1.58/0.75	o 135
1.70/0.80	c Got one! Elapsed wall clock time (in seconds):0.693
1.70/0.80	o 134
1.70/0.87	c Got one! Elapsed wall clock time (in seconds):0.767
1.70/0.87	o 124
1.80/0.91	c Got one! Elapsed wall clock time (in seconds):0.801
1.80/0.91	o 122
1.91/1.04	c Got one! Elapsed wall clock time (in seconds):0.929
1.91/1.04	o 118
2.01/1.13	c Got one! Elapsed wall clock time (in seconds):1.021
2.01/1.13	o 106
2.11/1.24	c Got one! Elapsed wall clock time (in seconds):1.134
2.11/1.24	o 102
2.11/1.27	c Got one! Elapsed wall clock time (in seconds):1.164
2.11/1.27	o 87
2.21/1.31	c Got one! Elapsed wall clock time (in seconds):1.206
2.21/1.31	o 81
2.31/1.42	c Got one! Elapsed wall clock time (in seconds):1.309
2.31/1.42	o 72
2.41/1.51	c Got one! Elapsed wall clock time (in seconds):1.405
2.41/1.51	o 71
2.41/1.53	c Got one! Elapsed wall clock time (in seconds):1.426
2.41/1.53	o 67
2.41/1.58	c Got one! Elapsed wall clock time (in seconds):1.471
2.41/1.58	o 57
2.51/1.66	c Got one! Elapsed wall clock time (in seconds):1.554
2.51/1.66	o 55
2.60/1.72	c Got one! Elapsed wall clock time (in seconds):1.61
2.60/1.72	o 50
2.60/1.79	c Got one! Elapsed wall clock time (in seconds):1.68
2.60/1.79	o 32
3.01/2.17	c Got one! Elapsed wall clock time (in seconds):2.067
3.01/2.17	o 30
3.23/2.35	c Got one! Elapsed wall clock time (in seconds):2.243
3.23/2.35	o 27
3.43/2.54	c Got one! Elapsed wall clock time (in seconds):2.433
3.43/2.54	o 26
3.63/2.77	c Got one! Elapsed wall clock time (in seconds):2.658
3.63/2.77	o 17
3.83/2.94	c cleaning 7101 clauses out of 14208 with flag 1000/14208
4.14/3.14	c Got one! Elapsed wall clock time (in seconds):3.035
4.14/3.14	o 15
4.14/3.19	c Got one! Elapsed wall clock time (in seconds):3.082
4.14/3.19	o 9
4.54/3.57	c cleaning 6589 clauses out of 13181 with flag 4000/20282
4.75/3.75	c Got one! Elapsed wall clock time (in seconds):3.641
4.75/3.75	o 6
4.95/3.96	c cleaning 6092 clauses out of 12192 with flag 3002/25882
5.20/4.10	c Got one! Elapsed wall clock time (in seconds):3.99
5.20/4.10	o 3
5.41/4.35	c cleaning 5590 clauses out of 11186 with flag 3002/30968
6.14/4.76	c cleaning 5793 clauses out of 11595 with flag 9001/36967
6.63/5.17	c cleaning 6400 clauses out of 12803 with flag 16002/43968
7.14/5.66	c cleaning 7189 clauses out of 14401 with flag 24000/51966
7.24/5.75	c Got one! Elapsed wall clock time (in seconds):5.638
7.24/5.75	o 1
7.44/5.99	c cleaning 6305 clauses out of 12617 with flag 4001/57371
7.84/6.31	c cleaning 6151 clauses out of 12311 with flag 10000/63370
8.24/6.71	c cleaning 6570 clauses out of 13160 with flag 17000/70370
8.64/7.19	c cleaning 7292 clauses out of 14590 with flag 25000/78370
9.25/7.74	c cleaning 8144 clauses out of 16299 with flag 34001/87371
9.85/8.39	c cleaning 9073 clauses out of 18154 with flag 44000/97370
10.55/9.02	c cleaning 9538 clauses out of 19083 with flag 54002/107372
11.25/9.70	c cleaning 9770 clauses out of 19545 with flag 64002/117372
11.85/10.33	c cleaning 9885 clauses out of 19774 with flag 74001/127371
12.36/10.88	c cleaning 9940 clauses out of 19889 with flag 84001/137371
12.96/11.44	c cleaning 9970 clauses out of 19950 with flag 94002/147372
13.57/12.01	c cleaning 9985 clauses out of 19978 with flag 104000/157370
14.06/12.56	c cleaning 9994 clauses out of 19995 with flag 114002/167372
14.67/13.12	c cleaning 9997 clauses out of 19999 with flag 124000/177370
15.17/13.62	c cleaning 9997 clauses out of 20003 with flag 134001/187371
15.67/14.14	c cleaning 9989 clauses out of 20006 with flag 144001/197371
16.17/14.67	c cleaning 10000 clauses out of 20018 with flag 154002/207372
16.77/15.24	c cleaning 10003 clauses out of 20017 with flag 164001/217371
17.27/15.78	c cleaning 10002 clauses out of 20016 with flag 174003/227373
17.77/16.28	c cleaning 10001 clauses out of 20011 with flag 184000/237370
18.37/16.82	c cleaning 9997 clauses out of 20010 with flag 194000/247370
18.87/17.33	c cleaning 10002 clauses out of 20013 with flag 204000/257370
19.47/17.90	c cleaning 10000 clauses out of 20011 with flag 214000/267370
19.97/18.40	c cleaning 10001 clauses out of 20011 with flag 224000/277370
20.47/18.91	c cleaning 10003 clauses out of 20012 with flag 234002/287372
20.97/19.42	c cleaning 9996 clauses out of 20007 with flag 244000/297370
21.47/19.90	c cleaning 10004 clauses out of 20013 with flag 254002/307372
21.87/20.39	c cleaning 9996 clauses out of 20007 with flag 264000/317370
22.48/20.91	c cleaning 10002 clauses out of 20011 with flag 274000/327370
22.97/21.47	c cleaning 9993 clauses out of 20009 with flag 284000/337370
23.48/21.98	c cleaning 9999 clauses out of 20016 with flag 294000/347370
24.10/22.52	c cleaning 9999 clauses out of 20017 with flag 304000/357370
24.60/23.07	c cleaning 10001 clauses out of 20019 with flag 314001/367371
25.20/23.60	c cleaning 9999 clauses out of 20017 with flag 324000/377370
25.70/24.12	c cleaning 10001 clauses out of 20019 with flag 334001/387371
26.20/24.62	c cleaning 10006 clauses out of 20017 with flag 344000/397370
26.70/25.10	c cleaning 9994 clauses out of 20011 with flag 354000/407370
27.10/25.59	c cleaning 10000 clauses out of 20017 with flag 364000/417370
27.60/26.07	c cleaning 10006 clauses out of 20017 with flag 374000/427370
28.10/26.54	c cleaning 9995 clauses out of 20013 with flag 384002/437372
28.60/27.08	c cleaning 10001 clauses out of 20018 with flag 394002/447372
29.20/27.60	c cleaning 10001 clauses out of 20016 with flag 404001/457371
29.70/28.10	c cleaning 10000 clauses out of 20016 with flag 414002/467372
30.21/28.61	c cleaning 10001 clauses out of 20016 with flag 424002/477372
30.71/29.12	c cleaning 10001 clauses out of 20013 with flag 434000/487370
31.21/29.64	c cleaning 10005 clauses out of 20013 with flag 444001/497371
31.71/30.14	c cleaning 9997 clauses out of 20008 with flag 454001/507371
32.21/30.65	c cleaning 9995 clauses out of 20010 with flag 464000/517370
32.71/31.16	c cleaning 9998 clauses out of 20015 with flag 474000/527370
33.31/31.73	c cleaning 9998 clauses out of 20017 with flag 484000/537370
33.91/32.30	c cleaning 10001 clauses out of 20019 with flag 494000/547370
34.31/32.79	c cleaning 10004 clauses out of 20019 with flag 504001/557371
34.92/33.32	c cleaning 10001 clauses out of 20017 with flag 514003/567373
35.42/33.86	c cleaning 10004 clauses out of 20015 with flag 524002/577372
35.92/34.36	c cleaning 9993 clauses out of 20009 with flag 534000/587370
36.42/34.89	c cleaning 10003 clauses out of 20017 with flag 544001/597371
37.02/35.49	c cleaning 10005 clauses out of 20013 with flag 554000/607370
37.72/36.10	c cleaning 10002 clauses out of 20008 with flag 564000/617370
38.22/36.63	c cleaning 9998 clauses out of 20006 with flag 574000/627370
38.73/37.17	c cleaning 10001 clauses out of 20010 with flag 584002/637372
39.33/37.71	c cleaning 10000 clauses out of 20007 with flag 594000/647370
39.83/38.27	c cleaning 9999 clauses out of 20008 with flag 604001/657371
40.43/38.82	c cleaning 9995 clauses out of 20008 with flag 614000/667370
41.03/39.40	c cleaning 9999 clauses out of 20013 with flag 624000/677370
41.53/39.99	c cleaning 10001 clauses out of 20015 with flag 634001/687371
42.13/40.55	c cleaning 9998 clauses out of 20013 with flag 644000/697370
42.73/41.13	c cleaning 10000 clauses out of 20015 with flag 654000/707370
43.23/41.68	c cleaning 10002 clauses out of 20015 with flag 664000/717370
43.84/42.28	c cleaning 10001 clauses out of 20013 with flag 674000/727370
44.45/42.87	c cleaning 10000 clauses out of 20012 with flag 684000/737370
45.04/43.43	c cleaning 9998 clauses out of 20012 with flag 694000/747370
45.55/43.96	c cleaning 9998 clauses out of 20014 with flag 704000/757370
46.15/44.53	c cleaning 10002 clauses out of 20018 with flag 714002/767372
46.75/45.11	c cleaning 9999 clauses out of 20014 with flag 724000/777370
47.25/45.66	c cleaning 10003 clauses out of 20015 with flag 734000/787370
47.86/46.25	c cleaning 10001 clauses out of 20013 with flag 744001/797371
48.45/46.82	c cleaning 10003 clauses out of 20011 with flag 754000/807370
49.05/47.44	c cleaning 10001 clauses out of 20010 with flag 764002/817372
49.66/48.05	c cleaning 10001 clauses out of 20012 with flag 774005/827375
50.26/48.64	c cleaning 9991 clauses out of 20006 with flag 784000/837370
50.96/49.31	c cleaning 10003 clauses out of 20015 with flag 794000/847370
51.56/49.93	c cleaning 9998 clauses out of 20012 with flag 804000/857370
52.06/50.47	c cleaning 10003 clauses out of 20015 with flag 814001/867371
52.66/51.07	c cleaning 10002 clauses out of 20012 with flag 824001/877371
53.26/51.64	c cleaning 10003 clauses out of 20009 with flag 834000/887370
53.76/52.19	c cleaning 9996 clauses out of 20007 with flag 844001/897371
54.36/52.74	c cleaning 9999 clauses out of 20011 with flag 854001/907371
54.96/53.30	c cleaning 10000 clauses out of 20013 with flag 864002/917372
55.47/53.87	c cleaning 9991 clauses out of 20011 with flag 874000/927370
56.06/54.43	c cleaning 10003 clauses out of 20021 with flag 884001/937371
56.57/54.93	c cleaning 10005 clauses out of 20017 with flag 894000/947370
57.16/55.53	c cleaning 9998 clauses out of 20012 with flag 904000/957370
57.67/56.07	c cleaning 9995 clauses out of 20014 with flag 914000/967370
58.16/56.58	c cleaning 10000 clauses out of 20020 with flag 924001/977371
58.66/57.05	c cleaning 9998 clauses out of 20021 with flag 934002/987372
59.17/57.56	c cleaning 10006 clauses out of 20026 with flag 944005/997375
59.77/58.11	c cleaning 10004 clauses out of 20015 with flag 954000/1007370
60.27/58.64	c cleaning 10002 clauses out of 20011 with flag 964000/1017370
60.87/59.21	c cleaning 9999 clauses out of 20009 with flag 974000/1027370
61.47/59.82	c cleaning 10001 clauses out of 20011 with flag 984001/1037371
61.97/60.40	c cleaning 9996 clauses out of 20010 with flag 994001/1047371
62.68/61.03	c cleaning 10003 clauses out of 20014 with flag 1004001/1057371
63.29/61.60	c cleaning 9996 clauses out of 20011 with flag 1014001/1067371
63.79/62.12	c cleaning 10000 clauses out of 20014 with flag 1024000/1077370
64.29/62.64	c cleaning 10004 clauses out of 20015 with flag 1034001/1087371
64.79/63.17	c cleaning 10001 clauses out of 20011 with flag 1044001/1097371
65.29/63.66	c cleaning 9998 clauses out of 20009 with flag 1054000/1107370
65.89/64.21	c cleaning 10001 clauses out of 20012 with flag 1064001/1117371
66.40/64.76	c cleaning 9998 clauses out of 20012 with flag 1074002/1127372
66.99/65.32	c cleaning 10002 clauses out of 20013 with flag 1084001/1137371
67.50/65.89	c cleaning 9998 clauses out of 20011 with flag 1094001/1147371
68.20/66.50	c cleaning 9999 clauses out of 20012 with flag 1104000/1157370
68.70/67.10	c cleaning 9993 clauses out of 20015 with flag 1114002/1167372
69.40/67.71	c cleaning 10003 clauses out of 20020 with flag 1124000/1177370
69.90/68.25	c cleaning 10003 clauses out of 20017 with flag 1134000/1187370
70.40/68.79	c cleaning 10007 clauses out of 20017 with flag 1144003/1197373
71.01/69.35	c cleaning 9991 clauses out of 20008 with flag 1154001/1207371
71.50/69.82	c cleaning 10000 clauses out of 20016 with flag 1164000/1217370
72.01/70.32	c cleaning 10003 clauses out of 20016 with flag 1174000/1227370
72.50/70.86	c cleaning 9999 clauses out of 20013 with flag 1184000/1237370
73.00/71.40	c cleaning 10000 clauses out of 20016 with flag 1194002/1247372
73.61/71.95	c cleaning 10002 clauses out of 20014 with flag 1204000/1257370
74.11/72.50	c cleaning 10001 clauses out of 20016 with flag 1214004/1267374
74.71/73.05	c cleaning 10000 clauses out of 20011 with flag 1224000/1277370
75.32/73.63	c cleaning 10002 clauses out of 20011 with flag 1234000/1287370
75.81/74.18	c cleaning 9998 clauses out of 20011 with flag 1244002/1297372
76.42/74.72	c cleaning 9998 clauses out of 20011 with flag 1254000/1307370
76.91/75.24	c cleaning 10003 clauses out of 20015 with flag 1264002/1317372
77.43/75.78	c cleaning 10000 clauses out of 20010 with flag 1274000/1327370
77.93/76.27	c cleaning 10001 clauses out of 20010 with flag 1284000/1337370
78.43/76.76	c cleaning 10003 clauses out of 20011 with flag 1294002/1347372
78.93/77.25	c cleaning 9996 clauses out of 20007 with flag 1304001/1357371
79.53/77.87	c cleaning 9996 clauses out of 20010 with flag 1314000/1367370
80.13/78.47	c cleaning 9997 clauses out of 20015 with flag 1324001/1377371
80.73/79.06	c cleaning 10009 clauses out of 20019 with flag 1334002/1387372
81.34/79.64	c cleaning 9999 clauses out of 20010 with flag 1344002/1397372
81.94/80.23	c cleaning 9997 clauses out of 20009 with flag 1354000/1407370
82.54/80.80	c cleaning 10002 clauses out of 20014 with flag 1364002/1417372
82.94/81.30	c cleaning 10001 clauses out of 20012 with flag 1374002/1427372
83.54/81.83	c cleaning 9998 clauses out of 20010 with flag 1384001/1437371
84.04/82.35	c cleaning 10001 clauses out of 20011 with flag 1394000/1447370
84.54/82.85	c cleaning 10001 clauses out of 20011 with flag 1404001/1457371
85.04/83.34	c cleaning 9997 clauses out of 20009 with flag 1414000/1467370
85.54/83.86	c cleaning 9999 clauses out of 20012 with flag 1424000/1477370
86.14/84.42	c cleaning 9998 clauses out of 20014 with flag 1434001/1487371
86.64/84.98	c cleaning 10004 clauses out of 20015 with flag 1444000/1497370
87.25/85.57	c cleaning 10001 clauses out of 20015 with flag 1454004/1507374
87.85/86.19	c cleaning 9999 clauses out of 20015 with flag 1464005/1517375
88.45/86.80	c cleaning 10001 clauses out of 20012 with flag 1474001/1527371
89.05/87.35	c cleaning 9999 clauses out of 20010 with flag 1484000/1537370
89.55/87.88	c cleaning 9997 clauses out of 20011 with flag 1494000/1547370
90.15/88.41	c cleaning 10000 clauses out of 20015 with flag 1504001/1557371
90.65/88.97	c cleaning 10001 clauses out of 20014 with flag 1514000/1567370
91.16/89.48	c cleaning 9999 clauses out of 20013 with flag 1524000/1577370
91.76/90.02	c cleaning 10005 clauses out of 20017 with flag 1534003/1587373
92.36/90.60	c cleaning 9999 clauses out of 20009 with flag 1544000/1597370
92.86/91.18	c cleaning 9998 clauses out of 20010 with flag 1554000/1607370
93.46/91.78	c cleaning 10000 clauses out of 20013 with flag 1564001/1617371
94.07/92.34	c cleaning 10001 clauses out of 20014 with flag 1574002/1627372
94.56/92.89	c cleaning 9997 clauses out of 20011 with flag 1584000/1637370
95.17/93.42	c cleaning 10003 clauses out of 20017 with flag 1594003/1647373
95.67/93.97	c cleaning 10000 clauses out of 20011 with flag 1604000/1657370
96.27/94.53	c cleaning 10001 clauses out of 20012 with flag 1614001/1667371
96.87/95.12	c cleaning 10003 clauses out of 20011 with flag 1624001/1677371
97.37/95.65	c cleaning 9997 clauses out of 20007 with flag 1634000/1687370
97.87/96.13	c cleaning 9999 clauses out of 20014 with flag 1644004/1697374
98.37/96.68	c cleaning 9999 clauses out of 20013 with flag 1654002/1707372
98.97/97.26	c cleaning 9997 clauses out of 20012 with flag 1664000/1717370
99.47/97.80	c cleaning 10000 clauses out of 20016 with flag 1674001/1727371
100.07/98.34	c cleaning 10003 clauses out of 20016 with flag 1684001/1737371
100.67/98.91	c cleaning 9991 clauses out of 20012 with flag 1694000/1747370
101.27/99.50	c cleaning 10006 clauses out of 20021 with flag 1704000/1757370
101.77/100.09	c cleaning 10000 clauses out of 20016 with flag 1714001/1767371
102.37/100.60	c cleaning 10002 clauses out of 20016 with flag 1724001/1777371
102.88/101.11	c cleaning 10000 clauses out of 20014 with flag 1734001/1787371
103.37/101.63	c cleaning 10001 clauses out of 20016 with flag 1744003/1797373
103.87/102.15	c cleaning 10001 clauses out of 20013 with flag 1754001/1807371
104.37/102.66	c cleaning 9997 clauses out of 20012 with flag 1764001/1817371
104.87/103.16	c cleaning 10002 clauses out of 20015 with flag 1774001/1827371
105.37/103.66	c cleaning 10003 clauses out of 20013 with flag 1784001/1837371
105.87/104.18	c cleaning 9999 clauses out of 20009 with flag 1794000/1847370
106.38/104.69	c cleaning 9998 clauses out of 20013 with flag 1804003/1857373
106.98/105.23	c cleaning 9998 clauses out of 20012 with flag 1814000/1867370
107.48/105.78	c cleaning 10004 clauses out of 20015 with flag 1824001/1877371
107.98/106.28	c cleaning 10000 clauses out of 20011 with flag 1834001/1887371
108.58/106.83	c cleaning 10001 clauses out of 20012 with flag 1844002/1897372
109.08/107.39	c cleaning 10001 clauses out of 20012 with flag 1854003/1907373
109.68/107.95	c cleaning 10000 clauses out of 20011 with flag 1864003/1917373
110.18/108.49	c cleaning 9999 clauses out of 20008 with flag 1874000/1927370
110.78/109.03	c cleaning 10002 clauses out of 20009 with flag 1884000/1937370
111.29/109.59	c cleaning 9994 clauses out of 20008 with flag 1894001/1947371
111.89/110.14	c cleaning 9999 clauses out of 20013 with flag 1904000/1957370
112.39/110.70	c cleaning 10001 clauses out of 20014 with flag 1914000/1967370
112.99/111.30	c cleaning 9999 clauses out of 20014 with flag 1924001/1977371
113.49/111.79	c cleaning 10002 clauses out of 20016 with flag 1934002/1987372
114.00/112.29	c cleaning 9996 clauses out of 20012 with flag 1944000/1997370
114.60/112.87	c cleaning 9997 clauses out of 20017 with flag 1954001/2007371
115.19/113.40	c cleaning 10008 clauses out of 20020 with flag 1964001/2017371
115.59/113.89	c cleaning 9996 clauses out of 20011 with flag 1974000/2027370
116.10/114.40	c cleaning 10001 clauses out of 20015 with flag 1984000/2037370
116.70/114.96	c cleaning 10002 clauses out of 20015 with flag 1994001/2047371
117.20/115.47	c cleaning 10001 clauses out of 20012 with flag 2004000/2057370
117.80/116.03	c cleaning 10000 clauses out of 20011 with flag 2014000/2067370
118.31/116.55	c cleaning 10000 clauses out of 20013 with flag 2024002/2077372
118.80/117.06	c cleaning 10001 clauses out of 20012 with flag 2034001/2087371
119.30/117.55	c cleaning 10002 clauses out of 20013 with flag 2044003/2097373
119.80/118.01	c cleaning 9998 clauses out of 20008 with flag 2054000/2107370
120.30/118.53	c cleaning 9997 clauses out of 20012 with flag 2064002/2117372
120.80/119.04	c cleaning 10002 clauses out of 20013 with flag 2074000/2127370
121.31/119.55	c cleaning 9996 clauses out of 20011 with flag 2084000/2137370
121.81/120.04	c cleaning 10004 clauses out of 20016 with flag 2094001/2147371
122.31/120.53	c cleaning 10002 clauses out of 20014 with flag 2104003/2157373
122.81/121.04	c cleaning 10001 clauses out of 20009 with flag 2114000/2167370
123.31/121.58	c cleaning 10000 clauses out of 20010 with flag 2124002/2177372
123.81/122.09	c cleaning 9993 clauses out of 20009 with flag 2134001/2187371
124.31/122.57	c cleaning 10002 clauses out of 20015 with flag 2144000/2197370
124.81/123.07	c cleaning 10001 clauses out of 20015 with flag 2154002/2207372
125.31/123.56	c cleaning 10002 clauses out of 20013 with flag 2164001/2217371
125.81/124.04	c cleaning 9999 clauses out of 20011 with flag 2174001/2227371
126.31/124.58	c cleaning 10003 clauses out of 20012 with flag 2184001/2237371
126.81/125.07	c cleaning 9994 clauses out of 20008 with flag 2194000/2247370
127.42/125.63	c cleaning 9997 clauses out of 20016 with flag 2204002/2257372
127.92/126.12	c cleaning 10006 clauses out of 20018 with flag 2214001/2267371
128.42/126.62	c cleaning 10000 clauses out of 20012 with flag 2224001/2277371
128.92/127.11	c cleaning 10006 clauses out of 20017 with flag 2234006/2287376
129.33/127.60	c cleaning 9999 clauses out of 20005 with flag 2244000/2297370
129.93/128.11	c cleaning 9998 clauses out of 20008 with flag 2254002/2307372
130.33/128.59	c cleaning 10000 clauses out of 20008 with flag 2264000/2317370
130.93/129.12	c cleaning 9997 clauses out of 20008 with flag 2274000/2327370
131.43/129.68	c cleaning 10000 clauses out of 20011 with flag 2284000/2337370
132.03/130.26	c cleaning 10002 clauses out of 20012 with flag 2294001/2347371
132.53/130.79	c cleaning 9999 clauses out of 20010 with flag 2304001/2357371
133.23/131.43	c cleaning 9997 clauses out of 20010 with flag 2314000/2367370
133.84/132.06	c cleaning 9996 clauses out of 20013 with flag 2324000/2377370
134.33/132.59	c cleaning 10006 clauses out of 20017 with flag 2334000/2387370
134.94/133.12	c cleaning 10003 clauses out of 20012 with flag 2344001/2397371
135.44/133.69	c cleaning 9991 clauses out of 20010 with flag 2354002/2407372
136.04/134.22	c cleaning 10003 clauses out of 20017 with flag 2364000/2417370
136.54/134.73	c cleaning 9994 clauses out of 20015 with flag 2374001/2427371
137.04/135.24	c cleaning 10004 clauses out of 20021 with flag 2384001/2437371
137.54/135.74	c cleaning 9999 clauses out of 20016 with flag 2394000/2447370
138.04/136.24	c cleaning 10001 clauses out of 20018 with flag 2404001/2457371
138.54/136.73	c cleaning 10001 clauses out of 20016 with flag 2414000/2467370
139.04/137.24	c cleaning 10004 clauses out of 20018 with flag 2424003/2477373
139.54/137.78	c cleaning 9999 clauses out of 20011 with flag 2434000/2487370
140.14/138.30	c cleaning 10000 clauses out of 20013 with flag 2444001/2497371
140.64/138.81	c cleaning 10003 clauses out of 20013 with flag 2454001/2507371
141.15/139.37	c cleaning 9996 clauses out of 20009 with flag 2464000/2517370
141.75/139.92	c cleaning 10002 clauses out of 20013 with flag 2474000/2527370
142.25/140.46	c cleaning 9998 clauses out of 20013 with flag 2484002/2537372
142.85/141.03	c cleaning 9997 clauses out of 20013 with flag 2494000/2547370
143.35/141.54	c cleaning 10001 clauses out of 20017 with flag 2504001/2557371
143.85/142.04	c cleaning 10000 clauses out of 20015 with flag 2514000/2567370
144.35/142.55	c cleaning 10002 clauses out of 20016 with flag 2524001/2577371
144.85/143.08	c cleaning 10002 clauses out of 20013 with flag 2534000/2587370
145.35/143.58	c cleaning 9999 clauses out of 20016 with flag 2544005/2597375
145.96/144.11	c cleaning 9998 clauses out of 20013 with flag 2554001/2607371
146.45/144.64	c cleaning 10000 clauses out of 20017 with flag 2564003/2617373
146.96/145.19	c cleaning 10001 clauses out of 20015 with flag 2574001/2627371
147.56/145.74	c cleaning 10000 clauses out of 20013 with flag 2584000/2637370
148.06/146.26	c cleaning 10002 clauses out of 20014 with flag 2594001/2647371
148.56/146.77	c cleaning 9998 clauses out of 20011 with flag 2604000/2657370
149.06/147.30	c cleaning 10003 clauses out of 20013 with flag 2614000/2667370
149.56/147.79	c cleaning 9992 clauses out of 20013 with flag 2624003/2677373
150.16/148.32	c cleaning 10005 clauses out of 20020 with flag 2634002/2687372
150.57/148.79	c cleaning 10002 clauses out of 20014 with flag 2644001/2697371
151.17/149.30	c cleaning 9999 clauses out of 20012 with flag 2654001/2707371
151.67/149.88	c cleaning 9997 clauses out of 20013 with flag 2664001/2717371
152.27/150.49	c cleaning 10003 clauses out of 20016 with flag 2674001/2727371
152.87/151.00	c cleaning 10001 clauses out of 20012 with flag 2684000/2737370
153.37/151.54	c cleaning 9999 clauses out of 20012 with flag 2694001/2747371
153.87/152.05	c cleaning 10003 clauses out of 20014 with flag 2704002/2757372
154.37/152.59	c cleaning 9992 clauses out of 20010 with flag 2714001/2767371
154.97/153.13	c cleaning 9995 clauses out of 20017 with flag 2724000/2777370
155.48/153.67	c cleaning 10006 clauses out of 20023 with flag 2734001/2787371
156.08/154.21	c cleaning 10003 clauses out of 20016 with flag 2744000/2797370
156.58/154.75	c cleaning 10002 clauses out of 20013 with flag 2754000/2807370
157.08/155.29	c cleaning 10000 clauses out of 20012 with flag 2764001/2817371
157.58/155.79	c cleaning 10004 clauses out of 20013 with flag 2774002/2827372
158.18/156.32	c cleaning 9998 clauses out of 20008 with flag 2784001/2837371
158.68/156.83	c cleaning 9994 clauses out of 20009 with flag 2794000/2847370
159.19/157.37	c cleaning 9999 clauses out of 20015 with flag 2804000/2857370
159.78/157.90	c cleaning 10004 clauses out of 20017 with flag 2814001/2867371
160.29/158.44	c cleaning 9999 clauses out of 20012 with flag 2824000/2877370
160.79/158.97	c cleaning 10002 clauses out of 20015 with flag 2834002/2887372
161.40/159.50	c cleaning 10002 clauses out of 20012 with flag 2844001/2897371
161.89/160.00	c cleaning 9996 clauses out of 20009 with flag 2854000/2907370
162.29/160.48	c cleaning 10001 clauses out of 20015 with flag 2864002/2917372
162.89/161.03	c cleaning 10004 clauses out of 20016 with flag 2874004/2927374
163.39/161.54	c cleaning 9999 clauses out of 20008 with flag 2884000/2937370
163.99/162.10	c cleaning 9998 clauses out of 20010 with flag 2894001/2947371
164.49/162.65	c cleaning 10002 clauses out of 20012 with flag 2904001/2957371
165.00/163.17	c cleaning 10000 clauses out of 20010 with flag 2914001/2967371
165.60/163.70	c cleaning 9999 clauses out of 20009 with flag 2924000/2977370
166.00/164.20	c cleaning 10000 clauses out of 20013 with flag 2934003/2987373
166.60/164.71	c cleaning 10001 clauses out of 20012 with flag 2944002/2997372
167.10/165.24	c cleaning 9998 clauses out of 20009 with flag 2954000/3007370
167.60/165.76	c cleaning 9999 clauses out of 20014 with flag 2964003/3017373
168.20/166.30	c cleaning 9991 clauses out of 20012 with flag 2974000/3027370
168.61/166.79	c cleaning 10004 clauses out of 20023 with flag 2984002/3037372
169.21/167.32	c cleaning 10000 clauses out of 20017 with flag 2994000/3047370
169.71/167.87	c cleaning 10002 clauses out of 20017 with flag 3004000/3057370
170.22/168.36	c cleaning 10005 clauses out of 20017 with flag 3014002/3067372
170.71/168.88	c cleaning 10003 clauses out of 20011 with flag 3024001/3077371
171.32/169.40	c cleaning 9997 clauses out of 20007 with flag 3034000/3087370
171.81/169.93	c cleaning 10001 clauses out of 20013 with flag 3044003/3097373
172.32/170.47	c cleaning 9998 clauses out of 20009 with flag 3054000/3107370
172.91/171.02	c cleaning 9994 clauses out of 20011 with flag 3064000/3117370
173.42/171.52	c cleaning 9999 clauses out of 20018 with flag 3074001/3127371
173.91/172.05	c cleaning 10004 clauses out of 20018 with flag 3084000/3137370
174.41/172.54	c cleaning 10003 clauses out of 20015 with flag 3094001/3147371
174.91/173.03	c cleaning 9994 clauses out of 20011 with flag 3104000/3157370
175.41/173.53	c cleaning 10002 clauses out of 20017 with flag 3114000/3167370
175.91/174.04	c cleaning 10001 clauses out of 20015 with flag 3124000/3177370
176.41/174.55	c cleaning 9998 clauses out of 20014 with flag 3134000/3187370
176.91/175.09	c cleaning 10006 clauses out of 20018 with flag 3144002/3197372
177.51/175.60	c cleaning 10000 clauses out of 20010 with flag 3154000/3207370
178.01/176.15	c cleaning 9999 clauses out of 20012 with flag 3164002/3217372
178.51/176.68	c cleaning 10002 clauses out of 20012 with flag 3174001/3227371
179.12/177.22	c cleaning 9997 clauses out of 20009 with flag 3184000/3237370
179.71/177.84	c cleaning 9989 clauses out of 20013 with flag 3194001/3247371
180.31/178.46	c cleaning 10007 clauses out of 20023 with flag 3204000/3257370
180.92/179.04	c cleaning 10002 clauses out of 20016 with flag 3214000/3267370
181.52/179.61	c cleaning 9999 clauses out of 20014 with flag 3224000/3277370
182.02/180.19	c cleaning 9997 clauses out of 20015 with flag 3234000/3287370
182.52/180.69	c cleaning 10001 clauses out of 20018 with flag 3244000/3297370
183.03/181.18	c cleaning 9998 clauses out of 20017 with flag 3254000/3307370
183.63/181.73	c cleaning 10001 clauses out of 20019 with flag 3264000/3317370
184.13/182.23	c cleaning 10002 clauses out of 20018 with flag 3274000/3327370
184.63/182.76	c cleaning 9997 clauses out of 20017 with flag 3284001/3337371
185.14/183.26	c cleaning 10004 clauses out of 20019 with flag 3294000/3347370
185.74/183.81	c cleaning 10004 clauses out of 20016 with flag 3304001/3357371
186.24/184.35	c cleaning 9998 clauses out of 20011 with flag 3314000/3367370
186.75/184.86	c cleaning 10002 clauses out of 20014 with flag 3324001/3377371
187.34/185.40	c cleaning 10002 clauses out of 20012 with flag 3334001/3387371
187.85/185.92	c cleaning 9998 clauses out of 20009 with flag 3344000/3397370
188.34/186.46	c cleaning 10002 clauses out of 20016 with flag 3354005/3407375
188.84/186.97	c cleaning 10000 clauses out of 20010 with flag 3364001/3417371
189.34/187.48	c cleaning 9995 clauses out of 20009 with flag 3374000/3427370
189.84/188.00	c cleaning 9998 clauses out of 20014 with flag 3384000/3437370
190.44/188.56	c cleaning 10003 clauses out of 20016 with flag 3394000/3447370
190.94/189.09	c cleaning 10002 clauses out of 20015 with flag 3404002/3457372
191.54/189.61	c cleaning 9998 clauses out of 20013 with flag 3414002/3467372
192.04/190.10	c cleaning 10001 clauses out of 20014 with flag 3424001/3477371
192.54/190.64	c cleaning 10001 clauses out of 20013 with flag 3434001/3487371
193.04/191.19	c cleaning 9998 clauses out of 20012 with flag 3444001/3497371
193.64/191.72	c cleaning 10000 clauses out of 20014 with flag 3454001/3507371
194.14/192.25	c cleaning 9999 clauses out of 20015 with flag 3464002/3517372
194.64/192.75	c cleaning 9994 clauses out of 20015 with flag 3474001/3527371
195.14/193.29	c cleaning 10006 clauses out of 20022 with flag 3484002/3537372
195.74/193.88	c cleaning 10003 clauses out of 20015 with flag 3494001/3547371
196.35/194.44	c cleaning 9995 clauses out of 20011 with flag 3504000/3557370
196.95/195.07	c cleaning 9998 clauses out of 20018 with flag 3514002/3567372
197.45/195.59	c cleaning 10000 clauses out of 20019 with flag 3524001/3577371
198.04/196.16	c cleaning 10001 clauses out of 20018 with flag 3534000/3587370
198.64/196.71	c cleaning 9992 clauses out of 20017 with flag 3544000/3597370
199.15/197.28	c cleaning 10002 clauses out of 20026 with flag 3554001/3607371
199.85/197.94	c cleaning 10000 clauses out of 20025 with flag 3564002/3617372
200.45/198.52	c cleaning 10009 clauses out of 20026 with flag 3574003/3627373
200.95/199.06	c cleaning 10001 clauses out of 20016 with flag 3584002/3637372
201.55/199.62	c cleaning 10002 clauses out of 20015 with flag 3594002/3647372
202.06/200.20	c cleaning 9995 clauses out of 20011 with flag 3604000/3657370
202.65/200.77	c cleaning 9998 clauses out of 20016 with flag 3614000/3667370
203.26/201.30	c cleaning 9999 clauses out of 20018 with flag 3624000/3677370
203.75/201.84	c cleaning 10003 clauses out of 20021 with flag 3634002/3687372
204.26/202.40	c cleaning 10006 clauses out of 20020 with flag 3644004/3697374
204.85/202.93	c cleaning 9997 clauses out of 20010 with flag 3654000/3707370
205.36/203.49	c cleaning 10002 clauses out of 20014 with flag 3664001/3717371
205.95/204.07	c cleaning 9993 clauses out of 20011 with flag 3674000/3727370
206.46/204.60	c cleaning 10004 clauses out of 20020 with flag 3684002/3737372
207.06/205.19	c cleaning 9999 clauses out of 20014 with flag 3694000/3747370
207.76/205.82	c cleaning 10001 clauses out of 20016 with flag 3704001/3757371
208.26/206.36	c cleaning 9995 clauses out of 20014 with flag 3714000/3767370
208.86/206.92	c cleaning 10001 clauses out of 20019 with flag 3724000/3777370
209.46/207.59	c cleaning 10007 clauses out of 20019 with flag 3734001/3787371
210.06/208.13	c cleaning 9998 clauses out of 20011 with flag 3744000/3797370
210.56/208.66	c cleaning 10002 clauses out of 20014 with flag 3754001/3807371
211.16/209.24	c cleaning 9997 clauses out of 20012 with flag 3764001/3817371
211.77/209.80	c cleaning 10004 clauses out of 20015 with flag 3774001/3827371
212.27/210.30	c cleaning 9998 clauses out of 20012 with flag 3784002/3837372
212.77/210.83	c cleaning 10002 clauses out of 20013 with flag 3794001/3847371
213.27/211.33	c cleaning 9999 clauses out of 20011 with flag 3804001/3857371
213.77/211.90	c cleaning 10003 clauses out of 20014 with flag 3814003/3867373
214.37/212.46	c cleaning 9996 clauses out of 20008 with flag 3824000/3877370
214.87/212.98	c cleaning 10000 clauses out of 20012 with flag 3834000/3887370
215.47/213.50	c cleaning 10001 clauses out of 20016 with flag 3844004/3897374
215.97/214.02	c cleaning 10000 clauses out of 20011 with flag 3854000/3907370
216.48/214.55	c cleaning 10001 clauses out of 20011 with flag 3864000/3917370
216.98/215.05	c cleaning 10001 clauses out of 20010 with flag 3874000/3927370
217.58/215.63	c cleaning 10000 clauses out of 20009 with flag 3884000/3937370
218.08/216.16	c cleaning 9999 clauses out of 20010 with flag 3894001/3947371
218.58/216.68	c cleaning 10002 clauses out of 20014 with flag 3904004/3957374
219.18/217.22	c cleaning 9996 clauses out of 20009 with flag 3914001/3967371
219.78/217.82	c cleaning 9991 clauses out of 20013 with flag 3924001/3977371
220.28/218.36	c cleaning 10004 clauses out of 20022 with flag 3934001/3987371
220.79/218.87	c cleaning 10006 clauses out of 20017 with flag 3944000/3997370
221.28/219.38	c cleaning 10002 clauses out of 20014 with flag 3954003/4007373
221.89/219.94	c cleaning 9999 clauses out of 20010 with flag 3964001/4017371
222.38/220.48	c cleaning 9999 clauses out of 20012 with flag 3974002/4027372
222.88/220.97	c cleaning 9998 clauses out of 20011 with flag 3984000/4037370
223.38/221.47	c cleaning 10000 clauses out of 20014 with flag 3994001/4047371
223.98/222.00	c cleaning 10001 clauses out of 20015 with flag 4004002/4057372
224.48/222.55	c cleaning 10001 clauses out of 20012 with flag 4014000/4067370
224.98/223.09	c cleaning 10002 clauses out of 20015 with flag 4024004/4077374
225.58/223.65	c cleaning 9994 clauses out of 20012 with flag 4034003/4087373
226.18/224.22	c cleaning 10002 clauses out of 20015 with flag 4044000/4097370
226.69/224.77	c cleaning 10002 clauses out of 20013 with flag 4054000/4107370
227.28/225.30	c cleaning 9998 clauses out of 20012 with flag 4064001/4117371
227.79/225.83	c cleaning 9992 clauses out of 20013 with flag 4074000/4127370
228.29/226.38	c cleaning 9992 clauses out of 20022 with flag 4084001/4137371
228.88/226.97	c cleaning 10008 clauses out of 20030 with flag 4094001/4147371
229.39/227.49	c cleaning 10006 clauses out of 20022 with flag 4104001/4157371
229.99/228.01	c cleaning 10000 clauses out of 20015 with flag 4114000/4167370
230.49/228.58	c cleaning 10000 clauses out of 20015 with flag 4124000/4177370
231.09/229.13	c cleaning 10002 clauses out of 20016 with flag 4134001/4187371
231.59/229.65	c cleaning 10003 clauses out of 20013 with flag 4144000/4197370
232.19/230.21	c cleaning 10001 clauses out of 20011 with flag 4154001/4207371
232.69/230.75	c cleaning 9996 clauses out of 20009 with flag 4164000/4217370
233.29/231.31	c cleaning 9996 clauses out of 20014 with flag 4174001/4227371
233.80/231.80	c cleaning 10002 clauses out of 20018 with flag 4184001/4237371
234.30/232.39	c cleaning 10001 clauses out of 20015 with flag 4194000/4247370
234.90/232.92	c cleaning 10002 clauses out of 20014 with flag 4204000/4257370
235.40/233.45	c cleaning 10001 clauses out of 20014 with flag 4214002/4267372
235.90/233.95	c cleaning 10001 clauses out of 20011 with flag 4224000/4277370
236.50/234.52	c cleaning 9999 clauses out of 20011 with flag 4234001/4287371
237.10/235.12	c cleaning 10000 clauses out of 20011 with flag 4244000/4297370
237.60/235.66	c cleaning 9997 clauses out of 20012 with flag 4254001/4307371
238.10/236.17	c cleaning 9999 clauses out of 20014 with flag 4264000/4317370
238.70/236.78	c cleaning 10003 clauses out of 20016 with flag 4274001/4327371
239.40/237.41	c cleaning 10002 clauses out of 20012 with flag 4284000/4337370
239.90/237.98	c cleaning 10000 clauses out of 20011 with flag 4294001/4347371
240.51/238.50	c cleaning 9996 clauses out of 20012 with flag 4304002/4357372
241.01/239.02	c cleaning 10003 clauses out of 20016 with flag 4314002/4367372
241.51/239.60	c cleaning 10000 clauses out of 20012 with flag 4324001/4377371
242.11/240.17	c cleaning 10000 clauses out of 20012 with flag 4334001/4387371
242.71/240.70	c cleaning 9993 clauses out of 20012 with flag 4344001/4397371
243.21/241.22	c cleaning 9996 clauses out of 20018 with flag 4354000/4407370
243.81/241.84	c cleaning 10005 clauses out of 20024 with flag 4364002/4417372
244.41/242.44	c cleaning 10006 clauses out of 20018 with flag 4374001/4427371
245.02/243.00	c cleaning 10003 clauses out of 20012 with flag 4384001/4437371
245.52/243.52	c cleaning 9998 clauses out of 20008 with flag 4394000/4447370
246.12/244.14	c cleaning 9995 clauses out of 20012 with flag 4404002/4457372
246.72/244.75	c cleaning 9997 clauses out of 20015 with flag 4414000/4467370
247.33/245.31	c cleaning 10004 clauses out of 20018 with flag 4424000/4477370
247.82/245.82	c cleaning 10005 clauses out of 20014 with flag 4434000/4487370
248.33/246.36	c cleaning 10002 clauses out of 20010 with flag 4444001/4497371
248.82/246.89	c cleaning 10000 clauses out of 20008 with flag 4454001/4507371
249.43/247.44	c cleaning 9999 clauses out of 20008 with flag 4464001/4517371
249.93/247.99	c cleaning 9996 clauses out of 20008 with flag 4474000/4527370
250.53/248.52	c cleaning 9999 clauses out of 20012 with flag 4484000/4537370
251.03/249.02	c cleaning 9999 clauses out of 20013 with flag 4494000/4547370
251.63/249.61	c cleaning 10001 clauses out of 20015 with flag 4504001/4557371
252.13/250.18	c cleaning 9999 clauses out of 20014 with flag 4514001/4567371
252.74/250.79	c cleaning 9996 clauses out of 20018 with flag 4524004/4577374
253.33/251.32	c cleaning 10003 clauses out of 20018 with flag 4534000/4587370
253.84/251.82	c cleaning 10004 clauses out of 20016 with flag 4544001/4597371
254.23/252.29	c cleaning 10002 clauses out of 20013 with flag 4554002/4607372
254.83/252.81	c cleaning 9994 clauses out of 20009 with flag 4564000/4617370
255.33/253.36	c cleaning 10003 clauses out of 20015 with flag 4574000/4627370
255.93/253.92	c cleaning 9998 clauses out of 20013 with flag 4584001/4637371
256.43/254.47	c cleaning 10000 clauses out of 20014 with flag 4594000/4647370
257.03/255.03	c cleaning 10000 clauses out of 20015 with flag 4604001/4657371
257.54/255.59	c cleaning 9994 clauses out of 20014 with flag 4614000/4667370
258.14/256.11	c cleaning 10008 clauses out of 20023 with flag 4624003/4677373
258.65/256.64	c cleaning 9997 clauses out of 20012 with flag 4634000/4687370
259.15/257.19	c cleaning 9999 clauses out of 20015 with flag 4644000/4697370
259.75/257.74	c cleaning 10002 clauses out of 20016 with flag 4654000/4707370
260.25/258.30	c cleaning 10003 clauses out of 20015 with flag 4664001/4717371
260.75/258.78	c cleaning 9998 clauses out of 20012 with flag 4674001/4727371
261.36/259.32	c cleaning 10003 clauses out of 20013 with flag 4684000/4737370
261.76/259.79	c cleaning 10000 clauses out of 20013 with flag 4694003/4747373
262.36/260.33	c cleaning 9997 clauses out of 20010 with flag 4704000/4757370
262.86/260.81	c cleaning 10002 clauses out of 20013 with flag 4714000/4767370
263.46/261.40	c cleaning 9999 clauses out of 20011 with flag 4724000/4777370
263.96/261.92	c cleaning 10002 clauses out of 20013 with flag 4734001/4787371
264.46/262.48	c cleaning 10002 clauses out of 20013 with flag 4744003/4797373
265.06/263.03	c cleaning 9995 clauses out of 20008 with flag 4754000/4807370
265.56/263.55	c cleaning 10001 clauses out of 20013 with flag 4764000/4817370
266.07/264.05	c cleaning 9992 clauses out of 20012 with flag 4774000/4827370
266.56/264.58	c cleaning 10005 clauses out of 20020 with flag 4784000/4837370
267.17/265.11	c cleaning 10000 clauses out of 20016 with flag 4794001/4847371
267.66/265.66	c cleaning 9997 clauses out of 20015 with flag 4804000/4857370
268.27/266.21	c cleaning 10001 clauses out of 20019 with flag 4814001/4867371
268.77/266.74	c cleaning 10007 clauses out of 20019 with flag 4824002/4877372
269.27/267.27	c cleaning 9994 clauses out of 20010 with flag 4834000/4887370
269.87/267.82	c cleaning 10005 clauses out of 20019 with flag 4844003/4897373
270.37/268.37	c cleaning 9999 clauses out of 20014 with flag 4854003/4907373
270.87/268.88	c cleaning 9998 clauses out of 20012 with flag 4864000/4917370
271.47/269.47	c cleaning 9999 clauses out of 20014 with flag 4874000/4927370
272.07/270.04	c cleaning 10000 clauses out of 20016 with flag 4884001/4937371
272.58/270.55	c cleaning 9998 clauses out of 20018 with flag 4894003/4947373
273.07/271.08	c cleaning 9998 clauses out of 20017 with flag 4904000/4957370
273.68/271.63	c cleaning 10000 clauses out of 20019 with flag 4914000/4967370
274.18/272.17	c cleaning 10003 clauses out of 20019 with flag 4924000/4977370
274.68/272.70	c cleaning 10004 clauses out of 20018 with flag 4934002/4987372
275.28/273.23	c cleaning 10002 clauses out of 20012 with flag 4944000/4997370
275.78/273.79	c cleaning 10001 clauses out of 20011 with flag 4954001/5007371
276.38/274.34	c cleaning 9997 clauses out of 20009 with flag 4964000/5017370
276.88/274.88	c cleaning 10000 clauses out of 20012 with flag 4974000/5027370
277.48/275.46	c cleaning 9999 clauses out of 20012 with flag 4984000/5037370
277.99/276.00	c cleaning 9996 clauses out of 20014 with flag 4994001/5047371
278.59/276.54	c cleaning 10005 clauses out of 20018 with flag 5004001/5057371
279.09/277.07	c cleaning 10003 clauses out of 20014 with flag 5014002/5067372
279.59/277.59	c cleaning 9997 clauses out of 20010 with flag 5024001/5077371
280.19/278.16	c cleaning 9998 clauses out of 20012 with flag 5034000/5087370
280.69/278.68	c cleaning 10002 clauses out of 20014 with flag 5044000/5097370
281.30/279.21	c cleaning 9997 clauses out of 20013 with flag 5054001/5107371
281.80/279.75	c cleaning 10003 clauses out of 20016 with flag 5064001/5117371
282.29/280.25	c cleaning 9998 clauses out of 20012 with flag 5074000/5127370
282.90/280.85	c cleaning 10003 clauses out of 20015 with flag 5084001/5137371
283.53/281.41	c cleaning 10003 clauses out of 20012 with flag 5094001/5147371
283.93/281.89	c cleaning 9999 clauses out of 20012 with flag 5104004/5157374
284.53/282.41	c cleaning 9997 clauses out of 20009 with flag 5114000/5167370
285.03/282.98	c cleaning 10003 clauses out of 20014 with flag 5124002/5177372
285.53/283.49	c cleaning 9997 clauses out of 20009 with flag 5134000/5187370
286.13/284.02	c cleaning 9998 clauses out of 20014 with flag 5144002/5197372
286.64/284.57	c cleaning 10002 clauses out of 20015 with flag 5154001/5207371
287.14/285.09	c cleaning 9996 clauses out of 20013 with flag 5164001/5217371
287.64/285.59	c cleaning 10004 clauses out of 20016 with flag 5174000/5227370
288.24/286.12	c cleaning 9999 clauses out of 20013 with flag 5184001/5237371
288.74/286.65	c cleaning 10005 clauses out of 20015 with flag 5194002/5247372
289.25/287.16	c cleaning 9994 clauses out of 20008 with flag 5204000/5257370
289.74/287.69	c cleaning 9996 clauses out of 20015 with flag 5214001/5267371
290.35/288.24	c cleaning 10003 clauses out of 20018 with flag 5224000/5277370
290.84/288.77	c cleaning 10002 clauses out of 20016 with flag 5234001/5287371
291.35/289.30	c cleaning 9991 clauses out of 20013 with flag 5244000/5297370
291.95/289.82	c cleaning 10009 clauses out of 20023 with flag 5254001/5307371
292.45/290.34	c cleaning 9999 clauses out of 20013 with flag 5264000/5317370
292.95/290.86	c cleaning 10002 clauses out of 20014 with flag 5274000/5327370
293.45/291.39	c cleaning 10002 clauses out of 20013 with flag 5284001/5337371
294.05/291.92	c cleaning 9999 clauses out of 20010 with flag 5294000/5347370
294.55/292.43	c cleaning 9996 clauses out of 20011 with flag 5304000/5357370
295.05/292.96	c cleaning 10004 clauses out of 20015 with flag 5314000/5367370
295.65/293.52	c cleaning 9993 clauses out of 20012 with flag 5324001/5377371
296.15/294.06	c cleaning 10006 clauses out of 20019 with flag 5334001/5387371
296.65/294.58	c cleaning 9999 clauses out of 20012 with flag 5344000/5397370
297.15/295.09	c cleaning 10001 clauses out of 20015 with flag 5354002/5407372
297.75/295.69	c cleaning 9990 clauses out of 20012 with flag 5364000/5417370
298.36/296.30	c cleaning 10004 clauses out of 20022 with flag 5374000/5427370
299.06/296.91	c cleaning 9999 clauses out of 20018 with flag 5384000/5437370
299.56/297.48	c cleaning 10003 clauses out of 20019 with flag 5394000/5447370
300.16/298.05	c cleaning 10001 clauses out of 20016 with flag 5404000/5457370
300.76/298.64	c cleaning 10002 clauses out of 20016 with flag 5414001/5467371
301.27/299.17	c cleaning 10002 clauses out of 20013 with flag 5424000/5477370
301.76/299.68	c cleaning 10000 clauses out of 20011 with flag 5434000/5487370
302.26/300.18	c cleaning 10003 clauses out of 20013 with flag 5444002/5497372
302.86/300.70	c cleaning 10000 clauses out of 20010 with flag 5454002/5507372
303.36/301.20	c cleaning 10001 clauses out of 20010 with flag 5464002/5517372
303.87/301.75	c cleaning 9998 clauses out of 20008 with flag 5474001/5527371
304.47/302.30	c cleaning 9997 clauses out of 20009 with flag 5484000/5537370
304.97/302.84	c cleaning 9987 clauses out of 20014 with flag 5494002/5547372
305.47/303.36	c cleaning 10006 clauses out of 20025 with flag 5504000/5557370
306.07/303.91	c cleaning 10004 clauses out of 20021 with flag 5514002/5567372
306.57/304.45	c cleaning 9997 clauses out of 20016 with flag 5524001/5577371
307.17/305.01	c cleaning 10005 clauses out of 20018 with flag 5534000/5587370
307.67/305.58	c cleaning 9996 clauses out of 20014 with flag 5544001/5597371
308.28/306.11	c cleaning 10004 clauses out of 20018 with flag 5554001/5607371
308.78/306.64	c cleaning 10003 clauses out of 20015 with flag 5564002/5617372
309.28/307.15	c cleaning 9992 clauses out of 20010 with flag 5574000/5627370
309.78/307.65	c cleaning 10000 clauses out of 20018 with flag 5584000/5637370
310.38/308.22	c cleaning 10003 clauses out of 20018 with flag 5594000/5647370
310.98/308.82	c cleaning 10002 clauses out of 20018 with flag 5604003/5657373
311.48/309.36	c cleaning 10001 clauses out of 20013 with flag 5614000/5667370
312.08/309.91	c cleaning 9996 clauses out of 20016 with flag 5624004/5677374
312.58/310.45	c cleaning 10000 clauses out of 20016 with flag 5634000/5687370
313.08/310.95	c cleaning 10003 clauses out of 20017 with flag 5644001/5697371
313.69/311.51	c cleaning 9996 clauses out of 20015 with flag 5654002/5707372
314.19/312.02	c cleaning 10002 clauses out of 20017 with flag 5664000/5717370
314.69/312.57	c cleaning 9998 clauses out of 20016 with flag 5674001/5727371
315.29/313.12	c cleaning 9999 clauses out of 20019 with flag 5684002/5737372
315.79/313.63	c cleaning 10005 clauses out of 20019 with flag 5694001/5747371
316.29/314.19	c cleaning 10001 clauses out of 20014 with flag 5704001/5757371
316.80/314.70	c cleaning 9998 clauses out of 20015 with flag 5714003/5767373
317.39/315.22	c cleaning 10001 clauses out of 20014 with flag 5724000/5777370
317.90/315.74	c cleaning 10001 clauses out of 20015 with flag 5734002/5787372
318.39/316.24	c cleaning 9999 clauses out of 20015 with flag 5744003/5797373
318.90/316.74	c cleaning 9999 clauses out of 20014 with flag 5754001/5807371
319.40/317.28	c cleaning 9992 clauses out of 20017 with flag 5764003/5817373
320.00/317.87	c cleaning 9999 clauses out of 20023 with flag 5774001/5827371
320.60/318.48	c cleaning 10002 clauses out of 20023 with flag 5784000/5837370
321.21/319.02	c cleaning 10008 clauses out of 20021 with flag 5794000/5847370
321.70/319.55	c cleaning 10002 clauses out of 20013 with flag 5804000/5857370
322.21/320.10	c cleaning 9998 clauses out of 20012 with flag 5814001/5867371
322.70/320.58	c cleaning 9994 clauses out of 20014 with flag 5824001/5877371
323.21/321.10	c cleaning 10005 clauses out of 20020 with flag 5834001/5887371
323.81/321.69	c cleaning 9998 clauses out of 20014 with flag 5844000/5897370
324.41/322.26	c cleaning 10004 clauses out of 20017 with flag 5854001/5907371
325.01/322.80	c cleaning 9997 clauses out of 20014 with flag 5864002/5917372
325.52/323.32	c cleaning 10003 clauses out of 20016 with flag 5874001/5927371
326.01/323.87	c cleaning 10002 clauses out of 20013 with flag 5884001/5937371
326.51/324.38	c cleaning 9999 clauses out of 20010 with flag 5894000/5947370
327.11/324.90	c cleaning 10002 clauses out of 20012 with flag 5904001/5957371
327.61/325.42	c cleaning 10000 clauses out of 20011 with flag 5914002/5967372
328.21/326.01	c cleaning 9996 clauses out of 20009 with flag 5924000/5977370
328.72/326.55	c cleaning 9998 clauses out of 20015 with flag 5934002/5987372
329.32/327.10	c cleaning 10002 clauses out of 20015 with flag 5944000/5997370
329.82/327.65	c cleaning 9997 clauses out of 20013 with flag 5954000/6007370
330.42/328.22	c cleaning 10003 clauses out of 20016 with flag 5964000/6017370
330.93/328.77	c cleaning 10001 clauses out of 20014 with flag 5974001/6027371
331.53/329.32	c cleaning 10003 clauses out of 20015 with flag 5984003/6037373
332.03/329.85	c cleaning 9996 clauses out of 20009 with flag 5994000/6047370
332.63/330.44	c cleaning 9997 clauses out of 20013 with flag 6004000/6057370
333.24/331.01	c cleaning 9995 clauses out of 20016 with flag 6014000/6067370
333.73/331.56	c cleaning 10005 clauses out of 20021 with flag 6024000/6077370
334.34/332.13	c cleaning 9993 clauses out of 20016 with flag 6034000/6087370
334.84/332.68	c cleaning 10003 clauses out of 20026 with flag 6044003/6097373
335.44/333.23	c cleaning 10005 clauses out of 20022 with flag 6054002/6107372
335.94/333.78	c cleaning 9999 clauses out of 20015 with flag 6064000/6117370
336.55/334.36	c cleaning 9999 clauses out of 20016 with flag 6074000/6127370
337.14/334.96	c cleaning 10004 clauses out of 20018 with flag 6084001/6137371
337.65/335.48	c cleaning 10003 clauses out of 20013 with flag 6094000/6147370
338.25/336.03	c cleaning 10000 clauses out of 20012 with flag 6104002/6157372
338.75/336.57	c cleaning 9995 clauses out of 20012 with flag 6114002/6167372
339.35/337.19	c cleaning 9997 clauses out of 20015 with flag 6124000/6177370
340.05/337.84	c cleaning 9999 clauses out of 20019 with flag 6134001/6187371
340.65/338.43	c cleaning 9997 clauses out of 20020 with flag 6144001/6197371
341.25/339.00	c cleaning 10006 clauses out of 20023 with flag 6154001/6207371
341.75/339.57	c cleaning 10001 clauses out of 20016 with flag 6164000/6217370
342.35/340.17	c cleaning 10002 clauses out of 20018 with flag 6174003/6227373
343.05/340.82	c cleaning 9997 clauses out of 20014 with flag 6184001/6237371
343.65/341.42	c cleaning 10001 clauses out of 20016 with flag 6194000/6247370
344.15/341.94	c cleaning 10001 clauses out of 20016 with flag 6204001/6257371
344.65/342.48	c cleaning 10002 clauses out of 20016 with flag 6214002/6267372
345.26/343.06	c cleaning 9999 clauses out of 20015 with flag 6224003/6277373
345.86/343.66	c cleaning 9999 clauses out of 20015 with flag 6234002/6287372
346.46/344.29	c cleaning 10004 clauses out of 20015 with flag 6244001/6297371
347.16/344.93	c cleaning 9994 clauses out of 20010 with flag 6254000/6307370
347.76/345.59	c cleaning 10003 clauses out of 20016 with flag 6264000/6317370
348.36/346.18	c cleaning 9997 clauses out of 20013 with flag 6274000/6327370
349.06/346.82	c cleaning 10000 clauses out of 20017 with flag 6284001/6337371
349.66/347.49	c cleaning 10008 clauses out of 20019 with flag 6294003/6347373
350.46/348.25	c cleaning 9993 clauses out of 20008 with flag 6304000/6357370
351.06/348.89	c cleaning 10003 clauses out of 20016 with flag 6314001/6367371
351.66/349.41	c cleaning 10001 clauses out of 20012 with flag 6324000/6377370
352.16/349.93	c cleaning 9997 clauses out of 20012 with flag 6334001/6387371
352.67/350.48	c cleaning 9992 clauses out of 20014 with flag 6344000/6397370
353.27/351.06	c cleaning 10005 clauses out of 20022 with flag 6354000/6407370
353.87/351.65	c cleaning 10003 clauses out of 20019 with flag 6364002/6417372
354.47/352.28	c cleaning 9997 clauses out of 20014 with flag 6374000/6427370
355.07/352.84	c cleaning 9999 clauses out of 20017 with flag 6384000/6437370
355.57/353.36	c cleaning 10003 clauses out of 20019 with flag 6394001/6447371
356.17/353.95	c cleaning 10001 clauses out of 20015 with flag 6404000/6457370
356.77/354.55	c cleaning 10002 clauses out of 20015 with flag 6414001/6467371
357.37/355.13	c cleaning 9997 clauses out of 20012 with flag 6424000/6477370
357.87/355.64	c cleaning 9997 clauses out of 20015 with flag 6434000/6487370
358.47/356.22	c cleaning 10005 clauses out of 20018 with flag 6444000/6497370
359.07/356.84	c cleaning 9989 clauses out of 20014 with flag 6454001/6507371
359.68/357.42	c cleaning 10005 clauses out of 20024 with flag 6464000/6517370
360.17/357.97	c cleaning 10004 clauses out of 20020 with flag 6474001/6527371
360.78/358.52	c cleaning 10002 clauses out of 20017 with flag 6484002/6537372
361.38/359.10	c cleaning 9999 clauses out of 20013 with flag 6494000/6547370
361.89/359.69	c cleaning 10004 clauses out of 20015 with flag 6504001/6557371
362.58/360.30	c cleaning 9993 clauses out of 20012 with flag 6514002/6567372
363.18/360.94	c cleaning 9996 clauses out of 20017 with flag 6524000/6577370
363.78/361.59	c cleaning 10000 clauses out of 20022 with flag 6534001/6587371
364.38/362.11	c cleaning 10002 clauses out of 20021 with flag 6544000/6597370
364.88/362.63	c cleaning 10003 clauses out of 20019 with flag 6554000/6607370
365.38/363.14	c cleaning 10002 clauses out of 20016 with flag 6564000/6617370
365.98/363.70	c cleaning 10004 clauses out of 20016 with flag 6574002/6627372
366.48/364.28	c cleaning 9998 clauses out of 20011 with flag 6584001/6637371
367.08/364.81	c cleaning 10004 clauses out of 20012 with flag 6594000/6647370
367.58/365.36	c cleaning 9997 clauses out of 20008 with flag 6604000/6657370
368.09/365.86	c cleaning 10002 clauses out of 20011 with flag 6614000/6667370
368.69/366.45	c cleaning 10001 clauses out of 20011 with flag 6624002/6677372
369.30/367.09	c cleaning 10002 clauses out of 20010 with flag 6634002/6687372
369.90/367.67	c cleaning 9994 clauses out of 20007 with flag 6644001/6697371
370.50/368.26	c cleaning 10000 clauses out of 20012 with flag 6654000/6707370
371.10/368.83	c cleaning 9997 clauses out of 20013 with flag 6664001/6717371
371.70/369.40	c cleaning 9997 clauses out of 20016 with flag 6674001/6727371
372.30/370.01	c cleaning 10005 clauses out of 20020 with flag 6684002/6737372
372.80/370.57	c cleaning 10002 clauses out of 20014 with flag 6694001/6747371
373.30/371.08	c cleaning 10003 clauses out of 20011 with flag 6704000/6757370
373.90/371.64	c cleaning 9999 clauses out of 20009 with flag 6714001/6767371
374.50/372.20	c cleaning 10002 clauses out of 20009 with flag 6724000/6777370
375.01/372.78	c cleaning 9999 clauses out of 20008 with flag 6734001/6787371
375.60/373.35	c cleaning 9998 clauses out of 20010 with flag 6744002/6797372
376.21/373.92	c cleaning 9996 clauses out of 20010 with flag 6754000/6807370
376.81/374.50	c cleaning 9997 clauses out of 20014 with flag 6764000/6817370
377.31/375.06	c cleaning 10001 clauses out of 20018 with flag 6774001/6827371
377.91/375.68	c cleaning 9998 clauses out of 20016 with flag 6784000/6837370
378.51/376.29	c cleaning 10001 clauses out of 20018 with flag 6794000/6847370
379.21/376.92	c cleaning 10006 clauses out of 20021 with flag 6804004/6857374
379.71/377.49	c cleaning 9999 clauses out of 20011 with flag 6814000/6867370
380.32/378.07	c cleaning 10002 clauses out of 20012 with flag 6824000/6877370
380.92/378.63	c cleaning 10002 clauses out of 20010 with flag 6834000/6887370
381.52/379.25	c cleaning 9997 clauses out of 20010 with flag 6844002/6897372
382.22/379.91	c cleaning 10001 clauses out of 20012 with flag 6854001/6907371
382.72/380.47	c cleaning 10000 clauses out of 20011 with flag 6864001/6917371
383.32/381.02	c cleaning 9998 clauses out of 20012 with flag 6874002/6927372
383.92/381.68	c cleaning 10002 clauses out of 20015 with flag 6884003/6937373
384.52/382.25	c cleaning 9999 clauses out of 20011 with flag 6894001/6947371
385.12/382.85	c cleaning 9999 clauses out of 20011 with flag 6904000/6957370
385.72/383.40	c cleaning 9998 clauses out of 20013 with flag 6914001/6967371
386.32/384.01	c cleaning 9998 clauses out of 20017 with flag 6924003/6977373
386.92/384.62	c cleaning 9997 clauses out of 20016 with flag 6934000/6987370
387.52/385.20	c cleaning 10004 clauses out of 20019 with flag 6944000/6997370
388.02/385.79	c cleaning 10000 clauses out of 20016 with flag 6954001/7007371
388.62/386.39	c cleaning 10004 clauses out of 20015 with flag 6964000/7017370
389.23/386.99	c cleaning 10000 clauses out of 20011 with flag 6974000/7027370
389.83/387.56	c cleaning 10003 clauses out of 20014 with flag 6984003/7037373
390.43/388.14	c cleaning 9998 clauses out of 20009 with flag 6994001/7047371
390.94/388.65	c cleaning 9997 clauses out of 20011 with flag 7004001/7057371
391.54/389.24	c cleaning 10000 clauses out of 20014 with flag 7014001/7067371
392.15/389.80	c cleaning 10001 clauses out of 20015 with flag 7024002/7077372
392.65/390.35	c cleaning 9998 clauses out of 20012 with flag 7034000/7087370
393.25/390.93	c cleaning 10001 clauses out of 20015 with flag 7044001/7097371
393.75/391.49	c cleaning 10001 clauses out of 20016 with flag 7054003/7107373
394.35/392.06	c cleaning 10002 clauses out of 20013 with flag 7064001/7117371
394.96/392.64	c cleaning 10001 clauses out of 20010 with flag 7074000/7127370
395.56/393.26	c cleaning 9999 clauses out of 20009 with flag 7084000/7137370
396.16/393.88	c cleaning 9995 clauses out of 20012 with flag 7094002/7147372
396.86/394.51	c cleaning 10000 clauses out of 20015 with flag 7104000/7157370
397.46/395.15	c cleaning 9998 clauses out of 20015 with flag 7114000/7167370
397.96/395.69	c cleaning 10003 clauses out of 20017 with flag 7124000/7177370
398.56/396.27	c cleaning 9999 clauses out of 20014 with flag 7134000/7187370
399.17/396.88	c cleaning 9999 clauses out of 20015 with flag 7144000/7197370
399.77/397.48	c cleaning 9998 clauses out of 20016 with flag 7154000/7207370
400.37/398.07	c cleaning 10003 clauses out of 20018 with flag 7164000/7217370
400.97/398.66	c cleaning 9997 clauses out of 20015 with flag 7174000/7227370
401.58/399.25	c cleaning 10003 clauses out of 20019 with flag 7184001/7237371
402.17/399.84	c cleaning 10004 clauses out of 20015 with flag 7194000/7247370
402.78/400.41	c cleaning 10003 clauses out of 20014 with flag 7204003/7257373
403.27/400.99	c cleaning 10001 clauses out of 20013 with flag 7214005/7267375
403.97/401.60	c cleaning 9999 clauses out of 20008 with flag 7224001/7277371
404.47/402.17	c cleaning 9998 clauses out of 20010 with flag 7234002/7287372
405.08/402.76	c cleaning 10004 clauses out of 20014 with flag 7244004/7297374
405.68/403.39	c cleaning 9992 clauses out of 20009 with flag 7254003/7307373
406.28/403.97	c cleaning 10003 clauses out of 20015 with flag 7264001/7317371
406.98/404.62	c cleaning 9998 clauses out of 20012 with flag 7274001/7327371
407.58/405.26	c cleaning 9999 clauses out of 20013 with flag 7284000/7337370
408.19/405.88	c cleaning 10004 clauses out of 20015 with flag 7294002/7347372
408.79/406.48	c cleaning 9999 clauses out of 20009 with flag 7304000/7357370
409.40/407.06	c cleaning 10002 clauses out of 20012 with flag 7314002/7367372
409.99/407.61	c cleaning 9996 clauses out of 20009 with flag 7324001/7377371
410.50/408.16	c cleaning 10000 clauses out of 20014 with flag 7334002/7387372
411.10/408.78	c cleaning 9999 clauses out of 20013 with flag 7344001/7397371
411.70/409.37	c cleaning 10002 clauses out of 20013 with flag 7354000/7407370
412.30/409.96	c cleaning 9998 clauses out of 20011 with flag 7364000/7417370
412.90/410.53	c cleaning 9998 clauses out of 20013 with flag 7374000/7427370
413.50/411.10	c cleaning 9999 clauses out of 20015 with flag 7384000/7437370
414.10/411.70	c cleaning 9993 clauses out of 20019 with flag 7394003/7447373
414.60/412.27	c cleaning 10004 clauses out of 20023 with flag 7404000/7457370
415.21/412.85	c cleaning 10005 clauses out of 20024 with flag 7414005/7467375
415.81/413.44	c cleaning 10001 clauses out of 20015 with flag 7424001/7477371
416.41/414.08	c cleaning 10000 clauses out of 20014 with flag 7434001/7487371
417.01/414.68	c cleaning 10003 clauses out of 20016 with flag 7444003/7497373
417.61/415.24	c cleaning 10001 clauses out of 20011 with flag 7454001/7507371
418.22/415.82	c cleaning 9999 clauses out of 20010 with flag 7464001/7517371
418.81/416.45	c cleaning 9999 clauses out of 20012 with flag 7474002/7527372
419.51/417.10	c cleaning 10000 clauses out of 20013 with flag 7484002/7537372
420.12/417.76	c cleaning 9998 clauses out of 20012 with flag 7494001/7547371
420.72/418.37	c cleaning 9995 clauses out of 20013 with flag 7504000/7557370
421.42/419.03	c cleaning 10005 clauses out of 20021 with flag 7514003/7567373
422.12/419.73	c cleaning 10005 clauses out of 20017 with flag 7524004/7577374
422.72/420.40	c cleaning 9999 clauses out of 20009 with flag 7534001/7587371
423.52/421.13	c cleaning 10000 clauses out of 20010 with flag 7544001/7597371
424.22/421.89	c cleaning 9998 clauses out of 20011 with flag 7554002/7607372
425.03/422.65	c cleaning 10000 clauses out of 20008 with flag 7564000/7617370
425.03/422.68	c starts		: 329
425.03/422.68	c conflicts		: 7617607
425.03/422.68	c decisions		: 10968515
425.03/422.68	c propagations		: 373868866
425.03/422.68	c inspects		: 4087252999
425.03/422.68	c shortcuts		: 0
425.03/422.68	c learnt literals	: 9
425.03/422.68	c learnt binary clauses	: 40
425.03/422.68	c learnt ternary clauses	: 1322
425.03/422.68	c learnt constraints	: 7617597
425.03/422.68	c ignored constraints	: 0
425.03/422.68	c root simplifications	: 0
425.03/422.68	c removed literals (reason simplification)	: 43850604
425.03/422.68	c reason swapping (by a shorter reason)	: 0
425.03/422.68	c Calls to reduceDB	: 765
425.03/422.68	c number of reductions to clauses (during analyze)	: 0
425.03/422.68	c number of learned constraints concerned by reduction	: 0
425.03/422.68	c number of learning phase by resolution	: 0
425.03/422.68	c number of learning phase by cutting planes	: 0
425.03/422.68	c speed (assignments/second)	: 896701.3464831702
425.03/422.68	c non guided choices	3966
425.03/422.68	c learnt constraints type 
425.03/422.68	c constraints type 
425.03/422.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
425.03/422.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
425.03/422.68	s OPTIMUM FOUND
425.03/422.69	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 
425.03/422.69	c objective function=1
425.03/422.69	c Total wall clock time (in seconds): 422.578

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492055-1307911248/watcher-3492055-1307911248 -o /var/tmp/evaluation-result-3492055-1307911248/solver-3492055-1307911248 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492055-1307911248.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.04 2.02 1.96 2/195 11529
/proc/meminfo: memFree=1707524/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/11529/stat : 11529 (java) R 11527 11529 9537 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902724562 23580672 693 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248084735464 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11529/statm: 5757 693 509 9 0 124 0

[startup+0.0848249 s]
/proc/loadavg: 2.04 2.02 1.96 2/195 11529
/proc/meminfo: memFree=1707524/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10538784 CPUtime=0.07 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 12288 0 1 0 6 1 0 0 25 0 18 0 902724562 10791714816 11982 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2634696 11982 1914 9 0 2625430 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538784

[startup+0.100822 s]
/proc/loadavg: 2.04 2.02 1.96 2/195 11529
/proc/meminfo: memFree=1707524/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10539244 CPUtime=0.11 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 13048 0 1 0 9 2 0 0 25 0 18 0 902724562 10792185856 12742 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2634811 12742 2093 9 0 2625545 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539244

[startup+0.300789 s]
/proc/loadavg: 2.04 2.02 1.96 2/195 11529
/proc/meminfo: memFree=1707524/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10541236 CPUtime=0.5 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 17027 0 1 0 47 3 0 0 25 0 18 0 902724562 10794225664 15937 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2635348 15942 2205 9 0 2626082 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541236

[startup+0.700726 s]
/proc/loadavg: 2.04 2.02 1.96 2/195 11529
/proc/meminfo: memFree=1707524/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10544964 CPUtime=1.58 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 23431 0 1 0 154 4 0 0 25 0 19 0 902724562 10798043136 19540 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2636241 19540 2236 9 0 2626975 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10544964

[startup+1.50058 s]
/proc/loadavg: 2.04 2.02 1.96 3/214 11548
/proc/meminfo: memFree=1631572/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10544964 CPUtime=2.41 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 26744 0 1 0 236 5 0 0 25 0 19 0 902724562 10798043136 22852 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2636241 22852 2238 9 0 2626975 0
[pid=11529/tid=11531] ppid=11527 vsize=10544964 CPUtime=1.48 cores=0,2,4,6
/proc/11529/task/11531/stat : 11531 (java) R 11527 11529 9537 0 -1 4202560 18111 0 1 0 145 3 0 0 19 0 19 0 902724563 10798043136 22852 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 46912505739777 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11529/tid=11532] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11532/stat : 11532 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22852 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11533] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11533/stat : 11533 (java) S 11527 11529 9537 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22852 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11534] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11534/stat : 11534 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22852 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11535] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11535/stat : 11535 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22852 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11537] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11537/stat : 11537 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11538] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11538/stat : 11538 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11539] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11539/stat : 11539 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724564 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11540] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11540/stat : 11540 (java) S 11527 11529 9537 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902724565 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 0 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11541] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11541/stat : 11541 (java) S 11527 11529 9537 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902724566 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11542] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11542/stat : 11542 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902724566 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11543] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11543/stat : 11543 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101521841 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11544] ppid=11527 vsize=10544964 CPUtime=0.44 cores=0,2,4,6
/proc/11529/task/11544/stat : 11544 (java) S 11527 11529 9537 0 -1 4202560 4568 0 0 0 44 0 0 0 16 0 19 0 902724568 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11545] ppid=11527 vsize=10544964 CPUtime=0.46 cores=0,2,4,6
/proc/11529/task/11545/stat : 11545 (java) S 11527 11529 9537 0 -1 4202560 2901 0 0 0 46 0 0 0 17 0 19 0 902724568 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11546] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11546/stat : 11546 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11547] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11547/stat : 11547 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902724568 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11548] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11548/stat : 11548 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902724598 10798043136 22853 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 10544964

[startup+3.1013 s]
/proc/loadavg: 2.04 2.02 1.96 3/214 11548
/proc/meminfo: memFree=1617560/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10544964 CPUtime=4.14 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 31777 0 1 0 408 6 0 0 25 0 19 0 902724562 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2636241 27880 2264 9 0 2626975 0
[pid=11529/tid=11531] ppid=11527 vsize=10544964 CPUtime=3.05 cores=0,2,4,6
/proc/11529/task/11531/stat : 11531 (java) R 11527 11529 9537 0 -1 4202560 21060 0 1 0 301 4 0 0 18 0 19 0 902724563 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 46912505710040 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11529/tid=11532] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11532/stat : 11532 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11533] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11533/stat : 11533 (java) S 11527 11529 9537 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11534] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11534/stat : 11534 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11535] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11535/stat : 11535 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11537] ppid=11527 vsize=10544964 CPUtime=0.01 cores=0,2,4,6
/proc/11529/task/11537/stat : 11537 (java) S 11527 11529 9537 0 -1 4202560 295 0 0 0 1 0 0 0 18 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11538] ppid=11527 vsize=10544964 CPUtime=0.01 cores=0,2,4,6
/proc/11529/task/11538/stat : 11538 (java) S 11527 11529 9537 0 -1 4202560 347 0 0 0 1 0 0 0 17 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11539] ppid=11527 vsize=10544964 CPUtime=0.01 cores=0,2,4,6
/proc/11529/task/11539/stat : 11539 (java) S 11527 11529 9537 0 -1 4202560 394 0 0 0 1 0 0 0 17 0 19 0 902724564 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11540] ppid=11527 vsize=10544964 CPUtime=0.01 cores=0,2,4,6
/proc/11529/task/11540/stat : 11540 (java) S 11527 11529 9537 0 -1 4202560 1026 0 0 0 1 0 0 0 15 0 19 0 902724565 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 0 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11541] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11541/stat : 11541 (java) S 11527 11529 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902724566 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11542] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11542/stat : 11542 (java) S 11527 11529 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902724566 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11543] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11543/stat : 11543 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101521841 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11544] ppid=11527 vsize=10544964 CPUtime=0.51 cores=0,2,4,6
/proc/11529/task/11544/stat : 11544 (java) S 11527 11529 9537 0 -1 4202560 4583 0 0 0 51 0 0 0 15 0 19 0 902724568 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11545] ppid=11527 vsize=10544964 CPUtime=0.49 cores=0,2,4,6
/proc/11529/task/11545/stat : 11545 (java) S 11527 11529 9537 0 -1 4202560 2912 0 0 0 49 0 0 0 15 0 19 0 902724568 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11546] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11546/stat : 11546 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11547] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11547/stat : 11547 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902724568 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11548] ppid=11527 vsize=10544964 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11548/stat : 11548 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902724598 10798043136 27880 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 10544964

[startup+6.30073 s]
/proc/loadavg: 2.03 2.02 1.96 3/214 11548
/proc/meminfo: memFree=1586436/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10560020 CPUtime=7.84 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 39080 0 1 0 778 6 0 0 25 0 19 0 902724562 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2640005 32115 2264 9 0 2630739 0
[pid=11529/tid=11531] ppid=11527 vsize=10560020 CPUtime=6.12 cores=0,2,4,6
/proc/11529/task/11531/stat : 11531 (java) R 11527 11529 9537 0 -1 4202560 21066 0 1 0 608 4 0 0 25 0 19 0 902724563 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 46912505710133 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11529/tid=11532] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11532/stat : 11532 (java) S 11527 11529 9537 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11533] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11533/stat : 11533 (java) S 11527 11529 9537 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11534] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11534/stat : 11534 (java) S 11527 11529 9537 0 -1 4202560 158 0 0 0 0 0 0 0 16 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11535] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11535/stat : 11535 (java) S 11527 11529 9537 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11537] ppid=11527 vsize=10560020 CPUtime=0.01 cores=0,2,4,6
/proc/11529/task/11537/stat : 11537 (java) S 11527 11529 9537 0 -1 4202560 296 0 0 0 1 0 0 0 15 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11538] ppid=11527 vsize=10560020 CPUtime=0.01 cores=0,2,4,6
/proc/11529/task/11538/stat : 11538 (java) S 11527 11529 9537 0 -1 4202560 350 0 0 0 1 0 0 0 16 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11539] ppid=11527 vsize=10560020 CPUtime=0.01 cores=0,2,4,6
/proc/11529/task/11539/stat : 11539 (java) S 11527 11529 9537 0 -1 4202560 399 0 0 0 1 0 0 0 15 0 19 0 902724564 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11540] ppid=11527 vsize=10560020 CPUtime=0.12 cores=0,2,4,6
/proc/11529/task/11540/stat : 11540 (java) S 11527 11529 9537 0 -1 4202560 1300 0 0 0 12 0 0 0 15 0 19 0 902724565 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 0 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11541] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11541/stat : 11541 (java) S 11527 11529 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902724566 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11542] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11542/stat : 11542 (java) S 11527 11529 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902724566 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11543] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11543/stat : 11543 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101521841 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11544] ppid=11527 vsize=10560020 CPUtime=0.51 cores=0,2,4,6
/proc/11529/task/11544/stat : 11544 (java) S 11527 11529 9537 0 -1 4202560 4584 0 0 0 51 0 0 0 15 0 19 0 902724568 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11545] ppid=11527 vsize=10560020 CPUtime=0.98 cores=0,2,4,6
/proc/11529/task/11545/stat : 11545 (java) S 11527 11529 9537 0 -1 4202560 9604 0 0 0 98 0 0 0 16 0 19 0 902724568 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11546] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11546/stat : 11546 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11547] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11547/stat : 11547 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902724568 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11548] ppid=11527 vsize=10560020 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11548/stat : 11548 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902724598 10813460480 32115 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 10560020

[startup+12.7016 s]

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

/proc/11529/task/11532/stat : 11532 (java) S 11527 11529 9537 0 -1 4202560 25 0 0 0 25 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11533] ppid=11527 vsize=10555536 CPUtime=0.21 cores=0,2,4,6
/proc/11529/task/11533/stat : 11533 (java) S 11527 11529 9537 0 -1 4202560 183 0 0 0 21 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11534] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11534/stat : 11534 (java) S 11527 11529 9537 0 -1 4202560 182 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11535] ppid=11527 vsize=10555536 CPUtime=0.24 cores=0,2,4,6
/proc/11529/task/11535/stat : 11535 (java) S 11527 11529 9537 0 -1 4202560 26 0 0 0 24 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=10555536 CPUtime=0.23 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (java) S 11527 11529 9537 0 -1 4202560 31 0 0 0 23 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11537] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11537/stat : 11537 (java) S 11527 11529 9537 0 -1 4202560 322 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11538] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11538/stat : 11538 (java) S 11527 11529 9537 0 -1 4202560 372 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11539] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11539/stat : 11539 (java) S 11527 11529 9537 0 -1 4202560 414 0 0 0 22 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11540] ppid=11527 vsize=10555536 CPUtime=13.73 cores=0,2,4,6
/proc/11529/task/11540/stat : 11540 (java) S 11527 11529 9537 0 -1 4202560 1923 0 0 0 1367 6 0 0 16 0 19 0 902724565 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 0 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11541] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11541/stat : 11541 (java) S 11527 11529 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11542] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11542/stat : 11542 (java) S 11527 11529 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11543] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11543/stat : 11543 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101521841 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11544] ppid=11527 vsize=10555536 CPUtime=0.53 cores=0,2,4,6
/proc/11529/task/11544/stat : 11544 (java) S 11527 11529 9537 0 -1 4202560 4584 0 0 0 53 0 0 0 16 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11545] ppid=11527 vsize=10555536 CPUtime=1.04 cores=0,2,4,6
/proc/11529/task/11545/stat : 11545 (java) S 11527 11529 9537 0 -1 4202560 9610 0 0 0 104 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11546] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11546/stat : 11546 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11547] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11547/stat : 11547 (java) S 11527 11529 9537 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11548] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11548/stat : 11548 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902724598 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 423.92
Current children cumulated vsize (KiB) 10555536

[startup+422.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 11616
/proc/meminfo: memFree=1547340/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10555536 CPUtime=424.73 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 40670 0 1 0 42453 20 0 0 25 0 19 0 902724562 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2638884 31801 2265 9 0 2629618 0
[pid=11529/tid=11531] ppid=11527 vsize=10555536 CPUtime=407.44 cores=0,2,4,6
/proc/11529/task/11531/stat : 11531 (java) R 11527 11529 9537 0 -1 4202560 21822 0 1 0 40739 5 0 0 25 0 19 0 902724563 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 46912505739777 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11529/tid=11532] ppid=11527 vsize=10555536 CPUtime=0.25 cores=0,2,4,6
/proc/11529/task/11532/stat : 11532 (java) S 11527 11529 9537 0 -1 4202560 25 0 0 0 25 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11533] ppid=11527 vsize=10555536 CPUtime=0.21 cores=0,2,4,6
/proc/11529/task/11533/stat : 11533 (java) S 11527 11529 9537 0 -1 4202560 183 0 0 0 21 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11534] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11534/stat : 11534 (java) S 11527 11529 9537 0 -1 4202560 182 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11535] ppid=11527 vsize=10555536 CPUtime=0.24 cores=0,2,4,6
/proc/11529/task/11535/stat : 11535 (java) S 11527 11529 9537 0 -1 4202560 26 0 0 0 24 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=10555536 CPUtime=0.23 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (java) S 11527 11529 9537 0 -1 4202560 31 0 0 0 23 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11537] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11537/stat : 11537 (java) S 11527 11529 9537 0 -1 4202560 322 0 0 0 22 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11538] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11538/stat : 11538 (java) S 11527 11529 9537 0 -1 4202560 372 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11539] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11539/stat : 11539 (java) S 11527 11529 9537 0 -1 4202560 414 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11540] ppid=11527 vsize=10555536 CPUtime=13.75 cores=0,2,4,6
/proc/11529/task/11540/stat : 11540 (java) S 11527 11529 9537 0 -1 4202560 1923 0 0 0 1369 6 0 0 16 0 19 0 902724565 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 0 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11541] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11541/stat : 11541 (java) S 11527 11529 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11542] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11542/stat : 11542 (java) S 11527 11529 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11543] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11543/stat : 11543 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101521841 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11544] ppid=11527 vsize=10555536 CPUtime=0.53 cores=0,2,4,6
/proc/11529/task/11544/stat : 11544 (java) S 11527 11529 9537 0 -1 4202560 4584 0 0 0 53 0 0 0 16 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11545] ppid=11527 vsize=10555536 CPUtime=1.04 cores=0,2,4,6
/proc/11529/task/11545/stat : 11545 (java) S 11527 11529 9537 0 -1 4202560 9610 0 0 0 104 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11546] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11546/stat : 11546 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11547] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11547/stat : 11547 (java) S 11527 11529 9537 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11548] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11548/stat : 11548 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902724598 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 424.73
Current children cumulated vsize (KiB) 10555536

[startup+422.501 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 11616
/proc/meminfo: memFree=1547340/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10555536 CPUtime=424.93 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 40670 0 1 0 42473 20 0 0 25 0 19 0 902724562 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2638884 31801 2265 9 0 2629618 0
[pid=11529/tid=11531] ppid=11527 vsize=10555536 CPUtime=407.64 cores=0,2,4,6
/proc/11529/task/11531/stat : 11531 (java) R 11527 11529 9537 0 -1 4202560 21822 0 1 0 40759 5 0 0 25 0 19 0 902724563 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 46912505740307 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11529/tid=11532] ppid=11527 vsize=10555536 CPUtime=0.25 cores=0,2,4,6
/proc/11529/task/11532/stat : 11532 (java) S 11527 11529 9537 0 -1 4202560 25 0 0 0 25 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11533] ppid=11527 vsize=10555536 CPUtime=0.21 cores=0,2,4,6
/proc/11529/task/11533/stat : 11533 (java) S 11527 11529 9537 0 -1 4202560 183 0 0 0 21 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11534] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11534/stat : 11534 (java) S 11527 11529 9537 0 -1 4202560 182 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11535] ppid=11527 vsize=10555536 CPUtime=0.24 cores=0,2,4,6
/proc/11529/task/11535/stat : 11535 (java) S 11527 11529 9537 0 -1 4202560 26 0 0 0 24 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=10555536 CPUtime=0.23 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (java) S 11527 11529 9537 0 -1 4202560 31 0 0 0 23 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11537] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11537/stat : 11537 (java) S 11527 11529 9537 0 -1 4202560 322 0 0 0 22 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11538] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11538/stat : 11538 (java) S 11527 11529 9537 0 -1 4202560 372 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11539] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11539/stat : 11539 (java) S 11527 11529 9537 0 -1 4202560 414 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11540] ppid=11527 vsize=10555536 CPUtime=13.75 cores=0,2,4,6
/proc/11529/task/11540/stat : 11540 (java) S 11527 11529 9537 0 -1 4202560 1923 0 0 0 1369 6 0 0 16 0 19 0 902724565 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 0 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11541] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11541/stat : 11541 (java) S 11527 11529 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11542] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11542/stat : 11542 (java) S 11527 11529 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11543] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11543/stat : 11543 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101521841 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11544] ppid=11527 vsize=10555536 CPUtime=0.53 cores=0,2,4,6
/proc/11529/task/11544/stat : 11544 (java) S 11527 11529 9537 0 -1 4202560 4584 0 0 0 53 0 0 0 16 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11545] ppid=11527 vsize=10555536 CPUtime=1.04 cores=0,2,4,6
/proc/11529/task/11545/stat : 11545 (java) S 11527 11529 9537 0 -1 4202560 9610 0 0 0 104 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11546] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11546/stat : 11546 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11547] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11547/stat : 11547 (java) S 11527 11529 9537 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11548] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11548/stat : 11548 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902724598 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 424.93
Current children cumulated vsize (KiB) 10555536

[startup+422.601 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 11616
/proc/meminfo: memFree=1547340/32950928 swapFree=67055156/67111528
[pid=11529] ppid=11527 vsize=10555536 CPUtime=425.03 cores=0,2,4,6
/proc/11529/stat : 11529 (java) S 11527 11529 9537 0 -1 4202496 40670 0 1 0 42483 20 0 0 25 0 19 0 902724562 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 2638884 31801 2265 9 0 2629618 0
[pid=11529/tid=11531] ppid=11527 vsize=10555536 CPUtime=407.74 cores=0,2,4,6
/proc/11529/task/11531/stat : 11531 (java) R 11527 11529 9537 0 -1 4202560 21822 0 1 0 40769 5 0 0 25 0 19 0 902724563 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 46912505739777 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11529/tid=11532] ppid=11527 vsize=10555536 CPUtime=0.25 cores=0,2,4,6
/proc/11529/task/11532/stat : 11532 (java) S 11527 11529 9537 0 -1 4202560 25 0 0 0 25 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11533] ppid=11527 vsize=10555536 CPUtime=0.21 cores=0,2,4,6
/proc/11529/task/11533/stat : 11533 (java) S 11527 11529 9537 0 -1 4202560 183 0 0 0 21 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11534] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11534/stat : 11534 (java) S 11527 11529 9537 0 -1 4202560 182 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11535] ppid=11527 vsize=10555536 CPUtime=0.24 cores=0,2,4,6
/proc/11529/task/11535/stat : 11535 (java) S 11527 11529 9537 0 -1 4202560 26 0 0 0 24 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=10555536 CPUtime=0.23 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (java) S 11527 11529 9537 0 -1 4202560 31 0 0 0 23 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11537] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11537/stat : 11537 (java) S 11527 11529 9537 0 -1 4202560 322 0 0 0 22 0 0 0 16 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11538] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11538/stat : 11538 (java) S 11527 11529 9537 0 -1 4202560 372 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11539] ppid=11527 vsize=10555536 CPUtime=0.22 cores=0,2,4,6
/proc/11529/task/11539/stat : 11539 (java) S 11527 11529 9537 0 -1 4202560 414 0 0 0 22 0 0 0 15 0 19 0 902724564 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11540] ppid=11527 vsize=10555536 CPUtime=13.75 cores=0,2,4,6
/proc/11529/task/11540/stat : 11540 (java) S 11527 11529 9537 0 -1 4202560 1923 0 0 0 1369 6 0 0 16 0 19 0 902724565 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 0 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11541] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11541/stat : 11541 (java) S 11527 11529 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11542] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11542/stat : 11542 (java) S 11527 11529 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902724566 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
[pid=11529/tid=11543] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11543/stat : 11543 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101521841 0 4 0 16800975 18446604447329105216 0 0 -1 2 0 0 0
[pid=11529/tid=11544] ppid=11527 vsize=10555536 CPUtime=0.53 cores=0,2,4,6
/proc/11529/task/11544/stat : 11544 (java) S 11527 11529 9537 0 -1 4202560 4584 0 0 0 53 0 0 0 16 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11545] ppid=11527 vsize=10555536 CPUtime=1.04 cores=0,2,4,6
/proc/11529/task/11545/stat : 11545 (java) S 11527 11529 9537 0 -1 4202560 9610 0 0 0 104 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11546] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11546/stat : 11546 (java) S 11527 11529 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514137 0 4 0 16800975 18446604447329105216 0 0 -1 4 0 0 0
[pid=11529/tid=11547] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11547/stat : 11547 (java) S 11527 11529 9537 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902724568 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 0 0 0 0
[pid=11529/tid=11548] ppid=11527 vsize=10555536 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11548/stat : 11548 (java) S 11527 11529 9537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902724598 10808868864 31801 33554432000 1073741824 1073778376 140734570083472 18446744073709551615 248101514752 0 4 0 16800975 18446604447329105216 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 425.03
Current children cumulated vsize (KiB) 10555536

Child status: 30
Real time (s): 422.698
CPU time (s): 425.13
CPU user time (s): 424.92
CPU system time (s): 0.209968
CPU usage (%): 100.575
Max. virtual memory (cumulated for all children) (KiB): 10565180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 424.92
system time used= 0.209968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40701
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= 29029
involuntary context switches= 15964

runsolver used 0.744886 second user time and 1.59376 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-12 22:40:48
IDJOB=3492055
IDBENCH=79267
IDSOLVER=1982
FILE ID=node123/3492055-1307911248
RUNJOBID= node123-1307907982-10981
PBS_JOBID= 13559583
Free space on /var/tmp= 2896 MiB

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

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

MD5SUM BENCH= 200f179ceb6a172fc8d81952e96f0c84
RANDOM SEED=1680856403

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1707944 kB
Buffers:         64880 kB
Cached:       30148164 kB
SwapCached:      10036 kB
Active:       14623760 kB
Inactive:     15672844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1707944 kB
SwapTotal:    67111528 kB
SwapFree:     67055156 kB
Dirty:             464 kB
Writeback:           0 kB
AnonPages:       81092 kB
Mapped:          20752 kB
Slab:           882112 kB
PageTables:       5060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10543416 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node123 at 2011-06-12 22:47:50