Trace number 3492080

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 409.077 407.086

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
MD5SUMa22634c1977478f126d9df874c90c256
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark79.208
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/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@13d4c61c
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-3492080-1307911263.wbo
0.10/0.11	c reading problem ... 
0.52/0.32	c ... done. Wall clock time 0.207s.
0.52/0.32	c #vars     2938
0.52/0.32	c #constraints  2707
0.52/0.32	c constraints type 
0.52/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.52/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.09/0.53	c SATISFIABLE
1.09/0.53	c OPTIMIZING...
1.09/0.53	c Got one! Elapsed wall clock time (in seconds):0.419
1.09/0.53	o 499
1.09/0.56	c Got one! Elapsed wall clock time (in seconds):0.449
1.09/0.56	o 486
1.09/0.58	c Got one! Elapsed wall clock time (in seconds):0.476
1.09/0.58	o 482
1.35/0.60	c Got one! Elapsed wall clock time (in seconds):0.495
1.35/0.60	o 468
1.35/0.62	c Got one! Elapsed wall clock time (in seconds):0.514
1.35/0.62	o 395
1.35/0.65	c Got one! Elapsed wall clock time (in seconds):0.538
1.35/0.65	o 375
1.35/0.66	c Got one! Elapsed wall clock time (in seconds):0.552
1.35/0.66	o 330
1.35/0.68	c Got one! Elapsed wall clock time (in seconds):0.572
1.35/0.68	o 322
1.56/0.70	c Got one! Elapsed wall clock time (in seconds):0.592
1.56/0.70	o 232
1.56/0.73	c Got one! Elapsed wall clock time (in seconds):0.622
1.56/0.73	o 230
1.56/0.75	c Got one! Elapsed wall clock time (in seconds):0.639
1.56/0.75	o 203
1.56/0.78	c Got one! Elapsed wall clock time (in seconds):0.673
1.56/0.78	o 149
1.66/0.82	c Got one! Elapsed wall clock time (in seconds):0.713
1.66/0.82	o 148
1.66/0.86	c Got one! Elapsed wall clock time (in seconds):0.754
1.66/0.86	o 128
1.96/1.13	c Got one! Elapsed wall clock time (in seconds):1.023
1.96/1.13	o 127
2.15/1.33	c Got one! Elapsed wall clock time (in seconds):1.227
2.15/1.33	o 122
2.15/1.38	c Got one! Elapsed wall clock time (in seconds):1.271
2.15/1.38	o 112
2.25/1.46	c Got one! Elapsed wall clock time (in seconds):1.352
2.25/1.46	o 111
2.45/1.64	c Got one! Elapsed wall clock time (in seconds):1.535
2.45/1.64	o 108
2.55/1.75	c Got one! Elapsed wall clock time (in seconds):1.641
2.55/1.75	o 105
2.75/1.98	c Got one! Elapsed wall clock time (in seconds):1.87
2.75/1.98	o 100
3.07/2.27	c Got one! Elapsed wall clock time (in seconds):2.158
3.07/2.27	o 71
3.16/2.38	c Got one! Elapsed wall clock time (in seconds):2.274
3.16/2.38	o 69
3.26/2.47	c Got one! Elapsed wall clock time (in seconds):2.361
3.26/2.47	o 68
3.48/2.63	c Got one! Elapsed wall clock time (in seconds):2.519
3.48/2.63	o 67
3.78/2.91	c Got one! Elapsed wall clock time (in seconds):2.803
3.78/2.91	o 66
3.88/3.06	c cleaning 6644 clauses out of 13293 with flag 1003/13293
4.03/3.15	c Got one! Elapsed wall clock time (in seconds):3.043
4.03/3.15	o 63
4.13/3.29	c Got one! Elapsed wall clock time (in seconds):3.179
4.13/3.29	o 60
4.23/3.36	c Got one! Elapsed wall clock time (in seconds):3.257
4.23/3.36	o 54
4.33/3.42	c Got one! Elapsed wall clock time (in seconds):3.315
4.33/3.42	o 53
4.33/3.48	c Got one! Elapsed wall clock time (in seconds):3.372
4.33/3.48	o 51
4.43/3.54	c Got one! Elapsed wall clock time (in seconds):3.43
4.43/3.54	o 43
4.53/3.69	c Got one! Elapsed wall clock time (in seconds):3.583
4.53/3.69	o 37
4.73/3.84	c Got one! Elapsed wall clock time (in seconds):3.732
4.73/3.84	o 36
4.93/4.02	c Got one! Elapsed wall clock time (in seconds):3.915
4.93/4.02	o 33
5.03/4.13	c cleaning 8087 clauses out of 16183 with flag 1001/22827
5.51/4.55	c Got one! Elapsed wall clock time (in seconds):4.441
5.51/4.55	o 22
5.71/4.71	c cleaning 6699 clauses out of 13406 with flag 2001/28137
5.71/4.78	c Got one! Elapsed wall clock time (in seconds):4.671
5.71/4.78	o 21
6.46/5.43	c cleaning 6151 clauses out of 12314 with flag 5000/33744
6.56/5.58	c Got one! Elapsed wall clock time (in seconds):5.474
6.56/5.58	o 14
6.86/5.88	c cleaning 5786 clauses out of 11573 with flag 4001/39154
7.06/6.02	c Got one! Elapsed wall clock time (in seconds):5.908
7.06/6.02	o 10
7.36/6.34	c cleaning 5697 clauses out of 11404 with flag 4000/44771
7.57/6.55	c Got one! Elapsed wall clock time (in seconds):6.442
7.57/6.55	o 8
7.67/6.68	c cleaning 5512 clauses out of 11038 with flag 2000/50102
8.06/7.09	c cleaning 5760 clauses out of 11527 with flag 8001/56103
8.26/7.29	c Got one! Elapsed wall clock time (in seconds):7.184
8.26/7.29	o 7
8.46/7.43	c cleaning 5636 clauses out of 11275 with flag 2003/61611
8.46/7.48	c Got one! Elapsed wall clock time (in seconds):7.372
8.46/7.48	o 6
8.77/7.77	c cleaning 5663 clauses out of 11333 with flag 5000/67305
9.16/8.16	c cleaning 5828 clauses out of 11671 with flag 11001/73306
9.57/8.60	c cleaning 6415 clauses out of 12842 with flag 18000/80305
9.97/8.90	c Got one! Elapsed wall clock time (in seconds):8.791
9.97/8.90	o 4
10.07/9.03	c cleaning 6173 clauses out of 12361 with flag 2001/86239
10.37/9.36	c cleaning 6087 clauses out of 12187 with flag 8000/92238
10.77/9.74	c cleaning 6546 clauses out of 13102 with flag 15002/99240
11.07/10.04	c Got one! Elapsed wall clock time (in seconds):9.928
11.07/10.04	o 3
11.47/10.41	c cleaning 8507 clauses out of 17021 with flag 5000/109705
11.77/10.74	c cleaning 7257 clauses out of 14516 with flag 11002/115707
12.17/11.10	c cleaning 7125 clauses out of 14259 with flag 18002/122707
12.58/11.52	c cleaning 7561 clauses out of 15132 with flag 26000/130705
12.68/11.68	c Got one! Elapsed wall clock time (in seconds):11.574
12.68/11.68	o 2
12.88/11.80	c cleaning 6348 clauses out of 12703 with flag 2000/135837
13.18/12.12	c cleaning 6169 clauses out of 12356 with flag 8001/141838
13.48/12.46	c cleaning 6582 clauses out of 13186 with flag 15000/148837
13.88/12.86	c cleaning 7295 clauses out of 14604 with flag 23000/156837
13.98/12.95	c Got one! Elapsed wall clock time (in seconds):12.844
13.98/12.95	o 1
14.18/13.19	c cleaning 6556 clauses out of 13121 with flag 4000/162649
14.48/13.49	c cleaning 6278 clauses out of 12565 with flag 10000/168649
14.89/13.83	c cleaning 6639 clauses out of 13289 with flag 17002/175651
15.30/14.25	c cleaning 7322 clauses out of 14648 with flag 25000/183649
15.80/14.75	c cleaning 8159 clauses out of 16328 with flag 34002/192651
16.30/15.28	c cleaning 9074 clauses out of 18167 with flag 44000/202649
16.80/15.78	c cleaning 9543 clauses out of 19094 with flag 54001/212650
17.30/16.28	c cleaning 9766 clauses out of 19550 with flag 64000/222649
17.80/16.76	c cleaning 9883 clauses out of 19784 with flag 74000/232649
18.30/17.26	c cleaning 9950 clauses out of 19904 with flag 84003/242652
18.80/17.78	c cleaning 9971 clauses out of 19952 with flag 94001/252650
19.41/18.30	c cleaning 9983 clauses out of 19981 with flag 104001/262650
19.90/18.83	c cleaning 9995 clauses out of 19999 with flag 114002/272651
20.40/19.31	c cleaning 9996 clauses out of 20002 with flag 124000/282649
20.92/19.80	c cleaning 9994 clauses out of 20006 with flag 134000/292649
21.31/20.29	c cleaning 9999 clauses out of 20012 with flag 144000/302649
21.92/20.80	c cleaning 10002 clauses out of 20014 with flag 154001/312650
22.41/21.31	c cleaning 10000 clauses out of 20013 with flag 164002/322651
22.92/21.82	c cleaning 10002 clauses out of 20014 with flag 174003/332652
23.42/22.31	c cleaning 10001 clauses out of 20009 with flag 184000/342649
23.82/22.76	c cleaning 9994 clauses out of 20008 with flag 194000/352649
24.32/23.26	c cleaning 10003 clauses out of 20015 with flag 204001/362650
24.82/23.73	c cleaning 10000 clauses out of 20012 with flag 214001/372650
25.33/24.23	c cleaning 9996 clauses out of 20011 with flag 224000/382649
25.83/24.72	c cleaning 9999 clauses out of 20018 with flag 234003/392652
26.33/25.24	c cleaning 10001 clauses out of 20016 with flag 244000/402649
26.83/25.79	c cleaning 10008 clauses out of 20021 with flag 254006/412655
27.33/26.30	c cleaning 9999 clauses out of 20009 with flag 264002/422651
27.93/26.80	c cleaning 9999 clauses out of 20009 with flag 274001/432650
28.33/27.30	c cleaning 9998 clauses out of 20009 with flag 284000/442649
28.93/27.81	c cleaning 10004 clauses out of 20015 with flag 294004/452653
29.43/28.34	c cleaning 9996 clauses out of 20009 with flag 304002/462651
30.03/28.94	c cleaning 10006 clauses out of 20013 with flag 314002/472651
30.53/29.49	c cleaning 9997 clauses out of 20007 with flag 324002/482651
31.13/30.03	c cleaning 9998 clauses out of 20009 with flag 334001/492650
31.64/30.50	c cleaning 10002 clauses out of 20012 with flag 344002/502651
32.03/30.94	c cleaning 9998 clauses out of 20008 with flag 354000/512649
32.54/31.46	c cleaning 9991 clauses out of 20011 with flag 364001/522650
33.04/31.98	c cleaning 10002 clauses out of 20021 with flag 374002/532651
33.53/32.49	c cleaning 10003 clauses out of 20017 with flag 384000/542649
34.14/33.01	c cleaning 10001 clauses out of 20014 with flag 394000/552649
34.64/33.57	c cleaning 10004 clauses out of 20015 with flag 404002/562651
35.14/34.05	c cleaning 9996 clauses out of 20012 with flag 414003/572652
35.64/34.55	c cleaning 9997 clauses out of 20014 with flag 424001/582650
36.14/35.04	c cleaning 9998 clauses out of 20017 with flag 434001/592650
36.64/35.55	c cleaning 10002 clauses out of 20018 with flag 444000/602649
37.14/36.06	c cleaning 9995 clauses out of 20017 with flag 454001/612650
37.64/36.56	c cleaning 10007 clauses out of 20021 with flag 464000/622649
38.14/37.03	c cleaning 10000 clauses out of 20015 with flag 474001/632650
38.64/37.58	c cleaning 10000 clauses out of 20014 with flag 484000/642649
39.16/38.07	c cleaning 10001 clauses out of 20014 with flag 494000/652649
39.66/38.54	c cleaning 10001 clauses out of 20013 with flag 504000/662649
40.16/39.04	c cleaning 9995 clauses out of 20012 with flag 514000/672649
40.66/39.59	c cleaning 10004 clauses out of 20018 with flag 524001/682650
41.26/40.15	c cleaning 10000 clauses out of 20014 with flag 534001/692650
41.76/40.70	c cleaning 10001 clauses out of 20017 with flag 544004/702653
42.36/41.24	c cleaning 10003 clauses out of 20013 with flag 554001/712650
42.87/41.70	c cleaning 9995 clauses out of 20010 with flag 564001/722650
43.36/42.22	c cleaning 10000 clauses out of 20014 with flag 574000/732649
43.76/42.69	c cleaning 10003 clauses out of 20015 with flag 584001/742650
44.27/43.17	c cleaning 10000 clauses out of 20012 with flag 594001/752650
44.77/43.69	c cleaning 9994 clauses out of 20011 with flag 604000/762649
45.27/44.18	c cleaning 10004 clauses out of 20018 with flag 614001/772650
45.87/44.72	c cleaning 10000 clauses out of 20014 with flag 624001/782650
46.37/45.25	c cleaning 10001 clauses out of 20013 with flag 634000/792649
46.97/45.80	c cleaning 10000 clauses out of 20013 with flag 644001/802650
47.38/46.29	c cleaning 9993 clauses out of 20013 with flag 654001/812650
47.87/46.78	c cleaning 10003 clauses out of 20022 with flag 664003/822652
48.38/47.23	c cleaning 10005 clauses out of 20020 with flag 674004/832653
48.87/47.70	c cleaning 9994 clauses out of 20012 with flag 684001/842650
49.27/48.19	c cleaning 10004 clauses out of 20017 with flag 694000/852649
49.77/48.69	c cleaning 10000 clauses out of 20013 with flag 704000/862649
50.37/49.21	c cleaning 10002 clauses out of 20014 with flag 714001/872650
50.87/49.71	c cleaning 10002 clauses out of 20011 with flag 724000/882649
51.37/50.22	c cleaning 9998 clauses out of 20010 with flag 734001/892650
51.87/50.76	c cleaning 10001 clauses out of 20013 with flag 744002/902651
52.38/51.28	c cleaning 9990 clauses out of 20011 with flag 754001/912650
52.88/51.79	c cleaning 10006 clauses out of 20021 with flag 764001/922650
53.37/52.29	c cleaning 10004 clauses out of 20015 with flag 774001/932650
53.88/52.79	c cleaning 9999 clauses out of 20010 with flag 784000/942649
54.38/53.27	c cleaning 9994 clauses out of 20011 with flag 794000/952649
54.88/53.75	c cleaning 10006 clauses out of 20017 with flag 804000/962649
55.38/54.24	c cleaning 10004 clauses out of 20013 with flag 814002/972651
55.88/54.71	c cleaning 10001 clauses out of 20008 with flag 824001/982650
56.38/55.22	c cleaning 9994 clauses out of 20007 with flag 834001/992650
56.88/55.74	c cleaning 9995 clauses out of 20012 with flag 844000/1002649
57.48/56.32	c cleaning 10003 clauses out of 20017 with flag 854000/1012649
57.98/56.86	c cleaning 9996 clauses out of 20014 with flag 864000/1022649
58.58/57.42	c cleaning 9999 clauses out of 20018 with flag 874000/1032649
59.08/57.95	c cleaning 10009 clauses out of 20021 with flag 884002/1042651
59.58/58.41	c cleaning 10001 clauses out of 20010 with flag 894000/1052649
59.98/58.89	c cleaning 9998 clauses out of 20009 with flag 904000/1062649
60.49/59.40	c cleaning 9999 clauses out of 20012 with flag 914001/1072650
61.09/59.92	c cleaning 10002 clauses out of 20013 with flag 924001/1082650
61.59/60.45	c cleaning 10001 clauses out of 20015 with flag 934005/1092654
62.09/60.96	c cleaning 10003 clauses out of 20012 with flag 944003/1102652
62.69/61.52	c cleaning 9998 clauses out of 20006 with flag 954000/1112649
63.19/62.01	c cleaning 9997 clauses out of 20008 with flag 964000/1122649
63.69/62.53	c cleaning 9997 clauses out of 20015 with flag 974004/1132653
64.29/63.13	c cleaning 10005 clauses out of 20017 with flag 984003/1142652
64.79/63.70	c cleaning 10001 clauses out of 20010 with flag 994001/1152650
65.39/64.27	c cleaning 10001 clauses out of 20010 with flag 1004002/1162651
65.99/64.81	c cleaning 9997 clauses out of 20007 with flag 1014000/1172649
66.49/65.32	c cleaning 9989 clauses out of 20011 with flag 1024001/1182650
66.99/65.84	c cleaning 10005 clauses out of 20022 with flag 1034001/1192650
67.49/66.32	c cleaning 10001 clauses out of 20016 with flag 1044000/1202649
67.89/66.78	c cleaning 10005 clauses out of 20015 with flag 1054000/1212649
68.39/67.26	c cleaning 10000 clauses out of 20010 with flag 1064000/1222649
68.90/67.74	c cleaning 9991 clauses out of 20010 with flag 1074000/1232649
69.40/68.22	c cleaning 10003 clauses out of 20019 with flag 1084000/1242649
69.90/68.76	c cleaning 10000 clauses out of 20016 with flag 1094000/1252649
70.41/69.26	c cleaning 10005 clauses out of 20017 with flag 1104001/1262650
70.90/69.77	c cleaning 10000 clauses out of 20012 with flag 1114001/1272650
71.40/70.25	c cleaning 10001 clauses out of 20012 with flag 1124001/1282650
71.91/70.78	c cleaning 9998 clauses out of 20011 with flag 1134001/1292650
72.40/71.29	c cleaning 10003 clauses out of 20014 with flag 1144002/1302651
72.91/71.78	c cleaning 9998 clauses out of 20010 with flag 1154001/1312650
73.41/72.26	c cleaning 9998 clauses out of 20011 with flag 1164000/1322649
73.91/72.75	c cleaning 10001 clauses out of 20015 with flag 1174002/1332651
74.41/73.23	c cleaning 10000 clauses out of 20012 with flag 1184000/1342649
74.92/73.72	c cleaning 10003 clauses out of 20013 with flag 1194001/1352650
75.31/74.19	c cleaning 10001 clauses out of 20009 with flag 1204000/1362649
75.92/74.72	c cleaning 9999 clauses out of 20010 with flag 1214002/1372651
76.31/75.19	c cleaning 10002 clauses out of 20010 with flag 1224001/1382650
76.82/75.69	c cleaning 9996 clauses out of 20008 with flag 1234001/1392650
77.43/76.21	c cleaning 10000 clauses out of 20011 with flag 1244000/1402649
77.93/76.70	c cleaning 10004 clauses out of 20012 with flag 1254001/1412650
78.43/77.20	c cleaning 9998 clauses out of 20008 with flag 1264001/1422650
78.83/77.68	c cleaning 9996 clauses out of 20012 with flag 1274003/1432652
79.34/78.19	c cleaning 9998 clauses out of 20014 with flag 1284001/1442650
79.84/78.69	c cleaning 9995 clauses out of 20015 with flag 1294000/1452649
80.34/79.18	c cleaning 10008 clauses out of 20021 with flag 1304001/1462650
80.84/79.66	c cleaning 10000 clauses out of 20013 with flag 1314001/1472650
81.34/80.19	c cleaning 9997 clauses out of 20012 with flag 1324000/1482649
81.94/80.71	c cleaning 10005 clauses out of 20015 with flag 1334000/1492649
82.44/81.27	c cleaning 9996 clauses out of 20010 with flag 1344000/1502649
83.05/81.83	c cleaning 9997 clauses out of 20015 with flag 1354001/1512650
83.55/82.36	c cleaning 10005 clauses out of 20017 with flag 1364000/1522649
84.05/82.88	c cleaning 10002 clauses out of 20014 with flag 1374002/1532651
84.55/83.40	c cleaning 10000 clauses out of 20010 with flag 1384000/1542649
85.06/83.88	c cleaning 9999 clauses out of 20010 with flag 1394000/1552649
85.55/84.38	c cleaning 10003 clauses out of 20011 with flag 1404000/1562649
86.06/84.88	c cleaning 9993 clauses out of 20008 with flag 1414000/1572649
86.56/85.37	c cleaning 10000 clauses out of 20015 with flag 1424000/1582649
87.06/85.89	c cleaning 10006 clauses out of 20016 with flag 1434001/1592650
87.66/86.42	c cleaning 10000 clauses out of 20011 with flag 1444002/1602651
88.17/86.99	c cleaning 10002 clauses out of 20010 with flag 1454001/1612650
88.76/87.50	c cleaning 9998 clauses out of 20007 with flag 1464000/1622649
89.27/88.03	c cleaning 9995 clauses out of 20009 with flag 1474000/1632649
89.76/88.51	c cleaning 10001 clauses out of 20015 with flag 1484001/1642650
90.16/88.99	c cleaning 9994 clauses out of 20013 with flag 1494000/1652649
90.66/89.44	c cleaning 10000 clauses out of 20020 with flag 1504001/1662650
91.17/89.92	c cleaning 10004 clauses out of 20019 with flag 1514000/1672649
91.67/90.40	c cleaning 10002 clauses out of 20018 with flag 1524003/1682652
92.07/90.88	c cleaning 10006 clauses out of 20020 with flag 1534007/1692656
92.57/91.37	c cleaning 9997 clauses out of 20011 with flag 1544004/1702653
93.07/91.85	c cleaning 10003 clauses out of 20012 with flag 1554002/1712651
93.58/92.30	c cleaning 9995 clauses out of 20007 with flag 1564000/1722649
93.97/92.79	c cleaning 10000 clauses out of 20014 with flag 1574002/1732651
94.47/93.27	c cleaning 10003 clauses out of 20014 with flag 1584002/1742651
94.97/93.76	c cleaning 9998 clauses out of 20009 with flag 1594000/1752649
95.48/94.28	c cleaning 9998 clauses out of 20011 with flag 1604000/1762649
96.08/94.80	c cleaning 10001 clauses out of 20013 with flag 1614000/1772649
96.48/95.29	c cleaning 10001 clauses out of 20012 with flag 1624000/1782649
96.99/95.75	c cleaning 10003 clauses out of 20011 with flag 1634000/1792649
97.48/96.27	c cleaning 10002 clauses out of 20012 with flag 1644004/1802653
97.98/96.79	c cleaning 9998 clauses out of 20007 with flag 1654001/1812650
98.58/97.32	c cleaning 9994 clauses out of 20008 with flag 1664000/1822649
99.09/97.81	c cleaning 10000 clauses out of 20014 with flag 1674000/1832649
99.48/98.29	c cleaning 10004 clauses out of 20014 with flag 1684000/1842649
99.98/98.78	c cleaning 9998 clauses out of 20010 with flag 1694000/1852649
100.49/99.28	c cleaning 10002 clauses out of 20014 with flag 1704002/1862651
100.99/99.77	c cleaning 10000 clauses out of 20012 with flag 1714002/1872651
101.49/100.27	c cleaning 10001 clauses out of 20011 with flag 1724001/1882650
101.99/100.74	c cleaning 9999 clauses out of 20012 with flag 1734003/1892652
102.50/101.29	c cleaning 9993 clauses out of 20010 with flag 1744000/1902649
103.09/101.83	c cleaning 9993 clauses out of 20018 with flag 1754001/1912650
103.60/102.33	c cleaning 10007 clauses out of 20024 with flag 1764000/1922649
104.09/102.82	c cleaning 10005 clauses out of 20017 with flag 1774000/1932649
104.60/103.34	c cleaning 10001 clauses out of 20013 with flag 1784001/1942650
105.10/103.84	c cleaning 9996 clauses out of 20012 with flag 1794001/1952650
105.60/104.34	c cleaning 9999 clauses out of 20016 with flag 1804001/1962650
106.20/104.91	c cleaning 10004 clauses out of 20016 with flag 1814000/1972649
106.70/105.44	c cleaning 10003 clauses out of 20014 with flag 1824002/1982651
107.20/105.93	c cleaning 10001 clauses out of 20010 with flag 1834001/1992650
107.70/106.47	c cleaning 9992 clauses out of 20008 with flag 1844000/2002649
108.30/107.00	c cleaning 10007 clauses out of 20020 with flag 1854004/2012653
108.70/107.49	c cleaning 10001 clauses out of 20009 with flag 1864000/2022649
109.20/107.99	c cleaning 9999 clauses out of 20009 with flag 1874001/2032650
109.80/108.53	c cleaning 10001 clauses out of 20009 with flag 1884000/2042649
110.30/109.03	c cleaning 10001 clauses out of 20008 with flag 1894000/2052649
110.81/109.56	c cleaning 9998 clauses out of 20007 with flag 1904000/2062649
111.31/110.05	c cleaning 10000 clauses out of 20009 with flag 1914000/2072649
111.81/110.51	c cleaning 10000 clauses out of 20009 with flag 1924000/2082649
112.21/110.97	c cleaning 10000 clauses out of 20010 with flag 1934001/2092650
112.71/111.45	c cleaning 10002 clauses out of 20011 with flag 1944002/2102651
113.21/111.91	c cleaning 9997 clauses out of 20007 with flag 1954000/2112649
113.61/112.38	c cleaning 9996 clauses out of 20010 with flag 1964000/2122649
114.11/112.85	c cleaning 9995 clauses out of 20014 with flag 1974000/2132649
114.62/113.32	c cleaning 9996 clauses out of 20019 with flag 1984000/2142649
115.01/113.77	c cleaning 10000 clauses out of 20023 with flag 1994000/2152649
115.51/114.25	c cleaning 10009 clauses out of 20026 with flag 2004003/2162652
116.01/114.74	c cleaning 9997 clauses out of 20015 with flag 2014001/2172650
116.51/115.26	c cleaning 9995 clauses out of 20017 with flag 2024000/2182649
117.02/115.74	c cleaning 10003 clauses out of 20022 with flag 2034000/2192649
117.52/116.24	c cleaning 9995 clauses out of 20019 with flag 2044000/2202649
118.02/116.73	c cleaning 10005 clauses out of 20024 with flag 2054000/2212649
118.52/117.24	c cleaning 10002 clauses out of 20020 with flag 2064001/2222650
119.03/117.72	c cleaning 9993 clauses out of 20017 with flag 2074000/2232649
119.53/118.21	c cleaning 10006 clauses out of 20025 with flag 2084001/2242650
120.04/118.76	c cleaning 10002 clauses out of 20019 with flag 2094001/2252650
120.53/119.23	c cleaning 10000 clauses out of 20019 with flag 2104003/2262652
121.03/119.72	c cleaning 10003 clauses out of 20019 with flag 2114003/2272652
121.53/120.24	c cleaning 9997 clauses out of 20013 with flag 2124000/2282649
122.03/120.76	c cleaning 9997 clauses out of 20016 with flag 2134000/2292649
122.63/121.30	c cleaning 9996 clauses out of 20020 with flag 2144001/2302650
123.04/121.79	c cleaning 10006 clauses out of 20023 with flag 2154000/2312649
123.54/122.29	c cleaning 10000 clauses out of 20017 with flag 2164000/2322649
124.04/122.76	c cleaning 9997 clauses out of 20018 with flag 2174001/2332650
124.54/123.25	c cleaning 10003 clauses out of 20021 with flag 2184001/2342650
125.04/123.76	c cleaning 10004 clauses out of 20018 with flag 2194001/2352650
125.54/124.27	c cleaning 10000 clauses out of 20014 with flag 2204001/2362650
126.04/124.78	c cleaning 9998 clauses out of 20014 with flag 2214001/2372650
126.54/125.27	c cleaning 10005 clauses out of 20015 with flag 2224000/2382649
127.14/125.80	c cleaning 9994 clauses out of 20010 with flag 2234000/2392649
127.64/126.32	c cleaning 10004 clauses out of 20017 with flag 2244001/2402650
128.15/126.81	c cleaning 10003 clauses out of 20013 with flag 2254001/2412650
128.65/127.35	c cleaning 9991 clauses out of 20009 with flag 2264000/2422649
129.15/127.83	c cleaning 10002 clauses out of 20018 with flag 2274000/2432649
129.65/128.38	c cleaning 10000 clauses out of 20016 with flag 2284000/2442649
130.15/128.87	c cleaning 10004 clauses out of 20019 with flag 2294003/2452652
130.75/129.42	c cleaning 10004 clauses out of 20013 with flag 2304001/2462650
131.25/129.93	c cleaning 10000 clauses out of 20009 with flag 2314001/2472650
131.76/130.43	c cleaning 9995 clauses out of 20008 with flag 2324000/2482649
132.26/130.95	c cleaning 10002 clauses out of 20015 with flag 2334002/2492651
132.76/131.48	c cleaning 10002 clauses out of 20013 with flag 2344002/2502651
133.27/131.99	c cleaning 9994 clauses out of 20009 with flag 2354000/2512649
133.76/132.49	c cleaning 9998 clauses out of 20016 with flag 2364001/2522650
134.37/133.00	c cleaning 9997 clauses out of 20018 with flag 2374001/2532650
134.76/133.49	c cleaning 10002 clauses out of 20020 with flag 2384000/2542649
135.36/134.00	c cleaning 10003 clauses out of 20018 with flag 2394000/2552649
135.86/134.50	c cleaning 10002 clauses out of 20019 with flag 2404004/2562653
136.37/135.02	c cleaning 10003 clauses out of 20015 with flag 2414002/2572651
136.87/135.57	c cleaning 9997 clauses out of 20010 with flag 2424000/2582649
137.37/136.07	c cleaning 10001 clauses out of 20015 with flag 2434002/2592651
137.87/136.57	c cleaning 10002 clauses out of 20013 with flag 2444001/2602650
138.37/137.07	c cleaning 9998 clauses out of 20011 with flag 2454001/2612650
138.88/137.57	c cleaning 9999 clauses out of 20012 with flag 2464000/2622649
139.47/138.11	c cleaning 10000 clauses out of 20014 with flag 2474001/2632650
139.98/138.62	c cleaning 10004 clauses out of 20015 with flag 2484002/2642651
140.47/139.12	c cleaning 10003 clauses out of 20013 with flag 2494004/2652653
140.98/139.63	c cleaning 9999 clauses out of 20007 with flag 2504001/2662650
141.48/140.17	c cleaning 9996 clauses out of 20007 with flag 2514000/2672649
141.98/140.67	c cleaning 9997 clauses out of 20012 with flag 2524001/2682650
142.48/141.16	c cleaning 10003 clauses out of 20015 with flag 2534001/2692650
142.98/141.64	c cleaning 10001 clauses out of 20013 with flag 2544002/2702651
143.58/142.23	c cleaning 10000 clauses out of 20011 with flag 2554001/2712650
144.08/142.76	c cleaning 9999 clauses out of 20010 with flag 2564000/2722649
144.58/143.28	c cleaning 10003 clauses out of 20012 with flag 2574001/2732650
145.18/143.85	c cleaning 9989 clauses out of 20008 with flag 2584000/2742649
145.68/144.36	c cleaning 10006 clauses out of 20020 with flag 2594001/2752650
146.18/144.86	c cleaning 10004 clauses out of 20013 with flag 2604000/2762649
146.79/145.40	c cleaning 9995 clauses out of 20010 with flag 2614001/2772650
147.29/145.94	c cleaning 10002 clauses out of 20017 with flag 2624003/2782652
147.79/146.46	c cleaning 10000 clauses out of 20014 with flag 2634002/2792651
148.29/146.99	c cleaning 9995 clauses out of 20013 with flag 2644001/2802650
148.89/147.54	c cleaning 10005 clauses out of 20018 with flag 2654001/2812650
149.39/148.02	c cleaning 9998 clauses out of 20012 with flag 2664000/2822649
149.99/148.61	c cleaning 10002 clauses out of 20014 with flag 2674000/2832649
150.49/149.13	c cleaning 9996 clauses out of 20012 with flag 2684000/2842649
151.00/149.62	c cleaning 10004 clauses out of 20018 with flag 2694002/2852651
151.49/150.16	c cleaning 10000 clauses out of 20015 with flag 2704003/2862652
152.10/150.71	c cleaning 9999 clauses out of 20012 with flag 2714000/2872649
152.59/151.27	c cleaning 10003 clauses out of 20014 with flag 2724001/2882650
153.10/151.75	c cleaning 10001 clauses out of 20013 with flag 2734003/2892652
153.60/152.29	c cleaning 10001 clauses out of 20009 with flag 2744000/2902649
154.20/152.81	c cleaning 9996 clauses out of 20008 with flag 2754000/2912649
154.70/153.33	c cleaning 9992 clauses out of 20014 with flag 2764002/2922651
155.20/153.84	c cleaning 10001 clauses out of 20021 with flag 2774001/2932650
155.70/154.38	c cleaning 9999 clauses out of 20019 with flag 2784000/2942649
156.30/154.90	c cleaning 10004 clauses out of 20021 with flag 2794001/2952650
156.70/155.38	c cleaning 10001 clauses out of 20016 with flag 2804000/2962649
157.30/155.94	c cleaning 10005 clauses out of 20016 with flag 2814001/2972650
157.80/156.42	c cleaning 10000 clauses out of 20010 with flag 2824000/2982649
158.30/156.94	c cleaning 9994 clauses out of 20010 with flag 2834000/2992649
158.80/157.44	c cleaning 10000 clauses out of 20017 with flag 2844001/3002650
159.30/157.97	c cleaning 9996 clauses out of 20016 with flag 2854000/3012649
159.81/158.44	c cleaning 10006 clauses out of 20020 with flag 2864000/3022649
160.31/158.93	c cleaning 10005 clauses out of 20015 with flag 2874001/3032650
160.81/159.42	c cleaning 9997 clauses out of 20010 with flag 2884001/3042650
161.31/159.91	c cleaning 10003 clauses out of 20013 with flag 2894001/3052650
161.81/160.43	c cleaning 9997 clauses out of 20009 with flag 2904000/3062649
162.31/160.94	c cleaning 9993 clauses out of 20012 with flag 2914000/3072649
162.81/161.45	c cleaning 10005 clauses out of 20020 with flag 2924001/3082650
163.32/161.94	c cleaning 9997 clauses out of 20014 with flag 2934000/3092649
163.82/162.43	c cleaning 10005 clauses out of 20018 with flag 2944001/3102650
164.32/162.96	c cleaning 10000 clauses out of 20014 with flag 2954002/3112651
164.82/163.46	c cleaning 10003 clauses out of 20013 with flag 2964001/3122650
165.42/164.01	c cleaning 10001 clauses out of 20011 with flag 2974002/3132651
165.92/164.54	c cleaning 10003 clauses out of 20011 with flag 2984003/3142652
166.43/165.09	c cleaning 9996 clauses out of 20006 with flag 2994001/3152650
167.03/165.63	c cleaning 10000 clauses out of 20010 with flag 3004001/3162650
167.53/166.17	c cleaning 9996 clauses out of 20010 with flag 3014001/3172650
168.13/166.71	c cleaning 9998 clauses out of 20014 with flag 3024001/3182650
168.63/167.28	c cleaning 10003 clauses out of 20015 with flag 3034000/3192649
169.23/167.84	c cleaning 9999 clauses out of 20013 with flag 3044001/3202650
169.83/168.40	c cleaning 9999 clauses out of 20013 with flag 3054000/3212649
170.33/168.91	c cleaning 10001 clauses out of 20016 with flag 3064002/3222651
170.84/169.46	c cleaning 9997 clauses out of 20015 with flag 3074002/3232651
171.33/169.96	c cleaning 9998 clauses out of 20016 with flag 3084000/3242649
171.84/170.50	c cleaning 10003 clauses out of 20018 with flag 3094000/3252649
172.43/171.09	c cleaning 10001 clauses out of 20015 with flag 3104000/3262649
172.94/171.60	c cleaning 9998 clauses out of 20014 with flag 3114000/3272649
173.54/172.12	c cleaning 10004 clauses out of 20016 with flag 3124000/3282649
174.04/172.63	c cleaning 9995 clauses out of 20012 with flag 3134000/3292649
174.54/173.19	c cleaning 10007 clauses out of 20020 with flag 3144003/3302652
175.14/173.72	c cleaning 9996 clauses out of 20010 with flag 3154000/3312649
175.64/174.22	c cleaning 10002 clauses out of 20015 with flag 3164001/3322650
176.14/174.72	c cleaning 10000 clauses out of 20013 with flag 3174001/3332650
176.64/175.22	c cleaning 10003 clauses out of 20014 with flag 3184002/3342651
177.14/175.75	c cleaning 10002 clauses out of 20010 with flag 3194001/3352650
177.64/176.29	c cleaning 10000 clauses out of 20009 with flag 3204002/3362651
178.24/176.89	c cleaning 10000 clauses out of 20007 with flag 3214000/3372649
178.84/177.48	c cleaning 9998 clauses out of 20009 with flag 3224002/3382651
179.44/178.01	c cleaning 10001 clauses out of 20010 with flag 3234001/3392650
179.94/178.55	c cleaning 10001 clauses out of 20011 with flag 3244003/3402652
180.54/179.10	c cleaning 10000 clauses out of 20007 with flag 3254000/3412649
181.04/179.64	c cleaning 9997 clauses out of 20007 with flag 3264000/3422649
181.55/180.14	c cleaning 9997 clauses out of 20010 with flag 3274000/3432649
182.05/180.68	c cleaning 10001 clauses out of 20016 with flag 3284003/3442652
182.65/181.22	c cleaning 9999 clauses out of 20012 with flag 3294000/3452649
183.15/181.73	c cleaning 10004 clauses out of 20014 with flag 3304001/3462650
183.65/182.22	c cleaning 9998 clauses out of 20010 with flag 3314001/3472650
184.06/182.70	c cleaning 10001 clauses out of 20013 with flag 3324002/3482651
184.56/183.18	c cleaning 9995 clauses out of 20010 with flag 3334000/3492649
185.06/183.68	c cleaning 10000 clauses out of 20015 with flag 3344000/3502649
185.66/184.21	c cleaning 9999 clauses out of 20016 with flag 3354001/3512650
186.16/184.74	c cleaning 10003 clauses out of 20016 with flag 3364000/3522649
186.66/185.29	c cleaning 10004 clauses out of 20013 with flag 3374000/3532649
187.16/185.79	c cleaning 9997 clauses out of 20009 with flag 3384000/3542649
187.66/186.27	c cleaning 10004 clauses out of 20017 with flag 3394005/3552654
188.16/186.73	c cleaning 9997 clauses out of 20009 with flag 3404001/3562650
188.66/187.21	c cleaning 9994 clauses out of 20011 with flag 3414000/3572649
189.16/187.73	c cleaning 10000 clauses out of 20017 with flag 3424000/3582649
189.66/188.29	c cleaning 10003 clauses out of 20017 with flag 3434000/3592649
190.26/188.82	c cleaning 10000 clauses out of 20016 with flag 3444002/3602651
190.76/189.37	c cleaning 9996 clauses out of 20015 with flag 3454001/3612650
191.36/189.95	c cleaning 10006 clauses out of 20020 with flag 3464002/3622651
191.86/190.44	c cleaning 10003 clauses out of 20013 with flag 3474001/3632650
192.36/190.94	c cleaning 10000 clauses out of 20009 with flag 3484000/3642649
192.87/191.45	c cleaning 10000 clauses out of 20009 with flag 3494000/3652649
193.47/192.00	c cleaning 9994 clauses out of 20009 with flag 3504000/3662649
193.87/192.49	c cleaning 10000 clauses out of 20015 with flag 3514000/3672649
194.47/193.01	c cleaning 10003 clauses out of 20016 with flag 3524001/3682650
194.98/193.55	c cleaning 10003 clauses out of 20014 with flag 3534002/3692651
195.47/194.04	c cleaning 9997 clauses out of 20009 with flag 3544000/3702649
195.97/194.51	c cleaning 10001 clauses out of 20012 with flag 3554000/3712649
196.47/195.02	c cleaning 9997 clauses out of 20011 with flag 3564000/3722649
196.98/195.54	c cleaning 10001 clauses out of 20015 with flag 3574001/3732650
197.48/196.08	c cleaning 10001 clauses out of 20015 with flag 3584002/3742651
198.08/196.63	c cleaning 10004 clauses out of 20014 with flag 3594002/3752651
198.58/197.15	c cleaning 10000 clauses out of 20008 with flag 3604000/3762649
199.08/197.64	c cleaning 9997 clauses out of 20008 with flag 3614000/3772649
199.59/198.14	c cleaning 9990 clauses out of 20011 with flag 3624000/3782649
200.09/198.63	c cleaning 10006 clauses out of 20022 with flag 3634001/3792650
200.59/199.14	c cleaning 10003 clauses out of 20015 with flag 3644000/3802649
201.09/199.65	c cleaning 10001 clauses out of 20013 with flag 3654001/3812650
201.60/200.15	c cleaning 9999 clauses out of 20012 with flag 3664001/3822650
202.09/200.66	c cleaning 10001 clauses out of 20015 with flag 3674003/3832652
202.59/201.19	c cleaning 9994 clauses out of 20012 with flag 3684001/3842650
203.19/201.71	c cleaning 10003 clauses out of 20017 with flag 3694000/3852649
203.70/202.27	c cleaning 10004 clauses out of 20015 with flag 3704001/3862650
204.30/202.81	c cleaning 10001 clauses out of 20010 with flag 3714000/3872649
204.70/203.28	c cleaning 9999 clauses out of 20009 with flag 3724000/3882649
205.30/203.82	c cleaning 9994 clauses out of 20011 with flag 3734001/3892650
205.80/204.33	c cleaning 10005 clauses out of 20019 with flag 3744003/3902652
206.30/204.85	c cleaning 9999 clauses out of 20012 with flag 3754001/3912650
206.80/205.36	c cleaning 9997 clauses out of 20015 with flag 3764003/3922652
207.40/205.92	c cleaning 10005 clauses out of 20019 with flag 3774004/3932653
207.90/206.46	c cleaning 10002 clauses out of 20014 with flag 3784004/3942653
208.40/206.97	c cleaning 10001 clauses out of 20012 with flag 3794004/3952653
208.91/207.49	c cleaning 9992 clauses out of 20007 with flag 3804000/3962649
209.51/208.01	c cleaning 10002 clauses out of 20015 with flag 3814000/3972649
210.11/208.67	c cleaning 9996 clauses out of 20015 with flag 3824002/3982651
210.70/209.24	c cleaning 10005 clauses out of 20017 with flag 3834000/3992649
211.21/209.79	c cleaning 10000 clauses out of 20013 with flag 3844001/4002650
211.71/210.29	c cleaning 9999 clauses out of 20015 with flag 3854003/4012652
212.21/210.77	c cleaning 9998 clauses out of 20015 with flag 3864002/4022651
212.71/211.26	c cleaning 10004 clauses out of 20017 with flag 3874002/4032651
213.21/211.76	c cleaning 10002 clauses out of 20013 with flag 3884002/4042651
213.72/212.22	c cleaning 10001 clauses out of 20011 with flag 3894002/4052651
214.21/212.74	c cleaning 9996 clauses out of 20008 with flag 3904000/4062649
214.71/213.24	c cleaning 10002 clauses out of 20013 with flag 3914001/4072650
215.22/213.73	c cleaning 10000 clauses out of 20012 with flag 3924002/4082651
215.72/214.25	c cleaning 9999 clauses out of 20011 with flag 3934001/4092650
216.22/214.78	c cleaning 10001 clauses out of 20011 with flag 3944000/4102649
216.82/215.33	c cleaning 10003 clauses out of 20015 with flag 3954005/4112654
217.32/215.89	c cleaning 9997 clauses out of 20008 with flag 3964001/4122650
217.92/216.49	c cleaning 9997 clauses out of 20010 with flag 3974000/4132649
218.62/217.18	c cleaning 9998 clauses out of 20013 with flag 3984000/4142649
219.32/217.82	c cleaning 10003 clauses out of 20015 with flag 3994000/4152649
219.82/218.35	c cleaning 9999 clauses out of 20012 with flag 4004000/4162649
220.33/218.90	c cleaning 10004 clauses out of 20015 with flag 4014002/4172651
220.92/219.44	c cleaning 10002 clauses out of 20009 with flag 4024000/4182649
221.43/219.95	c cleaning 9993 clauses out of 20007 with flag 4034000/4192649
222.02/220.55	c cleaning 9999 clauses out of 20016 with flag 4044002/4202651
222.53/221.06	c cleaning 10001 clauses out of 20015 with flag 4054000/4212649
223.03/221.59	c cleaning 10002 clauses out of 20014 with flag 4064000/4222649
223.63/222.12	c cleaning 10000 clauses out of 20012 with flag 4074000/4232649
224.13/222.64	c cleaning 9999 clauses out of 20013 with flag 4084001/4242650
224.63/223.18	c cleaning 10001 clauses out of 20014 with flag 4094001/4252650
225.13/223.68	c cleaning 9998 clauses out of 20014 with flag 4104002/4262651
225.63/224.15	c cleaning 10002 clauses out of 20014 with flag 4114000/4272649
226.13/224.68	c cleaning 9999 clauses out of 20014 with flag 4124002/4282651
226.63/225.19	c cleaning 10001 clauses out of 20014 with flag 4134001/4292650
227.14/225.69	c cleaning 9997 clauses out of 20013 with flag 4144001/4302650
227.74/226.22	c cleaning 10005 clauses out of 20016 with flag 4154001/4312650
228.24/226.73	c cleaning 10000 clauses out of 20010 with flag 4164000/4322649
228.74/227.26	c cleaning 9982 clauses out of 20011 with flag 4174001/4332650
229.25/227.77	c cleaning 10012 clauses out of 20029 with flag 4184001/4342650
229.84/228.33	c cleaning 9998 clauses out of 20016 with flag 4194000/4352649
230.35/228.82	c cleaning 10000 clauses out of 20020 with flag 4204002/4362651
230.84/229.32	c cleaning 9996 clauses out of 20019 with flag 4214001/4372650
231.35/229.82	c cleaning 10005 clauses out of 20024 with flag 4224002/4382651
231.85/230.34	c cleaning 10002 clauses out of 20018 with flag 4234001/4392650
232.35/230.84	c cleaning 9993 clauses out of 20015 with flag 4244000/4402649
232.85/231.33	c cleaning 10003 clauses out of 20024 with flag 4254002/4412651
233.35/231.87	c cleaning 10001 clauses out of 20020 with flag 4264001/4422650
233.85/232.38	c cleaning 10003 clauses out of 20020 with flag 4274002/4432651
234.35/232.88	c cleaning 10001 clauses out of 20015 with flag 4284000/4442649
234.95/233.44	c cleaning 10005 clauses out of 20017 with flag 4294003/4452652
235.45/233.99	c cleaning 10002 clauses out of 20012 with flag 4304003/4462652
236.05/234.50	c cleaning 9999 clauses out of 20008 with flag 4314001/4472650
236.55/235.01	c cleaning 10000 clauses out of 20010 with flag 4324002/4482651
237.05/235.52	c cleaning 9996 clauses out of 20009 with flag 4334001/4492650
237.56/236.04	c cleaning 9998 clauses out of 20012 with flag 4344000/4502649
238.06/236.56	c cleaning 10000 clauses out of 20014 with flag 4354000/4512649
238.66/237.11	c cleaning 10002 clauses out of 20015 with flag 4364001/4522650
239.17/237.61	c cleaning 9999 clauses out of 20012 with flag 4374000/4532649
239.57/238.08	c cleaning 10005 clauses out of 20013 with flag 4384000/4542649
240.07/238.57	c cleaning 10001 clauses out of 20009 with flag 4394001/4552650
240.57/239.04	c cleaning 9998 clauses out of 20007 with flag 4404000/4562649
241.07/239.53	c cleaning 10000 clauses out of 20011 with flag 4414002/4572651
241.58/240.02	c cleaning 10000 clauses out of 20009 with flag 4424000/4582649
242.08/240.50	c cleaning 10000 clauses out of 20009 with flag 4434000/4592649
242.48/240.99	c cleaning 9994 clauses out of 20009 with flag 4444000/4602649
243.08/241.50	c cleaning 9994 clauses out of 20015 with flag 4454000/4612649
243.58/242.01	c cleaning 10005 clauses out of 20022 with flag 4464001/4622650
244.08/242.51	c cleaning 9997 clauses out of 20018 with flag 4474002/4632651
244.59/243.05	c cleaning 10003 clauses out of 20020 with flag 4484001/4642650
245.08/243.53	c cleaning 10001 clauses out of 20016 with flag 4494000/4652649
245.58/244.02	c cleaning 10003 clauses out of 20015 with flag 4504000/4662649
246.08/244.55	c cleaning 9992 clauses out of 20012 with flag 4514000/4672649
246.58/245.06	c cleaning 10003 clauses out of 20020 with flag 4524000/4682649
247.09/245.54	c cleaning 10003 clauses out of 20017 with flag 4534000/4692649
247.59/246.03	c cleaning 10004 clauses out of 20014 with flag 4544000/4702649
248.09/246.51	c cleaning 9995 clauses out of 20010 with flag 4554000/4712649
248.59/247.00	c cleaning 10001 clauses out of 20016 with flag 4564001/4722650
249.10/247.52	c cleaning 10000 clauses out of 20014 with flag 4574000/4732649
249.59/248.04	c cleaning 9995 clauses out of 20014 with flag 4584000/4742649
250.10/248.56	c cleaning 10003 clauses out of 20022 with flag 4594003/4752652
250.69/249.10	c cleaning 9998 clauses out of 20016 with flag 4604000/4762649
251.20/249.61	c cleaning 10003 clauses out of 20020 with flag 4614002/4772651
251.70/250.11	c cleaning 9999 clauses out of 20016 with flag 4624001/4782650
252.20/250.63	c cleaning 10003 clauses out of 20017 with flag 4634001/4792650
252.70/251.12	c cleaning 10003 clauses out of 20013 with flag 4644000/4802649
253.20/251.62	c cleaning 10003 clauses out of 20011 with flag 4654001/4812650
253.70/252.11	c cleaning 9999 clauses out of 20007 with flag 4664000/4822649
254.20/252.63	c cleaning 10000 clauses out of 20008 with flag 4674000/4832649
254.70/253.13	c cleaning 9998 clauses out of 20008 with flag 4684000/4842649
255.20/253.69	c cleaning 9990 clauses out of 20010 with flag 4694000/4852649
255.80/254.22	c cleaning 10004 clauses out of 20021 with flag 4704001/4862650
256.30/254.70	c cleaning 10000 clauses out of 20016 with flag 4714000/4872649
256.81/255.21	c cleaning 10002 clauses out of 20017 with flag 4724001/4882650
257.31/255.71	c cleaning 10003 clauses out of 20015 with flag 4734001/4892650
257.82/256.25	c cleaning 10003 clauses out of 20012 with flag 4744001/4902650
258.31/256.79	c cleaning 9999 clauses out of 20012 with flag 4754004/4912653
258.92/257.31	c cleaning 9996 clauses out of 20009 with flag 4764000/4922649
259.41/257.81	c cleaning 9999 clauses out of 20013 with flag 4774000/4932649
259.91/258.34	c cleaning 9998 clauses out of 20014 with flag 4784000/4942649
260.42/258.82	c cleaning 10005 clauses out of 20017 with flag 4794001/4952650
260.92/259.32	c cleaning 9999 clauses out of 20011 with flag 4804000/4962649
261.42/259.80	c cleaning 10002 clauses out of 20013 with flag 4814001/4972650
261.82/260.28	c cleaning 9992 clauses out of 20010 with flag 4824000/4982649
262.33/260.77	c cleaning 10003 clauses out of 20020 with flag 4834002/4992651
262.82/261.28	c cleaning 9999 clauses out of 20016 with flag 4844001/5002650
263.33/261.77	c cleaning 10005 clauses out of 20017 with flag 4854001/5012650
263.83/262.25	c cleaning 9996 clauses out of 20012 with flag 4864001/5022650
264.33/262.75	c cleaning 9991 clauses out of 20015 with flag 4874000/5032649
264.83/263.26	c cleaning 10010 clauses out of 20025 with flag 4884001/5042650
265.33/263.78	c cleaning 9998 clauses out of 20014 with flag 4894000/5052649
265.93/264.33	c cleaning 10003 clauses out of 20018 with flag 4904002/5062651
266.43/264.85	c cleaning 10001 clauses out of 20016 with flag 4914003/5072652
266.94/265.37	c cleaning 10001 clauses out of 20013 with flag 4924001/5082650
267.44/265.89	c cleaning 9995 clauses out of 20011 with flag 4934000/5092649
267.94/266.37	c cleaning 10001 clauses out of 20017 with flag 4944001/5102650
268.54/266.90	c cleaning 9995 clauses out of 20015 with flag 4954000/5112649
269.04/267.40	c cleaning 9996 clauses out of 20020 with flag 4964000/5122649
269.45/267.87	c cleaning 10005 clauses out of 20025 with flag 4974001/5132650
269.95/268.39	c cleaning 10005 clauses out of 20020 with flag 4984001/5142650
270.55/268.98	c cleaning 9998 clauses out of 20014 with flag 4994000/5152649
271.15/269.59	c cleaning 9998 clauses out of 20019 with flag 5004003/5162652
271.65/270.10	c cleaning 10003 clauses out of 20019 with flag 5014001/5172650
272.15/270.60	c cleaning 10001 clauses out of 20015 with flag 5024000/5182649
272.75/271.10	c cleaning 10002 clauses out of 20014 with flag 5034000/5192649
273.26/271.61	c cleaning 9995 clauses out of 20012 with flag 5044000/5202649
273.75/272.13	c cleaning 10006 clauses out of 20017 with flag 5054000/5212649
274.25/272.68	c cleaning 9995 clauses out of 20011 with flag 5064000/5222649
274.86/273.21	c cleaning 10005 clauses out of 20017 with flag 5074001/5232650
275.36/273.78	c cleaning 10000 clauses out of 20012 with flag 5084001/5242650
275.96/274.34	c cleaning 10003 clauses out of 20014 with flag 5094003/5252652
276.46/274.86	c cleaning 9995 clauses out of 20008 with flag 5104000/5262649
277.06/275.40	c cleaning 9999 clauses out of 20013 with flag 5114000/5272649
277.56/275.90	c cleaning 9999 clauses out of 20014 with flag 5124000/5282649
278.06/276.41	c cleaning 10002 clauses out of 20017 with flag 5134002/5292651
278.56/276.92	c cleaning 10001 clauses out of 20013 with flag 5144000/5302649
279.06/277.47	c cleaning 10003 clauses out of 20014 with flag 5154002/5312651
279.56/277.98	c cleaning 9999 clauses out of 20009 with flag 5164000/5322649
280.06/278.47	c cleaning 10004 clauses out of 20013 with flag 5174003/5332652
280.66/279.00	c cleaning 9994 clauses out of 20009 with flag 5184003/5342652
281.16/279.53	c cleaning 9997 clauses out of 20014 with flag 5194002/5352651
281.66/280.04	c cleaning 10005 clauses out of 20017 with flag 5204002/5362651
282.17/280.58	c cleaning 10000 clauses out of 20011 with flag 5214001/5372650
282.77/281.11	c cleaning 10000 clauses out of 20011 with flag 5224001/5382650
283.27/281.63	c cleaning 10002 clauses out of 20011 with flag 5234001/5392650
283.77/282.12	c cleaning 9998 clauses out of 20010 with flag 5244002/5402651
284.27/282.62	c cleaning 10003 clauses out of 20015 with flag 5254005/5412654
284.77/283.19	c cleaning 9995 clauses out of 20009 with flag 5264002/5422651
285.37/283.78	c cleaning 9997 clauses out of 20013 with flag 5274001/5432650
285.97/284.39	c cleaning 9990 clauses out of 20015 with flag 5284000/5442649
286.67/285.03	c cleaning 9998 clauses out of 20025 with flag 5294000/5452649
287.47/285.81	c cleaning 9998 clauses out of 20028 with flag 5304001/5462650
287.97/286.36	c cleaning 10009 clauses out of 20031 with flag 5314002/5472651
288.47/286.89	c cleaning 10003 clauses out of 20021 with flag 5324001/5482650
289.08/287.42	c cleaning 10004 clauses out of 20018 with flag 5334001/5492650
289.58/287.94	c cleaning 9996 clauses out of 20013 with flag 5344000/5502649
290.18/288.52	c cleaning 10007 clauses out of 20020 with flag 5354003/5512652
290.68/289.03	c cleaning 9996 clauses out of 20012 with flag 5364002/5522651
291.19/289.59	c cleaning 10003 clauses out of 20015 with flag 5374001/5532650
291.79/290.14	c cleaning 9997 clauses out of 20011 with flag 5384000/5542649
292.29/290.67	c cleaning 10006 clauses out of 20017 with flag 5394003/5552652
292.79/291.17	c cleaning 9998 clauses out of 20012 with flag 5404004/5562653
293.49/291.80	c cleaning 9996 clauses out of 20012 with flag 5414002/5572651
293.99/292.35	c cleaning 10001 clauses out of 20015 with flag 5424001/5582650
294.49/292.89	c cleaning 10002 clauses out of 20014 with flag 5434001/5592650
294.99/293.37	c cleaning 9998 clauses out of 20012 with flag 5444001/5602650
295.49/293.87	c cleaning 10004 clauses out of 20016 with flag 5454003/5612652
295.99/294.39	c cleaning 9997 clauses out of 20011 with flag 5464002/5622651
296.59/294.95	c cleaning 9995 clauses out of 20015 with flag 5474003/5632652
297.19/295.53	c cleaning 9995 clauses out of 20019 with flag 5484002/5642651
297.89/296.20	c cleaning 9999 clauses out of 20022 with flag 5494000/5652649
298.50/296.83	c cleaning 10002 clauses out of 20024 with flag 5504001/5662650
299.10/297.40	c cleaning 9999 clauses out of 20021 with flag 5514000/5672649
299.60/297.93	c cleaning 10005 clauses out of 20023 with flag 5524001/5682650
300.10/298.48	c cleaning 9993 clauses out of 20017 with flag 5534000/5692649
300.70/299.01	c cleaning 10001 clauses out of 20024 with flag 5544000/5702649
301.20/299.57	c cleaning 10007 clauses out of 20025 with flag 5554002/5712651
301.80/300.12	c cleaning 10004 clauses out of 20016 with flag 5564000/5722649
302.41/300.71	c cleaning 9995 clauses out of 20012 with flag 5574000/5732649
302.91/301.26	c cleaning 9998 clauses out of 20017 with flag 5584000/5742649
303.51/301.85	c cleaning 10006 clauses out of 20019 with flag 5594000/5752649
304.11/302.49	c cleaning 10000 clauses out of 20015 with flag 5604002/5762651
304.81/303.16	c cleaning 10002 clauses out of 20015 with flag 5614002/5772651
305.51/303.83	c cleaning 9994 clauses out of 20011 with flag 5624000/5782649
306.11/304.47	c cleaning 9992 clauses out of 20018 with flag 5634001/5792650
306.71/305.02	c cleaning 10005 clauses out of 20025 with flag 5644000/5802649
307.21/305.53	c cleaning 10005 clauses out of 20020 with flag 5654000/5812649
307.71/306.07	c cleaning 9996 clauses out of 20016 with flag 5664001/5822650
308.22/306.59	c cleaning 9995 clauses out of 20019 with flag 5674000/5832649
308.82/307.14	c cleaning 10007 clauses out of 20025 with flag 5684001/5842650
309.52/307.86	c cleaning 9988 clauses out of 20018 with flag 5694001/5852650
310.12/308.48	c cleaning 10008 clauses out of 20032 with flag 5704003/5862652
310.86/309.11	c cleaning 10006 clauses out of 20024 with flag 5714003/5872652
311.45/309.72	c cleaning 9985 clauses out of 20015 with flag 5724000/5882649
311.96/310.29	c cleaning 10008 clauses out of 20031 with flag 5734001/5892650
312.45/310.79	c cleaning 10004 clauses out of 20024 with flag 5744002/5902651
313.06/311.34	c cleaning 10002 clauses out of 20019 with flag 5754001/5912650
313.56/311.86	c cleaning 10005 clauses out of 20018 with flag 5764002/5922651
314.06/312.36	c cleaning 10001 clauses out of 20011 with flag 5774000/5932649
314.56/312.87	c cleaning 9992 clauses out of 20011 with flag 5784001/5942650
315.06/313.37	c cleaning 10006 clauses out of 20022 with flag 5794004/5952653
315.56/313.87	c cleaning 9997 clauses out of 20013 with flag 5804001/5962650
316.16/314.40	c cleaning 9998 clauses out of 20016 with flag 5814001/5972650
316.66/314.95	c cleaning 10004 clauses out of 20018 with flag 5824001/5982650
317.26/315.56	c cleaning 10000 clauses out of 20014 with flag 5834001/5992650
317.77/316.07	c cleaning 9998 clauses out of 20013 with flag 5844000/6002649
318.37/316.64	c cleaning 10003 clauses out of 20016 with flag 5854001/6012650
318.87/317.19	c cleaning 9994 clauses out of 20012 with flag 5864000/6022649
319.47/317.74	c cleaning 10004 clauses out of 20020 with flag 5874002/6032651
319.97/318.25	c cleaning 9999 clauses out of 20014 with flag 5884000/6042649
320.57/318.80	c cleaning 9999 clauses out of 20015 with flag 5894000/6052649
320.97/319.29	c cleaning 10002 clauses out of 20018 with flag 5904002/6062651
321.47/319.76	c cleaning 10002 clauses out of 20014 with flag 5914000/6072649
321.98/320.28	c cleaning 9997 clauses out of 20015 with flag 5924003/6082652
322.58/320.83	c cleaning 9997 clauses out of 20015 with flag 5934000/6092649
323.08/321.35	c cleaning 10001 clauses out of 20018 with flag 5944000/6102649
323.58/321.86	c cleaning 10000 clauses out of 20018 with flag 5954001/6112650
324.09/322.39	c cleaning 9999 clauses out of 20019 with flag 5964002/6122651
324.78/323.01	c cleaning 10000 clauses out of 20018 with flag 5974000/6132649
325.28/323.52	c cleaning 9994 clauses out of 20019 with flag 5984001/6142650
325.79/324.09	c cleaning 10001 clauses out of 20026 with flag 5994002/6152651
326.49/324.70	c cleaning 9998 clauses out of 20023 with flag 6004000/6162649
327.09/325.32	c cleaning 9999 clauses out of 20025 with flag 6014000/6172649
327.69/325.96	c cleaning 10003 clauses out of 20029 with flag 6024003/6182652
328.19/326.49	c cleaning 10005 clauses out of 20024 with flag 6034001/6192650
328.79/327.02	c cleaning 10004 clauses out of 20019 with flag 6044001/6202650
329.29/327.54	c cleaning 9998 clauses out of 20014 with flag 6054000/6212649
329.79/328.04	c cleaning 9990 clauses out of 20016 with flag 6064000/6222649
330.29/328.53	c cleaning 10006 clauses out of 20026 with flag 6074000/6232649
330.80/329.07	c cleaning 10000 clauses out of 20020 with flag 6084000/6242649
331.30/329.56	c cleaning 10001 clauses out of 20021 with flag 6094001/6252650
331.90/330.14	c cleaning 10002 clauses out of 20024 with flag 6104005/6262654
332.40/330.68	c cleaning 10000 clauses out of 20017 with flag 6114000/6272649
332.91/331.18	c cleaning 10001 clauses out of 20017 with flag 6124000/6282649
333.41/331.68	c cleaning 10005 clauses out of 20018 with flag 6134002/6292651
333.91/332.17	c cleaning 9998 clauses out of 20013 with flag 6144002/6302651
334.51/332.75	c cleaning 10002 clauses out of 20013 with flag 6154000/6312649
335.01/333.26	c cleaning 10003 clauses out of 20013 with flag 6164002/6322651
335.51/333.75	c cleaning 10001 clauses out of 20011 with flag 6174003/6332652
336.12/334.33	c cleaning 9999 clauses out of 20007 with flag 6184000/6342649
336.71/334.91	c cleaning 9994 clauses out of 20011 with flag 6194003/6352652
337.32/335.55	c cleaning 10001 clauses out of 20015 with flag 6204001/6362650
337.93/336.15	c cleaning 9991 clauses out of 20014 with flag 6214001/6372650
338.43/336.66	c cleaning 9999 clauses out of 20022 with flag 6224000/6382649
338.93/337.15	c cleaning 10007 clauses out of 20024 with flag 6234001/6392650
339.43/337.64	c cleaning 10002 clauses out of 20018 with flag 6244002/6402651
339.93/338.14	c cleaning 10001 clauses out of 20014 with flag 6254000/6412649
340.54/338.71	c cleaning 10003 clauses out of 20017 with flag 6264004/6422653
341.03/339.24	c cleaning 9997 clauses out of 20010 with flag 6274000/6432649
341.54/339.76	c cleaning 9994 clauses out of 20013 with flag 6284000/6442649
342.04/340.26	c cleaning 10005 clauses out of 20021 with flag 6294002/6452651
342.54/340.75	c cleaning 10002 clauses out of 20014 with flag 6304000/6462649
343.04/341.24	c cleaning 10003 clauses out of 20013 with flag 6314001/6472650
343.54/341.77	c cleaning 9993 clauses out of 20009 with flag 6324000/6482649
344.14/342.34	c cleaning 9999 clauses out of 20016 with flag 6334000/6492649
344.74/342.90	c cleaning 10003 clauses out of 20020 with flag 6344003/6502652
345.24/343.46	c cleaning 10002 clauses out of 20016 with flag 6354002/6512651
345.84/344.02	c cleaning 10002 clauses out of 20016 with flag 6364004/6522653
346.35/344.52	c cleaning 10002 clauses out of 20011 with flag 6374001/6532650
346.85/345.02	c cleaning 9998 clauses out of 20012 with flag 6384004/6542653
347.35/345.56	c cleaning 9997 clauses out of 20010 with flag 6394000/6552649
347.85/346.09	c cleaning 10003 clauses out of 20013 with flag 6404000/6562649
348.45/346.62	c cleaning 9993 clauses out of 20010 with flag 6414000/6572649
348.95/347.15	c cleaning 10001 clauses out of 20017 with flag 6424000/6582649
349.46/347.68	c cleaning 10003 clauses out of 20017 with flag 6434001/6592650
350.05/348.23	c cleaning 9990 clauses out of 20013 with flag 6444000/6602649
350.56/348.75	c cleaning 10006 clauses out of 20024 with flag 6454001/6612650
351.16/349.39	c cleaning 9997 clauses out of 20017 with flag 6464000/6622649
351.67/349.89	c cleaning 9990 clauses out of 20021 with flag 6474001/6632650
352.16/350.39	c cleaning 10000 clauses out of 20031 with flag 6484001/6642650
352.77/350.90	c cleaning 9993 clauses out of 20034 with flag 6494004/6652653
353.27/351.44	c cleaning 9996 clauses out of 20039 with flag 6504002/6662651
353.87/352.04	c cleaning 10000 clauses out of 20043 with flag 6514002/6672651
354.37/352.57	c cleaning 9990 clauses out of 20044 with flag 6524003/6682652
354.87/353.07	c cleaning 9995 clauses out of 20054 with flag 6534003/6692652
355.47/353.60	c cleaning 9993 clauses out of 20059 with flag 6544003/6702652
355.97/354.15	c cleaning 9978 clauses out of 20065 with flag 6554002/6712651
356.57/354.71	c cleaning 9982 clauses out of 20086 with flag 6564001/6722650
357.08/355.25	c cleaning 9998 clauses out of 20106 with flag 6574003/6732652
357.67/355.80	c cleaning 9994 clauses out of 20106 with flag 6584001/6742650
358.18/356.33	c cleaning 9998 clauses out of 20111 with flag 6594000/6752649
358.67/356.85	c cleaning 10004 clauses out of 20115 with flag 6604002/6762651
359.28/357.41	c cleaning 9999 clauses out of 20110 with flag 6614001/6772650
359.78/357.94	c cleaning 10003 clauses out of 20112 with flag 6624002/6782651
360.28/358.45	c cleaning 9992 clauses out of 20107 with flag 6634000/6792649
360.78/358.98	c cleaning 10000 clauses out of 20117 with flag 6644002/6802651
361.38/359.53	c cleaning 10008 clauses out of 20117 with flag 6654002/6812651
361.98/360.12	c cleaning 9996 clauses out of 20109 with flag 6664002/6822651
362.48/360.69	c cleaning 9996 clauses out of 20111 with flag 6674000/6832649
363.08/361.20	c cleaning 9998 clauses out of 20115 with flag 6684000/6842649
363.58/361.73	c cleaning 9997 clauses out of 20117 with flag 6694000/6852649
364.08/362.28	c cleaning 10001 clauses out of 20121 with flag 6704001/6862650
364.58/362.79	c cleaning 10003 clauses out of 20119 with flag 6714000/6872649
365.19/363.30	c cleaning 9997 clauses out of 20116 with flag 6724000/6882649
365.69/363.81	c cleaning 9995 clauses out of 20119 with flag 6734000/6892649
366.19/364.30	c cleaning 10005 clauses out of 20124 with flag 6744000/6902649
366.59/364.78	c cleaning 10001 clauses out of 20120 with flag 6754001/6912650
367.10/365.29	c cleaning 9996 clauses out of 20118 with flag 6764000/6922649
367.59/365.78	c cleaning 10004 clauses out of 20123 with flag 6774001/6932650
368.10/366.29	c cleaning 10000 clauses out of 20119 with flag 6784001/6942650
368.69/366.84	c cleaning 9994 clauses out of 20118 with flag 6794000/6952649
369.30/367.42	c cleaning 10001 clauses out of 20125 with flag 6804001/6962650
369.89/368.03	c cleaning 9999 clauses out of 20123 with flag 6814000/6972649
370.40/368.58	c cleaning 10001 clauses out of 20124 with flag 6824000/6982649
371.00/369.15	c cleaning 10000 clauses out of 20125 with flag 6834002/6992651
371.60/369.72	c cleaning 9995 clauses out of 20124 with flag 6844001/7002650
372.20/370.32	c cleaning 10000 clauses out of 20128 with flag 6854000/7012649
372.80/370.93	c cleaning 9996 clauses out of 20130 with flag 6864002/7022651
373.40/371.53	c cleaning 10002 clauses out of 20132 with flag 6874000/7032649
374.00/372.15	c cleaning 10000 clauses out of 20130 with flag 6884000/7042649
374.60/372.73	c cleaning 10002 clauses out of 20131 with flag 6894001/7052650
375.20/373.30	c cleaning 9995 clauses out of 20129 with flag 6904001/7062650
375.70/373.88	c cleaning 10000 clauses out of 20134 with flag 6914001/7072650
376.30/374.40	c cleaning 9995 clauses out of 20133 with flag 6924000/7082649
376.80/374.97	c cleaning 9991 clauses out of 20139 with flag 6934001/7092650
377.31/375.46	c cleaning 10004 clauses out of 20149 with flag 6944002/7102651
377.81/375.99	c cleaning 9997 clauses out of 20143 with flag 6954000/7112649
378.51/376.67	c cleaning 9999 clauses out of 20146 with flag 6964000/7122649
379.12/377.27	c cleaning 9995 clauses out of 20150 with flag 6974003/7132652
379.71/377.86	c cleaning 10005 clauses out of 20153 with flag 6984001/7142650
380.51/378.61	c cleaning 10003 clauses out of 20149 with flag 6994002/7152651
381.02/379.19	c cleaning 9981 clauses out of 20146 with flag 7004002/7162651
381.52/379.69	c cleaning 10016 clauses out of 20165 with flag 7014002/7172651
382.02/380.17	c cleaning 10003 clauses out of 20150 with flag 7024003/7182652
382.62/380.73	c cleaning 10000 clauses out of 20146 with flag 7034002/7192651
383.12/381.27	c cleaning 9996 clauses out of 20145 with flag 7044001/7202650
383.72/381.81	c cleaning 10000 clauses out of 20150 with flag 7054002/7212651
384.32/382.42	c cleaning 9987 clauses out of 20148 with flag 7064000/7222649
384.92/383.01	c cleaning 10008 clauses out of 20162 with flag 7074001/7232650
385.53/383.62	c cleaning 9997 clauses out of 20153 with flag 7084000/7242649
386.03/384.16	c cleaning 9978 clauses out of 20155 with flag 7094000/7252649
386.53/384.69	c cleaning 9980 clauses out of 20178 with flag 7104001/7262650
387.14/385.25	c cleaning 9972 clauses out of 20198 with flag 7114001/7272650
387.74/385.89	c cleaning 10009 clauses out of 20225 with flag 7124000/7282649
388.34/386.49	c cleaning 9992 clauses out of 20221 with flag 7134005/7292654
388.94/387.04	c cleaning 9984 clauses out of 20225 with flag 7144001/7302650
389.44/387.59	c cleaning 9990 clauses out of 20243 with flag 7154003/7312652
390.04/388.19	c cleaning 9980 clauses out of 20251 with flag 7164001/7322650
390.74/388.81	c cleaning 9982 clauses out of 20270 with flag 7174000/7332649
391.25/389.38	c cleaning 9979 clauses out of 20288 with flag 7184000/7342649
391.94/390.02	c cleaning 9990 clauses out of 20310 with flag 7194001/7352650
392.64/390.78	c cleaning 9994 clauses out of 20319 with flag 7204000/7362649
393.35/391.49	c cleaning 9966 clauses out of 20326 with flag 7214001/7372650
393.95/392.06	c cleaning 9999 clauses out of 20359 with flag 7224000/7382649
394.55/392.70	c cleaning 9989 clauses out of 20360 with flag 7234000/7392649
395.24/393.40	c cleaning 10011 clauses out of 20374 with flag 7244003/7402652
395.95/394.06	c cleaning 9992 clauses out of 20361 with flag 7254001/7412650
396.65/394.71	c cleaning 9994 clauses out of 20369 with flag 7264001/7422650
397.35/395.44	c cleaning 10009 clauses out of 20375 with flag 7274001/7432650
398.15/396.27	c cleaning 9987 clauses out of 20366 with flag 7284001/7442650
398.85/397.00	c cleaning 9999 clauses out of 20379 with flag 7294001/7452650
399.56/397.69	c cleaning 9993 clauses out of 20379 with flag 7304000/7462649
400.26/398.39	c cleaning 10000 clauses out of 20388 with flag 7314002/7472651
400.96/399.02	c cleaning 9981 clauses out of 20386 with flag 7324000/7482649
401.57/399.61	c cleaning 9962 clauses out of 20408 with flag 7334003/7492652
402.17/400.25	c cleaning 9998 clauses out of 20444 with flag 7344001/7502650
402.77/400.88	c cleaning 9987 clauses out of 20446 with flag 7354001/7512650
403.37/401.49	c cleaning 9981 clauses out of 20458 with flag 7364000/7522649
404.07/402.17	c cleaning 10003 clauses out of 20479 with flag 7374002/7532651
404.97/403.05	c cleaning 9976 clauses out of 20477 with flag 7384003/7542652
405.77/403.83	c cleaning 9994 clauses out of 20498 with flag 7394000/7552649
406.48/404.56	c cleaning 9974 clauses out of 20505 with flag 7404002/7562651
407.08/405.16	c cleaning 9968 clauses out of 20528 with flag 7414000/7572649
407.68/405.76	c cleaning 9991 clauses out of 20562 with flag 7424002/7582651
408.38/406.45	c cleaning 9978 clauses out of 20570 with flag 7434001/7592650
409.00/407.01	c cleaning 9941 clauses out of 20593 with flag 7444003/7602652
409.00/407.06	c starts		: 343
409.00/407.06	c conflicts		: 7603455
409.00/407.06	c decisions		: 11505934
409.00/407.06	c propagations		: 386403953
409.00/407.06	c inspects		: 3934265803
409.00/407.06	c shortcuts		: 0
409.00/407.06	c learnt literals	: 8
409.00/407.06	c learnt binary clauses	: 57
409.00/407.06	c learnt ternary clauses	: 1824
409.00/407.06	c learnt constraints	: 7603446
409.00/407.06	c ignored constraints	: 0
409.00/407.06	c root simplifications	: 0
409.00/407.06	c removed literals (reason simplification)	: 39735697
409.00/407.06	c reason swapping (by a shorter reason)	: 0
409.00/407.06	c Calls to reduceDB	: 769
409.00/407.06	c number of reductions to clauses (during analyze)	: 0
409.00/407.06	c number of learned constraints concerned by reduction	: 0
409.00/407.06	c number of learning phase by resolution	: 0
409.00/407.06	c number of learning phase by cutting planes	: 0
409.00/407.06	c speed (assignments/second)	: 980446.964045571
409.00/407.06	c non guided choices	5308
409.00/407.06	c learnt constraints type 
409.00/407.06	c constraints type 
409.00/407.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
409.00/407.06	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
409.00/407.06	s OPTIMUM FOUND
409.00/407.06	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 
409.00/407.06	c objective function=1
409.00/407.06	c Total wall clock time (in seconds): 406.956

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492080-1307911263/watcher-3492080-1307911263 -o /var/tmp/evaluation-result-3492080-1307911263/solver-3492080-1307911263 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492080-1307911263.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.04 2.02 1.92 2/195 13942
/proc/meminfo: memFree=776464/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13942/stat : 13942 (java) R 13940 13942 10203 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902725023 23580672 695 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251809277416 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13942/statm: 5757 695 512 9 0 124 0

[startup+0.079084 s]
/proc/loadavg: 2.04 2.02 1.92 2/195 13942
/proc/meminfo: memFree=776464/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 11960 0 1 0 5 1 0 0 25 0 18 0 902725023 10724442112 11656 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2618272 11657 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.101081 s]
/proc/loadavg: 2.04 2.02 1.92 2/195 13942
/proc/meminfo: memFree=776464/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10540292 CPUtime=0.1 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 13107 0 1 0 9 1 0 0 25 0 18 0 902725023 10793259008 12761 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2635073 12761 2092 9 0 2625807 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540292

[startup+0.306103 s]
/proc/loadavg: 2.04 2.02 1.92 2/195 13942
/proc/meminfo: memFree=776464/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10544352 CPUtime=0.52 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 16788 0 1 0 50 2 0 0 25 0 18 0 902725023 10797416448 15936 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2636088 15937 2205 9 0 2626822 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10544352

[startup+0.70098 s]
/proc/loadavg: 2.04 2.02 1.92 2/195 13942
/proc/meminfo: memFree=776464/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10550524 CPUtime=1.56 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 23584 0 1 0 153 3 0 0 25 0 19 0 902725023 10803736576 20214 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2637631 20214 2236 9 0 2628365 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10550524

[startup+1.50084 s]
/proc/loadavg: 2.19 2.05 1.93 3/214 13961
/proc/meminfo: memFree=698032/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10550524 CPUtime=2.35 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 26125 0 1 0 232 3 0 0 25 0 19 0 902725023 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2637631 22754 2238 9 0 2628365 0
[pid=13942/tid=13944] ppid=13940 vsize=10550524 CPUtime=1.48 cores=1,3,5,7
/proc/13942/task/13944/stat : 13944 (java) R 13940 13942 10203 0 -1 4202560 17865 0 1 0 146 2 0 0 25 0 19 0 902725024 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 46912505727232 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13945/stat : 13945 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13946/stat : 13946 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13947/stat : 13947 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13948/stat : 13948 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13949/stat : 13949 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13950/stat : 13950 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13951/stat : 13951 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13952/stat : 13952 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725026 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13953/stat : 13953 (java) S 13940 13942 10203 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 0 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13954/stat : 13954 (java) S 13940 13942 10203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902725027 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13955/stat : 13955 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725027 10803736576 22754 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13956/stat : 13956 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 22755 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826063793 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=10550524 CPUtime=0.43 cores=1,3,5,7
/proc/13942/task/13957/stat : 13957 (java) S 13940 13942 10203 0 -1 4202560 3539 0 0 0 43 0 0 0 17 0 19 0 902725029 10803736576 22755 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=10550524 CPUtime=0.43 cores=1,3,5,7
/proc/13942/task/13958/stat : 13958 (java) S 13940 13942 10203 0 -1 4202560 3560 0 0 0 43 0 0 0 16 0 19 0 902725029 10803736576 22755 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13959] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13959/stat : 13959 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 22755 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13960] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13960/stat : 13960 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902725029 10803736576 22755 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13961] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13961/stat : 13961 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725060 10803736576 22755 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10550524

[startup+3.10058 s]
/proc/loadavg: 2.19 2.05 1.93 3/214 13961
/proc/meminfo: memFree=689552/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10550524 CPUtime=4.03 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 30536 0 1 0 400 3 0 0 25 0 19 0 902725023 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2637631 27158 2264 9 0 2628365 0
[pid=13942/tid=13944] ppid=13940 vsize=10550524 CPUtime=3.05 cores=1,3,5,7
/proc/13942/task/13944/stat : 13944 (java) R 13940 13942 10203 0 -1 4202560 20467 0 1 0 303 2 0 0 25 0 19 0 902725024 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 46912505782805 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13945/stat : 13945 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13946/stat : 13946 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13947/stat : 13947 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13948/stat : 13948 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13949/stat : 13949 (java) S 13940 13942 10203 0 -1 4202560 259 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13950/stat : 13950 (java) S 13940 13942 10203 0 -1 4202560 178 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13951/stat : 13951 (java) S 13940 13942 10203 0 -1 4202560 215 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13952/stat : 13952 (java) S 13940 13942 10203 0 -1 4202560 249 0 0 0 0 0 0 0 18 0 19 0 902725026 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=10550524 CPUtime=0.01 cores=1,3,5,7
/proc/13942/task/13953/stat : 13953 (java) S 13940 13942 10203 0 -1 4202560 896 0 0 0 1 0 0 0 17 0 19 0 902725027 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 0 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13954/stat : 13954 (java) S 13940 13942 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13955/stat : 13955 (java) S 13940 13942 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13956/stat : 13956 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826063793 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=10550524 CPUtime=0.45 cores=1,3,5,7
/proc/13942/task/13957/stat : 13957 (java) S 13940 13942 10203 0 -1 4202560 3546 0 0 0 45 0 0 0 15 0 19 0 902725029 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=10550524 CPUtime=0.48 cores=1,3,5,7
/proc/13942/task/13958/stat : 13958 (java) S 13940 13942 10203 0 -1 4202560 3571 0 0 0 48 0 0 0 15 0 19 0 902725029 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13959] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13959/stat : 13959 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13960] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13960/stat : 13960 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902725029 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13961] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13961/stat : 13961 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725060 10803736576 27158 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10550524

[startup+6.30104 s]
/proc/loadavg: 2.19 2.05 1.93 3/214 13961
/proc/meminfo: memFree=670012/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10550524 CPUtime=7.36 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 33058 0 1 0 732 4 0 0 25 0 19 0 902725023 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2637631 28578 2264 9 0 2628365 0
[pid=13942/tid=13944] ppid=13940 vsize=10550524 CPUtime=6.18 cores=1,3,5,7
/proc/13942/task/13944/stat : 13944 (java) R 13940 13942 10203 0 -1 4202560 20472 0 1 0 616 2 0 0 25 0 19 0 902725024 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 46912505820425 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13945/stat : 13945 (java) S 13940 13942 10203 0 -1 4202560 340 0 0 0 0 0 0 0 16 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13946/stat : 13946 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13947/stat : 13947 (java) S 13940 13942 10203 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13948/stat : 13948 (java) S 13940 13942 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13949/stat : 13949 (java) S 13940 13942 10203 0 -1 4202560 426 0 0 0 0 0 0 0 15 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13950/stat : 13950 (java) S 13940 13942 10203 0 -1 4202560 178 0 0 0 0 0 0 0 16 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13951/stat : 13951 (java) S 13940 13942 10203 0 -1 4202560 454 0 0 0 0 0 0 0 15 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13952/stat : 13952 (java) S 13940 13942 10203 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 902725026 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=10550524 CPUtime=0.08 cores=1,3,5,7
/proc/13942/task/13953/stat : 13953 (java) S 13940 13942 10203 0 -1 4202560 1268 0 0 0 8 0 0 0 16 0 19 0 902725027 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 0 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13954/stat : 13954 (java) S 13940 13942 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13955/stat : 13955 (java) S 13940 13942 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13956/stat : 13956 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826063793 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=10550524 CPUtime=0.55 cores=1,3,5,7
/proc/13942/task/13957/stat : 13957 (java) S 13940 13942 10203 0 -1 4202560 4933 0 0 0 55 0 0 0 15 0 19 0 902725029 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=10550524 CPUtime=0.49 cores=1,3,5,7
/proc/13942/task/13958/stat : 13958 (java) S 13940 13942 10203 0 -1 4202560 3571 0 0 0 49 0 0 0 15 0 19 0 902725029 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13959] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13959/stat : 13959 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13960] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13960/stat : 13960 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902725029 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13961] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13961/stat : 13961 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725060 10803736576 28578 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 10550524

[startup+12.701 s]

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

/proc/13942/task/13945/stat : 13945 (java) S 13940 13942 10203 0 -1 4202560 363 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13946/stat : 13946 (java) S 13940 13942 10203 0 -1 4202560 22 0 0 0 20 0 0 0 16 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=10550524 CPUtime=0.19 cores=1,3,5,7
/proc/13942/task/13947/stat : 13947 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 19 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13948/stat : 13948 (java) S 13940 13942 10203 0 -1 4202560 26 0 0 0 20 0 0 0 16 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=10550524 CPUtime=0.23 cores=1,3,5,7
/proc/13942/task/13949/stat : 13949 (java) S 13940 13942 10203 0 -1 4202560 448 0 0 0 23 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=10550524 CPUtime=0.18 cores=1,3,5,7
/proc/13942/task/13950/stat : 13950 (java) S 13940 13942 10203 0 -1 4202560 203 0 0 0 18 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=10550524 CPUtime=0.21 cores=1,3,5,7
/proc/13942/task/13951/stat : 13951 (java) S 13940 13942 10203 0 -1 4202560 464 0 0 0 21 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=10550524 CPUtime=0.22 cores=1,3,5,7
/proc/13942/task/13952/stat : 13952 (java) S 13940 13942 10203 0 -1 4202560 273 0 0 0 22 0 0 0 16 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=10550524 CPUtime=13.03 cores=1,3,5,7
/proc/13942/task/13953/stat : 13953 (java) S 13940 13942 10203 0 -1 4202560 1979 0 0 0 1301 2 0 0 15 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 0 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13954/stat : 13954 (java) S 13940 13942 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13955/stat : 13955 (java) S 13940 13942 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13956/stat : 13956 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826063793 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=10550524 CPUtime=0.59 cores=1,3,5,7
/proc/13942/task/13957/stat : 13957 (java) S 13940 13942 10203 0 -1 4202560 4975 0 0 0 59 0 0 0 16 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=10550524 CPUtime=0.51 cores=1,3,5,7
/proc/13942/task/13958/stat : 13958 (java) S 13940 13942 10203 0 -1 4202560 3575 0 0 0 51 0 0 0 15 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13959] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13959/stat : 13959 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13960] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13960/stat : 13960 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13961] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13961/stat : 13961 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725060 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 10550524

[startup+406.701 s]
/proc/loadavg: 2.03 2.04 1.95 3/214 13972
/proc/meminfo: memFree=665220/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10550524 CPUtime=408.68 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 34764 0 1 0 40857 11 0 0 25 0 19 0 902725023 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2637631 29444 2265 9 0 2628365 0
[pid=13942/tid=13944] ppid=13940 vsize=10550524 CPUtime=392.78 cores=1,3,5,7
/proc/13942/task/13944/stat : 13944 (java) R 13940 13942 10203 0 -1 4202560 21236 0 1 0 39274 4 0 0 25 0 19 0 902725024 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 46912505715265 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13945/stat : 13945 (java) S 13940 13942 10203 0 -1 4202560 363 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13946/stat : 13946 (java) S 13940 13942 10203 0 -1 4202560 22 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=10550524 CPUtime=0.19 cores=1,3,5,7
/proc/13942/task/13947/stat : 13947 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 19 0 0 0 16 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13948/stat : 13948 (java) S 13940 13942 10203 0 -1 4202560 26 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=10550524 CPUtime=0.23 cores=1,3,5,7
/proc/13942/task/13949/stat : 13949 (java) S 13940 13942 10203 0 -1 4202560 448 0 0 0 23 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=10550524 CPUtime=0.18 cores=1,3,5,7
/proc/13942/task/13950/stat : 13950 (java) S 13940 13942 10203 0 -1 4202560 203 0 0 0 18 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=10550524 CPUtime=0.21 cores=1,3,5,7
/proc/13942/task/13951/stat : 13951 (java) S 13940 13942 10203 0 -1 4202560 464 0 0 0 21 0 0 0 16 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=10550524 CPUtime=0.22 cores=1,3,5,7
/proc/13942/task/13952/stat : 13952 (java) S 13940 13942 10203 0 -1 4202560 273 0 0 0 22 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=10550524 CPUtime=13.05 cores=1,3,5,7
/proc/13942/task/13953/stat : 13953 (java) S 13940 13942 10203 0 -1 4202560 1979 0 0 0 1303 2 0 0 15 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 0 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13954/stat : 13954 (java) S 13940 13942 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13955/stat : 13955 (java) S 13940 13942 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13956/stat : 13956 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826063793 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=10550524 CPUtime=0.59 cores=1,3,5,7
/proc/13942/task/13957/stat : 13957 (java) S 13940 13942 10203 0 -1 4202560 4975 0 0 0 59 0 0 0 16 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=10550524 CPUtime=0.51 cores=1,3,5,7
/proc/13942/task/13958/stat : 13958 (java) S 13940 13942 10203 0 -1 4202560 3575 0 0 0 51 0 0 0 15 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13959] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13959/stat : 13959 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13960] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13960/stat : 13960 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13961] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13961/stat : 13961 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725060 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 10550524

[startup+406.901 s]
/proc/loadavg: 2.03 2.04 1.95 3/214 13972
/proc/meminfo: memFree=665096/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10550524 CPUtime=408.89 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 34764 0 1 0 40878 11 0 0 25 0 19 0 902725023 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2637631 29444 2265 9 0 2628365 0
[pid=13942/tid=13944] ppid=13940 vsize=10550524 CPUtime=392.99 cores=1,3,5,7
/proc/13942/task/13944/stat : 13944 (java) R 13940 13942 10203 0 -1 4202560 21236 0 1 0 39295 4 0 0 25 0 19 0 902725024 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 46912505706270 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13945/stat : 13945 (java) S 13940 13942 10203 0 -1 4202560 363 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13946/stat : 13946 (java) S 13940 13942 10203 0 -1 4202560 22 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=10550524 CPUtime=0.19 cores=1,3,5,7
/proc/13942/task/13947/stat : 13947 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 19 0 0 0 16 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13948/stat : 13948 (java) S 13940 13942 10203 0 -1 4202560 26 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=10550524 CPUtime=0.23 cores=1,3,5,7
/proc/13942/task/13949/stat : 13949 (java) S 13940 13942 10203 0 -1 4202560 448 0 0 0 23 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=10550524 CPUtime=0.18 cores=1,3,5,7
/proc/13942/task/13950/stat : 13950 (java) S 13940 13942 10203 0 -1 4202560 203 0 0 0 18 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=10550524 CPUtime=0.21 cores=1,3,5,7
/proc/13942/task/13951/stat : 13951 (java) S 13940 13942 10203 0 -1 4202560 464 0 0 0 21 0 0 0 16 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=10550524 CPUtime=0.22 cores=1,3,5,7
/proc/13942/task/13952/stat : 13952 (java) S 13940 13942 10203 0 -1 4202560 273 0 0 0 22 0 0 0 15 0 19 0 902725026 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=10550524 CPUtime=13.05 cores=1,3,5,7
/proc/13942/task/13953/stat : 13953 (java) S 13940 13942 10203 0 -1 4202560 1979 0 0 0 1303 2 0 0 15 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 0 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13954/stat : 13954 (java) S 13940 13942 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13955/stat : 13955 (java) S 13940 13942 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13956/stat : 13956 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826063793 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=10550524 CPUtime=0.59 cores=1,3,5,7
/proc/13942/task/13957/stat : 13957 (java) S 13940 13942 10203 0 -1 4202560 4975 0 0 0 59 0 0 0 16 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=10550524 CPUtime=0.51 cores=1,3,5,7
/proc/13942/task/13958/stat : 13958 (java) S 13940 13942 10203 0 -1 4202560 3575 0 0 0 51 0 0 0 15 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13959] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13959/stat : 13959 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13960] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13960/stat : 13960 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902725029 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13961] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13961/stat : 13961 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725060 10803736576 29444 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.89
Current children cumulated vsize (KiB) 10550524

[startup+407.007 s]
/proc/loadavg: 2.03 2.04 1.95 3/214 13972
/proc/meminfo: memFree=665096/32950928 swapFree=67050636/67111528
[pid=13942] ppid=13940 vsize=10550524 CPUtime=409 cores=1,3,5,7
/proc/13942/stat : 13942 (java) S 13940 13942 10203 0 -1 4202496 34767 0 1 0 40889 11 0 0 25 0 19 0 902725023 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13942/statm: 2637631 29446 2265 9 0 2628365 0
[pid=13942/tid=13944] ppid=13940 vsize=10550524 CPUtime=393.09 cores=1,3,5,7
/proc/13942/task/13944/stat : 13944 (java) R 13940 13942 10203 0 -1 4202560 21236 0 1 0 39305 4 0 0 25 0 19 0 902725024 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 46912505991888 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13945/stat : 13945 (java) S 13940 13942 10203 0 -1 4202560 363 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13946/stat : 13946 (java) S 13940 13942 10203 0 -1 4202560 22 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=10550524 CPUtime=0.19 cores=1,3,5,7
/proc/13942/task/13947/stat : 13947 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 19 0 0 0 16 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=10550524 CPUtime=0.2 cores=1,3,5,7
/proc/13942/task/13948/stat : 13948 (java) S 13940 13942 10203 0 -1 4202560 26 0 0 0 20 0 0 0 15 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=10550524 CPUtime=0.23 cores=1,3,5,7
/proc/13942/task/13949/stat : 13949 (java) S 13940 13942 10203 0 -1 4202560 448 0 0 0 23 0 0 0 15 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=10550524 CPUtime=0.18 cores=1,3,5,7
/proc/13942/task/13950/stat : 13950 (java) S 13940 13942 10203 0 -1 4202560 203 0 0 0 18 0 0 0 15 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 7 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=10550524 CPUtime=0.21 cores=1,3,5,7
/proc/13942/task/13951/stat : 13951 (java) S 13940 13942 10203 0 -1 4202560 464 0 0 0 21 0 0 0 16 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=10550524 CPUtime=0.22 cores=1,3,5,7
/proc/13942/task/13952/stat : 13952 (java) S 13940 13942 10203 0 -1 4202560 273 0 0 0 22 0 0 0 15 0 19 0 902725026 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=10550524 CPUtime=13.05 cores=1,3,5,7
/proc/13942/task/13953/stat : 13953 (java) S 13940 13942 10203 0 -1 4202560 1979 0 0 0 1303 2 0 0 15 0 19 0 902725027 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 0 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13954/stat : 13954 (java) S 13940 13942 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13955/stat : 13955 (java) S 13940 13942 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902725027 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13956/stat : 13956 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826063793 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=10550524 CPUtime=0.59 cores=1,3,5,7
/proc/13942/task/13957/stat : 13957 (java) S 13940 13942 10203 0 -1 4202560 4975 0 0 0 59 0 0 0 16 0 19 0 902725029 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 1 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=10550524 CPUtime=0.52 cores=1,3,5,7
/proc/13942/task/13958/stat : 13958 (java) S 13940 13942 10203 0 -1 4202560 3578 0 0 0 52 0 0 0 15 0 19 0 902725029 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13959] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13959/stat : 13959 (java) S 13940 13942 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902725029 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056089 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
[pid=13942/tid=13960] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13960/stat : 13960 (java) S 13940 13942 10203 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902725029 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 5 0 0 0
[pid=13942/tid=13961] ppid=13940 vsize=10550524 CPUtime=0 cores=1,3,5,7
/proc/13942/task/13961/stat : 13961 (java) S 13940 13942 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902725060 10803736576 29446 33554432000 1073741824 1073778376 140735439170160 18446744073709551615 251826056704 0 4 0 16800975 18446604454225329088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 409
Current children cumulated vsize (KiB) 10550524

Child status: 30
Real time (s): 407.086
CPU time (s): 409.077
CPU user time (s): 408.959
CPU system time (s): 0.117982
CPU usage (%): 100.489
Max. virtual memory (cumulated for all children) (KiB): 10553236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 408.959
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34796
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= 29668
involuntary context switches= 13765

runsolver used 0.72189 second user time and 1.53977 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-12 22:41:03
IDJOB=3492080
IDBENCH=79275
IDSOLVER=1982
FILE ID=node126/3492080-1307911263
RUNJOBID= node126-1307908863-13199
PBS_JOBID= 13559580
Free space on /var/tmp= 2888 MiB

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

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

MD5SUM BENCH= a22634c1977478f126d9df874c90c256
RANDOM SEED=383214037

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        777000 kB
Buffers:         62988 kB
Cached:       30591076 kB
SwapCached:      14604 kB
Active:       16298204 kB
Inactive:     14915152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        777000 kB
SwapTotal:    67111528 kB
SwapFree:     67050636 kB
Dirty:             472 kB
Writeback:           0 kB
AnonPages:      556816 kB
Mapped:          17588 kB
Slab:           894888 kB
PageTables:       5848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10545316 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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