Trace number 3492706

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 468.036 465.318

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
MD5SUMebc456211cf99aa767d1987ef9daf648
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark61.7946
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 constraints1777
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 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492706-1307910500.wbo
0.10/0.11	c reading problem ... 
0.49/0.32	c ... done. Wall clock time 0.203s.
0.49/0.32	c #vars     2008
0.49/0.32	c #constraints  2707
0.49/0.32	c constraints type 
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2606
0.49/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 78
0.49/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.76/0.44	c SATISFIABLE
0.76/0.44	c OPTIMIZING...
0.76/0.44	c Got one! Elapsed wall clock time (in seconds):0.327
0.76/0.44	o 558
0.76/0.48	c Got one! Elapsed wall clock time (in seconds):0.376
0.76/0.48	o 445
1.04/0.52	c Got one! Elapsed wall clock time (in seconds):0.406
1.04/0.52	o 293
1.04/0.53	c Got one! Elapsed wall clock time (in seconds):0.423
1.04/0.53	o 281
1.04/0.55	c Got one! Elapsed wall clock time (in seconds):0.442
1.04/0.55	o 278
1.04/0.58	c Got one! Elapsed wall clock time (in seconds):0.475
1.04/0.58	o 266
1.29/0.60	c Got one! Elapsed wall clock time (in seconds):0.489
1.29/0.60	o 237
1.29/0.62	c Got one! Elapsed wall clock time (in seconds):0.509
1.29/0.62	o 223
1.29/0.65	c Got one! Elapsed wall clock time (in seconds):0.539
1.29/0.65	o 213
1.29/0.67	c Got one! Elapsed wall clock time (in seconds):0.565
1.29/0.67	o 201
1.29/0.69	c Got one! Elapsed wall clock time (in seconds):0.581
1.29/0.69	o 192
1.44/0.71	c Got one! Elapsed wall clock time (in seconds):0.605
1.44/0.71	o 187
1.44/0.79	c Got one! Elapsed wall clock time (in seconds):0.677
1.44/0.79	o 185
1.54/0.82	c Got one! Elapsed wall clock time (in seconds):0.711
1.54/0.82	o 182
1.54/0.87	c Got one! Elapsed wall clock time (in seconds):0.76
1.54/0.87	o 167
1.54/0.89	c Got one! Elapsed wall clock time (in seconds):0.777
1.54/0.89	o 164
1.64/0.91	c Got one! Elapsed wall clock time (in seconds):0.8
1.64/0.91	o 146
1.64/0.94	c Got one! Elapsed wall clock time (in seconds):0.835
1.64/0.94	o 115
1.64/0.99	c Got one! Elapsed wall clock time (in seconds):0.877
1.64/0.99	o 113
1.85/1.13	c Got one! Elapsed wall clock time (in seconds):1.021
1.85/1.13	o 103
1.95/1.23	c Got one! Elapsed wall clock time (in seconds):1.117
1.95/1.23	o 101
1.95/1.29	c Got one! Elapsed wall clock time (in seconds):1.18
1.95/1.29	o 93
2.05/1.32	c Got one! Elapsed wall clock time (in seconds):1.211
2.05/1.32	o 89
2.16/1.43	c Got one! Elapsed wall clock time (in seconds):1.316
2.16/1.43	o 85
2.36/1.66	c Got one! Elapsed wall clock time (in seconds):1.549
2.36/1.66	o 71
2.58/1.81	c Got one! Elapsed wall clock time (in seconds):1.702
2.58/1.81	o 70
2.58/1.84	c Got one! Elapsed wall clock time (in seconds):1.735
2.58/1.84	o 47
2.88/2.17	c Got one! Elapsed wall clock time (in seconds):2.063
2.88/2.17	o 27
3.08/2.32	c cleaning 6757 clauses out of 13520 with flag 1000/13520
3.08/2.37	c Got one! Elapsed wall clock time (in seconds):2.265
3.08/2.37	o 20
3.30/2.58	c Got one! Elapsed wall clock time (in seconds):2.475
3.30/2.58	o 17
3.50/2.78	c Got one! Elapsed wall clock time (in seconds):2.675
3.50/2.78	o 15
3.60/2.88	c cleaning 6533 clauses out of 13075 with flag 1000/19832
4.11/3.33	c Got one! Elapsed wall clock time (in seconds):3.219
4.11/3.33	o 14
4.21/3.42	c cleaning 5768 clauses out of 11543 with flag 1001/24833
4.65/3.88	c cleaning 5882 clauses out of 11776 with flag 7002/30834
4.85/4.00	c Got one! Elapsed wall clock time (in seconds):3.892
4.85/4.00	o 10
5.06/4.29	c cleaning 5776 clauses out of 11564 with flag 4002/36504
5.36/4.57	c Got one! Elapsed wall clock time (in seconds):4.457
5.36/4.57	o 8
5.46/4.68	c Got one! Elapsed wall clock time (in seconds):4.575
5.46/4.68	o 6
5.56/4.77	c cleaning 6064 clauses out of 12143 with flag 1000/42859
5.76/4.95	c Got one! Elapsed wall clock time (in seconds):4.845
5.76/4.95	o 4
5.86/5.08	c cleaning 5580 clauses out of 11163 with flag 2000/47943
6.06/5.25	c Got one! Elapsed wall clock time (in seconds):5.136
6.06/5.25	o 3
6.26/5.46	c cleaning 5780 clauses out of 11567 with flag 3003/53927
6.46/5.68	c Got one! Elapsed wall clock time (in seconds):5.574
6.46/5.68	o 1
6.66/5.80	c cleaning 5750 clauses out of 11512 with flag 2000/59652
6.96/6.15	c cleaning 5878 clauses out of 11762 with flag 8000/65652
7.36/6.53	c cleaning 6434 clauses out of 12884 with flag 15000/72652
7.76/6.99	c cleaning 7222 clauses out of 14452 with flag 23002/80654
8.36/7.54	c cleaning 8111 clauses out of 16228 with flag 32000/89652
8.97/8.12	c cleaning 9052 clauses out of 18119 with flag 42002/99654
9.57/8.75	c cleaning 9529 clauses out of 19065 with flag 52000/109652
10.17/9.36	c cleaning 9757 clauses out of 19536 with flag 62000/119652
10.88/10.04	c cleaning 9887 clauses out of 19779 with flag 72000/129652
11.48/10.66	c cleaning 9941 clauses out of 19893 with flag 82001/139653
12.08/11.26	c cleaning 9964 clauses out of 19951 with flag 92000/149652
12.68/11.87	c cleaning 9988 clauses out of 19990 with flag 102003/159655
13.28/12.44	c cleaning 9995 clauses out of 19999 with flag 112000/169652
13.89/13.01	c cleaning 9999 clauses out of 20004 with flag 122000/179652
14.39/13.54	c cleaning 9996 clauses out of 20005 with flag 132000/189652
14.99/14.10	c cleaning 9999 clauses out of 20009 with flag 142000/199652
15.49/14.64	c cleaning 9998 clauses out of 20010 with flag 152000/209652
16.00/15.15	c cleaning 10001 clauses out of 20012 with flag 162000/219652
16.50/15.67	c cleaning 10001 clauses out of 20011 with flag 172000/229652
17.10/16.21	c cleaning 9997 clauses out of 20010 with flag 182000/239652
17.60/16.73	c cleaning 9998 clauses out of 20014 with flag 192001/249653
18.10/17.25	c cleaning 10002 clauses out of 20015 with flag 202000/259652
18.61/17.78	c cleaning 9999 clauses out of 20013 with flag 212000/269652
19.23/18.33	c cleaning 10004 clauses out of 20015 with flag 222001/279653
19.73/18.83	c cleaning 10002 clauses out of 20011 with flag 232001/289653
20.23/19.39	c cleaning 9997 clauses out of 20008 with flag 242000/299652
20.74/19.87	c cleaning 9995 clauses out of 20013 with flag 252002/309654
21.23/20.34	c cleaning 10006 clauses out of 20017 with flag 262001/319653
21.74/20.86	c cleaning 10001 clauses out of 20010 with flag 272000/329652
22.23/21.36	c cleaning 10001 clauses out of 20011 with flag 282002/339654
22.73/21.89	c cleaning 9996 clauses out of 20009 with flag 292001/349653
23.33/22.44	c cleaning 10001 clauses out of 20013 with flag 302001/359653
23.83/22.94	c cleaning 9994 clauses out of 20011 with flag 312000/369652
24.33/23.47	c cleaning 10005 clauses out of 20017 with flag 322000/379652
24.83/23.99	c cleaning 10003 clauses out of 20014 with flag 332002/389654
25.43/24.50	c cleaning 9994 clauses out of 20009 with flag 342000/399652
25.94/25.02	c cleaning 10003 clauses out of 20016 with flag 352001/409653
26.43/25.52	c cleaning 9999 clauses out of 20014 with flag 362002/419654
26.93/26.02	c cleaning 10003 clauses out of 20013 with flag 372000/429652
27.44/26.54	c cleaning 9998 clauses out of 20010 with flag 382000/439652
27.94/27.01	c cleaning 9998 clauses out of 20012 with flag 392000/449652
28.44/27.52	c cleaning 9997 clauses out of 20014 with flag 402000/459652
28.94/28.06	c cleaning 10000 clauses out of 20019 with flag 412002/469654
29.45/28.56	c cleaning 10009 clauses out of 20025 with flag 422008/479660
29.94/29.03	c cleaning 10000 clauses out of 20010 with flag 432002/489654
30.44/29.52	c cleaning 10003 clauses out of 20009 with flag 442001/499653
30.94/30.01	c cleaning 9995 clauses out of 20007 with flag 452002/509654
31.44/30.53	c cleaning 9996 clauses out of 20011 with flag 462001/519653
31.94/31.05	c cleaning 9995 clauses out of 20016 with flag 472002/529654
32.55/31.61	c cleaning 9999 clauses out of 20019 with flag 482000/539652
33.05/32.19	c cleaning 10008 clauses out of 20022 with flag 492002/549654
33.65/32.72	c cleaning 9997 clauses out of 20013 with flag 502001/559653
34.15/33.25	c cleaning 9997 clauses out of 20016 with flag 512001/569653
34.75/33.83	c cleaning 10000 clauses out of 20020 with flag 522002/579654
35.35/34.40	c cleaning 10004 clauses out of 20019 with flag 532001/589653
35.86/34.93	c cleaning 10000 clauses out of 20014 with flag 542000/599652
36.36/35.48	c cleaning 10001 clauses out of 20014 with flag 552000/609652
36.86/35.95	c cleaning 10005 clauses out of 20015 with flag 562002/619654
37.36/36.45	c cleaning 10000 clauses out of 20009 with flag 572001/629653
37.86/36.99	c cleaning 10001 clauses out of 20009 with flag 582001/639653
38.37/37.47	c cleaning 9998 clauses out of 20009 with flag 592002/649654
38.87/37.91	c cleaning 10002 clauses out of 20012 with flag 602003/659655
39.37/38.44	c cleaning 9996 clauses out of 20009 with flag 612002/669654
39.87/38.95	c cleaning 9997 clauses out of 20012 with flag 622001/679653
40.37/39.42	c cleaning 10001 clauses out of 20014 with flag 632000/689652
40.87/39.95	c cleaning 10005 clauses out of 20013 with flag 642000/699652
41.37/40.40	c cleaning 9993 clauses out of 20012 with flag 652004/709656
41.77/40.89	c cleaning 9999 clauses out of 20016 with flag 662001/719653
42.27/41.38	c cleaning 10001 clauses out of 20017 with flag 672001/729653
42.78/41.89	c cleaning 9997 clauses out of 20020 with flag 682005/739657
43.27/42.39	c cleaning 10008 clauses out of 20021 with flag 692003/749655
43.88/42.91	c cleaning 9998 clauses out of 20010 with flag 702000/759652
44.37/43.42	c cleaning 9997 clauses out of 20012 with flag 712000/769652
44.88/43.95	c cleaning 10003 clauses out of 20019 with flag 722004/779656
45.38/44.43	c cleaning 9999 clauses out of 20014 with flag 732002/789654
45.88/44.93	c cleaning 9996 clauses out of 20013 with flag 742000/799652
46.38/45.46	c cleaning 10005 clauses out of 20017 with flag 752000/809652
46.88/45.97	c cleaning 10002 clauses out of 20015 with flag 762003/819655
47.38/46.48	c cleaning 9999 clauses out of 20010 with flag 772000/829652
47.89/46.95	c cleaning 9997 clauses out of 20012 with flag 782001/839653
48.39/47.43	c cleaning 10002 clauses out of 20015 with flag 792001/849653
48.89/47.95	c cleaning 10003 clauses out of 20014 with flag 802002/859654
49.39/48.46	c cleaning 9999 clauses out of 20012 with flag 812003/869655
49.89/48.97	c cleaning 10002 clauses out of 20012 with flag 822002/879654
50.39/49.48	c cleaning 9998 clauses out of 20008 with flag 832000/889652
50.99/50.00	c cleaning 10002 clauses out of 20013 with flag 842003/899655
51.49/50.51	c cleaning 10000 clauses out of 20010 with flag 852002/909654
51.90/50.99	c cleaning 10001 clauses out of 20009 with flag 862001/919653
52.40/51.47	c cleaning 9997 clauses out of 20008 with flag 872001/929653
52.90/51.99	c cleaning 9996 clauses out of 20010 with flag 882000/939652
53.40/52.49	c cleaning 10004 clauses out of 20016 with flag 892002/949654
53.90/52.95	c cleaning 10000 clauses out of 20011 with flag 902001/959653
54.40/53.41	c cleaning 10000 clauses out of 20010 with flag 912000/969652
54.80/53.90	c cleaning 10001 clauses out of 20011 with flag 922001/979653
55.30/54.37	c cleaning 9999 clauses out of 20011 with flag 932002/989654
55.91/54.91	c cleaning 9999 clauses out of 20010 with flag 942000/999652
56.40/55.44	c cleaning 10003 clauses out of 20012 with flag 952001/1009653
56.91/55.96	c cleaning 9998 clauses out of 20008 with flag 962000/1019652
57.51/56.50	c cleaning 9999 clauses out of 20011 with flag 972001/1029653
58.01/57.00	c cleaning 10001 clauses out of 20012 with flag 982001/1039653
58.51/57.50	c cleaning 9999 clauses out of 20010 with flag 992000/1049652
59.01/58.06	c cleaning 10001 clauses out of 20011 with flag 1002000/1059652
59.51/58.55	c cleaning 9999 clauses out of 20010 with flag 1012000/1069652
60.01/59.02	c cleaning 10002 clauses out of 20012 with flag 1022001/1079653
60.51/59.51	c cleaning 9996 clauses out of 20010 with flag 1032001/1089653
60.91/59.98	c cleaning 9997 clauses out of 20013 with flag 1042000/1099652
61.51/60.51	c cleaning 10006 clauses out of 20021 with flag 1052005/1109657
62.01/61.02	c cleaning 10002 clauses out of 20013 with flag 1062003/1119655
62.51/61.53	c cleaning 9985 clauses out of 20008 with flag 1072000/1129652
63.01/62.03	c cleaning 10004 clauses out of 20026 with flag 1082003/1139655
63.51/62.50	c cleaning 10000 clauses out of 20019 with flag 1092000/1149652
63.91/62.98	c cleaning 10003 clauses out of 20019 with flag 1102000/1159652
64.41/63.47	c cleaning 10001 clauses out of 20018 with flag 1112002/1169654
64.91/63.94	c cleaning 10002 clauses out of 20016 with flag 1122001/1179653
65.42/64.43	c cleaning 10000 clauses out of 20013 with flag 1132000/1189652
65.93/64.94	c cleaning 10003 clauses out of 20013 with flag 1142000/1199652
66.42/65.45	c cleaning 9992 clauses out of 20010 with flag 1152000/1209652
66.93/65.97	c cleaning 10003 clauses out of 20018 with flag 1162000/1219652
67.42/66.44	c cleaning 9999 clauses out of 20015 with flag 1172000/1229652
67.93/66.94	c cleaning 9998 clauses out of 20016 with flag 1182000/1239652
68.43/67.43	c cleaning 10003 clauses out of 20018 with flag 1192000/1249652
68.93/67.91	c cleaning 10005 clauses out of 20017 with flag 1202002/1259654
69.43/68.40	c cleaning 10000 clauses out of 20010 with flag 1212000/1269652
69.83/68.88	c cleaning 9999 clauses out of 20010 with flag 1222000/1279652
70.34/69.37	c cleaning 10003 clauses out of 20011 with flag 1232000/1289652
70.83/69.86	c cleaning 9999 clauses out of 20008 with flag 1242000/1299652
71.34/70.35	c cleaning 10001 clauses out of 20010 with flag 1252001/1309653
71.83/70.83	c cleaning 9998 clauses out of 20008 with flag 1262000/1319652
72.33/71.34	c cleaning 9999 clauses out of 20010 with flag 1272000/1329652
72.84/71.84	c cleaning 9999 clauses out of 20012 with flag 1282001/1339653
73.34/72.32	c cleaning 10000 clauses out of 20012 with flag 1292000/1349652
73.84/72.82	c cleaning 10003 clauses out of 20012 with flag 1302000/1359652
74.34/73.31	c cleaning 10002 clauses out of 20012 with flag 1312003/1369655
74.75/73.79	c cleaning 10000 clauses out of 20008 with flag 1322001/1379653
75.24/74.27	c cleaning 10000 clauses out of 20010 with flag 1332003/1389655
75.75/74.78	c cleaning 10000 clauses out of 20010 with flag 1342003/1399655
76.25/75.27	c cleaning 10000 clauses out of 20007 with flag 1352000/1409652
76.75/75.76	c cleaning 9996 clauses out of 20007 with flag 1362000/1419652
77.25/76.24	c cleaning 9999 clauses out of 20014 with flag 1372003/1429655
77.75/76.73	c cleaning 10002 clauses out of 20012 with flag 1382000/1439652
78.25/77.24	c cleaning 10001 clauses out of 20010 with flag 1392000/1449652
78.75/77.74	c cleaning 10000 clauses out of 20009 with flag 1402000/1459652
79.25/78.27	c cleaning 10002 clauses out of 20012 with flag 1412003/1469655
79.86/78.82	c cleaning 9993 clauses out of 20008 with flag 1422001/1479653
80.36/79.32	c cleaning 10001 clauses out of 20014 with flag 1432000/1489652
80.87/79.85	c cleaning 9999 clauses out of 20014 with flag 1442001/1499653
81.37/80.37	c cleaning 10000 clauses out of 20014 with flag 1452000/1509652
81.87/80.89	c cleaning 9995 clauses out of 20014 with flag 1462000/1519652
82.47/81.42	c cleaning 10006 clauses out of 20019 with flag 1472000/1529652
82.97/81.96	c cleaning 10002 clauses out of 20015 with flag 1482002/1539654
83.47/82.45	c cleaning 10002 clauses out of 20012 with flag 1492001/1549653
83.97/82.95	c cleaning 9997 clauses out of 20009 with flag 1502000/1559652
84.47/83.43	c cleaning 9997 clauses out of 20012 with flag 1512000/1569652
84.97/83.96	c cleaning 10000 clauses out of 20016 with flag 1522001/1579653
85.47/84.46	c cleaning 10003 clauses out of 20018 with flag 1532003/1589655
85.97/84.98	c cleaning 9998 clauses out of 20012 with flag 1542000/1599652
86.57/85.51	c cleaning 10002 clauses out of 20014 with flag 1552000/1609652
87.07/86.00	c cleaning 10002 clauses out of 20014 with flag 1562002/1619654
87.57/86.51	c cleaning 10002 clauses out of 20013 with flag 1572003/1629655
88.07/87.03	c cleaning 10001 clauses out of 20009 with flag 1582001/1639653
88.57/87.53	c cleaning 9999 clauses out of 20010 with flag 1592003/1649655
88.98/88.00	c cleaning 10000 clauses out of 20011 with flag 1602003/1659655
89.58/88.56	c cleaning 9999 clauses out of 20010 with flag 1612002/1669654
90.64/89.11	c cleaning 9997 clauses out of 20009 with flag 1622000/1679652
91.37/89.59	c cleaning 9994 clauses out of 20012 with flag 1632000/1689652
91.97/90.10	c cleaning 10002 clauses out of 20019 with flag 1642001/1699653
92.47/90.60	c cleaning 9999 clauses out of 20016 with flag 1652000/1709652
92.87/91.09	c cleaning 10000 clauses out of 20018 with flag 1662001/1719653
93.47/91.61	c cleaning 9996 clauses out of 20018 with flag 1672001/1729653
93.97/92.17	c cleaning 10008 clauses out of 20022 with flag 1682001/1739653
94.47/92.64	c cleaning 9997 clauses out of 20013 with flag 1692000/1749652
94.97/93.13	c cleaning 10003 clauses out of 20018 with flag 1702002/1759654
95.47/93.65	c cleaning 10003 clauses out of 20015 with flag 1712002/1769654
95.97/94.15	c cleaning 10002 clauses out of 20012 with flag 1722002/1779654
96.48/94.62	c cleaning 10000 clauses out of 20008 with flag 1732000/1789652
96.98/95.13	c cleaning 9996 clauses out of 20008 with flag 1742000/1799652
97.48/95.62	c cleaning 10001 clauses out of 20013 with flag 1752001/1809653
97.98/96.11	c cleaning 10000 clauses out of 20012 with flag 1762001/1819653
98.48/96.62	c cleaning 9996 clauses out of 20012 with flag 1772001/1829653
98.99/97.13	c cleaning 10000 clauses out of 20016 with flag 1782001/1839653
99.49/97.64	c cleaning 10002 clauses out of 20015 with flag 1792000/1849652
100.09/98.20	c cleaning 10001 clauses out of 20015 with flag 1802002/1859654
100.59/98.70	c cleaning 9997 clauses out of 20012 with flag 1812000/1869652
101.09/99.23	c cleaning 10002 clauses out of 20018 with flag 1822003/1879655
101.59/99.76	c cleaning 10000 clauses out of 20013 with flag 1832000/1889652
102.09/100.27	c cleaning 9999 clauses out of 20014 with flag 1842001/1899653
102.59/100.79	c cleaning 10001 clauses out of 20014 with flag 1852000/1909652
103.20/101.35	c cleaning 10003 clauses out of 20014 with flag 1862001/1919653
103.70/101.85	c cleaning 10002 clauses out of 20011 with flag 1872001/1929653
104.20/102.35	c cleaning 9997 clauses out of 20008 with flag 1882000/1939652
104.70/102.88	c cleaning 9995 clauses out of 20012 with flag 1892001/1949653
105.30/103.41	c cleaning 10000 clauses out of 20016 with flag 1902000/1959652
105.90/104.01	c cleaning 10002 clauses out of 20016 with flag 1912000/1969652
106.41/104.54	c cleaning 9999 clauses out of 20017 with flag 1922003/1979655
107.00/105.11	c cleaning 9996 clauses out of 20016 with flag 1932001/1989653
107.51/105.68	c cleaning 10005 clauses out of 20019 with flag 1942000/1999652
108.10/106.21	c cleaning 10001 clauses out of 20014 with flag 1952000/2009652
108.61/106.71	c cleaning 9999 clauses out of 20014 with flag 1962001/2019653
109.11/107.22	c cleaning 10002 clauses out of 20014 with flag 1972000/2029652
109.61/107.77	c cleaning 10003 clauses out of 20014 with flag 1982002/2039654
110.11/108.27	c cleaning 10004 clauses out of 20009 with flag 1992000/2049652
110.61/108.77	c cleaning 10000 clauses out of 20007 with flag 2002002/2059654
111.11/109.23	c cleaning 9997 clauses out of 20006 with flag 2012001/2069653
111.61/109.72	c cleaning 10000 clauses out of 20011 with flag 2022003/2079655
112.11/110.22	c cleaning 9997 clauses out of 20008 with flag 2032000/2089652
112.61/110.76	c cleaning 9992 clauses out of 20011 with flag 2042000/2099652
113.11/111.28	c cleaning 10002 clauses out of 20019 with flag 2052000/2109652
113.61/111.79	c cleaning 9991 clauses out of 20018 with flag 2062001/2119653
114.21/112.31	c cleaning 10008 clauses out of 20027 with flag 2072001/2129653
114.72/112.81	c cleaning 10003 clauses out of 20018 with flag 2082000/2139652
115.23/113.31	c cleaning 10004 clauses out of 20015 with flag 2092000/2149652
115.62/113.79	c cleaning 10002 clauses out of 20013 with flag 2102002/2159654
116.12/114.30	c cleaning 9999 clauses out of 20010 with flag 2112001/2169653
116.72/114.80	c cleaning 9991 clauses out of 20010 with flag 2122000/2179652
117.13/115.29	c cleaning 10004 clauses out of 20021 with flag 2132002/2189654
117.63/115.78	c cleaning 10005 clauses out of 20018 with flag 2142003/2199655
118.13/116.24	c cleaning 9999 clauses out of 20014 with flag 2152004/2209656
118.63/116.71	c cleaning 10001 clauses out of 20012 with flag 2162001/2219653
119.13/117.23	c cleaning 9999 clauses out of 20012 with flag 2172002/2229654
119.63/117.73	c cleaning 10002 clauses out of 20012 with flag 2182001/2239653
120.13/118.22	c cleaning 9997 clauses out of 20010 with flag 2192001/2249653
120.53/118.69	c cleaning 9999 clauses out of 20013 with flag 2202001/2259653
121.03/119.16	c cleaning 9992 clauses out of 20013 with flag 2212000/2269652
121.54/119.64	c cleaning 10007 clauses out of 20021 with flag 2222000/2279652
122.04/120.15	c cleaning 10003 clauses out of 20015 with flag 2232001/2289653
122.54/120.67	c cleaning 10002 clauses out of 20011 with flag 2242000/2299652
123.04/121.17	c cleaning 10001 clauses out of 20010 with flag 2252001/2309653
123.54/121.68	c cleaning 10000 clauses out of 20009 with flag 2262001/2319653
124.14/122.20	c cleaning 9996 clauses out of 20009 with flag 2272001/2329653
124.64/122.75	c cleaning 10001 clauses out of 20013 with flag 2282001/2339653
125.24/123.30	c cleaning 9995 clauses out of 20012 with flag 2292001/2349653
125.75/123.82	c cleaning 10003 clauses out of 20018 with flag 2302002/2359654
126.25/124.34	c cleaning 10005 clauses out of 20017 with flag 2312004/2369656
126.74/124.87	c cleaning 10001 clauses out of 20010 with flag 2322002/2379654
127.35/125.45	c cleaning 9997 clauses out of 20007 with flag 2332000/2389652
127.85/125.96	c cleaning 10001 clauses out of 20010 with flag 2342000/2399652
128.36/126.46	c cleaning 10003 clauses out of 20013 with flag 2352004/2409656
128.86/126.96	c cleaning 9996 clauses out of 20007 with flag 2362001/2419653
129.36/127.49	c cleaning 10003 clauses out of 20012 with flag 2372002/2429654
129.96/128.03	c cleaning 10001 clauses out of 20008 with flag 2382001/2439653
130.46/128.56	c cleaning 9998 clauses out of 20006 with flag 2392000/2449652
130.96/129.07	c cleaning 9995 clauses out of 20009 with flag 2402001/2459653
131.46/129.59	c cleaning 10002 clauses out of 20013 with flag 2412000/2469652
132.06/130.11	c cleaning 10003 clauses out of 20013 with flag 2422002/2479654
132.56/130.63	c cleaning 9997 clauses out of 20009 with flag 2432001/2489653
133.06/131.16	c cleaning 10005 clauses out of 20017 with flag 2442006/2499658
133.67/131.71	c cleaning 9992 clauses out of 20006 with flag 2452000/2509652
134.17/132.28	c cleaning 10003 clauses out of 20014 with flag 2462000/2519652
134.77/132.82	c cleaning 10001 clauses out of 20012 with flag 2472001/2529653
135.27/133.32	c cleaning 10002 clauses out of 20011 with flag 2482001/2539653
135.78/133.84	c cleaning 9998 clauses out of 20008 with flag 2492000/2549652
136.37/134.46	c cleaning 9991 clauses out of 20010 with flag 2502000/2559652
136.98/135.02	c cleaning 10006 clauses out of 20019 with flag 2512000/2569652
137.48/135.57	c cleaning 9995 clauses out of 20013 with flag 2522000/2579652
138.08/136.14	c cleaning 9998 clauses out of 20018 with flag 2532000/2589652
138.68/136.70	c cleaning 10005 clauses out of 20021 with flag 2542001/2599653
139.28/137.35	c cleaning 10002 clauses out of 20016 with flag 2552001/2609653
139.88/137.94	c cleaning 9997 clauses out of 20013 with flag 2562000/2619652
140.38/138.47	c cleaning 10006 clauses out of 20019 with flag 2572003/2629655
140.88/138.99	c cleaning 9999 clauses out of 20010 with flag 2582000/2639652
141.48/139.52	c cleaning 9997 clauses out of 20011 with flag 2592000/2649652
141.99/140.01	c cleaning 9993 clauses out of 20014 with flag 2602000/2659652
142.49/140.52	c cleaning 10007 clauses out of 20021 with flag 2612000/2669652
142.99/141.05	c cleaning 9995 clauses out of 20017 with flag 2622003/2679655
143.49/141.55	c cleaning 10006 clauses out of 20020 with flag 2632001/2689653
143.99/142.02	c cleaning 9991 clauses out of 20014 with flag 2642001/2699653
144.39/142.49	c cleaning 10003 clauses out of 20022 with flag 2652000/2709652
145.00/143.03	c cleaning 10001 clauses out of 20019 with flag 2662000/2719652
145.49/143.56	c cleaning 10007 clauses out of 20020 with flag 2672002/2729654
146.00/144.07	c cleaning 9999 clauses out of 20011 with flag 2682000/2739652
146.49/144.56	c cleaning 10002 clauses out of 20013 with flag 2692001/2749653
146.99/145.06	c cleaning 10000 clauses out of 20014 with flag 2702004/2759656
147.49/145.56	c cleaning 10000 clauses out of 20011 with flag 2712001/2769653
148.00/146.07	c cleaning 9999 clauses out of 20010 with flag 2722000/2779652
148.50/146.59	c cleaning 10001 clauses out of 20015 with flag 2732004/2789656
149.01/147.09	c cleaning 10001 clauses out of 20013 with flag 2742003/2799655
149.61/147.61	c cleaning 10001 clauses out of 20011 with flag 2752002/2809654
150.11/148.11	c cleaning 9999 clauses out of 20008 with flag 2762000/2819652
150.61/148.62	c cleaning 10002 clauses out of 20011 with flag 2772002/2829654
151.11/149.14	c cleaning 9996 clauses out of 20007 with flag 2782000/2839652
151.61/149.66	c cleaning 9991 clauses out of 20012 with flag 2792001/2849653
152.21/150.22	c cleaning 10008 clauses out of 20021 with flag 2802001/2859653
152.72/150.74	c cleaning 10000 clauses out of 20013 with flag 2812001/2869653
153.21/151.28	c cleaning 9999 clauses out of 20013 with flag 2822001/2879653
153.82/151.81	c cleaning 10002 clauses out of 20013 with flag 2832000/2889652
154.22/152.29	c cleaning 10000 clauses out of 20011 with flag 2842000/2899652
154.82/152.81	c cleaning 10000 clauses out of 20015 with flag 2852004/2909656
155.32/153.35	c cleaning 10000 clauses out of 20011 with flag 2862000/2919652
155.82/153.90	c cleaning 10000 clauses out of 20011 with flag 2872000/2929652
156.42/154.46	c cleaning 9996 clauses out of 20011 with flag 2882000/2939652
157.03/155.03	c cleaning 9998 clauses out of 20015 with flag 2892000/2949652
157.62/155.62	c cleaning 9994 clauses out of 20019 with flag 2902002/2959654
158.13/156.18	c cleaning 9999 clauses out of 20023 with flag 2912000/2969652
158.72/156.78	c cleaning 10003 clauses out of 20026 with flag 2922002/2979654
159.43/157.48	c cleaning 10003 clauses out of 20021 with flag 2932000/2989652
160.03/158.01	c cleaning 10001 clauses out of 20018 with flag 2942000/2999652
160.53/158.56	c cleaning 10001 clauses out of 20017 with flag 2952000/3009652
161.03/159.06	c cleaning 10003 clauses out of 20017 with flag 2962001/3019653
161.54/159.55	c cleaning 10001 clauses out of 20015 with flag 2972002/3029654
162.13/160.12	c cleaning 10004 clauses out of 20012 with flag 2982000/3039652
162.64/160.63	c cleaning 10000 clauses out of 20010 with flag 2992002/3049654
163.13/161.15	c cleaning 9996 clauses out of 20008 with flag 3002000/3059652
163.64/161.66	c cleaning 10004 clauses out of 20015 with flag 3012003/3069655
164.14/162.14	c cleaning 9999 clauses out of 20009 with flag 3022001/3079653
164.64/162.63	c cleaning 10002 clauses out of 20009 with flag 3032000/3089652
165.14/163.17	c cleaning 10001 clauses out of 20008 with flag 3042001/3099653
165.64/163.68	c cleaning 9995 clauses out of 20006 with flag 3052000/3109652
166.14/164.17	c cleaning 10003 clauses out of 20012 with flag 3062001/3119653
166.64/164.68	c cleaning 9995 clauses out of 20009 with flag 3072001/3129653
167.24/165.20	c cleaning 10002 clauses out of 20015 with flag 3082002/3139654
167.74/165.73	c cleaning 10000 clauses out of 20012 with flag 3092001/3149653
168.24/166.27	c cleaning 9996 clauses out of 20011 with flag 3102000/3159652
168.84/166.81	c cleaning 10004 clauses out of 20018 with flag 3112003/3169655
169.34/167.32	c cleaning 9998 clauses out of 20011 with flag 3122000/3179652
169.85/167.86	c cleaning 10002 clauses out of 20014 with flag 3132001/3189653
170.45/168.41	c cleaning 10000 clauses out of 20012 with flag 3142001/3199653
170.95/168.92	c cleaning 9999 clauses out of 20012 with flag 3152001/3209653
171.35/169.40	c cleaning 9996 clauses out of 20012 with flag 3162000/3219652
171.85/169.88	c cleaning 10002 clauses out of 20017 with flag 3172001/3229653
172.35/170.35	c cleaning 10002 clauses out of 20016 with flag 3182002/3239654
172.85/170.84	c cleaning 9998 clauses out of 20012 with flag 3192000/3249652
173.35/171.33	c cleaning 10002 clauses out of 20015 with flag 3202001/3259653
173.75/171.79	c cleaning 10001 clauses out of 20012 with flag 3212000/3269652
174.25/172.29	c cleaning 10002 clauses out of 20016 with flag 3222005/3279657
174.85/172.82	c cleaning 10000 clauses out of 20011 with flag 3232002/3289654
175.35/173.32	c cleaning 9994 clauses out of 20010 with flag 3242001/3299653
175.76/173.80	c cleaning 9999 clauses out of 20015 with flag 3252000/3309652
176.25/174.29	c cleaning 9999 clauses out of 20016 with flag 3262000/3319652
176.75/174.77	c cleaning 10004 clauses out of 20019 with flag 3272002/3329654
177.25/175.23	c cleaning 10000 clauses out of 20014 with flag 3282001/3339653
177.76/175.70	c cleaning 10003 clauses out of 20014 with flag 3292001/3349653
178.16/176.19	c cleaning 9999 clauses out of 20011 with flag 3302001/3359653
178.77/176.72	c cleaning 10000 clauses out of 20014 with flag 3312003/3369655
179.27/177.21	c cleaning 10000 clauses out of 20011 with flag 3322000/3379652
179.77/177.72	c cleaning 10000 clauses out of 20011 with flag 3332000/3389652
180.27/178.21	c cleaning 10003 clauses out of 20013 with flag 3342002/3399654
180.66/178.66	c cleaning 10000 clauses out of 20008 with flag 3352000/3409652
181.17/179.14	c cleaning 9999 clauses out of 20008 with flag 3362000/3419652
181.57/179.60	c cleaning 10000 clauses out of 20009 with flag 3372000/3429652
182.07/180.07	c cleaning 9998 clauses out of 20009 with flag 3382000/3439652
182.57/180.55	c cleaning 10002 clauses out of 20013 with flag 3392002/3449654
183.07/181.06	c cleaning 9996 clauses out of 20009 with flag 3402000/3459652
183.58/181.59	c cleaning 10000 clauses out of 20014 with flag 3412001/3469653
184.18/182.12	c cleaning 10001 clauses out of 20015 with flag 3422002/3479654
184.68/182.61	c cleaning 10001 clauses out of 20013 with flag 3432001/3489653
185.18/183.11	c cleaning 10001 clauses out of 20011 with flag 3442000/3499652
185.68/183.66	c cleaning 9994 clauses out of 20010 with flag 3452000/3509652
186.18/184.18	c cleaning 9996 clauses out of 20017 with flag 3462001/3519653
186.79/184.77	c cleaning 10002 clauses out of 20020 with flag 3472000/3529652
187.28/185.29	c cleaning 9999 clauses out of 20018 with flag 3482000/3539652
187.89/185.84	c cleaning 10003 clauses out of 20020 with flag 3492001/3549653
188.38/186.39	c cleaning 9996 clauses out of 20018 with flag 3502002/3559654
188.99/186.93	c cleaning 10003 clauses out of 20021 with flag 3512001/3569653
189.48/187.48	c cleaning 10005 clauses out of 20017 with flag 3522000/3579652
190.09/188.09	c cleaning 10000 clauses out of 20012 with flag 3532000/3589652
190.68/188.60	c cleaning 10003 clauses out of 20015 with flag 3542003/3599655
191.19/189.13	c cleaning 10001 clauses out of 20011 with flag 3552002/3609654
191.68/189.68	c cleaning 10000 clauses out of 20008 with flag 3562000/3619652
192.18/190.19	c cleaning 10000 clauses out of 20008 with flag 3572000/3629652
192.79/190.70	c cleaning 10000 clauses out of 20008 with flag 3582000/3639652
193.29/191.21	c cleaning 9999 clauses out of 20009 with flag 3592001/3649653
193.80/191.75	c cleaning 9999 clauses out of 20009 with flag 3602000/3659652
194.30/192.29	c cleaning 10000 clauses out of 20013 with flag 3612003/3669655
194.90/192.83	c cleaning 9997 clauses out of 20010 with flag 3622000/3679652
195.40/193.32	c cleaning 9999 clauses out of 20013 with flag 3632000/3689652
195.90/193.84	c cleaning 9998 clauses out of 20014 with flag 3642000/3699652
196.40/194.37	c cleaning 10001 clauses out of 20017 with flag 3652001/3709653
196.90/194.88	c cleaning 9994 clauses out of 20015 with flag 3662000/3719652
197.50/195.41	c cleaning 10003 clauses out of 20021 with flag 3672000/3729652
198.00/195.92	c cleaning 10001 clauses out of 20018 with flag 3682000/3739652
198.50/196.43	c cleaning 9999 clauses out of 20018 with flag 3692001/3749653
199.01/196.93	c cleaning 10003 clauses out of 20018 with flag 3702000/3759652
199.50/197.44	c cleaning 10005 clauses out of 20015 with flag 3712000/3769652
200.01/197.97	c cleaning 9998 clauses out of 20010 with flag 3722000/3779652
200.61/198.51	c cleaning 10001 clauses out of 20013 with flag 3732001/3789653
201.11/199.04	c cleaning 9997 clauses out of 20012 with flag 3742001/3799653
201.61/199.58	c cleaning 10003 clauses out of 20014 with flag 3752000/3809652
202.22/200.12	c cleaning 10000 clauses out of 20011 with flag 3762000/3819652
202.71/200.65	c cleaning 9997 clauses out of 20011 with flag 3772000/3829652
203.21/201.18	c cleaning 9997 clauses out of 20014 with flag 3782000/3839652
203.71/201.68	c cleaning 10001 clauses out of 20019 with flag 3792002/3849654
204.31/202.21	c cleaning 10000 clauses out of 20016 with flag 3802000/3859652
204.81/202.79	c cleaning 10005 clauses out of 20017 with flag 3812001/3869653
205.41/203.34	c cleaning 10001 clauses out of 20011 with flag 3822000/3879652
206.02/203.90	c cleaning 9993 clauses out of 20011 with flag 3832001/3889653
206.42/204.39	c cleaning 10002 clauses out of 20017 with flag 3842000/3899652
206.92/204.87	c cleaning 10001 clauses out of 20015 with flag 3852000/3909652
207.42/205.34	c cleaning 10003 clauses out of 20016 with flag 3862002/3919654
207.92/205.85	c cleaning 10002 clauses out of 20012 with flag 3872001/3929653
208.52/206.46	c cleaning 10000 clauses out of 20009 with flag 3882000/3939652
209.12/207.07	c cleaning 9998 clauses out of 20009 with flag 3892000/3949652
209.62/207.56	c cleaning 10001 clauses out of 20011 with flag 3902000/3959652
210.13/208.09	c cleaning 9995 clauses out of 20011 with flag 3912001/3969653
210.73/208.67	c cleaning 9998 clauses out of 20015 with flag 3922000/3979652
211.43/209.31	c cleaning 10003 clauses out of 20017 with flag 3932000/3989652
211.93/209.88	c cleaning 10002 clauses out of 20019 with flag 3942005/3999657
212.53/210.40	c cleaning 9999 clauses out of 20013 with flag 3952001/4009653
213.03/210.91	c cleaning 10000 clauses out of 20015 with flag 3962002/4019654
213.53/211.41	c cleaning 9998 clauses out of 20015 with flag 3972002/4029654
214.03/211.95	c cleaning 10004 clauses out of 20015 with flag 3982000/4039652
214.53/212.47	c cleaning 10001 clauses out of 20012 with flag 3992001/4049653
215.13/213.01	c cleaning 9995 clauses out of 20010 with flag 4002000/4059652
215.64/213.52	c cleaning 10000 clauses out of 20016 with flag 4012001/4069653
216.14/214.03	c cleaning 10003 clauses out of 20016 with flag 4022001/4079653
216.65/214.56	c cleaning 10002 clauses out of 20015 with flag 4032003/4089655
217.14/215.09	c cleaning 9999 clauses out of 20010 with flag 4042000/4099652
217.75/215.61	c cleaning 10000 clauses out of 20012 with flag 4052001/4109653
218.24/216.11	c cleaning 10001 clauses out of 20012 with flag 4062001/4119653
218.75/216.67	c cleaning 9999 clauses out of 20011 with flag 4072001/4129653
219.34/217.21	c cleaning 9998 clauses out of 20011 with flag 4082000/4139652
219.85/217.76	c cleaning 9998 clauses out of 20013 with flag 4092000/4149652
220.35/218.26	c cleaning 10002 clauses out of 20015 with flag 4102000/4159652
220.85/218.77	c cleaning 10005 clauses out of 20016 with flag 4112003/4169655
221.35/219.27	c cleaning 10000 clauses out of 20010 with flag 4122002/4179654
221.85/219.76	c cleaning 9999 clauses out of 20009 with flag 4132001/4189653
222.35/220.23	c cleaning 9997 clauses out of 20009 with flag 4142000/4199652
222.85/220.74	c cleaning 10003 clauses out of 20012 with flag 4152000/4209652
223.35/221.27	c cleaning 10000 clauses out of 20009 with flag 4162000/4219652
223.85/221.77	c cleaning 10002 clauses out of 20010 with flag 4172001/4229653
224.45/222.32	c cleaning 10000 clauses out of 20010 with flag 4182003/4239655
224.95/222.83	c cleaning 9999 clauses out of 20007 with flag 4192000/4249652
225.46/223.36	c cleaning 9995 clauses out of 20008 with flag 4202000/4259652
225.95/223.89	c cleaning 10001 clauses out of 20014 with flag 4212001/4269653
226.56/224.41	c cleaning 10003 clauses out of 20012 with flag 4222000/4279652
227.06/224.95	c cleaning 9996 clauses out of 20011 with flag 4232002/4289654
227.67/225.52	c cleaning 10000 clauses out of 20013 with flag 4242000/4299652
228.16/226.09	c cleaning 9989 clauses out of 20013 with flag 4252000/4309652
228.77/226.65	c cleaning 10006 clauses out of 20024 with flag 4262000/4319652
229.26/227.16	c cleaning 10004 clauses out of 20020 with flag 4272002/4329654
229.77/227.65	c cleaning 10000 clauses out of 20014 with flag 4282000/4339652
230.27/228.14	c cleaning 10004 clauses out of 20016 with flag 4292002/4349654
230.77/228.67	c cleaning 9997 clauses out of 20010 with flag 4302000/4359652
231.27/229.17	c cleaning 9998 clauses out of 20013 with flag 4312000/4369652
231.87/229.73	c cleaning 10001 clauses out of 20015 with flag 4322000/4379652
232.37/230.27	c cleaning 9998 clauses out of 20014 with flag 4332000/4389652
232.97/230.84	c cleaning 10000 clauses out of 20017 with flag 4342001/4399653
233.47/231.37	c cleaning 9997 clauses out of 20016 with flag 4352000/4409652
233.98/231.88	c cleaning 10003 clauses out of 20019 with flag 4362000/4419652
234.48/232.38	c cleaning 9994 clauses out of 20016 with flag 4372000/4429652
234.98/232.88	c cleaning 10005 clauses out of 20023 with flag 4382001/4439653
235.58/233.43	c cleaning 10005 clauses out of 20019 with flag 4392002/4449654
236.08/233.96	c cleaning 9988 clauses out of 20012 with flag 4402000/4459652
236.68/234.50	c cleaning 10007 clauses out of 20024 with flag 4412000/4469652
237.18/235.02	c cleaning 10004 clauses out of 20017 with flag 4422000/4479652
237.68/235.52	c cleaning 10000 clauses out of 20013 with flag 4432000/4489652
238.18/236.04	c cleaning 9996 clauses out of 20013 with flag 4442000/4499652
238.69/236.53	c cleaning 10004 clauses out of 20017 with flag 4452000/4509652
239.18/237.08	c cleaning 10003 clauses out of 20015 with flag 4462002/4519654
239.79/237.61	c cleaning 9997 clauses out of 20011 with flag 4472001/4529653
240.28/238.14	c cleaning 9997 clauses out of 20013 with flag 4482000/4539652
240.79/238.67	c cleaning 10005 clauses out of 20018 with flag 4492002/4549654
241.38/239.23	c cleaning 10001 clauses out of 20014 with flag 4502003/4559655
241.89/239.76	c cleaning 9999 clauses out of 20010 with flag 4512000/4569652
242.39/240.28	c cleaning 10001 clauses out of 20013 with flag 4522002/4579654
242.89/240.77	c cleaning 9995 clauses out of 20011 with flag 4532001/4589653
243.49/241.30	c cleaning 10002 clauses out of 20015 with flag 4542000/4599652
243.89/241.79	c cleaning 10000 clauses out of 20016 with flag 4552003/4609655
244.39/242.29	c cleaning 10000 clauses out of 20013 with flag 4562000/4619652
244.99/242.81	c cleaning 10005 clauses out of 20016 with flag 4572003/4629655
245.50/243.32	c cleaning 10001 clauses out of 20009 with flag 4582001/4639653
246.01/243.86	c cleaning 9999 clauses out of 20010 with flag 4592003/4649655
246.51/244.37	c cleaning 9996 clauses out of 20008 with flag 4602000/4659652
247.11/244.90	c cleaning 9997 clauses out of 20012 with flag 4612000/4669652
247.61/245.42	c cleaning 10005 clauses out of 20015 with flag 4622000/4679652
248.11/245.95	c cleaning 9997 clauses out of 20010 with flag 4632000/4689652
248.71/246.51	c cleaning 10002 clauses out of 20016 with flag 4642003/4699655
249.22/247.02	c cleaning 9999 clauses out of 20011 with flag 4652000/4709652
249.72/247.55	c cleaning 9995 clauses out of 20012 with flag 4662000/4719652
250.21/248.07	c cleaning 10000 clauses out of 20017 with flag 4672000/4729652
250.72/248.56	c cleaning 10004 clauses out of 20019 with flag 4682002/4739654
251.21/249.07	c cleaning 9999 clauses out of 20013 with flag 4692000/4749652
251.72/249.59	c cleaning 10000 clauses out of 20014 with flag 4702000/4759652
252.32/250.12	c cleaning 10002 clauses out of 20014 with flag 4712000/4769652
252.82/250.66	c cleaning 10000 clauses out of 20016 with flag 4722004/4779656
253.42/251.20	c cleaning 10000 clauses out of 20012 with flag 4732000/4789652
253.92/251.70	c cleaning 10000 clauses out of 20012 with flag 4742000/4799652
254.42/252.20	c cleaning 10002 clauses out of 20013 with flag 4752001/4809653
254.92/252.71	c cleaning 9998 clauses out of 20010 with flag 4762000/4819652
255.42/253.20	c cleaning 10003 clauses out of 20014 with flag 4772002/4829654
255.82/253.68	c cleaning 9998 clauses out of 20010 with flag 4782001/4839653
256.33/254.17	c cleaning 9999 clauses out of 20011 with flag 4792000/4849652
256.92/254.70	c cleaning 10002 clauses out of 20016 with flag 4802004/4859656
257.43/255.23	c cleaning 9995 clauses out of 20010 with flag 4812000/4869652
258.02/255.81	c cleaning 10004 clauses out of 20018 with flag 4822003/4879655
258.53/256.31	c cleaning 9999 clauses out of 20014 with flag 4832003/4889655
259.03/256.84	c cleaning 9999 clauses out of 20012 with flag 4842000/4899652
259.53/257.35	c cleaning 10001 clauses out of 20014 with flag 4852001/4909653
260.13/257.91	c cleaning 9997 clauses out of 20012 with flag 4862000/4919652
260.63/258.46	c cleaning 10004 clauses out of 20016 with flag 4872001/4929653
261.23/259.02	c cleaning 10000 clauses out of 20011 with flag 4882000/4939652
261.73/259.59	c cleaning 10004 clauses out of 20013 with flag 4892002/4949654
262.33/260.13	c cleaning 9995 clauses out of 20008 with flag 4902001/4959653
262.84/260.64	c cleaning 10004 clauses out of 20013 with flag 4912001/4969653
263.33/261.14	c cleaning 9999 clauses out of 20009 with flag 4922001/4979653
263.83/261.65	c cleaning 9999 clauses out of 20009 with flag 4932000/4989652
264.33/262.15	c cleaning 10001 clauses out of 20010 with flag 4942000/4999652
264.83/262.64	c cleaning 10001 clauses out of 20012 with flag 4952003/5009655
265.34/263.16	c cleaning 9998 clauses out of 20010 with flag 4962002/5019654
265.84/263.66	c cleaning 10001 clauses out of 20011 with flag 4972001/5029653
266.34/264.19	c cleaning 9996 clauses out of 20009 with flag 4982000/5039652
266.84/264.70	c cleaning 9995 clauses out of 20013 with flag 4992000/5049652
267.44/265.23	c cleaning 10003 clauses out of 20018 with flag 5002000/5059652
268.04/265.82	c cleaning 9995 clauses out of 20015 with flag 5012000/5069652
268.54/266.36	c cleaning 10003 clauses out of 20021 with flag 5022001/5079653
269.14/266.92	c cleaning 9999 clauses out of 20017 with flag 5032000/5089652
269.64/267.47	c cleaning 10003 clauses out of 20018 with flag 5042000/5099652
270.24/268.01	c cleaning 9998 clauses out of 20016 with flag 5052001/5109653
270.75/268.57	c cleaning 9991 clauses out of 20017 with flag 5062000/5119652
271.35/269.11	c cleaning 10007 clauses out of 20026 with flag 5072000/5129652
271.85/269.64	c cleaning 10004 clauses out of 20019 with flag 5082000/5139652
272.35/270.18	c cleaning 9999 clauses out of 20015 with flag 5092000/5149652
272.95/270.70	c cleaning 10005 clauses out of 20022 with flag 5102006/5159658
273.45/271.20	c cleaning 9992 clauses out of 20011 with flag 5112000/5169652
273.96/271.75	c cleaning 10002 clauses out of 20019 with flag 5122000/5179652
274.45/272.26	c cleaning 10004 clauses out of 20017 with flag 5132000/5189652
274.96/272.76	c cleaning 10003 clauses out of 20017 with flag 5142004/5199656
275.45/273.29	c cleaning 9991 clauses out of 20012 with flag 5152002/5209654
276.16/273.91	c cleaning 10005 clauses out of 20019 with flag 5162000/5219652
276.65/274.42	c cleaning 10002 clauses out of 20014 with flag 5172000/5229652
277.16/274.96	c cleaning 9999 clauses out of 20013 with flag 5182001/5239653
277.76/275.51	c cleaning 10004 clauses out of 20017 with flag 5192004/5249656
278.26/276.05	c cleaning 10001 clauses out of 20011 with flag 5202002/5259654
278.76/276.55	c cleaning 9998 clauses out of 20008 with flag 5212000/5269652
279.37/277.11	c cleaning 10001 clauses out of 20012 with flag 5222002/5279654
279.86/277.64	c cleaning 10000 clauses out of 20010 with flag 5232001/5289653
280.37/278.12	c cleaning 9999 clauses out of 20010 with flag 5242001/5299653
280.86/278.67	c cleaning 9999 clauses out of 20011 with flag 5252001/5309653
281.47/279.20	c cleaning 10002 clauses out of 20013 with flag 5262002/5319654
281.97/279.71	c cleaning 10001 clauses out of 20009 with flag 5272000/5329652
282.47/280.22	c cleaning 9996 clauses out of 20008 with flag 5282000/5339652
283.11/280.85	c cleaning 9991 clauses out of 20012 with flag 5292000/5349652
283.71/281.45	c cleaning 10007 clauses out of 20022 with flag 5302001/5359653
284.21/281.98	c cleaning 9998 clauses out of 20014 with flag 5312000/5369652
284.71/282.49	c cleaning 10001 clauses out of 20017 with flag 5322001/5379653
285.41/283.10	c cleaning 9997 clauses out of 20016 with flag 5332001/5389653
285.91/283.68	c cleaning 10005 clauses out of 20020 with flag 5342002/5399654
286.52/284.22	c cleaning 10000 clauses out of 20013 with flag 5352000/5409652
287.02/284.77	c cleaning 10000 clauses out of 20015 with flag 5362002/5419654
287.52/285.28	c cleaning 10000 clauses out of 20013 with flag 5372000/5429652
288.12/285.86	c cleaning 9988 clauses out of 20013 with flag 5382000/5439652
288.62/286.38	c cleaning 10003 clauses out of 20025 with flag 5392000/5449652
289.13/286.89	c cleaning 10003 clauses out of 20023 with flag 5402001/5459653
289.73/287.48	c cleaning 10004 clauses out of 20020 with flag 5412001/5469653
290.33/288.08	c cleaning 10001 clauses out of 20015 with flag 5422000/5479652
290.93/288.61	c cleaning 10004 clauses out of 20016 with flag 5432002/5489654
291.43/289.15	c cleaning 9999 clauses out of 20012 with flag 5442002/5499654
291.93/289.67	c cleaning 10003 clauses out of 20011 with flag 5452000/5509652
292.43/290.19	c cleaning 9999 clauses out of 20008 with flag 5462000/5519652
293.03/290.73	c cleaning 9998 clauses out of 20009 with flag 5472000/5529652
293.53/291.27	c cleaning 9999 clauses out of 20012 with flag 5482001/5539653
294.03/291.79	c cleaning 10000 clauses out of 20013 with flag 5492001/5549653
294.63/292.31	c cleaning 10002 clauses out of 20013 with flag 5502001/5559653
295.13/292.90	c cleaning 9989 clauses out of 20010 with flag 5512000/5569652
295.73/293.45	c cleaning 10001 clauses out of 20023 with flag 5522002/5579654
296.23/293.95	c cleaning 10004 clauses out of 20020 with flag 5532000/5589652
296.84/294.50	c cleaning 10002 clauses out of 20018 with flag 5542002/5599654
297.34/295.04	c cleaning 10005 clauses out of 20018 with flag 5552004/5609656
297.84/295.56	c cleaning 10000 clauses out of 20010 with flag 5562001/5619653
298.34/296.09	c cleaning 10000 clauses out of 20011 with flag 5572002/5629654
298.94/296.60	c cleaning 10001 clauses out of 20010 with flag 5582001/5639653
299.44/297.13	c cleaning 9994 clauses out of 20008 with flag 5592000/5649652
299.94/297.69	c cleaning 10005 clauses out of 20015 with flag 5602001/5659653
300.55/298.26	c cleaning 10001 clauses out of 20010 with flag 5612001/5669653
301.15/298.82	c cleaning 9999 clauses out of 20010 with flag 5622002/5679654
301.65/299.37	c cleaning 9998 clauses out of 20012 with flag 5632003/5689655
302.15/299.89	c cleaning 10001 clauses out of 20012 with flag 5642001/5699653
302.66/300.38	c cleaning 9994 clauses out of 20010 with flag 5652000/5709652
303.25/300.95	c cleaning 9995 clauses out of 20016 with flag 5662000/5719652
303.76/301.45	c cleaning 10003 clauses out of 20024 with flag 5672003/5729655
304.26/301.94	c cleaning 10003 clauses out of 20022 with flag 5682004/5739656
304.76/302.49	c cleaning 10001 clauses out of 20015 with flag 5692000/5749652
305.36/303.02	c cleaning 9990 clauses out of 20014 with flag 5702000/5759652
305.97/303.63	c cleaning 10006 clauses out of 20026 with flag 5712002/5769654
306.46/304.16	c cleaning 10001 clauses out of 20018 with flag 5722000/5779652
306.97/304.65	c cleaning 10002 clauses out of 20017 with flag 5732000/5789652
307.57/305.20	c cleaning 10000 clauses out of 20016 with flag 5742001/5799653
308.07/305.77	c cleaning 10000 clauses out of 20016 with flag 5752001/5809653
308.67/306.32	c cleaning 10003 clauses out of 20016 with flag 5762001/5819653
309.27/306.90	c cleaning 9999 clauses out of 20012 with flag 5772000/5829652
309.77/307.44	c cleaning 10001 clauses out of 20014 with flag 5782001/5839653
310.28/307.93	c cleaning 10001 clauses out of 20012 with flag 5792000/5849652
310.78/308.47	c cleaning 9998 clauses out of 20011 with flag 5802000/5859652
311.28/308.99	c cleaning 10001 clauses out of 20015 with flag 5812002/5869654
311.88/309.51	c cleaning 9998 clauses out of 20012 with flag 5822000/5879652
312.39/310.10	c cleaning 9995 clauses out of 20014 with flag 5832000/5889652
312.99/310.64	c cleaning 10004 clauses out of 20021 with flag 5842002/5899654
313.49/311.12	c cleaning 10001 clauses out of 20016 with flag 5852001/5909653
313.99/311.61	c cleaning 9998 clauses out of 20014 with flag 5862000/5919652
314.59/312.27	c cleaning 9999 clauses out of 20017 with flag 5872001/5929653
315.19/312.86	c cleaning 10004 clauses out of 20017 with flag 5882000/5939652
315.69/313.37	c cleaning 10003 clauses out of 20014 with flag 5892001/5949653
316.19/313.87	c cleaning 9999 clauses out of 20010 with flag 5902000/5959652
316.69/314.39	c cleaning 10003 clauses out of 20011 with flag 5912000/5969652
317.29/314.93	c cleaning 9996 clauses out of 20008 with flag 5922000/5979652
317.79/315.47	c cleaning 9997 clauses out of 20012 with flag 5932000/5989652
318.39/316.00	c cleaning 10000 clauses out of 20015 with flag 5942000/5999652
318.89/316.50	c cleaning 10000 clauses out of 20016 with flag 5952001/6009653
319.39/317.03	c cleaning 10001 clauses out of 20015 with flag 5962000/6019652
319.89/317.56	c cleaning 9999 clauses out of 20014 with flag 5972000/6029652
320.39/318.05	c cleaning 10003 clauses out of 20016 with flag 5982001/6039653
320.90/318.59	c cleaning 9996 clauses out of 20013 with flag 5992001/6049653
321.50/319.11	c cleaning 10004 clauses out of 20017 with flag 6002001/6059653
322.00/319.62	c cleaning 9998 clauses out of 20012 with flag 6012000/6069652
322.51/320.13	c cleaning 9999 clauses out of 20016 with flag 6022002/6079654
323.00/320.66	c cleaning 9998 clauses out of 20015 with flag 6032000/6089652
323.51/321.19	c cleaning 10000 clauses out of 20017 with flag 6042000/6099652
324.10/321.73	c cleaning 10003 clauses out of 20020 with flag 6052003/6109655
324.61/322.24	c cleaning 9997 clauses out of 20014 with flag 6062000/6119652
325.10/322.75	c cleaning 10002 clauses out of 20019 with flag 6072002/6129654
325.60/323.24	c cleaning 10005 clauses out of 20018 with flag 6082003/6139655
326.10/323.75	c cleaning 9999 clauses out of 20010 with flag 6092000/6149652
326.70/324.35	c cleaning 9994 clauses out of 20013 with flag 6102002/6159654
327.31/324.91	c cleaning 9993 clauses out of 20017 with flag 6112000/6169652
327.91/325.50	c cleaning 10000 clauses out of 20024 with flag 6122000/6179652
328.51/326.14	c cleaning 10005 clauses out of 20024 with flag 6132000/6189652
329.11/326.75	c cleaning 9992 clauses out of 20019 with flag 6142000/6199652
329.61/327.30	c cleaning 10008 clauses out of 20027 with flag 6152000/6209652
330.22/327.84	c cleaning 9996 clauses out of 20019 with flag 6162000/6219652
330.71/328.37	c cleaning 10003 clauses out of 20024 with flag 6172001/6229653
331.22/328.87	c cleaning 10001 clauses out of 20021 with flag 6182001/6239653
331.71/329.35	c cleaning 10004 clauses out of 20019 with flag 6192000/6249652
332.21/329.86	c cleaning 9991 clauses out of 20015 with flag 6202000/6259652
332.71/330.37	c cleaning 10007 clauses out of 20024 with flag 6212000/6269652
333.31/330.93	c cleaning 10000 clauses out of 20018 with flag 6222001/6279653
333.81/331.42	c cleaning 10002 clauses out of 20018 with flag 6232001/6289653
334.32/331.92	c cleaning 9997 clauses out of 20015 with flag 6242000/6299652
334.82/332.47	c cleaning 10006 clauses out of 20021 with flag 6252003/6309655
335.42/333.00	c cleaning 10002 clauses out of 20015 with flag 6262003/6319655
335.93/333.54	c cleaning 9999 clauses out of 20011 with flag 6272001/6329653
336.43/334.04	c cleaning 10002 clauses out of 20011 with flag 6282000/6339652
337.03/334.61	c cleaning 9995 clauses out of 20010 with flag 6292001/6349653
337.53/335.18	c cleaning 9998 clauses out of 20014 with flag 6302000/6359652
338.13/335.79	c cleaning 10001 clauses out of 20017 with flag 6312001/6369653
338.73/336.37	c cleaning 10002 clauses out of 20020 with flag 6322005/6379657
339.33/336.94	c cleaning 10001 clauses out of 20017 with flag 6332004/6389656
339.93/337.52	c cleaning 9991 clauses out of 20012 with flag 6342000/6399652
340.43/338.07	c cleaning 10005 clauses out of 20021 with flag 6352000/6409652
341.14/338.73	c cleaning 9991 clauses out of 20016 with flag 6362000/6419652
341.73/339.33	c cleaning 10003 clauses out of 20025 with flag 6372000/6429652
342.34/339.96	c cleaning 10001 clauses out of 20023 with flag 6382001/6439653
342.83/340.49	c cleaning 10005 clauses out of 20022 with flag 6392001/6449653
343.34/340.99	c cleaning 9994 clauses out of 20016 with flag 6402000/6459652
343.93/341.50	c cleaning 10001 clauses out of 20022 with flag 6412000/6469652
344.44/342.04	c cleaning 10005 clauses out of 20023 with flag 6422002/6479654
344.94/342.55	c cleaning 10002 clauses out of 20016 with flag 6432000/6489652
345.44/343.08	c cleaning 9999 clauses out of 20014 with flag 6442000/6499652
345.94/343.56	c cleaning 10000 clauses out of 20015 with flag 6452000/6509652
346.44/344.06	c cleaning 9996 clauses out of 20018 with flag 6462003/6519655
347.04/344.63	c cleaning 9996 clauses out of 20019 with flag 6472000/6529652
347.55/345.16	c cleaning 10003 clauses out of 20023 with flag 6482000/6539652
348.15/345.70	c cleaning 10008 clauses out of 20024 with flag 6492004/6549656
348.65/346.22	c cleaning 9997 clauses out of 20013 with flag 6502001/6559653
349.15/346.77	c cleaning 9999 clauses out of 20015 with flag 6512000/6569652
349.65/347.28	c cleaning 10001 clauses out of 20016 with flag 6522000/6579652
350.25/347.82	c cleaning 9999 clauses out of 20015 with flag 6532000/6589652
350.85/348.42	c cleaning 9992 clauses out of 20016 with flag 6542000/6599652
351.36/348.94	c cleaning 10008 clauses out of 20024 with flag 6552000/6609652
351.86/349.46	c cleaning 10006 clauses out of 20019 with flag 6562003/6619655
352.35/349.97	c cleaning 9996 clauses out of 20010 with flag 6572000/6629652
352.95/350.51	c cleaning 9999 clauses out of 20015 with flag 6582001/6639653
353.45/351.08	c cleaning 9996 clauses out of 20016 with flag 6592001/6649653
353.95/351.59	c cleaning 10004 clauses out of 20020 with flag 6602001/6659653
354.56/352.12	c cleaning 9994 clauses out of 20015 with flag 6612000/6669652
355.06/352.65	c cleaning 10002 clauses out of 20021 with flag 6622000/6679652
355.56/353.16	c cleaning 9993 clauses out of 20019 with flag 6632000/6689652
356.16/353.72	c cleaning 10007 clauses out of 20027 with flag 6642001/6699653
356.76/354.33	c cleaning 9999 clauses out of 20020 with flag 6652001/6709653
357.26/354.88	c cleaning 10005 clauses out of 20021 with flag 6662001/6719653
357.86/355.47	c cleaning 9997 clauses out of 20018 with flag 6672003/6729655
358.46/356.03	c cleaning 10003 clauses out of 20019 with flag 6682001/6739653
359.06/356.64	c cleaning 10001 clauses out of 20017 with flag 6692002/6749654
359.56/357.14	c cleaning 9998 clauses out of 20015 with flag 6702001/6759653
360.06/357.68	c cleaning 10001 clauses out of 20017 with flag 6712001/6769653
360.66/358.22	c cleaning 10001 clauses out of 20015 with flag 6722000/6779652
361.16/358.73	c cleaning 9996 clauses out of 20015 with flag 6732001/6789653
361.66/359.26	c cleaning 10001 clauses out of 20018 with flag 6742000/6799652
362.17/359.78	c cleaning 10001 clauses out of 20017 with flag 6752000/6809652
362.76/360.31	c cleaning 10004 clauses out of 20017 with flag 6762001/6819653
363.27/360.82	c cleaning 10001 clauses out of 20012 with flag 6772000/6829652
363.77/361.37	c cleaning 9990 clauses out of 20012 with flag 6782001/6839653
364.37/361.91	c cleaning 10008 clauses out of 20024 with flag 6792003/6849655
364.87/362.41	c cleaning 9999 clauses out of 20013 with flag 6802000/6859652
365.27/362.88	c cleaning 9999 clauses out of 20014 with flag 6812000/6869652
365.77/363.38	c cleaning 10000 clauses out of 20016 with flag 6822001/6879653
366.37/363.91	c cleaning 9983 clauses out of 20018 with flag 6832003/6889655
366.87/364.47	c cleaning 9979 clauses out of 20035 with flag 6842003/6899655
367.37/364.98	c cleaning 9983 clauses out of 20055 with flag 6852002/6909654
367.88/365.49	c cleaning 9987 clauses out of 20071 with flag 6862001/6919653
368.48/366.01	c cleaning 9997 clauses out of 20085 with flag 6872002/6929654
368.98/366.54	c cleaning 9992 clauses out of 20087 with flag 6882001/6939653
369.48/367.09	c cleaning 9960 clauses out of 20094 with flag 6892000/6949652
370.08/367.61	c cleaning 9977 clauses out of 20134 with flag 6902000/6959652
370.58/368.13	c cleaning 9967 clauses out of 20157 with flag 6912000/6969652
371.08/368.65	c cleaning 9978 clauses out of 20190 with flag 6922000/6979652
371.58/369.18	c cleaning 9982 clauses out of 20215 with flag 6932003/6989655
372.18/369.71	c cleaning 9981 clauses out of 20230 with flag 6942000/6999652
372.68/370.22	c cleaning 9983 clauses out of 20249 with flag 6952000/7009652
373.20/370.72	c cleaning 9980 clauses out of 20266 with flag 6962000/7019652
373.70/371.26	c cleaning 9991 clauses out of 20286 with flag 6972000/7029652
374.20/371.79	c cleaning 9988 clauses out of 20296 with flag 6982001/7039653
374.80/372.39	c cleaning 9985 clauses out of 20307 with flag 6992000/7049652
375.30/372.90	c cleaning 9989 clauses out of 20322 with flag 7002000/7059652
375.90/373.40	c cleaning 9992 clauses out of 20335 with flag 7012002/7069654
376.40/373.90	c cleaning 9964 clauses out of 20341 with flag 7022000/7079652
376.90/374.42	c cleaning 9981 clauses out of 20378 with flag 7032001/7089653
377.40/374.92	c cleaning 9988 clauses out of 20397 with flag 7042001/7099653
377.91/375.43	c cleaning 9981 clauses out of 20411 with flag 7052003/7109655
378.41/375.94	c cleaning 9985 clauses out of 20427 with flag 7062000/7119652
378.91/376.44	c cleaning 9994 clauses out of 20443 with flag 7072001/7129653
379.41/376.94	c cleaning 9987 clauses out of 20450 with flag 7082002/7139654
379.91/377.48	c cleaning 9993 clauses out of 20463 with flag 7092002/7149654
380.51/378.01	c cleaning 9987 clauses out of 20468 with flag 7102000/7159652
381.01/378.51	c cleaning 10002 clauses out of 20483 with flag 7112002/7169654
381.51/379.04	c cleaning 9996 clauses out of 20480 with flag 7122001/7179653
382.01/379.54	c cleaning 9993 clauses out of 20484 with flag 7132001/7189653
382.51/380.07	c cleaning 9971 clauses out of 20490 with flag 7142000/7199652
383.02/380.56	c cleaning 9978 clauses out of 20519 with flag 7152000/7209652
383.51/381.05	c cleaning 10000 clauses out of 20544 with flag 7162003/7219655
384.01/381.57	c cleaning 10001 clauses out of 20543 with flag 7172002/7229654
384.51/382.09	c cleaning 9970 clauses out of 20542 with flag 7182002/7239654
385.02/382.57	c cleaning 9970 clauses out of 20570 with flag 7192000/7249652
385.52/383.06	c cleaning 9995 clauses out of 20601 with flag 7202001/7259653
386.02/383.58	c cleaning 9999 clauses out of 20608 with flag 7212003/7269655
386.62/384.12	c cleaning 9994 clauses out of 20610 with flag 7222004/7279656
387.12/384.67	c cleaning 9983 clauses out of 20612 with flag 7232000/7289652
387.62/385.17	c cleaning 9988 clauses out of 20630 with flag 7242001/7299653
388.12/385.67	c cleaning 9990 clauses out of 20641 with flag 7252000/7309652
388.72/386.22	c cleaning 9996 clauses out of 20651 with flag 7262000/7319652
389.22/386.75	c cleaning 9991 clauses out of 20657 with flag 7272002/7329654
389.73/387.22	c cleaning 9979 clauses out of 20664 with flag 7282000/7339652
390.22/387.73	c cleaning 9992 clauses out of 20687 with flag 7292002/7349654
390.73/388.27	c cleaning 9991 clauses out of 20693 with flag 7302000/7359652
391.22/388.79	c cleaning 9991 clauses out of 20704 with flag 7312002/7369654
391.83/389.31	c cleaning 9985 clauses out of 20713 with flag 7322002/7379654
392.33/389.81	c cleaning 9985 clauses out of 20729 with flag 7332003/7389655
392.83/390.32	c cleaning 9985 clauses out of 20741 with flag 7342000/7399652
393.33/390.87	c cleaning 9978 clauses out of 20756 with flag 7352000/7409652
393.92/391.44	c cleaning 9967 clauses out of 20779 with flag 7362001/7419653
394.43/391.98	c cleaning 9989 clauses out of 20811 with flag 7372000/7429652
395.03/392.52	c cleaning 10001 clauses out of 20824 with flag 7382002/7439654
395.53/393.05	c cleaning 9975 clauses out of 20822 with flag 7392001/7449653
396.03/393.55	c cleaning 9975 clauses out of 20846 with flag 7402000/7459652
396.54/394.06	c cleaning 9982 clauses out of 20873 with flag 7412002/7469654
397.04/394.57	c cleaning 9975 clauses out of 20890 with flag 7422001/7479653
397.54/395.09	c cleaning 9977 clauses out of 20914 with flag 7432000/7489652
398.14/395.63	c cleaning 9990 clauses out of 20938 with flag 7442001/7499653
398.64/396.18	c cleaning 9984 clauses out of 20948 with flag 7452001/7509653
399.24/396.74	c cleaning 9988 clauses out of 20965 with flag 7462002/7519654
399.74/397.26	c cleaning 9986 clauses out of 20976 with flag 7472001/7529653
400.24/397.79	c cleaning 9983 clauses out of 20990 with flag 7482001/7539653
400.75/398.29	c cleaning 9997 clauses out of 21006 with flag 7492000/7549652
401.34/398.82	c cleaning 9981 clauses out of 21011 with flag 7502002/7559654
401.94/399.43	c cleaning 9991 clauses out of 21031 with flag 7512003/7569655
402.54/400.01	c cleaning 9998 clauses out of 21041 with flag 7522004/7579656
403.04/400.51	c cleaning 9995 clauses out of 21039 with flag 7532000/7589652
403.55/401.05	c cleaning 9996 clauses out of 21045 with flag 7542001/7599653
404.15/401.62	c cleaning 10006 clauses out of 21048 with flag 7552000/7609652
404.65/402.20	c cleaning 9984 clauses out of 21042 with flag 7562000/7619652
405.25/402.73	c cleaning 9997 clauses out of 21058 with flag 7572000/7629652
405.75/403.26	c cleaning 9987 clauses out of 21062 with flag 7582001/7639653
406.26/403.76	c cleaning 9973 clauses out of 21074 with flag 7592000/7649652
406.85/404.36	c cleaning 9990 clauses out of 21103 with flag 7602002/7659654
407.36/404.89	c cleaning 9991 clauses out of 21114 with flag 7612003/7669655
407.96/405.41	c cleaning 9991 clauses out of 21120 with flag 7622000/7679652
408.46/405.91	c cleaning 9991 clauses out of 21130 with flag 7632001/7689653
408.96/406.48	c cleaning 10000 clauses out of 21138 with flag 7642000/7699652
409.57/407.02	c cleaning 9992 clauses out of 21140 with flag 7652002/7709654
410.06/407.53	c cleaning 9981 clauses out of 21147 with flag 7662001/7719653
410.58/408.06	c cleaning 9998 clauses out of 21165 with flag 7672000/7729652
411.17/408.60	c cleaning 9985 clauses out of 21167 with flag 7682000/7739652
411.68/409.14	c cleaning 9951 clauses out of 21184 with flag 7692002/7749654
412.17/409.67	c cleaning 9981 clauses out of 21233 with flag 7702002/7759654
412.78/410.21	c cleaning 9977 clauses out of 21250 with flag 7712000/7769652
413.28/410.76	c cleaning 9983 clauses out of 21274 with flag 7722001/7779653
413.78/411.28	c cleaning 9985 clauses out of 21290 with flag 7732000/7789652
414.38/411.82	c cleaning 9993 clauses out of 21305 with flag 7742000/7799652
414.88/412.36	c cleaning 9992 clauses out of 21315 with flag 7752003/7809655
415.48/412.95	c cleaning 9988 clauses out of 21320 with flag 7762000/7819652
416.19/413.62	c cleaning 10004 clauses out of 21332 with flag 7772000/7829652
416.68/414.19	c cleaning 9966 clauses out of 21328 with flag 7782000/7839652
417.29/414.74	c cleaning 9998 clauses out of 21362 with flag 7792000/7849652
417.89/415.30	c cleaning 9987 clauses out of 21367 with flag 7802003/7859655
418.39/415.84	c cleaning 9987 clauses out of 21377 with flag 7812000/7869652
418.89/416.37	c cleaning 9988 clauses out of 21390 with flag 7822000/7879652
419.49/416.92	c cleaning 9982 clauses out of 21402 with flag 7832000/7889652
419.99/417.48	c cleaning 9998 clauses out of 21420 with flag 7842000/7899652
420.59/418.06	c cleaning 10006 clauses out of 21423 with flag 7852001/7909653
421.19/418.69	c cleaning 9997 clauses out of 21418 with flag 7862002/7919654
421.89/419.30	c cleaning 9992 clauses out of 21419 with flag 7872000/7929652
422.49/419.92	c cleaning 10004 clauses out of 21427 with flag 7882000/7939652
423.19/420.65	c cleaning 9990 clauses out of 21423 with flag 7892000/7949652
423.69/421.20	c cleaning 9974 clauses out of 21433 with flag 7902000/7959652
424.29/421.78	c cleaning 9992 clauses out of 21460 with flag 7912001/7969653
424.90/422.31	c cleaning 9989 clauses out of 21467 with flag 7922000/7979652
425.39/422.85	c cleaning 9994 clauses out of 21480 with flag 7932002/7989654
425.90/423.37	c cleaning 9981 clauses out of 21486 with flag 7942002/7999654
426.50/423.90	c cleaning 9982 clauses out of 21503 with flag 7952000/8009652
427.01/424.43	c cleaning 9983 clauses out of 21522 with flag 7962001/8019653
427.61/425.01	c cleaning 10002 clauses out of 21541 with flag 7972003/8029655
428.11/425.59	c cleaning 9995 clauses out of 21537 with flag 7982001/8039653
428.71/426.10	c cleaning 9992 clauses out of 21541 with flag 7992000/8049652
429.21/426.60	c cleaning 9990 clauses out of 21550 with flag 8002001/8059653
429.71/427.11	c cleaning 9990 clauses out of 21559 with flag 8012000/8069652
430.21/427.63	c cleaning 9975 clauses out of 21570 with flag 8022001/8079653
430.72/428.14	c cleaning 9983 clauses out of 21594 with flag 8032000/8089652
431.22/428.69	c cleaning 9999 clauses out of 21611 with flag 8042000/8099652
431.72/429.19	c cleaning 9989 clauses out of 21612 with flag 8052000/8109652
432.22/429.69	c cleaning 9988 clauses out of 21623 with flag 8062000/8119652
432.82/430.22	c cleaning 10000 clauses out of 21638 with flag 8072003/8129655
433.32/430.72	c cleaning 9998 clauses out of 21636 with flag 8082001/8139653
433.83/431.26	c cleaning 9979 clauses out of 21638 with flag 8092001/8149653
434.42/431.81	c cleaning 9997 clauses out of 21660 with flag 8102002/8159654
434.83/432.29	c cleaning 9991 clauses out of 21661 with flag 8112000/8169652
435.42/432.84	c cleaning 10000 clauses out of 21671 with flag 8122001/8179653
436.03/433.42	c cleaning 9993 clauses out of 21673 with flag 8132003/8189655
436.52/433.94	c cleaning 9988 clauses out of 21677 with flag 8142000/8199652
437.03/434.45	c cleaning 9994 clauses out of 21689 with flag 8152000/8209652
437.63/435.05	c cleaning 9989 clauses out of 21697 with flag 8162002/8219654
438.23/435.70	c cleaning 10006 clauses out of 21708 with flag 8172002/8229654
438.93/436.33	c cleaning 9995 clauses out of 21701 with flag 8182001/8239653
439.43/436.84	c cleaning 9973 clauses out of 21706 with flag 8192001/8249653
439.93/437.33	c cleaning 9980 clauses out of 21732 with flag 8202000/8259652
440.44/437.83	c cleaning 9974 clauses out of 21752 with flag 8212000/8269652
440.93/438.36	c cleaning 9994 clauses out of 21778 with flag 8222000/8279652
441.45/438.88	c cleaning 9978 clauses out of 21785 with flag 8232001/8289653
442.04/439.44	c cleaning 9992 clauses out of 21806 with flag 8242000/8299652
442.55/439.99	c cleaning 9987 clauses out of 21815 with flag 8252001/8309653
443.14/440.50	c cleaning 9988 clauses out of 21829 with flag 8262002/8319654
443.54/440.98	c cleaning 9992 clauses out of 21842 with flag 8272003/8329655
444.14/441.51	c cleaning 9978 clauses out of 21847 with flag 8282000/8339652
444.65/442.05	c cleaning 9996 clauses out of 21871 with flag 8292002/8349654
445.35/442.70	c cleaning 9999 clauses out of 21876 with flag 8302003/8359655
445.95/443.31	c cleaning 9993 clauses out of 21874 with flag 8312000/8369652
446.55/443.96	c cleaning 10006 clauses out of 21882 with flag 8322001/8379653
447.15/444.57	c cleaning 9986 clauses out of 21875 with flag 8332000/8389652
447.75/445.14	c cleaning 9987 clauses out of 21891 with flag 8342002/8399654
448.25/445.68	c cleaning 9990 clauses out of 21902 with flag 8352000/8409652
448.85/446.29	c cleaning 10002 clauses out of 21912 with flag 8362000/8419652
449.45/446.87	c cleaning 9998 clauses out of 21910 with flag 8372000/8429652
450.16/447.53	c cleaning 9993 clauses out of 21912 with flag 8382000/8439652
450.66/448.09	c cleaning 9984 clauses out of 21920 with flag 8392001/8449653
451.26/448.65	c cleaning 9999 clauses out of 21936 with flag 8402001/8459653
451.76/449.20	c cleaning 9978 clauses out of 21936 with flag 8412000/8469652
452.36/449.72	c cleaning 9995 clauses out of 21958 with flag 8422000/8479652
452.86/450.27	c cleaning 10000 clauses out of 21964 with flag 8432001/8489653
453.57/450.91	c cleaning 9993 clauses out of 21965 with flag 8442002/8499654
454.16/451.50	c cleaning 9991 clauses out of 21971 with flag 8452001/8509653
454.67/452.03	c cleaning 9996 clauses out of 21980 with flag 8462001/8519653
455.27/452.64	c cleaning 9991 clauses out of 21984 with flag 8472001/8529653
455.87/453.28	c cleaning 9963 clauses out of 21992 with flag 8482000/8539652
456.57/453.91	c cleaning 9963 clauses out of 22028 with flag 8492000/8549652
457.17/454.53	c cleaning 9993 clauses out of 22065 with flag 8502000/8559652
457.77/455.17	c cleaning 9992 clauses out of 22073 with flag 8512001/8569653
458.47/455.82	c cleaning 9985 clauses out of 22083 with flag 8522003/8579655
459.08/456.45	c cleaning 9997 clauses out of 22095 with flag 8532000/8589652
459.78/457.14	c cleaning 10000 clauses out of 22098 with flag 8542000/8599652
460.58/457.99	c cleaning 9999 clauses out of 22100 with flag 8552002/8609654
461.29/458.64	c cleaning 9979 clauses out of 22099 with flag 8562000/8619652
461.99/459.36	c cleaning 9987 clauses out of 22120 with flag 8572000/8629652
462.69/460.01	c cleaning 9990 clauses out of 22133 with flag 8582001/8639653
463.19/460.58	c cleaning 9983 clauses out of 22143 with flag 8592001/8649653
463.89/461.20	c cleaning 9999 clauses out of 22160 with flag 8602001/8659653
464.39/461.76	c cleaning 9992 clauses out of 22161 with flag 8612001/8669653
464.99/462.39	c cleaning 9996 clauses out of 22168 with flag 8622000/8679652
465.59/462.96	c cleaning 9989 clauses out of 22172 with flag 8632000/8689652
466.10/463.48	c cleaning 9981 clauses out of 22184 with flag 8642001/8699653
466.70/464.08	c cleaning 9989 clauses out of 22202 with flag 8652000/8709652
467.30/464.66	c cleaning 9970 clauses out of 22215 with flag 8662002/8719654
467.80/465.18	c cleaning 9951 clauses out of 22243 with flag 8672001/8729653
468.02/465.31	c starts		: 337
468.02/465.31	c conflicts		: 8732075
468.02/465.31	c decisions		: 12806592
468.02/465.31	c propagations		: 431811708
468.02/465.31	c inspects		: 4699411662
468.02/465.31	c shortcuts		: 0
468.02/465.31	c learnt literals	: 7
468.02/465.31	c learnt binary clauses	: 64
468.02/465.31	c learnt ternary clauses	: 2076
468.02/465.31	c learnt constraints	: 8732067
468.02/465.31	c ignored constraints	: 0
468.02/465.31	c root simplifications	: 0
468.02/465.31	c removed literals (reason simplification)	: 48015301
468.02/465.31	c reason swapping (by a shorter reason)	: 0
468.02/465.31	c Calls to reduceDB	: 877
468.02/465.31	c number of reductions to clauses (during analyze)	: 0
468.02/465.31	c number of learned constraints concerned by reduction	: 0
468.02/465.31	c number of learning phase by resolution	: 0
468.02/465.31	c number of learning phase by cutting planes	: 0
468.02/465.31	c speed (assignments/second)	: 939491.0785578616
468.02/465.31	c non guided choices	4443
468.02/465.31	c learnt constraints type 
468.02/465.31	c constraints type 
468.02/465.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2606
468.02/465.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
468.02/465.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 78
468.02/465.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
468.02/465.31	s OPTIMUM FOUND
468.02/465.31	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 
468.02/465.31	c objective function=1
468.02/465.31	c Total wall clock time (in seconds): 465.199

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.87 2/195 5738
/proc/meminfo: memFree=32190044/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5738/stat : 5738 (java) R 5736 5738 2655 0 -1 4202496 923 0 0 0 0 0 0 0 25 0 1 0 902652802 23580672 666 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5738/statm: 5757 678 495 9 0 124 0

[startup+0.0203539 s]
/proc/loadavg: 2.00 2.00 1.87 2/195 5738
/proc/meminfo: memFree=32190044/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 7438 0 1 0 0 1 0 0 25 0 2 0 902652802 10694979584 7140 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2611079 7160 917 9 0 2602235 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316

[startup+0.100326 s]
/proc/loadavg: 2.00 2.00 1.87 2/195 5738
/proc/meminfo: memFree=32190044/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10540328 CPUtime=0.1 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 13012 0 1 0 8 2 0 0 25 0 18 0 902652802 10793295872 12708 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2635082 12710 2092 9 0 2625816 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540328

[startup+0.307341 s]
/proc/loadavg: 2.00 2.00 1.87 2/195 5738
/proc/meminfo: memFree=32190044/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10541760 CPUtime=0.49 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 16575 0 1 0 47 2 0 0 25 0 18 0 902652802 10794762240 15542 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2635440 15546 2201 9 0 2626174 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541760

[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 1.87 2/195 5738
/proc/meminfo: memFree=32190044/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10545228 CPUtime=1.44 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 21029 0 1 0 142 2 0 0 25 0 19 0 902652802 10798313472 18551 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2636307 18551 2225 9 0 2627041 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10545228

[startup+1.50107 s]
/proc/loadavg: 2.00 2.00 1.87 3/214 5757
/proc/meminfo: memFree=32118488/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10545228 CPUtime=2.26 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 23620 0 1 0 223 3 0 0 25 0 19 0 902652802 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2636307 21141 2227 9 0 2627041 0
[pid=5738/tid=5740] ppid=5736 vsize=10545228 CPUtime=1.48 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) R 5736 5738 2655 0 -1 4202560 17760 0 1 0 146 2 0 0 18 0 19 0 902652803 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 46912505666040 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5738/tid=5741] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5742] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5743] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5744] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5745] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5746] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5747] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5748] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652805 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5749] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5738 2655 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902652806 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 0 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5750] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5738 2655 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902652806 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5751] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5738 2655 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902652806 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5752] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902652808 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382780849 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5753] ppid=5736 vsize=10545228 CPUtime=0.39 cores=1,3,5,7
/proc/5738/task/5753/stat : 5753 (java) S 5736 5738 2655 0 -1 4202560 1516 0 0 0 39 0 0 0 15 0 19 0 902652808 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5754] ppid=5736 vsize=10545228 CPUtime=0.37 cores=1,3,5,7
/proc/5738/task/5754/stat : 5754 (java) S 5736 5738 2655 0 -1 4202560 3182 0 0 0 37 0 0 0 15 0 19 0 902652808 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5755] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5755/stat : 5755 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902652808 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5756] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5756/stat : 5756 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902652808 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5757] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5757/stat : 5757 (java) S 5736 5738 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652836 10798313472 21141 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10545228

[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 1.87 3/214 5757
/proc/meminfo: memFree=32109560/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10545228 CPUtime=3.91 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 26935 0 1 0 388 3 0 0 25 0 19 0 902652802 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2636307 24445 2253 9 0 2627041 0
[pid=5738/tid=5740] ppid=5736 vsize=10545228 CPUtime=3.04 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) R 5736 5738 2655 0 -1 4202560 18924 0 1 0 302 2 0 0 19 0 19 0 902652803 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 46912505842624 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5738/tid=5741] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5738 2655 0 -1 4202560 136 0 0 0 0 0 0 0 16 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5742] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5743] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5738 2655 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5744] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5745] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5738 2655 0 -1 4202560 231 0 0 0 0 0 0 0 16 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5746] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5738 2655 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5747] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5738 2655 0 -1 4202560 133 0 0 0 0 0 0 0 16 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5748] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5738 2655 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 19 0 902652805 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5749] ppid=5736 vsize=10545228 CPUtime=0.03 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5738 2655 0 -1 4202560 988 0 0 0 3 0 0 0 15 0 19 0 902652806 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 0 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5750] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5738 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652806 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5751] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5738 2655 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902652806 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5752] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902652808 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382780849 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5753] ppid=5736 vsize=10545228 CPUtime=0.41 cores=1,3,5,7
/proc/5738/task/5753/stat : 5753 (java) S 5736 5738 2655 0 -1 4202560 1525 0 0 0 41 0 0 0 15 0 19 0 902652808 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5754] ppid=5736 vsize=10545228 CPUtime=0.4 cores=1,3,5,7
/proc/5738/task/5754/stat : 5754 (java) S 5736 5738 2655 0 -1 4202560 3193 0 0 0 40 0 0 0 15 0 19 0 902652808 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5755] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5755/stat : 5755 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902652808 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5756] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5756/stat : 5756 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902652808 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5757] ppid=5736 vsize=10545228 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5757/stat : 5757 (java) S 5736 5738 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652836 10798313472 24445 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 10545228

[startup+6.30122 s]
/proc/loadavg: 2.00 2.00 1.87 3/214 5757
/proc/meminfo: memFree=32099948/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10544584 CPUtime=7.16 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 27188 0 1 0 713 3 0 0 25 0 19 0 902652802 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2636146 24239 2253 9 0 2626880 0
[pid=5738/tid=5740] ppid=5736 vsize=10544584 CPUtime=6.11 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) R 5736 5738 2655 0 -1 4202560 18932 0 1 0 609 2 0 0 25 0 19 0 902652803 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 46912505731407 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5738/tid=5741] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5738 2655 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5742] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5738 2655 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5743] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5738 2655 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5744] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5738 2655 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5745] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5738 2655 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5746] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5738 2655 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5747] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5738 2655 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5748] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5738 2655 0 -1 4202560 394 0 0 0 0 0 0 0 15 0 19 0 902652805 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5749] ppid=5736 vsize=10544584 CPUtime=0.14 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5738 2655 0 -1 4202560 1074 0 0 0 14 0 0 0 15 0 19 0 902652806 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 0 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5750] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5738 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652806 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5751] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5738 2655 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902652806 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5752] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902652808 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382780849 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5753] ppid=5736 vsize=10544584 CPUtime=0.45 cores=1,3,5,7
/proc/5738/task/5753/stat : 5753 (java) S 5736 5738 2655 0 -1 4202560 1667 0 0 0 45 0 0 0 15 0 19 0 902652808 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5754] ppid=5736 vsize=10544584 CPUtime=0.4 cores=1,3,5,7
/proc/5738/task/5754/stat : 5754 (java) S 5736 5738 2655 0 -1 4202560 3193 0 0 0 40 0 0 0 15 0 19 0 902652808 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5755] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5755/stat : 5755 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902652808 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5756] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5756/stat : 5756 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902652808 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5757] ppid=5736 vsize=10544584 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5757/stat : 5757 (java) S 5736 5738 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652836 10797654016 24239 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 10544584

[startup+12.7011 s]

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

/proc/5738/task/5741/stat : 5741 (java) S 5736 5738 2655 0 -1 4202560 163 0 0 0 25 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5742] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5738 2655 0 -1 4202560 31 0 0 0 24 1 0 0 16 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5743] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5738 2655 0 -1 4202560 57 0 0 0 25 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5744] ppid=5736 vsize=10543868 CPUtime=0.26 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5738 2655 0 -1 4202560 21 0 0 0 26 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5745] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5738 2655 0 -1 4202560 259 0 0 0 27 0 0 0 16 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5746] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5738 2655 0 -1 4202560 242 0 0 0 24 1 0 0 16 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5747] ppid=5736 vsize=10543868 CPUtime=0.24 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5738 2655 0 -1 4202560 154 0 0 0 24 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5748] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5738 2655 0 -1 4202560 415 0 0 0 26 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5749] ppid=5736 vsize=10543868 CPUtime=14.8 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5738 2655 0 -1 4202560 1879 0 0 0 1466 14 0 0 15 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 0 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5750] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5738 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5751] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5738 2655 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5752] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382780849 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5753] ppid=5736 vsize=10543868 CPUtime=1.27 cores=1,3,5,7
/proc/5738/task/5753/stat : 5753 (java) S 5736 5738 2655 0 -1 4202560 9398 0 0 0 127 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5754] ppid=5736 vsize=10543868 CPUtime=0.46 cores=1,3,5,7
/proc/5738/task/5754/stat : 5754 (java) S 5736 5738 2655 0 -1 4202560 3442 0 0 0 46 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5755] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5755/stat : 5755 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5756] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5756/stat : 5756 (java) S 5736 5738 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5757] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5757/stat : 5757 (java) S 5736 5738 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652836 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 466.6
Current children cumulated vsize (KiB) 10543868

[startup+464.701 s]
/proc/loadavg: 2.07 2.02 1.91 3/214 6056
/proc/meminfo: memFree=32284524/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10543868 CPUtime=467.4 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 37035 0 1 0 46711 29 0 0 25 0 19 0 902652802 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2635967 25297 2256 9 0 2626701 0
[pid=5738/tid=5740] ppid=5736 vsize=10543868 CPUtime=448.65 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) R 5736 5738 2655 0 -1 4202560 19796 0 1 0 44860 5 0 0 25 0 19 0 902652803 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 46912505719309 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5738/tid=5741] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5738 2655 0 -1 4202560 163 0 0 0 25 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5742] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5738 2655 0 -1 4202560 31 0 0 0 24 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5743] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5738 2655 0 -1 4202560 57 0 0 0 25 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5744] ppid=5736 vsize=10543868 CPUtime=0.26 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5738 2655 0 -1 4202560 21 0 0 0 26 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5745] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5738 2655 0 -1 4202560 259 0 0 0 27 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5746] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5738 2655 0 -1 4202560 242 0 0 0 24 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5747] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5738 2655 0 -1 4202560 154 0 0 0 25 0 0 0 16 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5748] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5738 2655 0 -1 4202560 415 0 0 0 26 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5749] ppid=5736 vsize=10543868 CPUtime=14.83 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5738 2655 0 -1 4202560 1879 0 0 0 1469 14 0 0 15 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 0 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5750] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5738 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5751] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5738 2655 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5752] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382780849 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5753] ppid=5736 vsize=10543868 CPUtime=1.27 cores=1,3,5,7
/proc/5738/task/5753/stat : 5753 (java) S 5736 5738 2655 0 -1 4202560 9398 0 0 0 127 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5754] ppid=5736 vsize=10543868 CPUtime=0.46 cores=1,3,5,7
/proc/5738/task/5754/stat : 5754 (java) S 5736 5738 2655 0 -1 4202560 3442 0 0 0 46 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5755] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5755/stat : 5755 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5756] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5756/stat : 5756 (java) S 5736 5738 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5757] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5757/stat : 5757 (java) S 5736 5738 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652836 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 467.4
Current children cumulated vsize (KiB) 10543868

[startup+465.101 s]
/proc/loadavg: 2.07 2.02 1.91 3/214 6056
/proc/meminfo: memFree=32284524/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10543868 CPUtime=467.8 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 37035 0 1 0 46751 29 0 0 25 0 19 0 902652802 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2635967 25297 2256 9 0 2626701 0
[pid=5738/tid=5740] ppid=5736 vsize=10543868 CPUtime=449.05 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) R 5736 5738 2655 0 -1 4202560 19796 0 1 0 44900 5 0 0 25 0 19 0 902652803 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 46912505719237 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5738/tid=5741] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5738 2655 0 -1 4202560 163 0 0 0 25 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5742] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5738 2655 0 -1 4202560 31 0 0 0 24 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5743] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5738 2655 0 -1 4202560 57 0 0 0 25 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5744] ppid=5736 vsize=10543868 CPUtime=0.26 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5738 2655 0 -1 4202560 21 0 0 0 26 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5745] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5738 2655 0 -1 4202560 259 0 0 0 27 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5746] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5738 2655 0 -1 4202560 242 0 0 0 24 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5747] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5738 2655 0 -1 4202560 154 0 0 0 25 0 0 0 16 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5748] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5738 2655 0 -1 4202560 415 0 0 0 26 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5749] ppid=5736 vsize=10543868 CPUtime=14.83 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5738 2655 0 -1 4202560 1879 0 0 0 1469 14 0 0 15 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 0 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5750] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5738 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5751] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5738 2655 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5752] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382780849 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5753] ppid=5736 vsize=10543868 CPUtime=1.27 cores=1,3,5,7
/proc/5738/task/5753/stat : 5753 (java) S 5736 5738 2655 0 -1 4202560 9398 0 0 0 127 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5754] ppid=5736 vsize=10543868 CPUtime=0.46 cores=1,3,5,7
/proc/5738/task/5754/stat : 5754 (java) S 5736 5738 2655 0 -1 4202560 3442 0 0 0 46 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5755] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5755/stat : 5755 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5756] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5756/stat : 5756 (java) S 5736 5738 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5757] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5757/stat : 5757 (java) S 5736 5738 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652836 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 467.8
Current children cumulated vsize (KiB) 10543868

[startup+465.307 s]
/proc/loadavg: 2.07 2.02 1.91 4/214 6056
/proc/meminfo: memFree=32284644/32951124 swapFree=67050044/67111528
[pid=5738] ppid=5736 vsize=10543868 CPUtime=468.02 cores=1,3,5,7
/proc/5738/stat : 5738 (java) S 5736 5738 2655 0 -1 4202496 37036 0 1 0 46773 29 0 0 25 0 19 0 902652802 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5738/statm: 2635967 25297 2256 9 0 2626701 0
[pid=5738/tid=5740] ppid=5736 vsize=10543868 CPUtime=449.24 cores=1,3,5,7
/proc/5738/task/5740/stat : 5740 (java) R 5736 5738 2655 0 -1 4202560 19797 0 1 0 44919 5 0 0 25 0 19 0 902652803 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 46912505167008 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5738/tid=5741] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5741/stat : 5741 (java) S 5736 5738 2655 0 -1 4202560 163 0 0 0 25 0 0 0 16 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5742] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5742/stat : 5742 (java) S 5736 5738 2655 0 -1 4202560 31 0 0 0 24 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5743] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5743/stat : 5743 (java) S 5736 5738 2655 0 -1 4202560 57 0 0 0 25 0 0 0 16 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5744] ppid=5736 vsize=10543868 CPUtime=0.26 cores=1,3,5,7
/proc/5738/task/5744/stat : 5744 (java) S 5736 5738 2655 0 -1 4202560 21 0 0 0 26 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5745] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5745/stat : 5745 (java) S 5736 5738 2655 0 -1 4202560 259 0 0 0 27 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5746] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5746/stat : 5746 (java) S 5736 5738 2655 0 -1 4202560 242 0 0 0 24 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5747] ppid=5736 vsize=10543868 CPUtime=0.25 cores=1,3,5,7
/proc/5738/task/5747/stat : 5747 (java) S 5736 5738 2655 0 -1 4202560 154 0 0 0 25 0 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5748] ppid=5736 vsize=10543868 CPUtime=0.27 cores=1,3,5,7
/proc/5738/task/5748/stat : 5748 (java) S 5736 5738 2655 0 -1 4202560 415 0 0 0 26 1 0 0 15 0 19 0 902652805 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5749] ppid=5736 vsize=10543868 CPUtime=14.85 cores=1,3,5,7
/proc/5738/task/5749/stat : 5749 (java) S 5736 5738 2655 0 -1 4202560 1879 0 0 0 1471 14 0 0 15 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 0 0 16800975 18446604461420926912 0 0 -1 5 0 0 0
[pid=5738/tid=5750] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5750/stat : 5750 (java) S 5736 5738 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5751] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5751/stat : 5751 (java) S 5736 5738 2655 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902652806 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
[pid=5738/tid=5752] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5752/stat : 5752 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382780849 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5753] ppid=5736 vsize=10543868 CPUtime=1.27 cores=1,3,5,7
/proc/5738/task/5753/stat : 5753 (java) R 5736 5738 2655 0 -1 4202560 9398 0 0 0 127 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 47080605757256 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5738/tid=5754] ppid=5736 vsize=10543868 CPUtime=0.47 cores=1,3,5,7
/proc/5738/task/5754/stat : 5754 (java) R 5736 5738 2655 0 -1 4202560 3442 0 0 0 47 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 47080605757256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5738/tid=5755] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5755/stat : 5755 (java) S 5736 5738 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773145 0 4 0 16800975 18446604461420926912 0 0 -1 3 0 0 0
[pid=5738/tid=5756] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5756/stat : 5756 (java) S 5736 5738 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902652808 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 1 0 0 0
[pid=5738/tid=5757] ppid=5736 vsize=10543868 CPUtime=0 cores=1,3,5,7
/proc/5738/task/5757/stat : 5757 (java) S 5736 5738 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652836 10796920832 25297 33554432000 1073741824 1073778376 140735514088688 18446744073709551615 218382773760 0 4 0 16800975 18446604461420926912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 468.02
Current children cumulated vsize (KiB) 10543868

Child status: 30
Real time (s): 465.318
CPU time (s): 468.036
CPU user time (s): 467.738
CPU system time (s): 0.297954
CPU usage (%): 100.584
Max. virtual memory (cumulated for all children) (KiB): 10566504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 467.738
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37061
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= 32223
involuntary context switches= 17907

runsolver used 0.807877 second user time and 1.76773 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-12 22:28:20
IDJOB=3492706
IDBENCH=78967
IDSOLVER=1982
FILE ID=node101/3492706-1307910500
RUNJOBID= node101-1307908937-4736
PBS_JOBID= 13559601
Free space on /tmp= 74060 MiB

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

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

MD5SUM BENCH= ebc456211cf99aa767d1987ef9daf648
RANDOM SEED=716058210

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32190356 kB
Buffers:        120788 kB
Cached:         165816 kB
SwapCached:      24860 kB
Active:         474444 kB
Inactive:       100448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32190356 kB
SwapTotal:    67111528 kB
SwapFree:     67050044 kB
Dirty:             100 kB
Writeback:           0 kB
AnonPages:      285280 kB
Mapped:          17508 kB
Slab:           120556 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10544252 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74060 MiB
End job on node101 at 2011-06-12 22:36:06